数据流图描述语言的研究与设计

数据流图是软件设计开发过程中概念模型设计的重要图形表示法，作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言，并给出示例说明此语言的使用，将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述，以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。     

数据字典描述语言的研究与设计

在软件工程中，软件开发的基础工作是用户需求的获取与分析，而数据字典是用户需求说明书的重要组成部分。本文首先介绍了数据库设计过程中所涉及到的用户需求分析，对此进行了详细的说明。其次，给出了数据字典的形式化语言，并对其中的细节给出了必要的说明。通过对用户需求进行分析，并用此语言对其进行描述，形式需求说明书。     

面向软件需求分析的形式化语言

针对软件需求分析阶段的内容，研究设计了该阶段的需求描述语言ＲＡＳＬ（ＲｅｑｕｉｒｅｍｅｎｔＡｎａｌｙｓｉｓＳｔａｔｅｍｅｎｔＬａｎｇｕａｇｅ），它可描述需求分析阶段的类型定义，加工及输入／输出之间的关系，使用这种语言来表达或书写敕件需求分析阶段的调查，可以使软件开发人员与用户对所描述的需求问题，更加易于理解与交流。     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

基于性质描述语言的硬件验证

性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法.用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来.通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性.     

软件体系结构动态演化的Z描述语言扩展方法

针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.     

软件安装描述语言SLDL及安装软件SETUP

从软件安装的工作原理出发，为说明安装信息，定义了安装描述语言ＳＩＤＬ，并描述了通用安装软件ＳＥＴＵＰ在ＭＳ－Ｗｉｎｄｏｗｓ环境下的实现，基于ＳＩＤＬ描述的软件的安装文本，ＳＥＴＵＰ能自动完成相应软件的安装。     

软件体系结构：概念,风格与描述语言

概述了软件体系结构的基本定义，分类与描述语言；介绍了一种基于时态逻辑语言ＸＹＺ／Ｅ的可视化体系结构描述语言ＸＹＺ／ＡＤＬ，它可同时描述软件体系结构的静态与动态行为；最后提出了进一步的工作。     

一种表格文件结构描述语言研究

提出了一种表格文件结构描述语言，首先利用表格框架判别准则对表格文件线段的快速查找定位，并应用表格文件结构描述语言分别对框架线段的定位描述和待处理信息区域的几何位置定义，根据上述知识的获取可进行表格文件任一区域待识别字符的快速查找和处理。     

基于界模型的真相关反馈信息检索

建立了一种表达用户信息需求的界模型,通过计算信息需求的上边界、下边界,确定信息需求的需求域.该模型从语言学的角度出发,通过挖掘语言的内涵和外延来表达语言的含义.用户的查询请求有其内涵和外延,信息需求域正是通过表达查询请求的内涵和外延来反映用户的真实信息需求.在信息检索时,计算文档与信息需求域的相似度,并根据相似度对文档进行排序.在实际检索时,采用用户真实相关反馈机制,该相关反馈机制得到的是真相关文档,因而可以更好地表达用户的信息需求.使用Lemur工具进行的对比分析实验表明,界模型下的真相关反馈信息检索具有较理想的效果.     

XQuery语言的实现

首先分析了万维网联合会(W3C)提出的XML查询语言XQuery语言的特点,提出了支持W3C的XQuery语言查询处理引擎的体系结构。简要介绍了基于该体系结构所实现的XQuery处理引擎的词法/语法解析、语法转换、类型检查和分析、赋值计算等四个处理阶段涉及的主要内容。     

基于XML和RDF的异构空间信息共享模型

分析网上空间信息的异构性及共享解决方案,提出了一种新的基于XML和RDF的异构空间信息共享模型．采用了XML,RDF技术解决空间信息的语法和语义异构问题,设计了空间信息表示分级共识矩阵,将信息异构分解到各个表示级别以简化信息转换,在每一级别又提取空间信息领域的共识来表示信息以促进应用程序对信息的正确理解和语义互操作．实例证明了该模型能有效解决异构空间信息的表示和交换问题,满足用户空间信息共享的需要．     

形式语言的范畴计算模型研究

分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.     

移动环境下搜索引擎的个性化方法

针对手机等移动设备具有小屏幕、操作不方便和具有惟一标识的特点,提出了适用于移动环境下搜索引擎的个性化搜索的新方法.首先用户的查询历史可以通过惟一的手机号自动记录下来;其次利用用户的查询历史,建立用户描述文件以及基于关键词空间的用户兴趣模型;最后根据用户兴趣模型,采用关键词扩充算法优化用户查询.此方法能够较好地实现移动环境下的个性化搜索,提高检索效率.