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

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

升息压力依旧，全球股市冲高回落

流通市值代码公司2006051020060610涨跌幅(流亿通股股)本(亿元)股20收05益年(元每)市盈率注“:*”业绩为2005年度业绩。收盘指数2006051020060610涨跌幅000089.SZ G深圳机场4.384.9312.56.470.990.2515(除权)19.60000099.SZ G中信海直5.874.75-19.08%5.13624.400.177426.786     

普及通用航空知识 开拓通用航空事业新局面——评《通用航空丛书》

通用航空是民用航空的重要组成部分。它不仅能够直接为经济和社会发展服务,在抢险救灾、测绘制图、资源勘探、增产粮棉、保护森林、绿化荒山、治理沙漠等方面也具有机动灵活、快速高效的功能和特点,更起着地面机械和人工作业不可替代的作用。通用航空中飞行驾驶执照培训也是培养飞行员的摇篮,它对航空运输发展起到了有力的人才支持作用。同时通用航空对于普及航空知识,发展旅游观光和航空制造业也有极大的推动作用。可以说,通用航空的发展带来了新的市场和机遇。不同国家、不同经济环境和政治制度等方面的差异,使得通用航空的发展形式、内容…     

加强知识管理 促进企业技术进步

阐述了知识管理与企业技术进步的辨证关系，企业要确保自身竞争优势，必须下大力气培育以核心技术能力为主的核心竞争力，使知识的开发和管理逐渐上升为企业管理的重要组成部分。本文结合西航集团公司技术进步中存在的问题，指出必须借助知识管理来予以改善。通过知识管理扩大知识共享，拓展西航集团公司技术进步的深度和空间，促进知识应用与创新，以实现公司在新时期的快速发展。     

航空发动机大型锻件精化应用研究

为了提高材料的利用率，提高产品质量并降低成本，大型锻件的精化是关键技术之一。本文介绍了航空发动机的涡轮盘、轴颈及环形件等大型锻件精化的应用研究成果。     

埃尔比特公司为以色列空军提供F-161模拟器系统

埃尔比特系统公司将从以色列空军的F-161机组人员飞行和系统训练器提供航空电子模拟系统，系统包括显示和瞄准头盔（DASH）。任务计算机系统、平显系统，显示处理器和数字地图以及存储管理系统，埃尔比特在训练器开发项目中的份额为1000万美元。公司所开发的航空电子系统将模拟真实的F-16航空电子系统，埃尔比特公司子公司5VR系统公司将提供视频显示器和座舱模拟器。     

高级靶场测量飞机

本文描述了高短靶场测量飞机(ARIA)及其目前和未来在全球范围内保障试验和鉴定活动的计划。     

民用航空发动机维修市场发展趋势浅析

叙述了国际民用航空发动机维修市场的发展趋势、战略以及将遇到的挑战。重点对国内维修市场进行了分析并针对该市场所面临的困难和问题提出了建议，为即将进入航空维修业的企业提供了较为实用的参考依据。     

俄2005年前建立统一的航空电子联合企业

到2005年前，俄罗斯将建立航空电子生产方面的统一国防系统——“航空电子”联合企业。2004年9月18日，普京签署了关于在航空仪表制造联合体基础上建立“航空电子联合企业”股份公司的命令。现在主要是重组方面的工作。“航空电子”联合企业有19家航空仪表制造企业加入。