一种高稳定性词汇共现模型

针对传统词汇共现模型存在的缺乏理论基础和稳定性欠佳等问题,提出了一种基于项场的高稳定性词汇共现模型.借鉴经典物理学中场的概念给出了项场的定义,其中项是语言的基本单位,是概念的抽象描述,而项场则是项在文档中的影响范围.在此基础上,引入量子场论将项与项的相关度类比为项场的叠加,由此给出了项与项之间距离和相关度的函数关系,并用其建立了词汇共现模型.实验结果证明,在小距离的情况下,所提模型中项的相关度大体呈常数,具有一定的窗口内稳定性,而同范畴的项对相关度振幅只有对照模型中最小振幅的26%,表明它具有较好的数据集稳定性.     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

一种CORBA组件应用服务器的体系结构

介绍了多层应用程序在开发Ｉｎｔｅｒｅｎｔ／Ｉｎｔｒａｎｅｔ环境下复杂信息系统的中作用;在分析了以应用程序的原理,应用服务器的功能以及ＣＯＲＢＡ技术特点的基础上,提出了一种基于ＯＲＢ的应用服务器的体系结构,利用了ＣＯＲＢＡ对分布式对象和软件组件的支持以及它所提供的系统服务,实现了应用服务器的组件管理、等功能。     

交互式DTS图形编辑器——DTSGED的设计与实现

动态图形显示和交互操作是ＤＴＳ的重要特征，为支持ＤＴＳ中大量电网图形的编辑绘制，在ＳＵＮ工作站上设计实现了一个交互式电网图形编辑器ＤＴＳＧＥＤ。文中阐述了ＤＴＳ对电网接线的基本要求，给出了ＤＴＳＧＥＤ的设计思想和实现方案，其中包括：（１）电网图形数据结构；（２）系统组成和结构；（３）交互式图形用户界面（４）基于图形模板的标准主接线图的自动生成。