摘要:采用能量法, 巧妙地导出了裂纹面上作用着均匀压力、幂硬化材料的无限体内部椭圆裂纹的全塑性J积分解, 该解的形式为简单的解析式, 其解法基于HRR 解^[1,2]。

摘要:用拼接法划分网格, 并运用基于消息传递的并行软件平台PVM分配计算任务, 实现了较大规模的三维超声速钝头体底部流场的并行数值模拟。结果表明, 底部压强特性与实验符合较好, 流场的拓扑结构合理。

摘要:给出了一种利用飞行器飞行试验实测数据估算飞行器气动参数的建模前估计算法, 完成了某轴对称无控飞行器的非线性气动参数辨识。计算结果表明: 该方法计算过程简单、迅速, 可以作为快速估算飞行器气动参数的有力手段, 尤其适合于辨识大攻角下的气动参数。

摘要:首先针对小卫星星载GPS伪码测距, 基于星间差分消除/消弱误差, 并引入星座网形约束, 论述了星座模式下提高小卫星定位精度的一种整网数据处理方法, 并给出了一个算例。然后进一步论述了不依赖GPS的小卫星星座测控, 以及提高小卫星星座定位自主性问题的几点设想。

摘要:提出了一种基于复杂行为的语言模型对虚拟环境尤其是实体行为进行建模, 该模型提供较强的定义行为关系及其时间约束的能力。利用自行研制的分布式虚拟环境软件开发平台YHVRP的建模语言YHVML实现了该模型, 同时YHVML语言的运行环境实现了面向复杂行为的虚拟环境计算模型, 并利用LIF策略对实体行为进行动态调度, 以保障面向复杂行为的虚拟环境应用的实时交互性和真实感。

摘要:采用进化计算思想研制机器学习实际系统, 利用隐含并行机制及并行规则触发策略实现多目标优化技术。针对航天员模拟训练评分标准具体任务, 采取灵活的多层次动态编码方案, 建立多种简洁且完备的进化操作。利用信度分配组桶策略实现竞争机制, 依赖进化算法搜索、发现并选择适当规则, 引入启发知识产生缺省规则层次以实现多种隐式目标。设计并实现了遗传进化机器学习系统GEML-1, 该系统具有良好的鲁棒性和柔顺性。本文的遗传进化机器学习方法, 可推广应用于各种军用专家系统和军事决策支持系统的研制, 从而为人工智能在军事上的应用提供新的设计方法和实现途径。

摘要:协调性是数理逻辑中最基本的语法概念之一。Smullyan 提出了抽象协调类概念, 并证明了相应的Smullyan 合一原理。通过考察协调合式公式集类所具有的种种性质, 本文将抽象协调类概念推广至最一般的形式——广义抽象协调类, 并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

摘要:通过传递消息进行通信的并行程序, 由于受进程调度和消息等待时间变化的影响, 其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障, 为此, 在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和重演算法及其工程实现。

摘要:讨论了快擦写存储器典型位元结构及其存储信息原理, 详细论述了目前广泛使用的或非和与非两种结构的快擦写存储矩阵的结构组成和工作原理。

摘要:随着遥感技术在国民经济和国防等领域的广泛应用, 各种用户也逐渐对遥感数据的管理和处理提出了越来越多的要求。传统的遥感信息处理系统面临着严峻的挑战。构件软件技术作为目前发展最快的软件重用技术, 是降低软件开发费用, 提高软件生产效率和系统的可靠性、可维护性、可扩展性的有效方法。本文介绍了一个遥感信息处理系统, 阐述了它的基于构件软件体系结构的开发思想及其特点。

摘要:根据弹道中段空间目标和诱饵的表面温度分布规律, 从热物理的角度分析了目标和诱饵的红外光谱辐射特性, 指出了弹道中段目标和诱饵红外辐射特性的本质差别, 并据此提出了红外目标识别中的特征基函数, 用特征基函数构造红外点目标识别的四维特征矢量。仿真实验表明, 这一特征矢量用于红外点目标识别非常成功。

摘要:首先研究了数字化战场的概念及内涵, 然后着重讨论了战场数字化系统的体系结构和实现其互联、互操作的设计原则与思路, 提出了建立战场数字化系统的关键是把当代开放系统发展的成果与军事领域的特殊要求相结合, 研究其体系结构, 研究、制定和推行三军统一的各层次信息界面标准和接口规范。

摘要:本文首先讨论了战场数字化条件下单兵数字化系统的概念和内涵, 用Lanchester 模型分析了单兵系统的作战效能, 然后以此为基础研究了单兵系统的基本功能单元和实现其整体功能的组成结构。

