组件思想在模拟执行的需求检查方法中的运用

模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。     

单调增函数幂次积分序列的一个新结果

利用实分析中函数项级数收敛的性质，建立其相关的等式，证明了如下结果：设ｆ（ｘ）在「０，１」上单调增加并且满足下式，其中ｐ为正常数，那么有：０≤ｐ≤１且ｆ（ｘ）＝（ｘ＋ｐ－１）／ｐ，ｘ∈（１－ｐ，１），０，ｘ∈（０，１－ｐ」。证明具有一定的技巧性性强，条理清楚。     

以人为本!以HR为本?——关于HR软件应用的对话

“以人为本”的提法相信不会有企业提出异议,但是对以人为本的企业来说,是否也该以人力资源(HR)管理软件为本呢?HR软件在几年内逐渐成为企业管理层所看重的信息化手段之一,许多企业管理软件厂商也将其作为整个产品线中不可或缺的一部分,地位也在不断提升。但是HR软件能否成为企业的核心系统?HR软件是否适合大部分的国内企业?HR软件对企业的人力资源部门的影响力有多大?国内厂商的产品是否同国外产品存在差距?企业更需要什么样的软件?等等。带着这些疑问,我们邀请到HR软件的用户代表北京现代汽车有限公司人力资源科赵耀平科长、HR管理信息化咨询公司代表大易咨询申刚正总经理,以及国外HR软件厂商仁科公司大中国区HCM解决方案顾问张宏和本土HR软件厂商金蝶软件公司HR产品市场经理舒立文,一起就上述问题进行探讨。     

谈精密套筒链中销轴直径对链长精度的影响

本文通过检验中的实验数据，分析了精密套筒链中销轴直径对链长精度的影响，阐述了销轴直径与链长精度的关系，提出了如何以控制销轴直径来控制链长精度的方法。     

锅炉给水泵前置泵节能改造研究

目前国内运行的600 MW级超临界燃煤机组前置泵的流量、扬程存在设计缺陷——选取富裕量过大,运行时增加了厂用电率,影响了机组的经济运行。通过对某电厂锅炉给水泵组性能参数与运行参数的分析,在保证锅炉给水泵所需的有效汽蚀余量前提下,计算出前置泵实际所需的真正扬程,据此对现有前置泵进行优化改造,降低前置泵消耗的轴功率,从而达到节能降耗目标。     

遥控液压打渣机在有色冶金工业中的应用

一种遥控液压打渣机越来越多的应用到我国有色冶金工业的炉窑维修中,它改变了传统的炉窑维修方式,带来了拆除效率和作业安全上的提升.本文回顾总结了有色冶金炉窑维修装备的历史,阐述了遥控液压打渣机应用的特点和优势,指出遥控液压打渣机在有色冶金炉窑的维修中的广泛应用将是发展方向.     

化工系统半敞开循环水阻垢性能的研究

在企业循环冷却水系统中,随着浓缩倍率的提高,各种离子的浓度也在不断增高,最终达到饱和状态,产生水垢,给系统的正常运行带来影响。向循环冷却水系统中投加合适浓度的阻垢剂可避免这一现象的产生。     

带式输送机转接流程切换技术

在带式输送机系统运行过程中需要在转接点实现带载切换工艺流程时,采用传统的翻板式分叉溜管,通常因物料冲击力较大,无法实现带载切换。经过对不同系统工艺切换方案对比研究,提出两种新型分叉溜管技术,能够实现带载切换。     

316L板翅结构钎焊接头力学性能试验

采用高温短时拉伸试验和相应数学模型分析研究了316L T形钎焊接头的力学性能.使用扫描电镜（SEM）和能谱分析（EDS）分析了失效钎焊接头裂纹尖端和焊缝区域的微观组织及性能，进一步探讨了板翅钎焊结构的失效机理.结果表明，基于T形板试样的高温拉伸载荷位移曲线能较好地反映焊缝的起裂和裂纹扩展过程，1~2 mm/min为合理的试验加载速率取值范围；钎焊过程中焊缝区会出现明显的铁元素富集现象，为板翅结构高温失效的主要诱因.