虚拟企业建模中的形式化方法

来源 :清华大学 | 被引量 : 0次 | 上传用户:zhustrong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面对迅速多变的市场环境,制造业面临着前所未有的挑战.以Internet为代表的网络技术的崛起,打破了传统企业的时间与空间的界限,为制造业的振兴带来了巨大的机遇.基于企业模型的虚拟企业集成技术就是这一时代的研究成果.它被认为是前景最为广阔的下一代制造业解决方案之一.作者首先详细介绍了虚拟企业的研究背景与现状,对虚拟企业的研究方法、进化、建立原则、设计准则、要素等问题进行了详细而全面的论述.针对虚拟企业建模问题,作者分析了传统在企业建模方法在这一领域的不足.提出了应用形式化方法与传统方法相结合的观点,分析了这种方法的优点,指出了可能的应用途径.
其他文献
为应对战术弹道导弹及其他空袭武器高速高机动发展带来的威胁,拦截弹需具备更加精确快速的响应能力,以实现直接碰撞杀伤目标。由于传统气动力控制导弹的舵面响应时间过长,且控制
该文结合高炉专家系统的实际应用水平及中国高炉生产的现状,针对高炉炉况诊断和预报中需要解决的实际问题,结合神经网络等人工智能技术,对炉热状态预报、高炉径向煤气流分布
个人化的信息服务是网络信息服务发展的重要方向.如何了解并跟踪用户的需求,针对用户的不同兴趣提供不同的网络信息,是研究的重点.研究人员设计并实现了基于用户书签(Bookmar
该论文应用H/μ综合理论对这一类弱阻尼奇异问题的综合设计进行了深入研究,主要内容如下:(一)分析了常规H混合灵敏度设计、标准H控制问题以及求标准H控制问题的DGKF方法和需
该文研究了有脸正面图像识别中的其中一种重要的方法-"特征脸"方法,该方法是基于整体图像的统计模式识别方法,该方法对于经过预处理过的标准有脸图像,以类间散布矩阵为产生矩
该文对不确定系统的鲁棒滤波算法进行了比较深入和全面的研究,得到以下结果:提 出了线性离散不确定系统的鲁棒最小方差滤波新算法.与现有同类算法相比,新算法 计算简单,进一
该文应用进化算法求解复杂的调度问题,主要在如下几个方面作了一些研究工作:1)对进化规划算法进行了研究,将模拟退火机制引入普通进化规划算法中,并增加了"记忆"功能.因此,改
该文根据过程工业尤其是石油化工行业对于仿真培训更高和更新的要求,提出了企业级过程企业仿真培训支撑系统的概念,并采用先进的技术加以设计和实现,解决了早期开发仿真培训
该文基于对DSS的研究,开发了"林火辅助决策支持系统(LHDSS)"和完整的软件包.该系统采用地理信息系统(GIS)技术,建立了森林地下信息空间、属性数据库及其管理系统,并建立了针
该文主要针对离心机主轴速率测控分系统进行了系统的研究.离心机是一种高精度的惯性导航测度设备,它的研制对于提高惯性导航和制导系统的精度有着十分重要的意义.该文着重对