论文部分内容阅读
该文在分析ＭＩＣＨＡＥＬ ＷＯＯＬＤＲＩＤＧＥ用于多智能体系统的形式方法的基础上，指出了其缺点和不足给出了一个扩展时态信念逻辑，使它的模型能更真实地反映客观世界，使其适用面更宽、更广。
一种用于构造DAI系统模型的扩展时态信念逻辑
【摘 要】
：
该文在分析ＭＩＣＨＡＥＬ ＷＯＯＬＤＲＩＤＧＥ用于多智能体系统的形式方法的基础上，指出了其缺点和不足给出了一个扩展时态信念逻辑，使它的模型能更真实地反映客观世界，使其适用面更宽、更广。
【机 构】
：
科技大学系统工程与数学系(长沙)
【出 处】
：
1999年中国智能自动化学术会议
【发表日期】
：
1999年期
其他文献
利用北京谱仪在s＝4．03GeV处获取的ee对撞数据，研究了D→KeVe和D→πeVe的衰变过程，测得其分支比力：BR（D→KeVe）＝(4.0±0.6)℅及BR(D→πeVe)＝(0.33±0.22)℅。
ＣＯＥ是九十年代内形成，美军设计和建造军用系统的新框架，该文简要介绍其基本概念及其与传统系统开发不同的主要技术特征。
该文针对高速列车常用的铝合金６００５和９１９所需要的Ａｌ－Ｍｇ－Ｚｎ焊丝进行了较为系统的研究。研究结果表明，新研制的焊丝用于６００５和９１９的焊接，焊接接头具有较高的强度、塑性和韧性，特别用于９１９的焊接，焊接接头的塑
对D6A钢作了裂纹敏感性估算及裂纹敏感机理分析。采用电子束焊，通过优化参数，采取有效的措施，改善焊缝成型，解决了D6A钢焊接易产生裂纹、气孔等缺陷的问题，采用手工钨极冠弧焊，选择
该文在总结Ｃｏｏｌｅｙ－ＴｕｋｅｙＦＦＴ算法的基础上，分析了效率更高的尺度基四ＦＦＴ算法。并且用Ｍａｔｌａｂ语言实现了该算法，最后对两者性能进行了分析比较。
第一完成单位：中国农业科学院棉花研究所河南省安阳市，邮编：４５５１１２１研究确立了麦棉套作生产的促早化措施和农机农艺农技三结合的关键技术，形成了“移栽地膜棉”和“短季棉提早套种
主要研究了DAGH4169合金的缺口周期持久性能。结果表明：DAGH4169合金对应力集中相当敏感，随应力集中系数K从2.O增大到4．5，循环寿命从数千次下降到一百多次。同时，对组织的研究结果