自然语言机器翻译的技术思想与基本模型

介绍了机器翻译发展过程中的典型技术思想与特点 ,以及机器翻译系统的几种基本模型     

英语教学中的教学语言艺术

课堂英语教学是师生共同进行的教与学的双边活动 ,其效果如何在很大程度上取决于英语教师的教学语言艺术。有的教师尚不能充分利用教学语言来进行英语教学。英语教学语言有课堂用语、教师传授新知识的用语等 4种。教学时要注意英语教学语言的情感艺术、表达艺术、提问艺术和语感艺术     

稠密正规语言的S．Y猜想的一些等价刻划

一个语言称为正规的如果它可被一台有限自动机识别,一个语言称为稠密的如果每个字都是该语言中某个字的一个小字,一个非空字称为本原的,如果此字不是其他任一字的幂,否则称此非空字为非本原字,Shyr和Yu在[3]中给出如下猜想：每个稠密正规语言都包含一个非本原字,如果能给出S．Y猜想在半群理论及码论中的等价陈述,则可把稠密正规语言的问题归结为半群理论及码论中的问题,从而为解决S．Y猜想提供了更多的途径。     

多种印刷字体藏文字符的特征提取方法研究

特征提取是文字识别中很重要的环节,传统用于特征提取的方法有模版法、变化特征法、投影直方图法和几何矩特征法等。文章简要介绍和分析了这些传统的特征提取方法及其优缺点,同时,指出了由于藏文字符的特殊性,决定了传统用于特征提取的几种方法在多字体藏文字符特征提取中效果不好的现状,并提出了一种"外围轮廓笔划特征提取法",该方法用于提出多字体的一个外围轮廓笔划的共同特征,效果较好。     

一个简单面向对象语言的抽象机定义及其可视化实现

定义一个简单面向对象语言SOOL的抽象机SAM, 并设计开发了SAM的可视化实现系统VisualOO. VisualOO系统可以把任意一个SOOL源程序转换成SAM内部表示, 并且动态演示该程序在SAM上的执行过程. 定义的抽象机及其可视化系统可以应用于程序设计语言形式语义学的教学中.     

一种基于移动设备的图形化查询的实现

提出基于移动设备的地图查询算法,定义了EGSQL查询语言,给出了EGSQL查询实现的标准流程.以公交路线查询为例说明了整个查询流程的实现.实际应用表明该体系具有良好的通用性和较高的查询效率.     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

一种面向嵌入式装备控制系统的建模方法

为研究嵌入式系统面向装备控制领域的扩展技术,提出采用模型集成计算理论构建嵌入式装备控制系统的建模语言,针对控制子系统中的信号处理模块,分别从类图、视图、属性和约束四个方面定义该模块的元模型,并根据元模型修改相应的模型解释器,通过元模型解释器将元模型解释成图形化的建模语言,采用该建模语言搭建了两个信号处理应用程序的模型,并通过模型解释器将其解释成相应的应用程序。结果表明,采用该方法能够实现对领域应用的快速开发。     

基于自然语言理解的文本标图系统设计与实现

提出和实现了一套基于自然语言理解的军用文书到标绘图智能转换的解决方案。文本标图系统通过标绘信息提取模块和军标标绘模块,针对军事文本标图的需求和汉语的特点,由计算机在自然语言理解的基础上对作战文书文本进行分析、理解、提取标绘信息、自动标图作业,最后生成战场态势图。该系统完成了军事标图作业和文书处理的手工作业向机器作业的转换,提高了指挥作业的速度和效率。     

基于移动智能体技术的先进日志审计系统

在对比常规的交换机镜像数据包和通过Sniffer抓包间差异的基础上,提出一种新的利用Sniffer抓包及移动智能体技术实现的日志审计系统．移动智能体技术实现的关键技术主要包括：移动智能体服务设施的构建,移动智能体技术的相关协议的制定,移动智能体路由方案的选择,移动智能体的控制和容错策略设置．该系统具有实现效率高、安装容易、运行稳定可靠、可以有选择的预过滤网络数据包,并生成有价值的审计日志等特点,能够为审计后续工作效率提高提供较好的支持,增强网络系统的安全。