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

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

飞机选型的模糊评判

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

波音完成787确认构型

波音787梦想飞机团队成员2005年9月聚集在一起，庆祝全新波音飞机确认构型工作的圆满完成。这一里程碑标志着787项目协作研发阶段的结束和详细设计工作的全面展开。     

美国未来远程作战飞机分析

2006年2月3日，美国防部公布了其《四年一度防务评审》（QDR）报告，这份报告为美军未来20年的战略目标、作战模式、资源调配和部队建设进行评估和规划，将成为今后20年美军兵力构成和国防政策的指导性文件。在这份报告中，美国明确地提出了研制新的远程攻击系统的计划，只是在未来远程攻击系统的性能要求和经费需求方面还存在一些不确定性；     

美要把空间站补给工作交给私企

美国航宇局（NASA）8月18日选定两家公司参与“商业轨道运输服务”（COTS）计划第一阶段的工作．从而向把国际空间站补给工作交给私营部门迈出了一步。该局希望能用商用火箭为空间站运送人员和货物．以便自己能专注于重返月球和最终的载人火星探测项目。该局主管月球和火星探测工作的官员霍罗威茨说，该局的目标是在航天飞机退役后由商业航天公司为空间站提供支持。他说：“若商业部门能安全、可靠而经济地完成这项工作，那么采购这种服务是再好不过的。”中选的两家公司是空间探索技术公司和火箭飞机-基斯特勒公司。     

翼型低速失速形态的初步研究

介绍了翼型失速形态的种类，对翼型失速形态的机理作了一定的分析，并通过分析NACA64A212，NACA63－012，NACA4412和一先进超临界翼型失速形态与雷诺数的关系，对其超临界翼型的失速形态提出了看法。     

小型飞机研制项目的评估

随着我国经济实力的迅速增长,充分利用未开发的空中资源,已势在必行。多年来,一些地区和单位瞄准了这一发展趋势,投入许多资金研制民用轻小型飞机,以期开拓空中交通市场。轻小型飞机在发达国家,早已发挥其重要作用,其数量是干线飞机的许多倍,它以不可比拟的安全便捷、省时经济的特点,在各种领域施展身手。比如,森林防火、地质勘探、边防巡逻、邮件快递等,甚