微分方程的有界性与概周期解的存在性

本文考虑高维非自治概周期系统ｄｘｄｔ＝ｆ（ｔ,ｘ）,利用对ｘ的分量分组构造Ｌｉａｐｕｎｏｖ函数的方法讨论了其概周期解的存在性。所得结果去掉了文献中系统存在有界解的假设,得到了比较明显的改进。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

一种新的Kronecker扩频码在盲多用户检测中的应用

当直接序列(DS-CDMA)系统中的多址干扰非常强时,自适应的盲多用户检测的性能将会严重下降.为了解决这一问题,一般的做法是增加系统的扩频增益,但是其取得的效果是有限的.本文将一种新的克罗内克(Kronecker)扩频序列应用到盲多用户检测中,该序列通过普通的扩频序列对自身作Kronecker乘积而生成.理论分析和仿真...     

国防领域技术预警流程研究

技术预警是对技术突破和由此引起的军事、政治、经济和社会危机的预测,是从国家安全的根本利益出发,以保持己方军事优势、防止敌人"技术突袭"为宗旨的技术发展预测。研究回顾了国内外技术预警研究历程,从前期准备、预警清单、技术调查、分析评估等四个主要环节,全面分析国防领域技术预警的具体流程,为国防领域技术预警系统的构建与应用提供支撑。     

基于门限偶极子模型的四轮车变速度轨迹跟踪控制

针对利用李亚普诺夫函数控制律设计的轨迹跟踪控制器在跟踪初始误差较大和离散轨迹时,存在速度跳变问题和拐点处误差偏大的问题,设计了一种基于门限偶极子模型和趋向模型的变速度轨迹跟踪控制器。以四轮车的运动学模型为研究对象,在李亚普诺夫函数控制律的基础上,引入门限偶极子模型解决了初始误差较大速度跳变问题,同时引入纵向控制中的趋向模型,解决了不连续轨迹拐点处误差偏大的问题,使得跟踪轨迹更为光滑,进一步提高了跟踪精度。通过仿真结果对比分析,验证了改进控制器的有效性。     

液体推进剂消耗对大型卫星结构动特性的影响分析

为了研究液体推进剂消耗对某大型卫星结构动特性的影响,采用简化的“弹簧-质量”模型分析了推进剂消耗对结构动特性的影响趋势;基于MSC.PATRAN/NASTRAN给出了动力学分析过程中液体推进剂的等效建模和分析方法,包括梁单元法、附加质量法、“RBE3 -质量点”单元法和虚拟质量法等;建立了该卫星结构的有限元模型,进行了结构动力学特性和动响应分析,讨论了液体推进剂消耗对其动特性的影响规律.研究结果表明:随着推进剂的消耗,卫星整体振型的固有频率逐渐增大,而部分局部振型的固有频率保持不变;随着推进剂的消耗,卫星仪器安装板动力学响应峰值逐渐增大,所对应的频率也逐渐增大.     

基于改进协同遗传算法的有效载荷系统功能序列规划方法

针对传统回溯算法在求解基于知识模型的有效载荷系统功能序列规划问题中搜索效率低的问题,提出一种基于"择劣变异"(Worst Individual Mutation,WIM)策略的协同遗传算法(Co-evolutionary Genetic Algorithm,CGA)的改进算法WIM-CGA。该算法在遗传过程中采用双路线进化方案,即"择优实施标准遗传过程,择劣实施变异操作",达到提高求解精确度及搜索效率的目的。仿真结果表明,同等测试条件下,当功能规模为50,约束密度为1.0时,WIM-CGA算法在限定时间内最优解的平均精确度比优化的回溯算法提高了54.15%,比CGA算法提高了6.18%,且当所得解的精确度大于90%时,WIM-CGA算法比CGA算法的迭代次数减少了65.79%,耗时降低了48.97%,显著提高了功能序列规划的效率。     

压剪加载下炸药装药中剪切带形成与发展模型

研究了在压剪加载下炸药这类粘塑性介质中剪切带的形成与发展。提出了一种反映炸药装药中剪切带形成和发展的计算方法,并分析了剪切带发展变化特性与炸药起爆的关系     

基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究

基于GIS服务的特点和动态服务聚合的应用实际,提出了一种基于工作流的GIS服务动态聚合实现方法,该方法通过引入服务群的概念,有效适应了GIS服务的动态变化性;提出了基于工作流的GIS服务聚合技术体系,界定了GIS服务聚合的研究内容和层次关系,为GIS服务动态聚合关键技术的研究提供了总体框架和顶层指导;参考工作流的研究成果,提出了动态服务聚合参考模型DSCRM,为开发聚合服务支撵平台以及在此基础上构造特定的服务聚合应用提供了可参考的计算模型.给出了一个GIS服务聚合应用实例来说明工作的可行性和有效性.     

用体素贴合法构造机器人的三维几何模型

本文介绍了在计算机上采用体素贴合法构造三维几何模型的若干技术问题,包括描述三维形体的数据结构、基本几何形体的生成、部件模型的拼装等内容。研究表明,贴合法本身具有一定的代表性和通用牲,对于构造其它几何模型也是适用的。