摘要:将一维Root-MUSIC 推广到二维, 从而得到了一种新的二维方向估计方法, 它具有计算量小的优点。

摘要:多媒体界面中的语音评价问题尚处于研究阶段。本文探讨了语音评价的基本方法, 重点对语音的客观评价方法进行研究, 提出了一种应用语音分析技术进行语音总体效能客观评价的计算机处理方法。

摘要:态势估计中统计时间推理在许多应用中非常重要。Kirillov 的基于极大似然估计(Maximum Likelihood Estimation, MLE) 的推理方法将未知时间变量看作常数, 忽略了它的先验信息, 估计方差较大。针对这一问题, 本文首先建立了已知时间信息和未知时间变量之间的关系模型, 这一模型可用来解释Kirillov 的方法; 然后在这一模型下, 将未知时间变量扩展为随机变量, 采用基于最大后验概率估计(Maximum a Posteriori Estimation, MAP) 的方法进行统计时间推理。对两种推理算法的性能进行了分析和比较, 发现在较宽的范围内, 基于MAP 的方法性能优于基于MLE 的方法。

摘要:电感储能系统中的关键技术是切断开关技术, 本文论述了导体的电爆炸机制, 以及作为切断开关爆炸导体参数选取的经验公式, 并设计了一种爆炸导体切断开关的装置结构, 在实验中取得了较好的结果。通过调节导体参数, 可得到脉宽280ns, 电压增益达到十几倍的高功率脉冲信号, 其结果对我们通过用虚阴极二极管等器件作负载来产生高功率微波有重要的意义。

摘要:在阐述可靠性环境试验技术基本内涵的基础上, 分析了国内环境试验技术研究与应用的发展概况, 以及存在的主要问题。最后, 针对复杂机电设备, 从功能和信息集成的角度, 提出了一种集成环境试验分析系统的构成模式及主要功能。

摘要:本文根据敏捷制造与动态联盟将制造系统空间扩展到全国乃至全球, 传统的用于产品开发的CAD/CAM系统已无法满足动态联盟条件下的产品开发要求, 必须开发一种新的CAD/CAM系统才能满足这一要求。笔者根据国际CAD/CAM发展趋势, 结合我国具体国情, 在传统的CAD/CAM基础上提出了“PAI-CAD/CAM (Pseudo-Agile Intelligent CAD/CAM)”的新概念, 并建立了一种系统模型, 此外, 文章还对系统的实现技术进行了深入的探讨。

摘要:本文在Robinson-Luxemberg 框架下重建了由Nelson 所创立的近初等过程论, 更有意义的是我们由近初等过程可找回原来的标准过程, 为在此框架下运用近初等过程论做随机分析打下了基础。

摘要:布尔函数的不交化是进行系统可靠度计算中的重要步骤。本文提出了一种进行布尔函数不交化的立方体算法。基于布尔函数的立方体表示法及不交代数, 文中定义了立方体的有关运算法则, 建立了立方体矩阵不交化算法, 并用算例进行了说明。本算法的实现效率高, 操作简便。

摘要:DJ小波VisuShrink去噪法在数字信号处理方面的应用已十分广泛, 但是去噪后恢复信号质量的优劣与低分辨率截断参数j₀的选取是密切相关的, 而j₀的选取又与被污染信号的噪声指数σ以及采样率有关。这篇文章对这些关系进行了分析, 并给出了仿真计算的结果, 分析与计算的结论对如何选取最佳低分辨率截断参数j₀具有一定的指导意义。

摘要:用改进的有机金属路线合成了聚对亚苯基硼和聚间亚苯基硼。聚对亚苯基硼的分子量(M-n)为783.66, 结构为(1)(可溶于乙醚, 苯环为对位取代)和(2)(不溶于乙醚, 苯环对位取代); 聚间亚苯基硼的M-n 为876.56, 结构为(1)(可溶于乙醚, 苯环间位取代)和(2)(不溶于乙醚, 苯环间位取代)。

摘要:用自己合成的裂解能得到碳化硼的聚碳硼烷, 对碳纤维进行涂层, 并详细测试了涂层碳纤维的抗热氧化性能。

摘要:研究了金刚石/ 银复合材料的导热率与金刚石的含量、粒度等之间的关系, 着重讨论了界面热阻对复合材料导热率的影响。并阐述了金刚石表面镀钛, 能有效改善金刚石对银的润湿性, 降低界面热阻, 从而提高金刚石/银复合材料的导热率。