基于ANSYS对遥感器铝合金镜头低温环境试验技术的研究

为了给新型遥感器用铝合金镜头提供良好的模拟试验环境,针对较低的温度以及较高的温度均匀性要求,为提高试验可靠性和工作效率,采用仿真计算与试验相结合的方式。运用ANSYS软件详细分析试验过程中的三维温度场,预测整个过程的降温趋势,以提前发现试验中可能存在的潜在问题并做出有效的改进。同时开展低温条件下的试验验证。结果表明:仿真计算值与试验结果趋势相符。通过仿真分析提前预测潜在的问题并对试验方案做出改进,有助于提高试验的可靠性和效率,也为日后的各类金属镜头的低温试验奠定了基础、积累了经验。     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

打磨机操作臂运动学仿真研究

采用D—H方法建立打磨机操作臂的运动学方程,并讨论该操作臂的运动学问题。首次将MATLAB中的Robotics Toolbox命令与编写的MATLAB程序相结合应用于新型打磨机操作臂正运动学、逆运动学仿真,并对正、逆运动学以及空间轨迹进行了实例仿真。通过仿真观察到操作臂各个关节的运动并得到了所需的数据,说明操作臂建模以及所设计参数的合理性和运动算法的正确性,为打磨机的动力学、控制和规划的研究提供了可靠的参数。     

RTCADO-178B标准与相关国军标的对照分析

RTCA的DO-178B标准是国际认可的开发准则,将DO-178B与我国的国标进行了对照分析,给出了异同。     

面向路径的测试数据自动生成工具设计与实现

面向路径的测试数据生成问题是软件测试中一个基本问题.采用遗传算法作为数据优化搜索策略,设计并实现了一个而向路径的测试数据自动生成工具PTDAG,同时对实现过程中的程序插装及驱动程序的编写规则等关键技术进行了分析.实验结果表明,PTDAG在源代码进行捕装后,通过模拟对方法的实际调用产生了一组测试数据,完成一组目标路径的测试数据的自动生成,还可以针对某一条具体的日标路径,得到一个相虚的优化测试数据.     

交互式空域演示软件制作

为了直观清楚地描述空域的结构特征及克服传统教学演示方式使用平面图片的不足之处,提出了研制此交互式演示软件的设想。研究了利用Google Earth、Photo Shop、3D Max等软件制作该演示软件的详细过程并考虑了实际空域的各种特性,其演示效果直观、逼真,符合实际空域的真实情况,能够很好地改善管制教学效果。     

基于功能分区的综合通信导航识别系统设计

介绍了通信导航识别（CNI）系统的发展与现状。基于功能分区的综合化设计方法与软件无线电设计原理,提出了ICNI系统的实现方案,并详细描述了该方案所涉及的关键技术。最后,对本方案设计的ICNI系统的关键指标与联合式CNI系统进行对比分析,验证了该方案的先进性。     

碳纤维增强树脂基断裂的数值模拟研究

基于断裂力学模型,通过应用Abaqus大型商用软件,建立碳纤维增强树脂基复合材料断裂实验的模型,计算了该模型的断裂韧性J积分,研究了用J积分来表征碳纤维增强树脂基断裂韧性特征,其结果表明了使用本文方法的有效性。     

基于BM3803的1553B总线通信软件设计

在某卫星地面检测设备中使用BM3803处理器来模拟卫星中的总线控制端对远程终端进行检测,构建了比传统的Windows+1553B_PCI板卡方案实时性更强的卫星数据仿真平台。首先向BM3803移植了实时操作系统μC/OS II,设计了适用于BM3803的板级支持包,保证了软件的可在轨更新和任务的实时性,确定了用户任务与硬件高度分离的软件结构。在设计μC/OS II的用户任务时,充分利用BM3803和B61580的校验功能,提高了软件的可靠性。最后令本设计和Windows+1553B_PCI板卡方案完成相同的用户任务,对比可得本设计有更好的实时性,可满足卫星高层通信协议对实时性的要求。     

基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.