测试用例自动生成的链方法研究与实现

介绍了一种测试用例自动生成的链方法,这是一种较新的测试技术,结合插装技术及目际跟踪方法,能有效生成测试用例,从而提高了测试效率.     

面向概念设计的虚拟原型描述模型与语言

针对概念设计的特点以及虚拟原型的特征分类 ,提出了基于虚拟原型的概念设计模型V -desModel及其描述语言VPML ,其核心是利用产品视图模型描述设计对象 ,将虚拟特征概念融入视图模型中 ,并采用可扩展“三维实体 -约束图”描述设计对象之间的约束关系。V -desModel模型和VPML语言能有效地支持基于虚拟原型的概念设计过程 ,较好地解决了概念设计中产品虚拟原型的逼真性要求和设计信息不完备之间的矛盾 ,为多领域系统在概念设计阶段的协同设计、并行设计及联合仿真过程提供一致的模型描述     

Van der Pol-Duffing系统的非共振Hopf分叉

用多尺度法求出了系统的一次近似平均方程和极坐标形成的分叉响应方程。研究了系统非共振情况下的平衡点性质和Hopf分叉,讨论了零解和极限环的稳定性     

过氧化物对喷气燃料硫化物腐蚀性的抑制作用

过氧化物抑制元素硫等活性硫化物银片腐蚀反应,使喷气燃料银片腐蚀级别降低或不具银片腐蚀作用。过氧化物在喷气燃料中含量受不饱和烃含量、抗氧剂含量、光照等条件影响,是可变的,这会导致变质腐蚀性喷气燃料银片腐蚀级别的可逆变化。添加极少量过氧化物,以反应烯烃计1‰,可以起到银片腐蚀抑制剂作用。     

大型光学表面纳米精度制造

纳米精度光学表面在光刻技术、同步辐射、空间观测和惯约聚变等领域有重大需求。随着装备性能需求的不断提升,这些光学系统对光学零件面形精度和表面质量的要求几乎接近于物理极限,对光学制造技术提出了更高挑战,使光学制造成为纳米制造技术的发展前沿。通过攻克纳米量级材料去除的稳定性、复杂曲面可控补偿和装备运动轴性能设计等关键问题,掌握了以磁流变和离子束抛光技术为代表的可控柔体抛光技术,利用自主研发的抛光制造装备和工艺实现了典型光学零件的纳米精度制造,为国家相关科技项目的顺利实施提供有力的制造技术支撑。     

采用局域像素匹配的随机抽样一致改进算法

为提高图像拼接的配准精度和稳健性,提出基于局域像素匹配的随机抽样一致改进算法。在完成尺度不变特征变换算子或其他算子图像特征提取、特征匹配之后,利用独立于特征匹配点的局域像素,通过参考图像局域像素与映射的待拼接图像局域像素匹配,优选4对最佳特征匹配点,确定最佳单应矩阵。实验结果表明:与随机抽样一致经典算法相比,该方法未明显增加计算耗时,单应矩阵更准确,图像拼接稳健性更好。     

随机性理论在情报监视侦察建模中的应用

情报、监视、侦察(ISR)建模是战役级作战仿真建模的重点和难点,在仿真中不仅要求ISR模型能够准确地反映战场空间实体之间的感知交互,同时还要有较高的运行速度。为了解决此问题,以随机性理论为基础进行情报监视侦察的建模仿真,以区域侦察飞行器图像情报的建模全流程为例,阐述其主要环节的建模方法,并通过仿真实验验证了该套建模方法的适用性和有效性。与传统的确定性ISR建模方法相比,该方法在保证仿真精度的同时提高了运行效率,为战役级作战仿真中C4ISR建模与仿真提供了参考方法。     

求解传感器网络最大生存时间的最大流算法

节能是传感器网络研究的中心问题之一,目的是延长网络的生存时间。因此对于一个给定网络,很自然地关心它的最大生存时间是多少。从网络最大流的角度分析这个问题,给出了求解传感器网络最大生存时间确切值的算法。     

几何约束的改进弹性体网格变形方法研究及应用

针对现有弹性体网格变形方法无法有效抑制网格单元出现"负体积"和过度畸变等问题,引入体积弹性模量约束和挤压弹性模量约束,提出一种基于几何约束的改进弹性体法。借助Patrick网格质量参数,选取三维长方体边界在旋转、平移和伸展变形三种方式下的大幅度运动,对比研究引入几何约束后的改进效果。仿真计算二维NACA0012翼型的俯仰振荡和三维伸缩翼变形过程的气动特性,结果表明:基于几何约束的改进弹性体法显著提高了变形网格的鲁棒性,尤其在大变形时能够有效约束较差网格单元,改善经典方法存在的问题,可为非定常流场问题的求解提供有力支撑。     

SAR有源欺骗式干扰模型研究

从SAR成像原理的基础上分析了有源欺骗式干扰对抗SAR侦察机理,推导了准确进行欺骗干扰的模型.传统有源欺骗式干扰模型以干扰机为基准,并进行了假设简化,对于虚假目标的位置设定存在一定局限性,根据虚假信号的多普勒频率偏移及其变化率,对传统模型进行了分析和推导,提出了传统模型虚假目标设定需要满足的位置限制条件;并针对现有的星载SAR平台参数,对虚假目标参数设定限制条件进行了模拟计算和分析,并对传统模型的改进进行了展望.