两大类形式化方略

来源 :计算机应用与软件 | 被引量 : 4次 | 上传用户:renmin9999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
阐述机器翻译的两大类形式化方略。其中,第一大类形式化方略涉及:编程语言和英语(自然语言);第二大类形式化方略涉及:二进制数与十进制数、十进制数与汉字中文、中文和英文(可换)三类双语协同变换,属于形式化及其拓展研究领域。其结果是:凸显了第二大类形式化方略。其意义是:揭示了其理论依据,并为含语言学在内的学科知识系统工程提供了广义双语信息处理技术,有利于母语为非英语的计算机用户改善人机对话的语言环境。
其他文献
2014年5月,江苏省宜兴市发生了国内首例关于人体冷冻胚胎的诉讼纠纷,想要通过辅助生殖术孕育后代的夫妻在意外事故中死亡,死者双方的父母诉至法院要求继承剩余的4枚冷冻胚胎。一审法院认定冷冻胚胎为蕴含着生命潜质的特殊物,认为其不能作为继承的标的,判决驳回原告的诉讼请求;二审法院从道德、伦理等方面分析说理,判决由死者双方父母取得所有权。两审截然不同的判决结果引发了社会各界的激烈争论:冷冻胚胎的法律属性为
本文简要介绍了上海粉煤灰混凝土专家系统的功能,并结合实例阐述了系统的各组成部分及其实现方法,以及系统软件的设计特点。
分析大学课程时间表问题的特征,结合已有蚁群算法的求解策略,构建了新的问题求解模型,提出了一种基于蚁群算法和改进过程的求解算法,并在不同规模的问题实例上进行实验。结果表明,算法在目标函数解的质量上有明显改进。
近年来,随着股权质押融资方式的广为推行,实务中越来越多的问题被暴露出来,所以对其进行更深入的探究和分析,更好地采用这一融资渠道非常有必要。文章从股权质押的动因、股权
提出了一种基于XML Schema技术的网页安全防护机制,可解决网页中用户输入数据缺乏验证机制而导致应用层级的安全攻击。该防护机制通过描述网页输入数据的特性,将输入数据转换为XML Document,判断有无应用层级的安全攻击并采取防护措施,为网站开发提供有效而又方便的安全保障。
针对当前电子政务中存在的问题,本文运用G lobus技术,设计了一种新型的电子政务应用平台,使电子政务显示出了良好的发展前景。
本文探讨了侧脑室注射α-人心房利钠多肽对正常雌性大鼠垂体前叶激素释放的影响,结果提示ANP可能作为一种神经递质对垂体前叶起调节作用。
目前国内保险学家和法学家对保险欺骗与保险欺诈二者的界定并不明确.保险欺骗特指保险人,包括保险公司及其工作人员、保险代理人或保险经纪人,以其职务进行欺骗活动.对保险欺
弓形虫速殖子纯化方法的比较寄生虫学教研室刘佩梅,吴增强,武苏平弓形虫(Toxoplasmagondii)是一种世界性分布专性细胞内寄生的原虫,弓形虫病越来越受到国内外学者的重视。随着诊断学、免疫化学、分
公务员作为党和国家事业发展的骨干,对党的执政能力和政府的行政管理能力建设起到关键性作用。教育培训工作是提升公务员各项素质和能力的关键环节,是关系党的建设事业的战略