%0 Journal Article
%T Temporal Logical Based Virtual Organization Activity Planning<br>基于时态逻辑的虚拟企业活动规划
%A 袁成祥
%A 高济
%A 林东豪
%J 计算机科学
%D 2002
%I 
%X 1 引言常规的组织(或个人)为了提高竞争能力和快速响应市场变化的能力,需要合作组成虚拟企业。虚拟企业根据外界的情况决定自己的生产活动。虚拟企业活动规划对协调其活动很重要。文中,MTL(Metric Temporal Logic,一种时态逻辑)被用来对agent的活动进行规划。MTL是以单位时间计数来指示时间的持续,如活动a在三个单位时间内完成可表示为(a,3)。在现实中,给出完成一个活动所需要的时间范围更合理。如活动a在二至三个单位时间内完成可表示为(a,2,3)。将活动所需要的时间从一个时间段扩展到一个范围是文对MTL扩展的部分,记为EMTL(Extern Metric TemporalLogic)。本文在EMTL的基础上对虚拟企业活动建模,并对其进行规划。
%K 虚拟企业
%K 活动规划
%K 时态逻辑
%K 生产活动
%K 生产计划
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A1A5C745CA54754E&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=0B39A22176CE99FB&sid=DBF54A8E2A721A6D&eid=D767283A3B658885&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7