Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

现代对策论研究

对策论是研究斗争局势中冲突问题的数学理论,笔者长期以来在此领域进行了大量的研究探讨,本文概要介绍了主要工作。     

隐形的引用水有机污染

地下水是我们生活用水的重要来源,全国有2/3的城市依靠地下水作为生活供水水源。特别在一些北方城市,地下水的作用显得尤为重要。例如,北京市民的饮用水每3杯中就有2杯来自于地下水。有机污染物指地下水中包含的一些对人体和环境都有危害的有机化学物质。近年来,地下水污染已经成为人们担忧的又一环境问题。从前,地下水污染主要是硝酸盐等无机污染物。如今,地下水有机污染引起了科学家的重视。在几次大规模调查中,我国地下水中致癌、致畸、致突变的"三致"持久性有机污染物(POPs)普遍检出。由于人类位于生物链顶端,如果摄入以二恶英为代表的持久性污染物,其毒性则将被放大7万倍。     

现代空袭作战模式研究

依据近期空袭作战的实际战例,以及空袭兵器的电子信息装备的发展水平,阐述现代航空航天兵器的空袭基本作战模式,以及现代空袭模式的可能发展变化.重点论述了空袭电子战作战模式.     

科技成果

加拿大国家研究理事会研究开发有机太阳能电池据科技部网站2011年5月25日报道,加拿大国家研究理事会微结构科学研究所（NRC-IMS）和拉瓦尔大学、St—Jean光化学公司及总部设在美国马萨诸塞州的Konarka公司,正在合作开发有机太阳能电池。为解决矽太阳能电池板成本高、     

基于FGN输入流的G/D/1排队模拟

传统的排队理论不适于分析高速网络表现出的自相似流量.通过实验仿真,主要考察平均等待时间和在队列分别为无限和有限情形下的队列尾部特征等参数,并对以FGN为输入流的G/D/1排队模型作了定性分析.结果表明在输入流的强度和方差基本相等且系统利用律大于某一阈值的情况下,队列平均等待时间随Hurst参数增大而显著增长.同时指出在相同的条件下考察队列尾部特征,具有有限队列长度的G/D/1排队模拟结果要远优于无限队列长度下的理论分析结果.      

丙烯酸酯类修补剂粘结性能和可灌性研究

丙烯酸酯类修补剂是一种由主剂和引发剂、增塑剂等合成的高分子聚合物,其粘度可以通过反应温度和时间来控制,是一种适宜修补混凝土微细裂缝的材料。本文主要针对丙烯酸酯类修补剂的粘结强度和可灌性进行试验研究,通过添加有机改性剂,来提高粘结性能和可灌性。试验结果表明,有机改性后,粘结强度提高了14%以上,可灌性提高了20%～30%。     

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

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

国防R&D项目的评估与中止决策

论述了对国防R&D项目进行评估及中止决策的重要意义.探讨了神经网络方法用在国防R&D项目中期评估及中止决策的可行性.提出了适用于国防口R&D项目评估及中止决策的BP多层神经网络方法.选用了国防口正在进行研究的52个项目作为实证分析案例,利用BP多层神经网络方法对之进行了分析处理.分析结果识别出了影响国防口R&D项目发展前景的6个重要因素,同时,对52个项目进行了归类处理,并对该52个国防口R&D项目作出了继续、暂停及中止研究的决策.案例研究的结果表明,该方法实施较为方便、计算较为简单,其有效性令人满意.这表明BP多层神经网络方法在R&D项目中止决策领域具有应用前景.