CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

基于信息熵的飞机相似机型确定方法

参考类似机型的经验是我国目前民用飞机研制的主要途径之一。为了更好地借鉴国内外类似机型的经验,本文提出了一种基于信息熵的类似机型确定方法,该方法应用信息熵理论,直接通过类似机型数据所蕴含的客观信息计算各属性的权重,消除了依靠人为指定权重的主观因素影响。在此基础上,给出了包含有不精确信息属性的相似度的计算方法,最后应用支线飞机实例进行了验证,表明该方法具有较高的客观有效性。     

外来语与汉语引进外来语的方式探讨

外来语的发展趋势呈现出新词趋同化、信息集约化和词汇新潮化的特点。外来语大量流入汉语是一种潮流,引进外来语的方式各有优势,字母词的出现被认为是音译外来语的突破。在积极探索外来语引进的同时,应注意汉语发展的规范化。     

基于认知心理学的不精确概率推理

本文从获取知识的角度出发,肯定了主观概率作为命题信任程度度量的作用,并根据心理学中的一些实验结果,提出应把 P(H/E),P(H/～E)定义为规则的强度;在此基础上,给出了一种新的不精确推理模式。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

一种基于语义的Ontology映射方法

O n to logy映射是实现异构O n to logy互操作的有效方法,目前的O n to logy映射主要采用句法方法,而很少采用语义方法。本文提出了一种基于语义的O n to logy映射方法,该方法考虑了O n to logy中的概念属性,采用概念名称相似性、概念属性集合相似性、相关概念集合相似性等确定O n to logy之间的语义映射关系;采用语义半径提高了语义映射方法的灵活性。试验分析表明:该方法得到的映射的准确率和查全率在90%以上,准确率和查全率均优于S-M atch方法。该方法已在基于知识需求的主动式知识系统原型中实现,并在某研究所得到了应用。     

时间的模糊区间段表示及其运算

介绍了Allen的区间代数及其扩展--INDU网络,将Heisenberg不确定性原理应用于INDU网络,将INDU的25种基本关系中两区间有端点相等的或区间段相等的这15种关系删除,这15种关系在现实世界中是不可能出现的,就产生了有10种基本关系的FINDU网络,给出了FINDU网络的复合运算表.FINDU网络在军事多自主体系统中可以得到很好的应用.     

面向飞机的装配方案索引技术

现代飞机设计多为改型设计,其装配方案具有一定的相似性。因此,在装配工艺规划工作中采用基于实例的推理技术,是有效利用以往设计经验和知识,实现产品快速研制的一种有效途径。本文在飞机产品结构特点和单元分解方法分析的基础上,提出一种对飞机零件进行分类的BP神经网络索引方法,用以支持飞机装配方案的获取。     

实例推理技术在机床夹具CAD中的应用

本文以机床夹具为研究对象，分析了机床夹具的特征，指出机床夹具特征相似可描述为结构相似和功能相似两个方面。根据基于实例推理方法，研究了机床夹具设计中的实例库设计、检索方法、检索算法等关键技术。介绍了我所与南航联合开发的基于UG平台的专用机床夹具CAD系统基于实例推理的设计向导技术特点与应用情况。     

一个基于故障树模型的诊断系统

提出一种基于故障树模型的诊断方法，并基于该方法实现了一个验证性的诊断系统。基于故障树的层次诊断模型，提出了确定性推理方法和可能性推理方法及面向故障树的基于框架和广义规则的混合知识表示方法。最后在ＣＯＭ－ＰＡＱ４８６微机上，Ｗｉｎｄｏｗｓ环境下，用ｂｏｒｌａｎｄＣ＋＋实现了该诊断系统，并通过对一个电路系统实验台的诊断验证了方法的有效性。