非线性奇异摄动系统的反馈线性化

研究了一类非线性奇异摄动系统的反馈线性化问题。首先,利用积分流形的概念,建立了原系统关于小参数的N阶近似系统,然后,讨论了N阶近似系统的线性化,导出了线性化变换的计算公式,并举例说明了方法的应用。     

CAD/CAM中造型技术和发展趋势

造型技术是CAD/CAM的核心技术。本文较详细地介绍了几何造型、壳体造型及特征造型的理论与算法,分析了各种造型方法及形体表示方法的优缺点,最后探讨了造型技术的发展趋势。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

系统效能综合建模方法研究

在介绍了几种常见的武器系统效能建模方法之后,提出了一种综合采用解析计算、仿真、层次分析、模糊评判、专家评估等手段来建立效能模型的方法     

从美军信息战计划谈我军炮兵指挥系统现状及发展方向

在未来战争中,信息战是决定战争胜负的关键。为此,美军制定了十分庞大的“打赢信息战”计划,高度重视建立数字化部队,以保持在未来战争中的优势。从美军的“打赢信息战”计划入手,分析了我军炮兵自动化指挥系统研制的现状和与外军相比存在的差距,探索性地提出了发展我军炮兵指挥系统所要解决的问题,指出了发展新装备的方向     

基于agent 的分布式集成环境

本文提出了一种基于多ａｇｅｎｔ的分布式集成环境ＤＩＥＭＡ的通用框架,描述了ＤＩＥＭＡ的工作原理;提出了服务ａｇｅｎｔ和请求ａｇｅｎｔ的实现框架及其设计与实现。     

装备研制需求与计划滚动方式研究

本文对武器装备研制计划的制订过程进行了分析,针对计划制订问题的特点．提出了用理论需求和实际需求曲线的方式将项目研制的需求与计划制订的约束联系起来,在此基础上对五年计划的滚动作了详细的分析,并给出了五年和年度计划经费滚动的程序算法。