【摘 要】
：
为解决规划形式化系统中动态、异步和并发等特征难以被表示的问题,提出一种使用谓词/变迁网表示Agent规划问题的形式化方法,利用谓词/变迁网的动态、异步、并发等特征表示规
论文部分内容阅读
为解决规划形式化系统中动态、异步和并发等特征难以被表示的问题,提出一种使用谓词/变迁网表示Agent规划问题的形式化方法,利用谓词/变迁网的动态、异步、并发等特征表示规划问题,同时将抑制弧引入谓词/变迁网,并将Agent的动作分为2类基本动作,即普通动作和测试动作,通过这2种动作的组合可以构成各种复杂动作。实例建模验证了采用带抑制弧的谓词变迁网表示Agent规划的可行性。
其他文献
运用马尔科夫随机场(MRF)进行图像处理时,对图像平滑区域与边缘区域所采用的处理方法不加区别,会导致大量冗余程序且运行时间过长。针对该问题,提出基于模糊分类的MRF图像恢复方法,根据图像子块内服从不同分布的像素统计特征,对图像子块进行模糊分类,在分类基础上应用MRF进行图像恢复。对退化的二值图像进行恢复实验,结果表明,与MRF方法相比,基于模糊分类的MRF方法能减少程序运行时间,改善去噪效果。
La1．5Mg0．5Ni7-xCox（x=0～1．8）贮氢合金电极由高频感应熔炼加热处理制备得到。合金结构分析表明，合金主相为Ce2Ni7型结构，Mg原子分布在Ce2Ni7型单胞结构的Laves相单元中，而Co原子则分布
研究了晶粒生长的固有机制,并针对铅钙铁铌陶瓷体系的掺杂改性设计一组实验,实验结果表明工艺因素特别是烧结温度及保温时间对晶粒形貌有显著影响,随烧结温度及保温时间的增
采用熔融纺丝工艺制备了玻璃包覆Fe基非晶合金微丝,通过X射线衍射分析研究了工艺条件对其微结构的影响,采用扫描电子显微镜分析了拉丝速度对微丝直径、玻璃包覆层厚度等结构
运用热压成型工艺制备了0-3型0.5PZT/xC/(0.5-x)PVDF(x=0.002～0.016)压电复合材料,研究了复合材料的极化、压电和介电性能.结果表明:适量石墨的加入,可以明显提高复合材料的极