程序理解及汇编源程序辅助理解工具TALU

本文讨论程序分析(理解)的理论和方法,重点阐述用于分析的扫描算法,在此基础上简单介绍我校开发的、能帮助程序分析人员分析理解汇编源程序的工具TALU。开发该工具的目的在于降低软件理解对人的智力依赖程度,提高分析人员理解程序的效率和准确度。TALU可以对IBM/PC汇编语言程序提供较强的综合分析能力。并对分析结果提供各种形式的输出报告。     

一种基于单片机的智能节电器的研究

介绍了智能节电器的节能原理,给出了以AT89C52单片机为核心的智能节电器,介绍了硬件设计和软件框图。该节电器采用智能降压节能。     

测量低频磁场充电法

文章推导了磁充电场解析式，并用其编程计算单一线导体、多线体组成的三维导电体模型，论述了三维模型磁充电场空间分布规律，并用于实测资料解释，证实了磁充电场正演计算的有效性     

基于函数调用序列模式和函数调用图的程序缺陷检测方法

基于函数调用模式挖掘的程序缺陷检测方法通常挖掘出的模式较多,疑似缺陷数量大,人工确认疑似缺陷开销高,且易引入误判.为此,该文提出一种基于函数调用序列模式和函数调用图的程序缺陷检测方法.首先,挖掘函数调用序列模式;其次,通过分析待检测程序,生成函数调用图;第三,结合函数调用序列模式和函数调用图,检测程序中的疑似缺陷.实验结果表明,在不影响缺陷检测效果的前提下,本方法有效减少了疑似缺陷数量,降低了人工确认开销.     

基于ABAQUS平台的邓肯-张E-B和E-ν模型程序开发

基于ABAQUS平台并利用UMAT子程序接口开发了邓肯-张E-B和E-ν模型程序,开发的程序可在一个模型中包含邓肯-张E-B和E-ν 2种不同的本构模型.应用该程序对一已建混凝土心墙堆石坝进行了变形及稳定的数值计算,并与现场实测结果进行了比较.结果表明,数值计算与现场实测的变形变化趋势较为一致.该结果验证了所研制程序的...     

高墩大跨桥梁空间几何非线性分析

在杆系结构几何非线性理论的基础上,推导了在空间状态随转坐标系下从t时刻到t △t时刻,空间梁单元的运动中能真正引起单元变形的那部分节点位移增量表达式．采用空间梁单元模拟高墩、大跨桥梁实际结构,用面向对象的Visual C^ 6．0语言,编制了具有可视化界面的空间梁单元几何非线性有限元程序,并对工程实例进行了全桥线弹性和考虑几何非线性的静力分析,并说明了其几何非线性的影响程度．     

一次性口令系统的设计与实现

阐述了网络安全技术中口令认证系统的工作机制和原理,提出了利用JAVA语言平台无关性、支持多线程、位运算能力强的特点实现OTP系统的具体设计方案及其主要环节的实现方法。其特点是用户每次输入的口令一样,但传递到服务器的登录口令却都不一样,每个登录服务器的口令只使用一次,可以有效地防止网络窃听和口令泄漏。一次性口令（OTP）系统的安全性关键在于MD5这个散列函数的不可逆性和用户密码既不放在服务端也不放在用户端的不可知性。     

烟草物流提升机控制系统设计

文章将可编程控制器应用在4层烟草物流提升控制系统中,使烟草物流提升控制系统更简洁可靠。设计了硬件电路,提升系统控制系统梯形图,给出了系统组成框图和程序流程图,实际应用效果良好。     

无线寻呼接收机POCSAG码的软件译码

本文提出一种利用查表法纠错和检验法检错来对ＰＯＣＳＡＧ码中的ＢＣＨ（３１，２１）译码的方法，给出可纠两个错及检３个以上错的一航方法，也给出了纠１２个借检２个错的简单方法，提出的方法特别适用于寻呼接收用软件译码，工程应用证明正确无误。     

铁锆混合交联蒙脱土的酸性和催化性能研究

制备了锆交联蒙脱土（Ｚｒ─ＰＩＬＣ）和铁锆混合交联蒙脱土（Ｆｅ─Ｚｒ─ＰＩＬＣ─１／４，Ｆｅ─Ｚｒ─ＰＩＬＣ－１／５），并用吡啶吸附红外光谱和氨程序升温脱附等方法对其酸性进行了研究。结果表明：Ｆｅ－Ｚｒ－ＰＩＬＣ－１／４，Ｆｅ－Ｚｒ─ＰＩＬＣ－１／５与Ｎａ─原土相比，中强酸和强酸酸量均增加，而与Ｚｒ─ＰＩＬＣ相比，中强酸和强酸酸量均减少，且中强酸强度减弱。以甲醇胺化反应为探针研究了样品酸催化活性。结果表明：Ｆｅ－Ｚｒ－ＰＩＬＣ─１／４和Ｆｅ－Ｚｒ－ＰＩＬＣ－１／５活性比Ｎａ─原土高，但低于Ｚｒ－ＰＩＬＣ。起酸催化作用的主要是Ｌ酸中心。