基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

两种空间直角坐标系转换参数初值快速计算的方法

在已知不共线3点在两坐标系下坐标的条件下,提出了两种快速计算两坐标系间转换参数概略值的方法。其中一种是先通过三点构造在两坐标系下的一个新点,将两个坐标系平移到该新点,从而消除平移参数。利用此时的三点坐标可以方便地求得两坐标系间的旋转矩阵,由旋转矩阵可进一步求得旋转角和平移参数;另一种方法是先通过已知的三点构造出一个新的坐标系,通过该坐标系可计算出待求的两坐标系及其旋转参数,从而求得待求两坐标系间的旋转参数。最后,通过旋转参数可计算出平移参数的概略值,并试验验证了两种方法的正确性。     

基于加密和即时解密的软件保护

通过加密来保护软件,是防止盗版者通过逆向工程理解程序的一种有效方式.传统加密保护方式,运行时解密开销大,又由于采用一次性解密方式,易受到攻击而直接从存储器中获得解密后的程序映像.提出了即时解密技术,摒弃了传统的一步解密的方式,在运行时通过即时解码器以函数为单位一步步揭开隐藏在软件中的秘密.仅对一次运行中必须的部分解密,使得攻击者难以获得完整的解密后程序,难以篡改并绕过未解密部分中的软件保护功能,增强了抗攻击性.在运行效果上,由于解密分散进行,就解决了启动延时长的问题.用基于一次一密加密技术,与对称密钥加密算法相比,进一步减少了运行时开销,使得该技术在目前处理器上可以流畅运行.该方法增强了基于加密的软件保护的实用性,增大了破解的难度.      

机载设备综合 ATE 通用软件平台

针对机载设备综合ATE测试程序的编制及运行,提出一种既可编制测试程序又可运行测试程序的通用软件平台,测试程序以文本文件形式保存,实现了测试参数与测试源程序的分离。     

复合材料网格加劲壳临界载荷的计算方法和计算程序

复合材料网格加劲壳是一种很有希望的结构概念。本文为复合材料网格加劲壳总体失稳的临界轴压和临界外压计算提供了一个计算方法和一个PC-1211袖珍机用的计算程序。可供有关设计计算参数。     

某种叉流板翅式热交换器动态性能的计算

对某型飞机上应用的一种叉流板翅式热交换器的动态性能进行了计算研究,分别用数值计算方法和参数集中方法进行了计算,给出了计算比较的结果.结果表明,这2种方法计算所得的结果很接近,但是参数集中法计算程序更为简结,适合用于系统模拟的情况.      

抽屉式标准机柜地面通风换热性能的研究

通过抽屉式标准机柜通风换热性能的地面实验研究和数值模拟,分析了在侧进上出和下进上出两种方式下,进风流量、风道通风孔宽度及自然对流对机柜地面通风换热性能的影响。结果表明,在一定范围内增加机柜进气流量和减小通风孔尺寸可改善机柜通风换热性能。此外,对于本文所研究两种进出风口布置方式,在相同的参数状态下,机柜在微重力状态下的通风换热性能优于地面状态或者相当,因此,满足标准机柜地面状态换热要求的设计参数也会满足微重力状态的换热要求。     

基于COM/DCOM的分布式零件参数化 设计系统的研究

为解决基于UG(Unigraphics)的零件分布式设计的问题,分析比较了UG二次开发的两种模式,提出了一种基于零件库的通用参数化设计方法.采用COM(Component Object Model)方式建立了一个基于UG外部开发的通用参数化设计组件,利用DCOM(Distributed Component Object Model)实现了该组件的网络化,并在此基础上选用分布式三层网络模型,构建了一个基于COM/DCOM的分布式零件参数化设计系统,实现了LAN(Local Area Network)下对零件进行参数化设计的功能.      

间谍卫星——现代战争的“杀手锏”

侦察卫星常被人们祢为间谍卫星,当前在美俄两国的军事卫星中,侦察卫星约占60％以上。 照相侦察卫星。照相侦察卫星依靠星上的可见光和红外照相机,获取地面信息。这类卫星获取情报的方式可分为回收型和无线电传输型两种,其中,回收型是按地面的指令或预先设定的程序,卫星在飞临感兴趣地区时,对该地区上空拍照,等胶片用完或在急需时,卫星按地     

同步卫星的轨道摄动及定点位置保持

未来大功率通信、广播卫星将采用大面积太阳翼,较强的太阳辐射压会引起轨道偏心率摄动量很大,影响东西向位置精度.本文着重讨论此种情况下的东西向位置保持修正策略;给出一种平经度漂移环方式;导出漂移环参数、最长修正周期及最小修正速度的计算公式并讨论了偏心率修正速度与修正周期的关系.比较了切向速度脉冲两脉冲控制方式及径向切向速度脉冲两脉冲控制方式所需的修正速度及允许的最长修正周期.     

厚板三浦折展机构的几何设计与运动分析

