Horn子句谓词逻辑作为归约语言及其语义学

本文为谓词逻辑的 Horn 子句语言塑造了一种归约语言,构作了它的语义学。此语义学是相当简洁的,它能满足严格数学处理所要求的公理基础的简明性,并使逻辑程序设计语言纳入正式函数程序设计的体系结构的轨道而作好理论准备。大体说来,归约语言的((CE,C,μ),(A,K),ρ)部分相当于通常所说的语法和指称语义学(由于这里的函数均为单类型的,指称语义学就要简单得多);(E′,C′,τ)部分,则相当于通常的操作语义学。     

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

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

最优化技术在精馏过程综合中的应用及研究进展

数学最优化技术在过程系统综合中起着重要作用。本文综述了混合整数非线性规划(MINLP)和随机优化两类最优化方法在多组分精馏过程综合中的应用及取得的新成果。首先对离散流程结构的表达方法、MINLP模型的建立和求解方法、以及各种方法的优缺点等方面进行了比较分析；随后提出了一种新的可包括复杂精馏结构的编码表达法及一个求解混合变量问题的随机优化策略；最后对该领域发展提出展望。     

Lyusia语言中状态转移编程体裁的谓词/事件网语义学

Lyusia语言是一种多体裁的人工智能语言,它由五种编程体裁(泛函的,逻辑的,集合论的,状态转移的,数据流的)有机地协调地统一而成,其中有状态转移编程体裁。而状态转移编程体裁实质上又是过程编程体裁与基于法则的编程体裁的结合,并且,还蕴含着数据流(Petri网的一种特殊形式)编程体裁。本文从谓词/事件网的角度,为Lyusia语言中的状态转移编程体栽奠定一种逻辑网的语义学。     

面向对象编程体裁中继承机制语义的Γ_(γω)理论描述:多重继承

_(γω)理论是一种一阶数学理论,它融合γω演算与谓词演算于一体.本文运用_(γω)理论来描述面向对象编程体裁(00PP)中一种多重继承机制的语义,它象公理语义一样抓住了(语义)问题的本质._(γω)理论在这里起了公理语义学的作用.这种语义描述简明得象Prolog程序一样,并且可望得到多层次多体裁编程语言Lyusia的支持,变得可执行的,从而可用作验证程序正确性.     

通信的顺序进程及其研究

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。     

沟道MOS势垒肖特基(TMBS)和超级势垒整流器

功率整流器在开关电源中起着重要的作用。为了提高其性能,业界不断引进新的技术。本文介绍了两种新型功率整流器(TMBS和SBR)以及它们的内部结构,工作原理和失效模式。     

WPKI护航移动电子商务

无线网络安全技术在移动电子商务中起着非常重要的作用。但国际上安全加密的研究主要以有线网络为主,如PKI(PublicKeyInfrastructure),即公开密钥体系,而无线网络的安全技术研究屈指可数。为了适应无线网络认证和加密的需要,WPKI(WirelessPublicKeyInfrastrcture)技术,即无线公开密钥体系渐渐发展起来。     

空间任意剖面等值线图的自动绘制

等值线是一种形和数的统一,在结构有限元分析的成果整理中起着重要的作用.它可以有效而直观地表示各种场的分布.对于给定平面有限区域中等值线的计算机自动绘制,已有各种各样成功的方法.但是,实际工程往往是空间问题.特别是土木、水电工     

试论产品语义学中的隐喻手法

产品语义学是通过经验符号的运用使产品传达出特定的内涵和意义。设计师对产品的诠释可以通过修辞中的隐喻表达出来,从而满足使用者多样性的需求。隐喻是用一种形象取代另一种形象而实质意义并不改变的修辞方法。在产品语义学中,我们可以充分地用隐喻来表达产品抽象的功能语义,从而赋予产品新的内涵意义,将其内涵传达给使用者,使产品带给使用者更多的方便、效率和乐趣。     

数据库语义学与自然语言交流

