基于轨迹的程序语义之一：轨迹与语义对象

本文提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正的程序设计语言.本文首先引入轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,其中没有使用含有函数空间构造运算的递归论域方程.     

一种新的语义对象行为语言

针对人类用自然语言与机器交互所面临的巨大鸿沟,提出了一种基于类自然语言的语义对象行为语言。SOBL是一种宣称式的陈述语言,用于开发数据库驱动的应用,支持复杂的用户交互,主要由一个Semantic Objects^TM的对象关系开发框架所支持。该语言扩展结构化自然语言,携带语义信息,能够面向非程序员使用,降低了软件的开发难度。最后通过一个具体的实例验证了该语言的有效性。     

基于π演算的一种受限AGENT0操作语义

AOP语言AGENT0的交互动作缺乏明确的操作语义，Hindriks等使用的语义模型不能以恰当的方式处理交互动作，π演算是刻画并发交互系统的重要工具。在对AGENT0做恰当限制的情形下，基于π演算给出了受限AGENT0的操作语义，确定了交互过程中Agent的行为，对AGENT0做限制的目的是语义解释减少复杂性，不影响语言的基本含义。与Hindriks等在AGENT0方面的工作相比，更适用于多Agent系统。     

接续到直接的指称语义转换

接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.     

X—演算与π—演算的语义比较研究

Through the comparison of syntactic structure,operational semantics and algebraic semantics between χ-calculus and π-calculus, this paper concludes that χ-calculus has more succinct syntactic structure,more explicit operational semantics,more intuitionistic algebraic semantics and more favorable algebraic property. And a translation from π-calculus to χ-calculus is presented.     

一种基于语义关系图的词语语义相关度计算模型

词语的语义计算是自然语言处理领域的重要问题之一,目前的研究主要集中在词语语义的相似度计算方面,对词语语义的相关度计算方法研究不够.为此,本文提出了一种基于语义词典和语料库相结合的词语语义相关度计算模型.首先,以HowNet和大规模语料库为基础,制定了相关的语义关系提取规则,抽取了大量的语义依存关系;然后,以语义关系三元组为存储形式,构建了语义关系图;最后,采用图论的相关理论,对语义关系图中的语义关系进行处理,设计了一个基于语义关系图的词语语义相关度计算模型.实验结果表明,本文提出的模型在词语语义相关度计算方面具有较好的效果,在WordSimilarity-353数据集上的斯皮尔曼等级相关系数达到了0.5358,显著地提升了中文词语语义相关度的计算效果.     

算法语言L的指称语义

文中为算法语言Ｌ定义了动态指称语义，在描述中避免了含有函数空间构造运算的递归论域方程．指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达到更好的直观性和实用性．     

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。     

类型化π演算的双代数语义

证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数互模拟一致,而迟语义和早语义对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数模型,为进一步应用双代数框架对其他复杂演算建模奠定了理论基础.     

Web语义关联的一种分级方法

针对Web查询中查询路径分级不精确问题,文中基于RDF和XML技术,通过在语义查询路径上增加语义关联的影响因子,并根据路径上各个实体或属性的影响因子综合计算出一条路径的等级,按照级别高低把查询结果较准确地提供给用户,从而在一定程度上减少用户的分析工作。与一般的分级方法相比,增加语义关联的影响因子后,能够较好地实现基于语义的Web查询。     

一种改进的安全环境演算及其行为等价关系研究

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型．移动环境演算是一种广为使用的描述移动计算的形式化模型．安全环境演算为每个动作原语增加了一个相应的协动作原语，从而解决了强干扰问题．然而，SA的语法定义在直觉上并不能很好地描述out原语的协动作，同时其代数性质也存在一些缺陷．针对这些问题，一方面调整了SA的归约关系，将出入动作的语义统一在“进入时检查”这一约定之下，使其更符合直觉含义．在此基础上，通过采用Honda—Yoshida的技术，定义开接口互模拟等价关系，修正了SA代数性质上的缺陷，并通过一个防火墙的饲子说明了改进的安全环境演算及其行为等价关系的合理性．     

一个类Java语言的指称语义

文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语义特征。     

使用延时演算的时间化RSL的指称语义

使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一些新的特征,并探究了它们的代数定律.这些定律在形式化实时程序和验证实时性质中起着重要作用.最后还给出了时间化RSL的一些代数定律.这些定律可以从其指称语义证明,并用于程序的转化和优化.     

消息序列图的范畴论语义描述

消息序列图(MSC)作为一种描述和规范系统部件之间交互行为的图文语言,对实例和消息等元素本身没有相应的描述结构,使得描述功能扩展有诸多限制.为了增强MSC描述的精确性与灵活性,对其进行语义形式化.在原有消息机制的基础上,采用范畴论的数学方法,给出MSC的语义描述结构,并对其结构进行扩展,增强带时间概念的MSC描述功能.     

命令的指称语义在谓词域上的一种表示

文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的.     

几种语义描述语言之比较

XML是Internet上存储和传送信息方面最有发展前途的程序语言,但在语义上却存在缺陷。本文以研究知识表示语言的语义描述能力为目的,以基于元数据和基于本体的五种语言为研究对象,从语法和语义两个方面对他们进行了分析和比较,给出了各自的特点,同时对RDF和OWL进行简单的逻辑语义分析。     

带口令的安全盒子环境演算

带口令的安全盒子环境演算是对原有的移动环境演算的改进，避免了移动环境演算中open操作所带来的干扰，加强了环境对其自身边界的控制能力，实现了对环境的回收。文中给出了SBAP的语法和语义定义，用SBAP对Pi-演算中的匹配算子进行了改写，并对电子邮件系统进行了描述和仿真。     

图像层次语义描述的初步研究

关于图像情感的研究主要在心理学和工程学两个领域进行.现有的标准刺激材料来源有限,工程学图像情感研究缺乏专用的刺激材料库,更没有建立涉及对象语义层次的刺激材料群,极大地限制了图像情感的研究.通过对现有刺激材料库的比较和确定对象语义描述,对筛选出的刺激图像进行多层语义标注,形成标注文档并建立图像层次语义描述体系.