期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于形式语言B的一种新的时态规约方案 被引量:1
1
作者 肖健宇 张德运 +1 位作者 陈海诠 董皓 《微电子学与计算机》 CSCD 北大核心 2006年第2期16-19,共4页
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中,时间类型表示为B方法中系统内部支持的非负整数集合,所有依赖于时间的变量都表示成定义域为时间的全函数。该方案可以方便地表达... 提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中,时间类型表示为B方法中系统内部支持的非负整数集合,所有依赖于时间的变量都表示成定义域为时间的全函数。该方案可以方便地表达“过去”、“现在”、“稳定”、“跳变”等时态概念。定义了时间类型、“现在”以及与时间有关的变量的宏操作等抽象机,这些抽象机已经通过B工具的一致性验证,可以在实时系统的B形式化规约中直接使用。 展开更多
关键词 时态规约 形式化方法 实时系统 B方法 B函数
下载PDF
Autonomous planning system based on temporal constraint satisfaction
2
作者 徐瑞 崔平远 +2 位作者 徐晓飞 吴伟仁 田玉龙 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2003年第3期304-307,共4页
In order to realize spacecraft autonomy activity duration and complex temporal relations must be taken into consideration. In the space mission planning system, the traditional planners are unable to describe this kno... In order to realize spacecraft autonomy activity duration and complex temporal relations must be taken into consideration. In the space mission planning system, the traditional planners are unable to describe this knowledge, so an object-oriented temporal knowledge representation method is proposed to model every activity as an object to describe the activity's duration, start-time, end-time and the temporal relations with other activities. The layered planning agent architecture is then designed for spacecraft autonomous operation, and the functions of every component are given. A planning algorithm based on the temporal constraint satisfaction is built in detail using this knowledge representation and system architecture. The prototype of Deep Space Mission Autonomous Planning System is implemented. The results show that with the object-oriented temporal knowledge description method, the space mission planning system can be used to describe simultaneous activities, resource and temporal constraints, and produce a complete plan for exploration mission quickly under complex constraints. 展开更多
关键词 autonomous planning system object-oriented knowledge representation SPACECRAFT temporal constraint satisfaction
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部