并发PASCAL编译系统的实现算法

并行处理是提高计算机系统能力的最重要的技术之一,随着这一技术的发展,相继出现了一系列描述并发程序的程序设计语言,并发PASCAL就是其中之一.美国南加利福尼亚大学的P.B.汉森教授用并发PASCAL语言成功地书写了Solo单用户操作系统、作业流系统和一个实时调度程序.为了加强在并发程序方面的教学,提供一个并发程序设计语言是有益的.出于这个目的,我们在DJS-18计算机上实现了一个并发PASCAL系统.并发PASCAL编译系统中语法分析和语义分析与顺序PASCAL中的相同.本文仅讨论并发PASCAL中的管程实现和存储分配.     

并发Java程序动态分析及重演技术研究

Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro／Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。     

命令式模糊程序语言的语义

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.     

面向对象的并发程序设计语言与Multiobject C的设计

结合Multiobject C语言的设计,讨论了面向对象的并发程序设计语言设计与实现中的几个问题。     

Ada-I:支持保护对象继承的Ada95扩充语言

面向对象并发程序设计语言能够帮助程序员利用面向对象技术编写并发程序,从而获得面向对象技术给软件开发带来的种种好处.然而,由于继承异常现象的存在,影响了并发程序设计语言引入继承特性.Ada95语言是支持并发程序设计的面向对象语言之一,但并不支持保护对象的继承.Ada-I语言在Ada95语言的基础上进行扩充,从而支持保护对象的继承,并且避免了继承异常现象的出现.     

句法网与语义网的对比研究

基于网络观的语言研究已经成为语言分析的趋势之一。但不同语言单位层级、不同语言单位关系的选取导致了语言网络的差异。从词的同现网到句法网再到语义网所需要的语言学知识也逐步深化,该文旨在构建语义学理论支撑的语义网络,并把虚词纳入语义分析过程,分别以句法关系和语义关系作为联结,用Cytoscape构建了句法网和语义网。结果发现: 语义网的直径、平均最短距离比句法网大,层级性比句法网差,聚集系数比句法网小,虚词节点“的”“和”“个”等有可能是局部的中心节点。     

Ada并发软件的图形化设计方法研究

研究的目标：为Ada并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架（并发程序单元的划分和它们之间的通信）。这样做的好处在于提高软件的生产率,改善软件质量。在提出用于并发软件理解的会合次序图的基础上,给出了并发设计语言CONDL的语法、语义描述和图形化表示（泳道）,并简单介绍了所研制的一个工具CONDLAS（生成Ada代码框架）。     

OCCAM并发程序设计语言及其通信机制

OCCAM是基于C·A·R HOARE提出的CSP(Communicating SequentialProcess)语言模型而设计的一种小巧的并发程序设计语言。它的特点是语言简洁、程序结构化及并发描述能力强等。OCCAM允许用户定义成组的多个并发进程以及它们之间的同步通信通道(Channel),适用于对高度并发系统的模拟仿真以及各种实时系统的控制。也适于用作高级并发语言的教材。本文扼要地说明OCCAM的语法及相应语义,并用实例分析其通信机制。OCCAM语言在国际上已受到日益广泛的注意和称赞,在分布式系统的模拟上,OCCAM也是很有价值的。     

程序设计语言的指称语义

本文是由D.Scott和C.Strachey所研究的程序设计语言语义理论的入门指导性读物。它论述了该理论在形式语言描述方面的应用,文章还介绍了该理论在其它方面的应用。本文考察的第一个语言LOOP是十分初级的,它的定义仅仅说明其途径的记号和方法论。然后把环境、存贮与后继等语义概念引入到程序设计语言特征的模型种类中。文章扼要地论述了Scott关于计算的基本数学理论。最后,本文给出语言GEDA-NKEN的形式定义。     

形式语义学引论 操作语义学

1.引言(Introduction) 程序设计语言的实施者是按照语言的语义在具体的计算机系统中编制语言的解释程序或者编译程序的。但反过来看,语言在任何计算机系统中的任何一种实施一旦完成,那末对这个计算机系统而言,语言的含义也就完全确定了;也就是说,语言的一种实施可看作是语言语义的一种定义。用语言的实施作为语言的语义定义,也就是将语言成分所对应的计算机系统的操作作为语言成分的语义,故这种语义称作操作语义。当然语言的语义应该是标准的,不应依附于一个特定的计算机系统,一种具体的实施。因此操作语义学中使用抽象的机器和抽象的解释程序来定义语言的语义。     

