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

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

面向地震应急响应的松耦合研判模型管理机制

由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控制语言(MDCL)和数据源描述/控制语言(DSDCL)组成;(2)研判资源协同交互框架,该框架分为4层,主要包括应用环境上下文App_Context、模型调用者Model_Invoker和数据通道Data_Channel 3个Agent组件;(3)研判资源协同交互协议,该协议将研判任务、研判模型和数据源的紧耦合关系分解为上述Agent组件之间的协同交互关系。实际应用表明,LC-MM能够有效屏蔽研判资源的异构性,提高EERS的可扩展性、动态适应性以及平台无关性,能够较好地满足EERS中研判模型的管理需求。     

基于量化控制的校准/检测实验室质量管理及实践CSCD

介绍了校准/检测实验室开展质量管理量化控制的思路,以及重点控制项的量化控制方法及初步实践,通过对计量证书质量、质量体系建设、共性问题专项治理、质量培训等方面的量化管控,有效促进校准/检测实验室质量工作的开展。     

小卫星星务管理计算机容错系统的设计

采用双机冗余的容错方案,对小卫星星务管理计算机容错系统的设计进行了较为深入的探索。在设计中,充分利用软、硬件容错技术相结合的优势,完成了星务管理计算机系统级和部件级硬件体系结构设计。提出了在主机发生故障的临界状态,启动备份机工作的临界切换设想。最后,通过仿真实验和系统模型可靠性分析,证明了系统可以满足设计的要求,具有较高的理论和实践价值。     

信息提供下的公交管制策略

研究在提供公共交通服务信息情况下不同的管制策略对公交企业在设定价格、发车时间间隔的影响.公交管制策略主要包括完全无管制(垄断)策略、完全管制(社会最优)策略、收益率管制策略和数量控制策略.模型假设到站台的乘客流是随机分布的,乘客根据公交公司的服务频率和信息质量来决定是否事先计划行程以最小化自己的期望出行成本.研究表明,不同管制下的信息质量与乘车人数、信息质量与发车时间间隔有类似的对应关系,社会最优时提供信息质量好于垄断最优,且乘车人数是垄断最优的2倍,其他外生变量对4种管制下的决策也具有显著影响.      

模拟月壤铺粉过程DEM数值仿真

空基激光选区熔化（SLM）技术与原位资源利用（ISRU）概念结合,有望解决地外大规模基地建设的工程难题。SLM铺粉过程对成形件性能和质量有重要影响。基于非球形粒子叠加球模型方法,建立模拟月壤颗粒几何模型;基于线性弹簧-阻尼接触作用模型、Hamaker理论及牛顿运动定律,建立颗粒动力学模型;采用三维离散单元方法（DEM）及软球模型,进行不同工况下模拟月壤在铺粉过程中的流变特性研究。结果显示:所提模型和方法能开展指定工况和环境参数的模拟月壤颗粒系统流动性和堆积行为数值仿真研究;月面低重力环境导致粉床表面粗糙度变大、堆积密度和平均配位数变小;通过降低铺粉速度和优化刮刀型面,可以有效改善月基铺粉的粉床质量,获得更密实和均匀的粉床结构。      

R&D项目中止决策的实证研究

在与本领域专家探讨及调研相关资料的基础上,针对性地设计了适用于R&D项目中止决策的指标体系, 提出了改进的Fuzzy模式识别方法, 并将其成功地应用于某飞机制造企业的R&D项目的中止决策实践.该方法对Fuzzy模式识别方法的改进主要体现在两个方面:①利用集值统计方法得出了各指标的权重;②计算样本间的距离时,利用了广义欧氏距离公式.      

悬在卫星头上的“双刃剑”

卫星是现代信息作战中必不可少的高技术武器。在激烈的对抗行动中,敌对双方不仅力图杀伤对方的有生力量,也会努力破坏对方的战争支撑系统,包括卫星在内。很可能,卫星会成为恐怖分子眼中的下一个目标。     

卫星:所有通信业务发展的必由之路

1　概述□□未来航天活动的特点是,建造卫星星座,开展新业务及新应用,增强运载火箭推力。还应当考虑为地面通信网开发有关技术,满足用户不断增长的需求。为了对上述变化作好准备,乃至采取未雨绸缪的行动,阿尔卡特航天公司(AlcatelSpace)已经对其组织结构进行了变动。1998年,阿尔卡特公司卫星业务部和法国宇航公司及汤姆逊-CSF公司合并,组建了拥有近6000名员工的AlcatelSpace。目前,这家世界主要的卫星制造商从事两种主要的活动:1制造由阿尔卡特航天工业公司(AlcatelSpaceIndustries)负责;2运行和业务由阿尔卡特空间通信公司(AlcatelSpa…