基于时态逻辑的虚拟企业活动规划

来源 :计算机科学 | 被引量 : 0次 | 上传用户:handong0319
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1引言常规的组织(或个人)为了提高竞争能力和快速响应市场变化的能力,需要合作组成虚拟企业.虚拟企业根据外界的情况决定自己的生产活动.虚拟企业活动规划对协调其活动很重要.
其他文献
1 引言协同策略除了包括通常的存取控制规则、并发控制规则、发言权控制规则外,还应包括协同感知控制规则、数据分布方案、角色行为准则和例外处理等.这些协同策略通常因工作
<正> 1.引言随着网络的不断发展和网络用户数量的不断增大,Inter-net上充满了无限的商机。建立基于Internet的电子商务网站,已经成了企业加快物资流动、降低产供销成本和开拓
1引言计算机信息的安全日益受到关注,虽然加密、认证、访问控制等安全技术已经比较成熟,但信息安全问题仍然很严重.
1.引言在航天科技领域中,由航天器获得的有关图像或非图像的科学数据有必要经过压缩处理后再予以传输.国际空间数据系统咨询委员会(CCSDS)认为这种必要性至少体现在三个方面:
1引言随着信息科学技术发展,社会经济各部门生产、收集、存储和处理数据的能力有了极大提高,数据资源日益丰富,数据挖掘为数据分析提供了强有力的工具[1].
1.引言在计算机网络管理范畴,计费这项应用曾经是五大网络管理应用中受到关注最少的一项应用[1,2],很大程度上是受Internet的研究性质影响.而电信网则不同,计费是首要考虑的
1引言Java作为一种面向分布式计算环境的语言,提供了完全意义上的多线程支持,能有效利用资源,提高系统效率,但是多线程并发也带来了很多严重问题,如死锁.为了详尽分析Java并
1.引言随着计算机网络的不断发展和普及,安全问题日益严重,已成为当今研究的重点.从CERT每年的安全事件报告可以看出,安全事件的数量从1989年的6例上升到1999年的8268例[1],
1引言操作系统是信息系统中最重要的基础软件,是构建其他软件安全运行的基础.对于整个计算机系统来说,一旦操作系统的防御被攻破,整个计算机系统的安全就受到了根本的威胁.而
1.介绍随着物理硬件的飞速发展,网络软件越来越成为影响网络性能的重要因素.两者之间的差异主要来源于软件在处理每个消息(message)时的开销过大.