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

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

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。     

印度设想建立印度版GPS系统

印度空问研究组织(ISRO)表示，印度正在考虑研发建立印度版的GPS卫星导航系统，其基本设想是，建立由8颗卫星组成的印度区域性导航卫星系统。该项目处于计划筹备阶段，尚需政府的正式批准。     

HML系统在商店偏好决策模型中的应用研究

对混合式机器学习系统（HML）进行了全面系统的介绍，并将其运用于服装消费商店偏好决策行为的研究中。采用上海统计局家庭调查网络，对300户家庭进行抽样分析后发现，服装消费商店偏好的主要影响因素是地区、季节、丈夫和妻子的学历、职业以及子女性别。在此基础上，将HML分析所得的结论与传统的研究方法和结果进行了系统比较：从方法上来看，因为属性变量包含间断变量和连续变量两种，因此传统统计分析要运用两种不同的检测方法对影响因素的相关性作出判断，结果需要经过统计学分析，才能得到结论；而HML分析结果比较直观和简单，便于理解。     

系统工程技术（SE）在空管固定格式报文交互测试中的应用

1、引言 系统工程（SE）研究如何将用户的需求正确地转化为系统要求。对于不同复杂度的项目，系统工程（SE）都能提供一套较为完整的逻辑方法来得出最佳的解决方案。另一方面，系统工程还能在一个系统的设计中权衡取舍并整合出各种要素以获得更好的产品和最佳的系统性能。因此，系统工程的正确实施有助于从一开始就正确执行项目，并能及早发现和解决问题，极大地降低了项目的成本和风险。     

一类生化反应系统的定性分析

论文研究了一类生化反应系统：dx/dt=b-(c d)x^py，dy/dt=a dx-x^py，得到了该系统极限环存在与唯一的充分条件。     

加强对单芯电缆的维护管理保障助航灯光系统安全运行

助航灯光系统是机场飞行区重要的目视助航设施，俗称是飞行员的眼睛，在飞行安全中起着至关重要的作用。保证助航灯光安全运行，是灯光管理者和维护人员的基本职责。如何保证，怎样管理，那些环节属于关键部位，笔者根据自己的认识与实践进行简单的分析，谈一些粗浅的看法，供同行参考。     

虚拟环境系统中复杂模型的建立--3D资源在快速开发虚拟环境系统中的应用

对利用3D资源在快速开发虚拟环境系统中的方法进行了研究。在开发虚拟环境系统的过程中，复杂模型的建立是必不可少的，仅仅利用OpenGL函数编程来实现仿真是很困难的，针对该问题提出了利用3D资源进行3D文件读取和转换的两种方案，分析了虚拟环境中复杂模型的建立以及处理的基本方法，并对数控车床的仿真进行了详细介绍。