公开(公告)号：CN102013178A

公开(公告)日：2011-04-13

申请号：CN201010561403.5

申请日：2010-11-27

Applicant: 上海大学

Inventor： 孙毅 ,  许庆国 ,  杨旭涛 ,  韩坤亮 ,  孙茂珊

IPC: G09B5/06 ,  G09B7/00

Abstract: 本发明涉及一种数字英汉双向翻译训练方法。本发明采用语音合成技术，不需要储存大量的听力材料以及试题材料，最大程度减小翻译训练的听力材料的数量；翻译内容完全随机生成，可以有效的避免使用者的记忆干扰，达到真正的翻译训练的目的；采用语音识别技术，使得英汉翻译标准量化，更方便个人进行翻译训练。本发明解决了目前已有的英语翻译训练方法的各种弊端：英汉训练材料的固定死板；汉英训练无标准可依等。本发明提供一种基于语音合成与识别技术的随机数生成的英汉、汉英双向数字翻译训练方法。本发明可方便的以计算机软件或者嵌入式软件等方式实现。

公开(公告)号：CN103257911B

公开(公告)日：2015-12-16

申请号：CN201210032682.5

申请日：2012-02-15

Applicant: 上海大学

Inventor： 高洪皓 ,  缪淮扣 ,  曾红卫 ,  陈圣波 ,  许庆国 ,  孙茂华 ,  严吉皞

IPC: G06F11/26

Abstract: 本发明涉及一种基于SOA架构的模型检验工具集成方法，其特征在于：所述的集成方法包括以下步骤：首先配置支持层、之后配置接口层、之后配置发布层、最后配置应用层。本发明的优点是：通过SOA技术将模型检验工具进行集成，提出一种高效、协同、规范、跨平台的集成方法，将封闭、功能单一的模型检验工具服务化，用户无需关心模型检验工具的服务运行在何处、不需要了解模型检验工具的输入模型和待检验性质的语法格式，另外，本方法提高了模型检验工具的使用灵活性，通过XML统一调用方式执行模型检验工具，简化模型检验工具应用的复杂性，提高模型检验工具的可用性范围，促进了模型检验工具在服务计算领域的应用和发展。

公开(公告)号：CN103257911A

公开(公告)日：2013-08-21

申请号：CN201210032682.5

申请日：2012-02-15

Applicant: 上海大学

Inventor： 高洪皓 ,  缪淮扣 ,  曾红卫 ,  陈圣波 ,  许庆国 ,  孙茂华 ,  严吉皞

IPC: G06F11/26

Abstract: 本发明涉及一种基于SOA架构的模型检验工具集成方法，其特征在于：所述的集成方法包括以下步骤：首先配置支持层、之后配置接口层、之后配置发布层、最后配置应用层。本发明的优点是：通过SOA技术将模型检验工具进行集成，提出一种高效、协同、规范、跨平台的集成方法，将封闭、功能单一的模型检验工具服务化，用户无需关心模型检验工具的服务运行在何处、不需要了解模型检验工具的输入模型和待检验性质的语法格式，另外，本方法提高了模型检验工具的使用灵活性，通过XML统一调用方式执行模型检验工具，简化模型检验工具应用的复杂性，提高模型检验工具的可用性范围，促进了模型检验工具在服务计算领域的应用和发展。