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分析结果比较直观和简单，便于理解。     

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

流通市值代码公司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     

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

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

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

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

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

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

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

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