LDRA TESTBED在航天软件测试中的应用

提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。

从战略角度出发的人力资源绩效评价与薪酬管理的整合探讨

人力资源绩效评价和薪酬管理对于企业的发展至关重要,企业要获得生存与发展,就必须通过合理的人力资源绩效评价和薪酬管理来激发员工的工作积极性,提高员工的工作效率。然而当前一些企业在人力资源绩效评价与薪酬管理方面还存在一些缺陷,本文对此进行了总结。与此同时,本文从战略角度出发,对企业的人力资源绩效评价与薪酬管理的整合措施进行了简要的分析,供相关人员参考。

飞行软件目标码测试软环境设计

阐述了一种飞行软件目标码测试环境的设计方法。该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆盖率统计。最后通过应用实例验证了设计方法的可行性。

基于VB的高精度智能化流量计检定系统

介绍了用VB开发高精度流量计检定系统的方法。该系统应用多周期同步测量原理和硬件双时计数原理对流量计输出信号进行计数 ,大大提高了流量计脉冲的计数精度 ,并利用动态链接库 (DLL)实现了Windows操作系统对温度。

大型商业综合体消防监督管理的难点及对策

在社会经济高速发展中,大型商业综合体成为一座城市实现经济发展最基本的元素,为城市生活提供了极大的便利。但大型商业综合体消防安全隐患较为严重,监督管理难度相对较大。文章首先对大型商业综合体消防监督管理难点进行分析,然后提出强化大型商业综合体消防监督管理的措施。

吉林省农村思想政治工作的现状调查与思考

吉林省农村的思想政治教育是吉林省社会主义新农村建设的本质要求和重要内容,对吉林省的社会主义新农村建设起着保驾护航的作用。现阶段农村的思想政治工作仍然面临着许多的问题和挑战,因此,深入农村基层对当前农村的思想政治工作状况进行调查研究是解决问题的关键。本文对吉林省部分地区农村思想政治工作的现状进行了调查,对新形势下吉林省农村思想政治工作取得的成效和面临的问题进行了剖析,并提出了相应的对策。

用于蒸发器自动翻转的环吊系统动力学建模与仿真

针对环吊蒸发器系统的强耦合、非线性、欠驱动造成的模型映射性差的问题,考虑到特殊作业环境造成实物验证的高成本、高风险、不安全的问题,提出基于机制建模的多体动力学仿真模型及其控制策略。结合真实情况中存在的非固定绳长、固定负载位置以及作业环境中的摩擦力对环吊系统动态运动特性的影响,重点考虑钢丝绳摆动偏角、蒸发器翻转角度与系统运动状态之间的非线性耦合关系。采用拉格朗日法构建了整个系统的机制数值模型;基于准确的数值模型,在Simscape Multibody仿真平台搭建与真实系统映射的动力学仿真模型;最后,在MATLAB/Simulink设计PID控制器,建立与Simscape的数据接口后进行联合仿真。结果表明:系统的各状态量均能够稳定跟踪理想的参考轨迹值,且符合实际工况约束,进一步验证了所建立用于蒸发器自动翻转的环吊系统动力学模型的准确性及有效性,为后续环吊系统的运动控制验证及算法优化等奠定基础。