可编程逻辑器件的设计过程

描述了可编程逻辑器件ＰＬＤ的设计方法和过程。     

《论衡》中助动词“能”的句法和语义

对《论衡》中的助动词“能”在穷尽数量统计的基础上做了细致的描写,并在此基础上分析其语法和语义特点。“能”的语法特点是：前面受副词修饰;后面接动词、形容词或动词性结构;构成“不-不”双重否定格式;单独做谓语等。“能”在句法结构中表示三种语义：条件或情理上的许可;具备某种能力或达到某种效率;肯愿。     

基于空间句法的上海典型片区形态演变和评估

采用图形分析法分析了1980年以来上海市南京西路片区各个街区城市肌理和城市空间特征值的演变.基于空间句法理论对街区空间拓扑参数进行了定量计算,并结合城市空间特征值对片区空间形态进行了综合定量评估.结果表明:以商业化为主导的大城市中心城区更新运动使街区空间形态向肌理粗糙、街巷稀松、高强度和相对孤立特征演变,并且不同的更新程度对街区空间形态产生的影响不甚相同.最后,提出在城市中心区更新过程中应注意空间多样性建设和对城市传统文化和传统业态的保育.     

CORBA及其IDL编译器研究

介绍了CORBA规范作为分布式对象计算（DOC,Distributed Object Computing)的主流技术,分析了CORBA系统的体系结构以及IDL编译器的工作原理。     

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

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

数据交换中的数据格式转换

随着Web应用的迅速发展,如何进行Web上各系统之间的数据交换成为一个十分重要的问题.其中的核心是Web上的各种数据格式之间的相互转换.本文以XML作为数据交换的中介,从语法和语义2个角度出发,分析和比较了现有Web上的HTML,Word及PDF的数据格式以及它们同XML之间的相互转换技术.     

HBase中时态查询语言

ＨＢａｓｅ是在ＤＯＳ／Ｗｉｎｄｏｗｓ下实现的时态数据库管理系统，其结构采用的传统关系数据库的时态扩展。讨论了它的语言风范、ＤＤＬ和ＤＭＬ语言的时态名法以及ＨＢａｓｅ实现中的特殊技术。     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

基于SNMP网络管理的MIB库访问实现

由于管理信息库（ＭＩＢ）是网络管理子系统各功能间的公共接口，故ＭＩＢ处理网络管理的核心地位，文中详细论述了ＴＣＰ／ＩＰ互连网络上基于ＳＮＭＰ网络管理的ＭＩＢ库访问实现。     

自动释翻译的词法和句法处理研究

在自动翻译的设计中,词法和句法处理是核心问题,本文的研究背景是自然语言处理系统,预研围绕汉语进行,其工作有两部分：第一部分主要讨论了自动分词和词语检索;第二部分主要提出了检索算法和句法分析算法。