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

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

飞机选型的模糊评判

本文把模糊数学的模糊变换原理用于购买新机型的评判。给出了各评判指标的定义和隶属度:并按 Saatz 的二元对比标度确定各指标的重要度;以及模糊变换的计算方法和应用举例。     

模糊价值可靠性分析研究

本文从模糊价值分析出发,结合可靠性分析,提出了一种新的分析方法,称其为模糊价值可靠性分析。文中引入实例,说明本文介绍的分析方法如何应用。本文结论正确,方法简捷,可供工程实际参考。     

管制员因素对飞行安全影响的模糊综合评价

在空中交通管制中，管制员的失误是导致危险接近、碰撞的关键因素之一，就量化管制员因素对飞行安全的影响进行了探讨。从管制员因素出发，提出了影响飞行安全的ATC（air traffic controller）指令、精神面貌和管制技能等3个子因素．然后利用层次分析法和物元分析理论确定各因素的权重，最后利用模糊综合评判方法，量化了管制员因素对飞行安全的影响，并用实例进行了验证。     

地基处理方案模糊优选综合评判

采用模糊数学的方法对地基处理方案进行优选，使得方案选择这一定性的问题得到了定量化的处理。工程实例分析表明，模糊优选较其它方法科学、合理。     

无人机自由编队飞行的补偿模糊神经网络控制

为了克服当前提出的无人机编队飞行的不足，提出一种新的无人机编队飞行概念——自由编队飞行，制定了相关的避让规则，用补偿模糊神经网络进行训练，实现自由编队飞行的补偿模糊神经网络控制。仿真显示，编队飞行的飞机能按照规则自主改变航路进行避让，表明了该方法的有效性。     

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

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

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

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

空袭目标威胁评估模型研究

以航路捷径、目标类型、机动特性、到达发射区近界的剩余时间，以及电子干扰为主要影响因素，结合多通道防空武器系统的特点，建立了基于层次分析法和模糊综合决策法的空袭目标威胁评估模型。用层次分析法确定各因素权重，以分段函数的形式给出权重系数。针对一给定的中程防空武器系统，用模糊统计计算各影响因素的隶属函数，并给出了模型的计算流程。仿真结果表明，所设计的模型能较准确地评估来袭目标的危险性，且具有较高的灵敏度。