事故因果连锁模型的改进

H.W.Heirnrich的事故因果连锁理论是非常有名的理论,从提出至今,一直被广泛应用。但随着社会的发展,工业生产的各个方面都有显著的改变,以前的理论表现出一定的时代局限性,由此提出改进的事故因果连锁模型,并就此提出相应的事故预防措施,为安全生产提供一定的理论依据。     

DBI-Go: 动态插桩定位 Go 二进制的非法内存引用

Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎。Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的堆对象。Go的逃逸分析必须正确决定对象的分配位置以保证内存状态的正确性。然而,目前Go社 区中逃逸相关问题频发,潜在导致程序崩溃等致命问题,而目前对该方面的研究缺失。为了有效检测编译器生成的代码是否存在可能引起运行时崩溃的非法内存引用,填补研究空白,本文对Go程序执行进行了抽象建模,并提出了两条判定写入违例的规则。基于这两条规则,本文克服了Go二进制中高层语义缺失、运行时信息不便获取等挑战,设计了一个轻量化的分析工具DBI-Go。DBI-Go采用静态分析加动态二进制插桩的分析方式,基于动态二进制分析框架Pin来实现,可以识别Go二进制中违例的store指令。实验结果表明,DBI-Go可以检测出Go社区中所有已知的逃逸相关Issues;DBI-Go还发现了一个目前Go社区未知的问题,该问题已经得到确认。在实际项目上的应用则表明DBI-Go可以帮助开发人员找出逃逸算法的错误。测试结果还表明DBI-Go采取的措施可以有效降低误报率且在 93.3% 的情况下带来的额外运行时开销小于原先的 2 倍。同时,DBI-Go无需修改Go的编译运行时,可以适配不同版本的Go,有较高的适用性。     

随车起重机防倾翻装置数模构建及控制原理

大吨位的随车起重机需要防倾翻保护装置。利用现代电子、单片机、传感测试等技术,建立了随车起重机力矩数学模型,并进行了防倾翻装置的控制系统的研究。     

基于IDEF0模型的业主——承包商Partnering研究——对某大型国际电信项目的案例分析

工程项目中的Partnering致力于建立相互信任、跨组织协作的高效项目执行模式。从信息流程的角度,将Partnering分为3阶段5个子过程。运用IDEF0模型,从输入、限制条件、驱动机制和输出4个方面识别3个阶段中影响Partnering的因素。通过实际案例,分析Partnering实施中网络型信息流,呈现其各子过程之间的逻辑关系。研究发现,组织的高层管理者在Partnering前期是关键的驱动机制;组织间的信任水平是Partnering实施效果的主要限制因素;问题解决效果和共同目标的达成与否是衡量Partnering效果的关键子过程;项目执行中的一方的持续努力会局部改善Partnering的实施效果。     

高压输送管路中的应力分析和管壁厚计算

高压输送管路中管壁厚的计算和确定是高压管路设计中的一个十分重要的问题。从分析高压输送管路中的应力入手 ,运用第 3强度理论推导了高压输送管路中管壁厚的计算公式 ,从而为高压输送管路设计中管壁厚的选择提供了理论依据     

新型张拉自锁防滑锚具设计

针对目前锚索支护中经常出现锚索锚具滑移现象,设计了一种结构简单,在使用过程中具有自锁作用的新型防滑锚具.分析了该新型锚具的结构组成、特点、工作原理及其实际使用效果.     

焊接机器人大臂有限元分析及拓扑优化

采用有限元分析软件ANSYS对焊接机器人大臂进行静力学和模态分析,得到大臂在最危险工况下的应力变化特性和固有频率及其对应振型,了解了大臂结构的薄弱环节,并对大臂进行拓扑优化设计,根据拓扑优化结果建立新的大臂结构,对最优结构的强度校核证明了设计方案的可用性与有效性。     

用DSP实现多目标实时跟踪

介绍了在 TMS3 2 0 C62 0 3上实现 4个目标的快速跟踪技术。为了提高实时性和精确度 ,采用线性汇编优化实现。1个 3 2 0× 160主窗口的 DSP平均处理时间为 2 m s,3个 60× 60副窗口的 DSP平均处理时间各为 0 .4ms,实现了复杂背景下低对比度目标的快速跟踪。实验结果证明跟踪效果良好 ,解决了以前窗口开不大、跟踪速度慢的问题     

频谱重叠因子对数字调制系统的性能影响分析

一般数字调制系统的性能分析都是在信号、噪声统计规律的基础上,通过时域的数学方法进行的,但针对目前和未来复杂通信环境(如认知无线电系统的授权用户规避、窄带或宽带干扰影响等问题),经典的分析方法尚不能准确、定量的描述数字调制系统的误码率性能。该论文从频域分析的角度出发,提出了频谱重叠因子(spectrum overlap factor,SOF)的概念,推导并修正了干扰存在下经典的2ASK、BPSK和FSK调制方式的误码率公式。在证实直观物理意义的基础上,给出了定量的数学描述。实验仿真结果验证了频域分析的正确性。