检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:田世海[1]
机构地区:[1]哈尔滨理工大学经济管理学院,黑龙江哈尔滨150080
出 处:《科技进步与对策》2008年第9期115-120,共6页Science & Technology Progress and Policy
基 金:国家自然科学基金项目(70373058);哈尔滨理工大学青年科学研究基金项目(2008XQJR001);黑龙江省教育厅人文社会科学项目(10542177);黑龙江省留学回国人员基金项目(LC07C08)
摘 要:介绍了高技术虚拟企业信息系统平台的基本含义,采用结构化系统分析方法对其中的业务活动关系进行了详细分析,提出了运用面向对象的赋时Petri网技术建立高技术虚拟企业信息系统平台的模型,并运用整型时间验证技术对系统模型的时间性能进行分析,从而为高技术虚拟企业信息平台的建立奠定基础。The basic definition of High-tech Virtual Enterprise Information System Platform (HTVE-ISP) is introduced. The relations of business activities in HTVE-ISP are analyzed by structure analysis. The model of HTVE-ISP is proposed based on the Object-oriented Timed Petri net, and the time property of this model is analyzed by using integer time verification technology, which offers a basic guarantee for the successful establishment and operation of HTVE-ISP.
关 键 词:面向对象的赋时Petri网 高技术虚拟企业 信息系统平台
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.148.241.210