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

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

弹性曲梁静态大变形数学模型及其数值解

基于Kirchhoff直法线假设,采用考虑轴线可伸长的几何非线性理论,建立了弹性曲梁在任意荷载(保守和非保守)作用下大变形问题的控制方程.其中包含轴线弧长、位移、转角、内力等7个独立未知函数.通过引进变形后的弧长为未知函数后,问题的求解区间则固定不变.该模型不仅考虑了轴线可伸长,同时精确地考虑了轴线的初始曲率对变形的影响,反映了轴向变形与弯曲变形的相互耦合效应.作为应用,用打靶法具体计算了一端固定另一端自由,沿轴线作用均布切向随动载荷的半圆形曲梁的非线性平面弯曲问题,给出了随载荷参数大范围变化的平衡路径曲线及平衡构形.     

特殊环境下静压预制桩施工

通过工程实践，总结探讨静压桩沉桩机理，沉桩终压力值等参数确定及施工控制，为同类工程施工提出借鉴．     

远程军事理论训练系统中的UML建模

基于UML，利用建模工具Rational Rose建立系统模型，开发了适合军队开展军事理论训练与考核的网上训练系统，取得了较好的效果．     

独木河大桥贝雷拱架静力分析

采用贝雷架拼装拱支架、钢丝绳做扣索进行辅助受力的施工方法具有施工方便、造价低廉、环境适应能力强的优点，在深山狭谷及水位深、水流急、有通航要求的河流中均可应用，在取材极为方便、地质情况良好的西部地区具有广泛的应用前景。以独木河大桥为工程背景，介绍了贝雷拱架的静力分析方法。     

静态契合与动态发展——论法文化与大学生思想道德建设的对接

法文化与大学生思想道德建设的对接主要体现在其静态契合与动态发展上。法文化与大学生思想道德建设的静态契合主要体现在内容的对接、价值取向上的相互适应和功能上的相互关怀上。而其动态发展主要体现在在外部环境与受教育客体的变化中实现动态发展，在教育内容、方式、方法、手段的变化中突现动态发展。     

翻译过程的静态研究述评

翻译过程研究是国内外学者都在努力探讨的一个艰难的课题。对国内外有关翻译过程的静态研究，即翻译具体操作过程的研究进行了回顾与评述。这方面的研究虽然取得了不少的成就，但没有对翻译过程的动态性，即译者翻译时其大脑思维如何运作方面进行探讨。最后指出这方面的研究是翻译过程研究不可或缺的组成部分。     

深度学习源代码缺陷检测方法

针对由于传统的源代码缺陷分析技术依赖于分析人员的对安全问题的认识以及长期经验积累造成的缺陷检测误报率、漏报率较高的问题,提出了一种深度学习算法源代码缺陷检测方法.该方法根据深度学习算法,利用程序源代码的抽象语法树、数据流特征,通过训练源代码缺陷分类器完成源代码缺陷检测工作.其依据的关键理论是应用深度学习算法及自然语言处理中的词嵌套算法学习源代码抽象语法树和数据流中蕴含的深层次语义特征和语法特征,提出了应用于源代码缺陷检测的深度学习一般框架.使用公开数据集SARD对提出的方法进行验证,研究结果表明该方法在代码缺陷检测的准确率、召回率、误报率和漏报率方面均优于现有的检测方法.      

偏转板伺服阀前置级结构参数优化研究

通过改变偏转板伺服阀劈尖高度和V形槽下端喷口的导流长度等结构参数,建立新的偏转板前置级模型,利用ICEM和FLUENT软件对前置级流场进行静态特性分析;对前置级流量曲线进行二次拟合,建立伺服阀系统数学模型,利用SIMULINK仿真模型进行动态仿真,分析偏转板伺服阀系统的动态特性,从而优化偏转板伺服阀前置级结构参数。结果表明,适当降低偏转板伺服阀劈尖高度,保持劈尖宽度不变,可增大偏转板伺服阀前置级的流量增益和提升伺服阀的响应频率;增加V形槽喷口的导流长度,会减小偏转板伺服阀前置级流量增益和降低伺服阀的响应频率。     

抵御传感器故障的静态输出反馈可靠控制

针对线性系统,研究了考虑传感器增益故障情况下,静态输出反馈可靠控制设计问题。首先,在不考虑故障时,设计控制器,给出了系统保持渐近稳定的充分条件;然后,基于传感器故障,在原有反馈控制器作用下系统无法保持稳定;接下来,利用凸组合方法处理故障,及采用求解LMI不等式的方法对静态输出反馈可靠控制器进行重新设计,使闭环系统在发生传感器增益故障时仍能保持渐近稳定;最后,通过数值仿真验证设计方法的有效性和可行性。