CMM5之于中国软件

去年12月30日，东软成为通过CMM5的第一家中国软件企业(部门级）；2003年3月25日，大连海辉科技股份有限公司又顺利的通过CMM5级的评估，成为了中国首家公司整体通过CMM5级评估的软件公司。     

软件能否成为青岛新名片

青岛有着与生俱来的特质，就是始终与外界保持着联系，在青岛软件园不仅有几百家本土企业“争奇斗艳”，微软、IBM、优创等跨国巨头也纷至沓来——[编者按]     

���ɹų����ˮ����Ȫ��Ȼ�������о�

本文结合实际资料,对内蒙古赤峰热水镇温泉天然气的地球化学特征进行了分析和研究。结果表明:上述天然气由多种成因气体组合而成。其中He属壳源放射性成因,CO_2属有机成因,CH_4属无机合成,N_2属大气成因。     

均化系统的改造决策

对石灰石预均化和生料均化系统的改造提出决策途径：首先，根据历年的质量控制资料，用数理统计方法，查清均化系统的现有和潜在的均化能力，决定是否需要改造。对于必须改造的系统，改造前应计算必须增加的均化能力，并根据原系统的具体情况，提出若干技改方案，选出最佳方案，并估算其经济效益。     

省政府发文要求各地加强今冬明春消防工作

最近,省政府办公厅下发《转发省公安厅关于认真贯彻消防法加强今冬明春消防工作意见的通知》,要求各地抓好六个方面工作。     

花非花——一个微距新手的花卉拍摄心得

新手可能认为微距摄影是众多摄影主题中最简单的，因为被摄物体的一般都比较小，给人感觉似乎很好控制，但实际上要拍好一组微距照绝不是件易事，需要精神高度集中，非常仔细地观察被拍物体的细节和变化，在微小的世界里，可能轻轻挪动一直镜头，你看到的景象就会完全不一样了。[编者按]     

铝合金局部加压凝固及流动数值模拟的研究

局部加压方法是压铸中用于消除铸件厚壁处缩孔缺陷的一种新工艺.本研究通过实验模型测量了不同加压条件下铸件的冷却曲线,分析了局部加压引起的凝固变化.考虑局部加压引起的补缩流动,通过适时修改网格文件、初始和边界条件的方法,模拟了局部加压过程中铝合金的凝固及流动变化,并与实验结果进行了对比,二者基本吻合.     

计算可靠的密码协议形式化分析综述

密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望.     

天然原料碳热还原氮化合成β′-SiAlON的研究进展

本文介绍β′-SiAlON的结构、基本性能及应用领域,阐述了合成β′-SiAlON的原材料和各种合成方法,重点介绍了利用天然原料合成β′-SiAlON的还原剂外加法和还原剂内加法即有机插层法。详细阐述了各工艺条件(反应原料的组成、反应温度、反应时间、反应气氛、流速及反应物颗粒尺寸、添加剂等)对合成β′-SiAlON反应结果的影响。同时本文指出目前该研究可能存在的问题及解决的途径。     

橡胶同步带用玻璃纤维线绳耐疲劳性能的改进措施

分析了影响玻璃纤维线绳耐疲劳性能的因素。采用环氧树脂与氨基硅烷复合浸润剂对玻璃纤维表面进行处理，在间苯二酚－甲醛胶乳（RFL）浸渍剂中加入氯磺化聚乙烯或用羧基丁苯吡胶乳和HNB胶乳替代丁苯吡胶乳、进行二次浸渍处理、改善玻璃纤维线绳结构等均可提高玻璃纤维线绳的耐疲劳性能。