用基本ASM定义SDL动态语义

提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架。由于SDL的复杂性，重点介绍了用ASM模拟SDL状态机交替工作方式，创建agent和procedure实例以及复合状态应用。该方法简化了当前用分布式ASM定义的SDL动态语义方法。     

基于时迹的指称语义方法

采用基于时迹的双层指标语义框架讨论过程式语言的形式语义,主要给出对过程和函数的描述。     

“N不是N”的语义

“N不是N”与“N是N”的句法结构形式一致，可以把它作如下的分析。     

汉英颜色词"黑"(Black)之国俗语义对比分析

汉英颜色词及其构成的词语都具有丰富的国俗语义。这是汉英民族长期以来经过千百代人民生活实践而形成的。在心理上有崇尚有禁忌;在语义上既相似又相异;在修辞上有褒有贬。研究和发掘颜色词语中所承载的文化信息和蕴涵的国俗语义,在跨文化交际中有很大的实用价值。拟对汉语中的“黑”和英语中的“black”这两个对应词的国俗语义异同并存现象做一对比分析,以期对跨文化交际有所裨益。     

声训中的心理特征--语义联想与语音联想的同时并进

语义联想与语音联想的同时并进,则声训区别于形训和义训的心理特征，它由词义的表达工和声训的理论基础所决定；首先，词义的表达方式（即词的语音形式）与词义特性有着密不可分的联系，其次，声训的基本原则是“音近义通”，除了语音上的联想之外，还必须作语义上的联想。事实上，抓住词义特征，进行语音联想是古代声训实践中的普遍现象，许慎、段玉裁等都是在释义过程中将释字包含的的“意”通过读音相近的联想推举到对被释字的认知上。     

一种基于LSI的图像语义检索技术

探讨如何将LSI技术应用于图像检索中，以实现基于语义的图像检索的技术途径，给出了一种新的图像索引方法，它使用灰色模型GM（1，1）对图像的像素值进行模型化处理，并且使用模型参数的概率分布来描述图像，在此基础上，详细讨论了将隐含主义索引应用于图像检索中的具体方法，并给出了相应的算法，最后，给出了实验结果和尚需进一步研究的问题。     

基于ART模型的语义社会网络分析及其在白领犯罪中的应用

本文在贝叶斯网络的基础上提出并讨论了基于发送者-接收者-话题,即ART（Author-Recipient-Topic）模型的语义社会网络分析技术,以人与人之间发送的对方向敏感的消息（message）为研究对象从社会网络数据中探查隐藏在人际之间的关系,这种方法通过发送接收对,不仅模拟了从一个人的实体到另一个实体的连接,还更好的预测了人的角色,从而提高了结果的准确程度。     

一种考虑标签语义的XML关键字查询算法

针对XML（可扩展标记语言）文档提出的信息单元和信息特征的概念,利用信息单元作为候选查询结果,以信息特征表征标签信息,结合XML文档的结构语义,在TF＊IDF模型的基础上,设计了查询结果的相关度排序策略.该策略同时涉及了查询结果的结构信息和内容信息,计算了信息特征的重要性,且能利用信息特征的重要性衡量不同信息特征下关键...     

类JVML在线部分计值器的正确性证明

定义了JVML指令序列的程序语义，构造了相关的JVML子集部分计值器并形式化地给出了计值规则，证明了计值规则的正确性，说明了表达式和语句在一定的环境下通过部分/剩余（Partial/Residual)计值和全局（Total)计值的不变性。     

PowerBuilder与EXCEL结合制作动态报表

针对传统MIS开发中，报表制作复杂、不灵活的缺点，用PowerBuilder中的动态数据窗口和DDE技术与EXCEL结合，开发了功能完善、使用灵活的动态报表生成系统.     

基于MEDL模型的HTML向XML的转换方法

基于MEDL模型提出了一种以内容为导向的,将HTML转换为XML数据的方法.在该方法中,根据网页中值域和属性域的识别,并结合MEDL模型对HTML中的数据进行提取,并将其转换为符合要求的格式.该方法具有提取信息精确、转换格式统一等优点,且具备很好的扩展性,能够为深入开展Web数据挖掘提供很好的支持.     

CNMARC中“无总题名文献”的著录

阐述了无总题名文献的概念及类型,分析了无总题名文献的著录现状,并结合编目实践提出了自己的见解。     

CORBA与Web服务集成技术

为了解决企业内部的遗留系统如何通过标准的Web服务技术实现互访的问题,通过对基于Web服务的典型应用集成场景的分析,参考Object Management Group(OMG)的相关规范,提出了更为全面的集成模型.其中新加入了基于Servant的SOAP-CORBA网关,对规范进行了必要的补充,并克服了其他同类系统未能解决的性能瓶颈和单点失效问题,而且本模型更易于灵活的分发部署,有利于整个系统的负载平衡.通过实验验证和分析,证明了模型的可行性,同时具有 良好的性能.     

智能三坐标测量中的检测信息识别与获取技术发展

智能三坐标测量中的检测信息主要包括公差信息和几何信息,其识别与获取是实现计算机辅助设计技术与三坐标测量机集成的关键因素。介绍了智能三坐标测量技术的概念和基本原理,回顾了检测信息获取的发展历程和主要研究工作,基于当前全三维数字化设计技术的发展状况,讨论了一种基于模型定义的检测信息识别和获取方法。结合当前所承担的研究课题,针对通用三维设计软件下建立的零件模型,给出了检测信息识别与获取流程和实现结果。     

机器人足球语言系统结构及其虚拟机的构造

从语言的系统结构方面对机器人足球语言作了一些具体阐述 ,并从多方面描述了RS语言的总体设计构思 ,勾勒出了该语言的轮廓·虚拟机是语言的运行环境基础 ,是语言构造过程中的一个重要环节·根据机器人足球运动的特点构造了足球机器人虚拟机 (SRVM ) ,提出了区域矢量化法则·通过对足球机器人虚拟机能力的分析 ,为机器人足球语言的完备性提供了理论依据·