Verilog的一个操作语义模型

提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象,该子集包括了Verilog最重要的语言特征,如事件控制,时延,并发性等;定义了程序状态空间及其上的状态迁移系统。     

并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足，首先在OCCAM/TOY的语法中经入了一类具体的原子语句，并从语义上考虑了原子语句的语义对整个程序语义的影响；其次，对于通常语义方法中合并处理的一对通信原语的一次通信分开处理，描述了单个通信步骤的语义及其对程序的影响。在构造语义域时，利用完备距离空间作为指称，讨论了在距离空间范畴中语义域议程的解的存在性；并且在定义域时，保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义，既体现了由于并发而导致的执行过程的不确定性，又反映了并发导致的执行效果的不确定性。     

基于本体的多无人机系统语义互操作方法

引入基于领域本体的语义模型形式化建模方法,提出了多无人机交互描述的语义描述模型方法和交互配置的语义增强方法.设计了无人机本体UAV O和服务描述本体UAV OS,在OWL S（Ontology Web Language for Services）基础上扩展服务动态特性等的描述,可以为服务质量、服务状态和服务关系提供语义描述;扩展了对多无人机任务和动态配置、组合所需控制结构等的描述.为了实现多无人机应用配置的自动化和动态性,基于本体的语义增强方法可以用于配置管理,在匹配中引入高层次的语义增强匹配,对多无人机交互配置处理进行语义增强.在无人机综合仿真环境中进行了验证,结果表明,提出的基于本体的语义互操作方法能有效地支持多无人机应用交互和集成.     

基于操作语义的线束工艺设计系统研究

如何快速、直观地设计出线束工艺图纸一直是线束生产企业需要重点解决的难题。利用通用CAD系统进行线束设计缺乏特定领域所具有的语义,无法精确地表达设计意图。本文基于操作语义的思路,重点研究了线束构件的各种几何约束,提出了一种操作语义的模型结构,并且对其解析算法进行了详细的描述,在此基础上,开发了线束工艺设计系统。     

基于轨迹的指称语义方法

文章提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.文章引入了轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,并对过程和函数进行了一些描述。     

具有真正并发语义的面向约束的实时进程代数

对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。     

面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５中有明显不同的成份的语义,即类程序包,结构程序包的代数语义。     

一种基于加权语义相似度模型的自动问答系统

在对比传统词频相似度模型的基础上,提出并实现了一种基于加权语义相似度模型的自动问答系统．首先,利用语义树中词语间的距离和语义树的高度来计算词语间的语义相似度,然后利用词语间的语义相似度和词语的权重进一步计算用户问题与答案库中问题间的语义相似度．基于此模型的自动问答系统能够接受用自然语言描述的问题,通过语义相似度的计算,自动地返回相关答案．实验表明,本文提出的基于语义树的加权语义相似度模型与传统的词频相似度模型相比,准确率有明显提高．     

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

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

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

具有广播功能的CSP操作语义

并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。     

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

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

论情境语义学的语用视角

自创立始,情境语义学被定位为自然语言语义理论或逻辑语法理论,但它有鲜明的语用视角,主要表现在:它与诸多语用研究或思想之间的渊源关系;它和语用学在研究对象或研究内容方面的一致性;它对形式语义学兼容语用研究的研究传统和当今大语义观的发展趋势的遵循。通过对自然语言条件句陈述的情境语义解释,可以看出语用因素在情景语义学中无处不在,情景语义学与语用研究中的相关理论有内在联系。     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

一种研究组件引用语义的动力系统方法

在组件和引用形式模型的基础上给出了组件集的拓扑空间结构，从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法，将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点，同时将引用过程描述为系统的轨迹．最后，用这种动态方法分析了一个非单调对称工作流模型的工作过程，得到了工作流的轨迹和终止状态集。     

OCL 2.0表达式语义学比较研究

从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.     

C/ATLAS单动作测试语句实现的操作语义描述

针对C/ATLAS单动作信号语句的一个子集, 提出一种其实现过程的基于抽象机的形式化操作语义描述方法, 并分别给出了各单动作测试语句的状态转换规则. 根据该描述, 可较清晰地理解各单动作语句的功能及其制约关系. 由于该操作语义基于抽象机, 所以在此基础上可以很容易得到单动作信号语句的实现程序.