CMM5之于中国软件

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

软件能否成为青岛新名片

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

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

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

均化系统的改造决策

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

田坝煤矿二号井煤与瓦斯突出规律及预防措施

本通过对二号井发生煤与瓦斯突出情况进行统计分析，找出发生突出的规律，提出预防措施，避免突出造成人身安全事故。     

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

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

气体滑脱因子快速实验测定的理论及方法

为了研究气体在多孔介质中渗流时的滑脱行为机理及其渗流规律，需要快速实验测定气体滑脱因子和低渗、特低渗岩心的绝对渗透率，常规方法须经多次测量方可获得一个滑脱因子和绝对渗透率值。为此，依据达西定理和波-马定律研究了一个压力容器内的理想气体经岩心自由渗流的过程，导出了描述岩心气测渗透率与容器内两不同时刻气体压力及其时间隔的关系式，从而提出了一种新的测试岩心气测渗透率的方法。由此可在气体经岩心自由渗流、容器内压力下降的过程中，用计算机计录下多个压力、时间点，并利用这些数据计算出多个气测渗透率值，再由克氏方程经最小二乘法拟合得出绝对渗透率和滑脱因子。该测试方法可在一次压力下降过程中完成对绝对渗透率和滑脱因子的测量，而且测量速度较快。     

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

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

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

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

硝酸铵生产中二段蒸发分离器改造

硝酸铵生产中二段蒸发分离器改造高家祥（南京化学工业公司国际事业公司南京，２１００４８）１一段蒸发分离器存在的问题及分析我公司氮肥厂有中型结晶硝酸接生产装置，酸氨中和液经两段蒸发浓缩后，采用真空结晶而得成品。二段蒸发后，经一次分离器和二次分离器分离下熔...