CMM5之于中国软件

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

软件能否成为青岛新名片

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

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

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

均化系统的改造决策

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

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

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

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

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

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

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

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

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

Proteus软件与微机原理接口技术课程实验对接的应用

Proteus 7.5版本的出现使得基于Proteus的微机原理与接口技术虚拟实验成为可能。本文介绍基于Proteus的微机接口虚拟实验平台的构建方法,对源程序编辑编译环境设置进行阐述,最后以8251A的应用为例描述在该平台下的如何开展微机接口实验。     

化学气相渗C／SiC材料结构与性能的研究

采用碳布层叠然后用化学气相渗方法制备了Ｃ／ＳｉＣ复合材料，这种材料纤维与基体间的界面是决策材料力学行为的重要因素，带有热解碳作为界面层的Ｃ／ＳｉＣ材料，在断裂进表现出大范围的脱粘，纤维与周围的基体不同发生断裂，有大量的纤维拨出，断口类似毛刷，无界央层材料表现为脆性平面断口，裂纹直接通过纤维和基体向前扩展，没有发生脱粘。