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

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

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

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

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

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

基于粗集的调度Agent知识库建模研究

首先通过相识集、招标集、投标集和中标者的概念，描述了车间调度系统中的调度Agent与资源Agent间任务分配的招投标关系；运用粗集理论，基于任务的属性和资源Agent完全任务的成本、质量、负荷和时间等属性构造决策表；在分析了决策表的特征基础上，生成调度规则集，即调度知识库；最后给出车间调度Agent的调度过程算法。     

态势评估领域知识的表示方法研究

从分析态势评估专家系统的结构出发,研究战场态势评估知识库的构建,进而对态势评估的领域知识进行归纳,并通过示例探讨对态势评估领域知识的表示方法,同时把可信度方法引入态势评估不确定性知识的表示,给出了复合条件可信度的计算方法。     

几何量检测专家系统设计

几何量检测专家系统是以机械制造中最常见的参数、最常用的测量方法为研究对象，综合计算机在几何量测试技术、测试误差理论与修正技术、测量数据处理技术等方面的应用于一体，在一定程度上替代专家，解决检测时可能遇到的各种问题并提供所需的服务。论述了几何量检测专家系统的主要功能、组成及测量过程模型。     

孔加工专家系统

从专家系统基本原理出发，探讨和编制了光孔加工过程专家系统；详细介绍了该系统的结构、知识库形式、知识获取方式、推理机制和工作原理。     

基于Petri网模型的规则库表示

Ｐｅｔｒｉ网是建立系统模型和分析系统的强有力工具。文中首先讨论了各种类型规则的Ｐｅｔｒｉ网表示，然后给出了一个规则库的Ｐｅｔｒｉ网模型表示，克服了产生式规则表示知识难以反映规则之间相互依赖关系的缺点，对于知识库的维护具有重要意义。     

一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

基于总线式集成框架的本体构建及映射研究

通过本体的构建及相应的本体映射策略,可以很好地解决信息集成过程中出现的语义异构问题。是实现异构数据源语义解析的基础。在已有研究成果总线式信息集成框架的基础上,针对目前本体构建过程存在的不足,提出了基于共享词汇表的全局本体构建技术和基于UML的局部本体构建技术,使所构建的本体元素间关系更加准确完备,具有良好的一致性。提出了基于综合相似度的本体映射策略,大大提高了本体映射的精度。