专家系统中引入非单调推理的算法描述

专家系统中常用不精确推理,它们是单调的,单调的推理是有局限性的,而非单调推理则具有普遍的意义。在对不精确推理中的模糊推理、非单调推理分析和研究的基础上,提出了模糊推理和非单调推理有效结合的方法。首先研究了模糊推理与非单调推理的结合,引入模糊数学中贴近度的概念,解决了模糊命题的不相容性。其次提出了一个新的概念——假设正确度,解决了面向从属关系回溯中选择错误效率低的问题。最后给出了模糊非单调推理系统与专家系统一起工作的算法描述。     

美国总审计局(GAO)停止有关可供选择的干扰机报告

室内毒力测定表明，络氨铜锌水剂对供式的几种病原菌均具有不同程度的毒力，１２００倍以下浓度对水稻稻曲病菌厚垣孢子、黄瓜霜霉病菌孢子囊、莴工艺苣灰霉病菌分生孢子萌发抑制均达１００％；１５０倍液对莱霜霉病菌的孢子囊萌发抑制率为１００％；３００液对黄瓜白粉病菌分生孢子萌发抑制率为１００％；６００倍液为９１．４３％；１２００倍液时８５．６９％；２４００倍液为７７．３９％。     

战术导弹告警系统在目前的预算中找到新生

应用γ－射线辐照检疫处理对荔枝蒂蛀虫Ｃｏｎｏｐｏｍｏｒｐｈａ ｓｉｎｅｎｓｉｓ的研究结果表明，果中幼虫经０．２ｋＧｙ处理后，幼虫死亡率达６８．７％，经０．２５ｋＧｙ处理后，仅有一头幼虫存活并能结茧化蛹，但不能羽化为成虫；经０．３０，０．３５和０．４０ｋＧｙ处理后，供试幼虫全部死亡，而对照组死亡率为１．８％－２．２％，其余幼虫能化蛹并羽化成成虫，辐射处理后对荔枝果实的保鲜试验结果表明，在供试的几个图     

正则有理 Bé zier 曲线的等距曲线算法

通过利用改进的有理德卡斯特里奥算法求得正则有理n次Bé zier 曲线各点处的切矢,由此得到各点的单位法矢量,应用于求原始曲线的等距曲线.从而巧妙地解决了原始正则有理n次 Bé zier 曲线上各点的单位法矢量难求的困难。该方法几何意义明显,算法简洁,实践效果比较好,最后本文给出了两个实例。     

拟共形映照和 Hölder 连续性

设 f 是 R" 中的域 D 到有界的 M-QED 域上的 K-拟共形映照,0<α≤(KM)^1/1-n在本文中作者证明了f∈Lip_α(?D)的充要条件是 f∈ Lip_α(D)。     

军队领导干部经济责任审计程序规范研究

领导干部经济责任审计的政策性强,情况复杂,需要有规范的操作性强的审计程序。通过探索,本文在实践的基础上提出了审计程序规范“20步”。     

C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

关于C3I系统发展中的几个理论难题

在对Ｃ~３Ｉ系统综合评论的基础上,提出了Ｃ~３Ｉ系统发展中的几个理论难题。即：系统一般理论问题;数据融合理论与算法;指挥决策理论问题;管理职能问题;火控理论新问题;智能Ｃ~３Ｉ问题