数据库语义学(Database Semantics)是德国爱尔兰根一纽伦堡大学Hausscr教授于20世纪90年代提出的面向计算机自然语言处理的程序化语义学理论。这一理论不同于以往任何以元语言为基础的语义分析方法,它将自然语言的理解与生成建构为角色(即听者和说者)转换的规则理论体系。该理论建构自然语言交流模型的两个核心基础是左结合语法((LA)和词库数据结构(word bank)。以古汉语为例介绍和分析这一理论,通过顺次应用LA语法的3个变体:LA-hear, LA-think和LA-speak说明DI3S理解和生成自然语言的过程。     

我看电脑

我常常在报纸上读到一些非议和“恐惧”电脑的文字,由于人们不再写那么多的字,而只是用手指敲键盘,人手将渐渐退化,一个手只剩下一个指头。又说,电脑的使用会破坏灵感和艺术创造的气氛,因为高科技与艺术个性是不相容的。还有一位先生断言,有些作品的冗长是由于使用电脑所致。这些批评和疑虑,据说由于后现代时期的到来而变得更加振振有词起来,因为一种时鲜的理论是批评工业化、批评科学和技术造成的负面的结果、批评现代化现代性,当然也要批评电脑。     

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

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

汉语框架语义知识库概述

介绍了汉语框架语义知识库(Chinese FrameNet,简称CFN)的语义描述体系。CFN是一个以Fillmore的框架语义学为理论基础、以伯克利FrameNet为参照、以汉语语料事实为依据的供计算机使用的汉语词汇语义知识库,它包括框架库、句子库和词汇库三部分。经过三年的努力,目前已取得了阶段性成果。CFN构建工程量大,难度很高,目前课题组只能在有限目标下开展工作,但是,已经探索了一条可行的技术路径,为实现语义Web中的语义知识共享以及智能化、个性化的Web服务提供了基础资源。     

数字签名技术及在Java中的一种实现

随着Intemet的快速发展，对网络信息安全提出了更高的要求。而数字签名技术在保证数据的完整性、私有性和不可抵赖性方面起着极为重要的作用，占据特别重要的地位。本文介绍了数字签名技术的基础——公开密钥加密体制及数字签名技术的实现过程．并给出了其在Java中的一种实现。     

WindowsCE SIP协议终端软件实现

sip协议在宽带传输技术中起着十分重要的作用,因此在很多终端通信软件中都支持sip协议,本文介绍一种利用WindowsCE操作系统提供的RTC(Real-time Communications) COM对象组件实现基于SIP协议的终端软件方法,并分析了SIP终端软件的相关技术,和系统架构.最后给出核心模块的参考代码.     

垂直地震剖面数据管理和应用系统

垂直地震剖面(VSP)数据管理与应用系统是一种集外业采集、资料处理成果、标定对比和成果显示于一体的数据管理应用平台,该系统制定了VSP外业采集地震辅助数据标准、处理流程标准和成果格式标准,解决了以往数据只能存放而不能灵活应用到地震勘探研究工作中的问题,为数据规范化管理与应用创造了一种手段和条件,使物探行业更好地适应国际、国内勘探市场的需求,也给其他油田的资料管理和应用起到了一定的借鉴作用.     

基于网络处理器的高速包分类机制设计

三元按内容寻址寄存器(TCAM)是内容寻址存储器(CAM)的一种变形,较CAM而言可以使查找更加灵活,对其工作（如包处理）效率的提高也起着极大的优化作用。文章从TCAM的原理及结构特点出发,阐述了其适用于提高NP性能的原因,通过一个设计实例说明了采用TCAM协处理器在网络处理器中加速包处理过程的方法和技术。     

全国第7届计算语言学联合学术会议(JSCL2003)征文通知

中国中文信息学会、中国计算机学会、中国人工智能学会和北京市语言学会于2003年8月8日~11日在哈尔滨市与哈尔滨工业大学联合举办“全国第7届计算语言学联合学术会议(JSCL 2003)”。 一、征文范围 (1) 计算语言学的理论基础：知识表示、语义学、语用学、语料库语言学、记忆模型、机器学习、知识获取和推理技术； (2) 现代汉语的句法分析和语义分析：汉语分析的策略、句法分析和语义分析中的计算问题、汉语分析的展望； (3) 汉语语料库技术及系统； (4) 汉语人机接口技术及系统； (5) 机器翻译技术、系统及评测方法； (6) 话语和篇章的分析…