基于UML的计算机联锁软件的分析与建模

有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。     

α─甲基苯乙烯和丙烯腈乳液共聚研究

本文用α─甲基苯乙烯（α—ＭＳ）和丙烯腈（ＡＮ）为主要原料，用乳液聚合技术合成了α—ＭＳ—ＡＮ共聚物．主要研究了乳化剂种类和用量、引发剂用量、单体的不同加料方式和配比对聚合的影响．同时考察了单体的不同配比对共聚物性能的影响．并通过ＩＲ等手段对共聚物进行了表征，最终得到了令人满意的α—ＭＳ—ＡＮ共聚物。     

明天科技ERP系统建立与实施

包头明天科技股份有限公司根据企业自身的特点 ,应用信息技术改造和振兴传统产业 ,开展企业管理创新 ,采取了“总体规划、分步实施”的办法 ,实施明天科技 ERP管理系统建立。目前已经实现了物流和信息流的统一 ,推进了企业管理现代化进程 ,使企业整体管理水平得以提高     

控制燃煤硫的污染与动力煤全硫比价划分

讨论了中国煤炭资源中全硫分布的特点，指出加强动力煤洗选，降低硫含量的重要性；采用ＩＧＣＣ工艺和热煤气脱硫技术，可以实现高硫煤的有效利用。并提出制定合理的动力煤全硫比价问题。     

延长窑用耐火材料使用周期的措施

Φ5.8 m×97 m回转窑用耐火材料的使用周期太短,吨熟料碱性砖砖耗曾达3.0kg以上。从配置、施工、 使用维护和质量管理等方面采取措施后,2003年吨熟料碱性砖砖耗降到0.6kg左右。     

中国盐化工发展现状及前景展望

阐述了盐化工发展现状,主要包括盐化工产品的生产、消费情况和技术水平,并论述了盐化工发展前景及发展趋势.     

生物浸矿反应器的制作及矿浆质量分数分布特征

以自制的生物浸矿反应器为对象,以反应器内矿浆质量分数分布为评价指标,就搅拌器搅拌方式、外循环流量及曝气大小对矿浆质量分数的分布进行了研究.结果表明:当搅拌速度为1800～2000 r/min,搅拌桨离曝气器顶部2～3 cm,外部循环流量为13 L/min,曝气量为1.2 m3/h时,反应器内矿浆质量分数分布均匀.并对总矿浆质量分数为6 %、10 %、15%和20%的反应器内矿浆质量分数随反应器高度的变化进行了研究.     

基于边密钥的传感器网络动态密钥协商方案*

由于传感器自身资源受限,目前采用的主要安全技术是对称密钥与密钥预分配策略。在当前基于对称密钥的动态密钥协商方案中,节点预装入密钥材料,部署后与邻居节点通过共享密钥材料建立配对密钥。为提高动态密钥协商中密钥材料的安全性,在一个典型的动态密钥协商方案,即LBKP方案的研究基础上,提出了一种新的基于边密钥的传感器网络动态密钥协商方案。与LBKP方案相比,该方案有效地减少了内存开销,提高了密钥安全性。     

企业价值链价值分配的优化研究

为研究价值链中各企业间价值合理分配的问题,在明确企业价值链中各参与者关系的基础上,从价值分析和成本分析入手,针对价值链中各参与者的不同行为模式,对企业价值链的稳定性问题和价值链调整的合理性问题进行了分析,并给出了价值链稳定性及调整合理性的判定公式和相应经济学解释.阐述了在价值贞献和价值分配之间产生偏差的原因和几种情况,依据博弈论原理建立了价值链价值分配议价模型,模型分析表明存在唯一的子博弈完美均衡,最终可以得到一个均衡策略.研究结果为合理构建和调整企业价值链提供了理论依据.