MultiobjectC─一个面向对象的并发程序设计语言的设计

ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。     

Multiobject C—一个面向对象的并发程序设计语言的设计

Ｍｕｌｔｉｏｂｊｅｃｔ Ｃ语言是我们设计一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆Ｔ Ｂｅｌｌ实验室的Ｃｏｎｃｕｒｒｅｎｔ Ｃ＾＋＋语言作了一些比较。     

计算语义学视角下的文本风格研究

文本风格研究是计算语义学研究的领域之一。利用计算语义学的微观结构量化赋值和主题域义场分析的方法加深对不同文本语义核心的理解,推出了测算不同文本语义核心的关联值公式,以数值对比形式为不同文本的相似语义核心的测定提供了量化标准,使借助计算语义学手段进行文本风格研究成为可能。     

名词词义描写和研究需要什么样的语义学知识？

该文主要讨论名词的词义描写和研究问题。首先通过对几种主要的词汇语义学理论(包括结构主义语义学、生成主义语义学、概念语义学和自然语义元语言理论)进行介绍和评述,指出它们在对名词进行语义刻画方面存在缺陷和不足;然后,重点引入生成词库理论的物性结构的描写方式,阐明它与前几种理论的区别及其自身的特点;最后,在生成词库理论的基础上,展示物性结构知识在有关名词分析中的四个研究案例(词语缺省、隐喻义生成、供用句、中动句)和在自然语言处理中的可能应用。     

形式语义学引论 指称语义学

1.引言(Introduction) 人们用程序设计语言编制程序,命令计算机系统去加工数据。不同的计算机系统有不同的结构,因此对同一个命令的执行过程可以不同,但是所产生的最终效果应该是相同的。指称语义学方法认为语言成分的含义是语言成分本身所固有的,是不依据所在计算机系统而改变的。故不应将程序语言成分的执行过程计入语言成分的语义中,语言成分的语义是执行语言成分所要得到的     

基于消息传递的程序设计语言

本文扼要介绍了几个著名的基于消息传递的程序设计语言(如CSP, PLITS, Ada, SR, DP和MOD等)的主要特点,并简单讨论了并发程序设计语言的分类模型。     

一种时态数据形式语言模型

数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则,深入分析了时态数据模型内在的时态语义联系,为时态数据模型的研究提供了一个便利、高效的形式化理论框架。     

汉语框架语义网构建及其应用技术研究

汉语框架语义网(Chinese FrameNet,CFN)是一个以Fillmore的框架语义学为理论基础、以英文FrameNet为参照、以汉语语料事实为依据的供计算机使用的汉语词汇语义数据库。该文首先介绍了汉语框架语义网的构建基础——框架语义学以及英语的框架语义网工程,然后具体分析了汉语框架语义网的构建技术,并对基于汉语框架网的语义角色自动标注研究进行了介绍,25个框架的交叉验证的实验结果的准确率、召回率、F1-值分别达到74.16%,52.70%,61.62%;最后,介绍了几个基于汉语框架语义网的研究课题的进展情况。     

自然语言语义形式化二维视角

本文从语言学和代数语义学两个角度综述了其形式化特点,探讨了自然语言的形式化问题,探讨了自然语言形式化的障碍和局限性,对自然语言形式语义框架下的对语义范畴提出了一些研究策略。     

融合概念与逻辑的中文深层语义描述体系

自然语言的语义理解涉及多个层面的问题,包括以谓词为中心的基本命题义、命题义之外的概念义、逻辑补足义等。目前主流的浅层语义分析主要集中在对命题义的分析上,缺少对概念义和逻辑义的支持,难以辅助计算机对文本的深度理解与推理。该文借鉴论元结构理论、事件语义学等相关语言学理论,突破语义角色标注等浅层语义分析的局限,建立了一种融合概念与逻辑的中文深层语义描述体系;并在该体系基础上,采用层层渲染的标注策略,构建了基于真实语料的大规模中文深层语义标注语料库,通过语言工程实践验证该描述体系的完备性和覆盖度。这一理论体系的建立和语言资源的构建,有望推动中文自动语义分析技术和人工智能等相关工作的创新发展。