中国女性主义文学批评发展简述

中国女性主义文学及其批评在特定的历史情景下“中西结合”,结合西方女性主义文学批评及中国女性的性别境遇而得到产生和发展,是一种非女权运动而产生的“文化批评”,不断建立并形成自己的女性主义批评体系,但由于上路时间短,仍有许多工作尚待完成。     

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

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

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

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

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

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

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

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

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

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

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

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

RDFS表示本体建模语言OIL的一种方法

给出扩充RDF Schema使之能够表达完全的知识表示语言的方法. 通过为这种语言增加必要的表达能力和语义来完善RDF Schema, 使RDF Schema能够描述本体建模语言OIL. 进一步给出OIL原语的RDF Schema定义： 任何OIL本体都可以使用RDF语法表示, 从而使其具有OIL的推理支持和形式化语义. 这种扩充方法同样也适用于其他知识表示的形式化.     

语用学与语义学之再观

文章从历史发展的角度论述了语用学与语义学的产生.它们都是对语言意义的研究但所覆盖的层次不同,语用学可以说是对语义学的补充.正是因为语用学的出现,人们才找到了自然语言的逻辑.     

论整体语言能力的培养

传统的语言教学过分强调语言点的传授,重在教师讲,学生被动地接受,不利于学生整体语言能力的培养。我们从教学方式、教学内容,调和设置和学科间联系等角度进行探讨,以求提高学生综合运用语言的能力。