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

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

基于轨迹的指称语义方法

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

语境对语义的作用探析

语境是语义学中一个重要的范畴。以丰富的例句从以下四个方面：使语言中的多义和歧义现象获得明确的单一性；影响语义的感情色彩；语义的语体色彩及填补或丰富语言本身的意义探讨了语境对语义的作用，旨在唤起读者学会在不同的语境中择取语义的自觉意识。     

基于多语言范例的“形式语义学”教学辅助系统

针对简单函数式语言、 简单过程式语言和简单面向对 象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.     

谈形式语义学

形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。     

语义学视野下法律语义的不确定性分析

法律语言是贯穿于法律的制定、研究和运用过程中的文字表意系统。导致法律语义不确定的原因是多方面的，语言本身的不确定性和客观世界的复杂性是其主要原因。在语义学的视角下，法律语义不确定的表现形式比较多样。     

从产品语义看工业设计中的理性与感性

简述了产品语义学的概念，产品语义学是符号学的一部分并在产品设计中起到重要的作用，产品语义作为产品外观各要素组成的符号结构，以特定的语言向消费者传达着各种信息，在工业设计中起到了重要的作用。产品设计师通过对产品的构造、形态及操作部分的设计，充分表达产寡的物理功能与审美功能，使得工业设计中产品语义理性与感性的高度和谐得到体现。     

言内语义语境与言外语境语义

语境研究已成为当前语言学界的中心课题,语义学也把语境视为一个重要对象。言内语义语境是利用语言知识来解释语境对语义的解释制约作用;言外语境语义则是用非语言知识来分析语境对语义的解释制约作用。由此得出语义研究离不开语境。     

并发语言OCCAM的指称语义

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

语义场理论和语义分析在英语词汇教学中的应用

针对目前中国学生在英语词汇学习中常犯的一些错误,提出在词汇教学中引入语义学理论,并且运用语义成分分析法和语义场理论,使学生了解英语词汇系统内部的各种语义关系和组合搭配原则,帮助他们扩大词汇量,增强词汇辨析能力,从而提高运用语言的能力和英语交际能力。     

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

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

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

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

互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

γ‘—Fe4N制备的穆斯堡尔谱研究

在ＮＨ３／Ｈ２气氛下热处理草酸亚铁的结果表明氮化物的形成和氮化物间的相转变是有条件的。在众多的影响产物的工艺因素中，热处理温度和ＮＨ３／Ｈ２的气流比是影响γ］－Ｆｅ４Ｎ形成的两个最关键因素。为了获得单相的γ＇－Ｆｅ４Ｎ，除热处理温度要在５５０－６５０℃附近外，ＮＨ３／Ｈ２的比最好应小于１：１。     

论形式语义学

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

一种Verilog的操作语义

用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。     

程序不动点的直观计算意义

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.