基于轨迹在线规划与跟踪律在线计算的自适应再入制导方法

针对高超声速飞行器非标称再入飞行任务的高精度自主制导问题,研究了一种基于轨迹在线规划与跟踪律在线计算的全自主自适应制导方法.该方法基于拟平衡滑翔条件与高精度的规划模型在线生成满足多路径约束的参考轨迹,在跟踪参考轨迹时引入符号函数法在线计算线性二次调节器的反馈增益矩阵,以获得高精度的自适应跟踪律.最后通过远程、近程两种工...     

对象状态测试

阐述了面向对象软件测试中对象状态测试的重要性，提出了对象状态测试模型，介绍了从Ｃ＋＋源程序构造模型的方法，最后给出了基于ＯＳＤ的面向对象状态测试的测试策略，测试标准和测试用例的生成方法。     

基于符号化方法的飞行时序数据相似性搜索

以航空公司的维修现状为出发点,根据时间序列搜索的特点,采用SAX符号化方法将飞行数据线性分段并离散化成字符序列,保留特定分析的数据,并建立相应的索引树对查询序列进行相似性搜索,确保不会出现遗漏。根据专家提供的故障模型对进行序列变换后的飞行数据进行相似性搜索,从而确定故障点,为维修提供方案建议。采用实际飞行数据进行验证,表明该算法高效、简便。     

混沌电路的传感应用

将混沌理论与电路理论相结合，分析了一些能产生混沌的电路，对帐篷映射迭代产生混沌的基本原理和性质进行了研究。并在仿真试验的基础上，设计出一种基于帐篷映射的差分混沌电路。根据混沌的初值敏感性以及输入值和混沌轨道的一一对应性，在理论上提出并论证了利用符号动力学的基本理论度量被测信号的可能性，将混沌电路应用于传感器设计，并成功地完成了基本模型试验，给出了基本的实验数据及其分析，开拓了混沌理论应用的新领域。     

混沌在测量中的应用

将混沌对初始条件的敏感特性应用到测量领域中，提出了一种基于符号序列的通用编码方法，并给出了符号序列同初始条件之间的数学关系，讨论了基于混沌的测量系统的一些特性。理论分析，数字仿真及试验结果表明，混沌在测量领域中的应用具有很大的潜力，为混沌的工程应用开辟了新的方向。     

实闭域计算的一个实用有效方法

在计算实践中,处理大型多项式时,由于复杂性原因,实闭域一阶理论判定方法实际上无效.因此寻找求解多项式方程与不等式组的有效方法(未必是判定方法)是符号计算中的重要问题.为解决这一问题,将Budan-Fourier 定理与Ritt-Wu 方法结合提出确定多项式方程实根和证明不等式的简单有效方法.尽管该方法不完备,但是在计算实践中发现这一方法对许多例子在计算上很有效.      

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

符号运算在PID控制极点配置中的应用

利用符号运算,针对代数方程组求解的解析解功能和数值解功能,提出了1种对1阶被控对象和2阶被控对象模型进行PI控制器和PID控制器极点配置的设计方法,给出了相应控制器结构参数的解析解,并在算例中进行了数值仿真验证。     

基于符号序列联合熵的航空发动机健康监控方法

引入信息熵理论,结合对多参数时间序列的符号化处理,探讨其在航空发动机健康监控中的应用.利用符号序列联合熵对航空发动机性能参数无序程度的描述,分析航空发动机健康状态及其演化方向.对两组实际飞行数据的实验分析表明,该方法描述的航空发动机的健康发展趋势与实际情况相吻合,能够较好反映航空发动机的健康状态,可以为航空发动机的健康...