基于Solidworks二次开发的两栖车辆浮态设计及静稳性分析

建立了描述车辆姿态向量和重力向量的两个坐标系,研究了姿态向量与坐标变换之间的关系,根据Solid-Works提供的函数,利用二分法求解了给定姿态下的浮心位置;以浮心计算为基础,通过对车辆的受力分析和运动分析,确定了车辆浮态的计算方法;利用SolidWorks的API函数进行二次开发,形成了计算静稳性的程序,并进行了实例计算。结果表明：与传统的作图法相比较,该方法计算结果更精确,计算速度更快。     

内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

相位恢复镜面检测性能研究

在镜面面形检测中应用相位恢复技术,可以简化测量系统,增强抗震动干扰能力.为确定相位恢复镜面测量系统的性能,从两个方面进行了研究.结合提出的相位恢复测量系统,运用傅立叶光学和几何光学理论讨论硬件对测量范围的限制,确定了CCD像素尺寸与被测镜f数,CCD整体尺寸与被测镜最大像差之间的定量关系.从算法效能角度,采用单因素仿真实验考察算法对镜面误差幅度和频率的适应性.仿真结果表明,表面误差频率在31.4mm附近时算法效率较高,过高或过低都将降低算法的效率;误差幅值的影响不大,镜面误差RMS值大至六个波长,小至百分之波长算法都可以胜任.     

仿真模型的语法可组合问题及组合判定

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象.为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则.     

纯方位角目标运动分析的可观测性研究

纯方位角目标运动分析的可观测性是纯方位角观测系统中的一个基本问题.只有解决了系统的可观测性,才能进行有效的目标定位及跟踪.从随机系统的角度分析了纯方位角观测系统的可观测性,引入状态参量的Fisher信息矩阵作为判断系统可观测性的依据,提出了完全不同于判定确定性系统可观测性的随机观测系统可观测性的判定方法.最后给出了一个静止目标纯方位角观测系统的实例,说明了该方法的有效性.     

奥氏战略：实质性的变化抑或“布什翻版”

近日奥巴马政府出台的“国家安全战略报告”似乎是对其前任的一次批判,可事实却是,新报告笔墨没有布什政府于2006年发布的报告那么浓重,但仍然在很大程度上沿袭了当时的路线,甚至可以说是布什报告的一个翻版。如果您之前只了解过官方的言辞及部分主流媒体的报道,那么,接下来的一些论调也许可以让您大吃一惊。     

基于边界扫描技术的板级测试性优化设计

介绍了边界扫描技术的基本原理,论述了板级电路测试性设计的思想,提出一种基于二进制粒子群算法的板级电路测试性设计最小化优化方法。实验结果表明,该算法在优化效果、运算时间上均获得了较好的结果。     

联合作战体系的整体涌现性

联合作战体系是由侦察情报、指挥控制、综合打击、全维防护、综合保障等单元依托信息化网络结构耦合成的开放复杂巨系统,以整体涌现性为典型特征。文章基于系统学原理,分析了联合作战体系产生整体涌现性的组分效应、结构效应、规模效应和环境效应,依此提出了联合作战体系的对抗指导。     

广西研究制定国防动员军民融合式发展政策

党的十七大以来,广西壮族自治区针对国防动员建设面临的问题和经济社会发展的任务,坚持以科学发展观为指导,深入研究探索国防动员军民融合式发展的对策性措施,并于2008年12月制定下发了《推进国防动员军民融合式发展的意见》,结合实际提出了推进军民融     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。