区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

过氧化物对PBS/PLA共混物反应性增容研究

通过加入过氧化二苯甲酰(BPO)和过氧化二异丙苯(DCP)进行反应性增容来改善其相容性,并通过扫描电子显微镜(SEM)、偏光显微镜(PLM)、动态力学性能测试(DMA)以及差示扫描量热分析仪(DSC)等方法对共混体系相容性及力学性能进行了表征及测试。实验结果表明,加入过氧化物BPO或DCP可以使共混体系相结构均匀细化,共混体系的相结构由未加入过氧化物时的海岛相转为双连续相结构,同时由DSC测试还可以明显看出共混体系形成了共晶结构,说明共混体系的相容性得到了显著提高。     

港口机械起升机构CAD系统

本文主要介绍如何在IBM—PC微型计算机上开发起升机构CAD系统,实现起升机构传动方案选择、设计计算和绘图自动化。     

富勒型篦冷机窜轴的解决方法

从动轴与活动框架梁间有窜动是富勒型篦冷机的通病。在我们对原从动轴夹紧结构（图1）进行分析后，认为应从以下3个方面查找原因：     

新型高温永磁体的研制

通过分析影响磁体高温性能的因素,设计了新磁体的成分为:Cu含量高,Fe含量低,Zr适量,Sm含量高;采用粉末冶金工艺制备了高温Sm_2(CoFeCuZr)_(17)永磁体。制得的磁体室温磁性能为:B_r1.075 T,H_(ei)2 098.2 kA/m,H_(eb) 776.1 kA/m,H_k843.8 kA/m,(BH)_(max)210.0 kj/m~3;在200℃时的磁性能为:B_r0.991 T,H_(ci)1 175.7 kA/m,H_(cb)531.7 kA/m,H_k577.9 kA/m,(BH)_(max)172.5 kJ/m~3;矫顽力温度系数β(20～200℃)为-0.24％/℃。经理论分析和实验验证,磁体的使用温度均超过400℃,为高温环境(高于400℃)提供了一种实用性永磁材料。     

充分发挥国有企业共产党员的先锋模范作用

共产党员充分发挥先锋模范作用是由党的工人阶级先锋队性质决定的,是实现党的奋斗目标的内在要求。十四大党章总纲指出:“中国共产党是中国工人阶级的先锋队,是中国各族人民利益的忠实代表,是中国社会主义事业的领导核心。党的最终目标,是实现共产主义的社会制度。”“中国共产党在社会主义初级阶段的基本路线是:领导和团结全国各族人民,以经济建设为中心,坚持四顶基本原则,坚持改革开放,自力更生,艰苦企业,为把我国建设成为富强、民主、文明的社会主义现代化国家而奋斗。”国有企业是我们社会主义国家的经济支柱,是增强社会主义综合国力,发展社会生产力和提高人民生活水平的主力军。深化改革,搞好搞活国有企业,关系到我们国家的前途和命运,涉及到祖国东西南北的千家万户。正如江泽民总书记指出的那样;国有企业的改革和发展是关系到整个国民经济发展的重大     

MPP系统中的MP通信及其实现

论述了ＭＰＰ系统中节点机的通信结构，以及在主控机与节点机之间实现的Ｍｅｓｓａｇｅ Ｐａｓｓｉｎｇ通信及其通信协议。     

环氧树脂反应改性PPS/PA66合金的制备及性能

通过反应性挤出成功制备了聚苯硫醚/环氧树脂(PPS/EP)和聚苯硫醚/尼龙66/环氧树脂(PPS/PA66/EP)合金,并对其机械、流变性能和断面形貌进行了测试。在PPS/EP合金中,EP的加入会使PPS发生扩链反应,提高了其机械和流变性能,扩大了其加工和适用范围。在PPS/PA66/EP合金中,低含量EP的加入,会使PPS发生扩链反应,提高了合金的拉伸和冲击性能。随着EP用量的继续增加,EP会使PPS和PA66发生接枝反应,生成的PPS-g-PA66分散在PPS和PA66的界面上,提高了两相间的黏结力和降低了两相的界面张力,对合金的拉伸和冲击性能有利。更高含量的EP会使PA66交联和发生自固化反应,固化的EP由于与PPS不相容,容易成为应力集中点分散在材料中,使合金机械性能变坏。     

微交联聚丁二酸丁二醇酯/聚四氢呋喃醚嵌段共聚物的合成和性能

以丁二酸、丁二醇、聚四氢呋喃醚(PTMO)和柠檬酸为原料,采用熔融缩聚法合成了微交联聚丁二酸丁二醇酯/聚四氢呋喃醚(c-PBS/PTMO)嵌段共聚物,其中PTMO质量分数为50%。采用核磁共振(1H-NMR)对其结构进行了表征;采用差示扫描量热(DSC)、乌氏黏度计和流变性能测试仪对其结晶熔融性能和流变力学行为进行了研究。研究表明,当加入的柠檬酸质量为PBS质量的1%时,聚合物凝胶含量为20.3%,特性黏数增加38%;使PBS硬段结晶熔融温度降低8.4℃,熔融焓、结晶焓和结晶度分别降低3.1 J/g、6.4 J/g和5.7%,但对PTMO软段影响较小;使嵌段共聚物的剪切储能模量和复数黏度提高,而损耗角tanδ降低。表明少量的柠檬酸的引入,有利于提高c-PBS/PTMO嵌段共聚物的熔体强度。     

感谢一路有您

新年的钟声业已敲响,它回响着往昔奋进的足音,更唤起了对未来无限的向往。抚今追昔,时光在流逝,科技在发展,世界在变化,唯一不变的是我们心中对陪伴本刊走过17个年头的作者、读者及关注本刊的各界人士的感激之情,正是您们的鼎力支持,成就了本刊今天的辉煌。