空间折展机构与一般运动机构不同,其对构件的几何形貌有着严格的要求。基于厚板折纸理论构造出两种三浦厚板折展单元——Bennett机构单元和球面四杆机构单元,在保证机构可以从展开状态运动到收拢状态且不发生物理干涉的前提下,以折展单元可无限次叠加组网为设计目标,分析构件几何参数应满足的约束条件,阐述模块化组成大尺度厚板三浦折展机构的原理和过程,提出Bennett组网和混合组网两种模块扩展方式。通过建立Bennett扩展模块和球面扩展模块的运动学模型,验证两种厚板三浦折展机构的运动等价关系。研究不同几何参数对机构折展率的影响规律,提出一种根据给定折展率要求对机构进行优化设计的方法,为厚板三浦折展机构的运动特性分析和几何参数优化奠定了理论基础。     

非晶态Fe_(80)B_(20)合金结构的计算机模拟

我们用两种不同直径球体的无规密堆计算机模型(DRHPS),模拟了非晶态Fe_(80)B_(20)合金的结构,初始位形在准动态平衡边界条件下,由L-J势进行松弛。计算了模型的简约部分径向分布函数、角分布函数及均匀度。通过分析和对比松弛前后的各种结构参数的变化,讨论了结构的化学短程序。     

卫星互联网用空间行波管非线性特性模拟

为了研究卫星互联网用空间行波管的非线性特性,本文使用行波管一维大信号模型,结合CST软件计算得到的行波管冷特性参数,基于MATLAB平台编写了数值计算程序。使用所编写的程序,以Ka波段和Q波段的两种空间行波管为模型,计算其调幅-调幅（AM-AM）和调幅-调相（AM-PM）的主特性,并同时计算了三阶交调失真（IMD3）和噪声功率比（NPR）。分析了输入功率的回退对这两种非线性特性的影响,并与矢量网络分析仪得到的实际测试结果进行了对比,三阶交调的计算结果与实际测试的误差在1dB以内。为高线性度行波管的设计提供模拟工具。     

拦截弹道快速设计方法

针对传统优化算法在解决多约束条件下拦截弹道设计问题时迭代计算耗时过长的缺点,提出了一种快速拦截弹道设计方法.该方法基于人工神经网络的非线性拟合技术,先通过普通优化算法进行离线样本计算,对样本中目标位置和优化得到的飞行程序参数进行输入-输出映射拟合训练,从而实现在给定目标位置的情况下对最优飞行程序参数的快速计算,达到提高拦截弹道设计效率的目的.经过数值仿真验证,将该方法应用于拦截弹道设计,在保证良好命中精度的同时,设计所需的计算时间大大减少,从而提高了弹道设计的时效性.      

线性系统传递函数频域辨识的一种方法

本文提出一种由SI/SO线性系统频率特性求其传递函数参数模型的算法。与已有的各种方法相比,它具有四个特点:(1)传递函数模型中包含延迟因子,适用范围广泛;(2)可对延迟参数作出估计;(3)通过对模型零、极点分布的分析在程序中自动判定模型的阶次;(4)采取了提高算法稳定性的措施,使计算程序达到实用水平。由于此算法同时解决了模型的结构辨识与参数估计两方面问题,提高了计算程序的效能与通用性。文中给出了四个辨识的例子,并与文献中的方法作了比较。     

逻辑式与函数式两种程序设计风格的结合

本文比较了逻辑式和函数式两种程序设计语言本质上的异同;介绍了KLND语言中这两种程序设计风格的结合并给出了其实现的策略。     

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

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

两种用于NS-DSMC耦合方法的连续失效参数对比

NS-DSMC（Navier Stokes-Direct Simulation Monte Carlo）耦合方法是计算连续-稀薄跨流域流动的主要方法,应用过程中如何确定连续流域和稀薄流域的界面是此方法的关键问题之一,界面位置通常通过连续失效参数来判定.为合理选择连续失效参数,对目前广泛使用的两种连续失效参数Kn_Q和B参数进行了理论上的分析和比较,表明虽然他们建立的出发点不同,但在数学形式上具有一定相似性.通过圆柱绕流问题的数值试验进一步验证了两种连续失效参数具有一定对应关系.Kn_Q和B两种连续失效参数在NS-DSMC耦合方法中应用效果相差不大,但Kn_Q 的阈值0.05适用范围较广,而B参数的阈值对不同流动问题会有变化.      

苏联卫星具有新的侦察能力

苏联最近验证了两种新的照相侦察卫星能力,它直接可在战时用于空间照相。一种是利用一颗高高度中继卫星向侦察卫星传输数字图象。据美国分析家称,中继卫星是一颗静止轨道卫星。苏联利用这种卫星把照相侦察卫星对美国或其盟国的近实时照相数据传输给莫斯科,为苏联确定破坏美国或敌国军事目标的程序,将起很重要的作用。这样的照相侦     

一种基于立体标定件的双摄像机外参数标定法

对于应用于现场测量的立体视觉测量系统,两摄像机间的外参数标定是保证系统测量准确度的重要环节之一。介绍了一种利用立体标定件实现系统外参数标定的方法,其特点是只要两摄像机同时拍摄一幅标定件图像,利用标定件上的球形特征点与其成像点之间的共线性约束建立共线性标定方程组,通过Levenberg-Mar-quardt迭代优化算法分别确定两摄像机与世界坐标系的关系,最后利用世界坐标系作为中介,将两摄像机间的外参数求出。同传统标定方法相比,该方法简单、快捷,鲁棒性好,可用于现场标定。