摘要
随着经济全球化进程的进一步推进,作为我国国民经济重要支柱产业的机械制造业,将面临更加激烈的市场竞争。机械制造业竞争的核心在于机械产品的设计能力。目前,我国虽然已经成为全球制造大国,但远不是制造强国。究其原因主要是机械制造企业生产的产品缺乏创新设计能力、缺少自主知识产权、市场竞争能力较低。建立一种适应用户与市场需求的、具有快速响应机制的网络化产品设计模式将是当前机械制造业所面临的最紧迫的任务之一,是制造企业摆脱困境、赢得市场和掌握竞争主动权的关键。
机械产品协同设计是一种基于分布设计资源共享、采用现代设计理论进行产品设计的先进设计模式。它是指多学科群组人员,在分布式网络环境下,针对某一复杂机械产品的设计目标,通过远程设计资源共享,相互协作、互相协同地完成设计目标的过程。机械产品协同设计过程具有设计任务并发多主体性和设计过程动态不确定性的特点。如何有效地对机械产品的协同设计过程进行动态建模、控制和管理,已经成为协同设计研究的核心问题之一。本文主要针对机械产品协同设计过程建模、控制与管理问题进行研究,其主要工作和创新点如下:
(1)在机械产品协同设计过程动态建模与决策控制问题的研究方面,针对机械产品协同设计过程的群体协作性、动态分布性、并发执行性和共享协同性的特点,在分析了机械产品设计业务流程的基础上,通过引入决策信息库所和决策变迁,将面向对象Petri网建模理论进行扩展,提出一种基于元模型调用的机械产品协同设计过程动态模型。给出了基本设计单元的元模型和设计过程控制网模型的形式化描述。通过元模型调用输入输出接口与过程控制网模型的决策变迁绑定,动态地描述机械产品的协同设计过程。同时,就机械产品协同设计过程的决策控制问题,采用模糊Petri网的模糊推理规则,提出一种基于模糊推理规则的机械产品协同设计过程控制决策策略与算法。最后对所建模型的性能进行了分析。
(2)在机械产品协同设计过程时间约束推理与一致性分析问题的研究方面,针对协同设计过程所具有的时间约束关系和时间计算推理问题,通过引入时间约束Petri网与线性逻辑表达理论,提出一种适用于机械产品协同设计过程时间约束的TCPN模型。给出了时间约束关系的描述方法、时间约束控制结构以及时间约束运算关系。针对不同控制结构的时间约束类型,给出其时间约束触发规则与推理机制。
(3)在机械产品协同设计过程资源约束可调度性问题的研究方面,针对产品协同设计过程中设计资源的有限性和设计活动的并发性所引起的资源约束冲突问题,基于时间约束Petri网理论,将设计资源约束冲突问题转化为用户占有资源的时间约束可调度性问题,提出一种基于TCPN的协同设计过程资源约束模型。通过对非同步设计活动变迁的弱可调度、同步设计活动变迁的强可调度的研究,给出产品协同设计过程资源约束的可调度性规则及算法。
(4)在机械产品协同设计方案模糊综合评价与决策问题的研究方面,针对基本设计单元初始方案与设计过程总体方案的综合评价与决策问题,提出一种适用于协同设计过程的多目标、多层次模糊综合评价模型及其算法。对于初始方案的评价层次,采用以设计目标关键因素为主导的评价策略,通过求解各初始方案评分值与评价指标的隶属度向量矩阵进行评价。对于总体方案的评价层次,采用多目标因素综合加权处理策略,基于广义明可夫斯基距离算法,通过求解评审专家评分值与评价级别的隶属度向量矩阵进行评价。
(5)在机械产品协同设计过程管理系统动态访问控制问题的研究方面,针对具有周期时间约束、访问次数限制和设计过程动态变化特点的协同设计过程访问控制问题,基于RBAC模型和TBAC模型的扩展与融合,提出了一种适应于协同设计过程管理系统的动态访问控制模型CSCD-TRBAC。通过设计任务的状态迁移和约束依赖关系,来控制访问授权状态的变化和权限的约束。同时,通过设定权限激活周期时间约束和权限访问次数约束,来解决权限访问时间限制和事务完整性约束问题。最后给出了基于任务的权限分配策略和权限激活机制。
(6)综合以上理论研究,以变速器产品协同设计过程管理为例,在详细分析了变速器的功能结构、工作原理及设计过程模型的基础上,对整个系统的项目任务管理、设计资源管理、产品数据管理、设计过程建模分析和访问控制管理等五个子系统进行了详细设计。建立了系统的数据库概念模型和物理模型。给出了系统的详细设计方案。
With the further development of economic globalization process, as one ofpillar industries in our national economy, the machine-building industry willface even more fierce market competition. The core of competition amongmachine-building industries lies on their design ability for mechanical products.Presently, China has been a major country but not a strong power among globalmanufacturing. The main reason is that most products in our country are lack ofinnovative design ability, are short of own intellectual property rights as well aswith a low market competition. Hence, it is one of the most pressing tasks tobuild a net products design pattern fitting for the requirement of uses andmarkets and responding fast, which is also a key for manufacture industry to getout of morass, gain market and have the initiative of competition.
Manufacture products collaborative design is an advanced design patternbased on sharing distributive design resource; meanwhile, it adopts moderntheory to design products. It also means a process of completing design tasks toa complex mechanical products design task by multi-subject groupscooperatively and collaboratively by means of sharing design resourceremotedly under the environment of distributed network. The mechanicalproducts collaborative process has such characteristics as concurrent andmulti-agent design tasks and dynamic and uncertain design process. How todynamically model, control and manage it effectively has been one of coreproblems to be studied in collaborative design domain. This thesis mainlyreseaches on the problems of model, control and management to mechanicalproducts collaborative design process and its work and innovation include asfollows:
1. The problems of dynamic modeling and decision-making controlling inmechanical products collaborative design process are studie. Mechanicalproducts collaborative design process has the characteristics of groupcooperating, dynamically distributing, concurrently executing and sharingcollaborating. At first, mechanical products design business flow model isanalyzed and built. Then, a metamodel of mechanical products basic design unit is constructed based on OPN theory. Meanwhile, control net model of designprocess is established by introducing decision-making information place anddecision-making transition. Finally, a dynamic model for mechanical productscollaborative design based on metamodel invoking is proposed. This modelachieves dynamic description of mechanical products collaborative designprocess by banding input/output interface of metamodel invoking withdecision-making transition of process control net model. At the same time, acontrolling decision-making strategy and algorithm of mechanical productscollaborative design process based on fuzzy inference rules is presented byadopting fuzzy inference rules in fuzzy Petri net to solve the problem ofdecision-making controlling in mechanical products collaborative designprocess.
2. The problems of temporal constraint inference and consistency analysisof mechanical products collaborative design process are studied. A temporalconstraint TCPN model fitting for mechanical products collaborative designprocess is proposed by introducting temporal constraint Petri net and linearitylogic expression theory to solve the problems of time constraint relation andtime computing inference for collaborative design process. Synchronously,temporal constraint relation expression, temporal constraint controlling structureand temporal constraint calculation relationship are given. For the temporalconstraint types with different controlling structure, their temporal constraintspring rules and inference rules are also given.
3. The problem of resource constraint scheduling of mechanical productscollaborative design process are studied. In order to solve resource constraintconflict caused by limited design resource and concurrent design activity, theproblem of design rescource constraint conflict is turned into the problem oftemporal constraint scheduling for users occuping resource. As a result, aresource constraint model of collaborative design process based on TCPN isproposed. Meanwhile, the resource constraint scheduling rules and algorithm ofproducts collaborative design process are presented by studyingweak-scheduling of asynchronous design activity transition andstrong-scheduling of synchronous design activity transition.
4. The problems fuzzy comprehensive evaluation and decision-making arestudied. A fuzzy and comprehensive model and its algorithm fitting mechanicaloriginal design schemes and system general design scheme productscollaborative design process with multi-objectives and multi-layers arepresented to solve the problem of comprehensive evaluation anddecision-making for the stages of original design schemes and system generaldesign scheme. To the layer of evaluating initial schemes, the evaluation strategyof key objective factor is adopted, which are evaluated by calculating the vectormatrix of membership degree between evaluated characteristic values ofmultiple initial schemes and the evaluation indices. To the layer of evaluatingsystem general design scheme, the vector matrix of membership degree betweenevaluation characteristic values of experts and evaluation rank is calculated bythe comprehensive weighted strategy for multi-objective and the algorithm ofgeneralized Minkowski distance.
5. The problem of dynamic access control to mechanical productscollaborative design process management system is studied. A dynamic accesscontrol model of CSCD-TRBAC fitting collaborative design processmanagement system is proposed based on extending and integrating RBACmodel and TBAC model to solve the collaborative design process controlproblem with the characteristics of cycle temporal constraint, access numberslimitation and design process dynamically variety. In this model, the accessauthorization status varying and authority restraining are controlled by the statustransition and constraint dependence relationship of design tasks.Simultaneously, the problems of authority access time limitation and transactionintegration constraint are solved by setting the limits to authority activatingcycle time and the limits to authority access numbers. Finally, the authorityallocation strategy and authority activiting mechanism of task-based are given.
6. The above theories are synthesized and the collaborative design processmanagement of transmission gear box is taken as prototype. Its functionstructure and engine principle are analyzed firstly and its design processbusiness flow model is presented. Then five subsystems of the whole systemsuch as project task management, design resource management, products data management, process modeling and analyzing, and access control managementare designed detailly based on the detail analysis to the and design processmodel. Finally, the conceptual model and physical model of system database arebuilt. Meanwhile, the detail design schemes of the system are given.
引文
[1]国家自然科学基金委员会工程与材料学部.学科发展战略研究报告(2006~2010):机械与制造科学[M].北京:科学出版社,2006.
[2]宋健.制造业与现代化[J].机械工程学报,2002,38(12):1-9.
[3]杨叔子,吴波,李斌等.再论先进制造技术及其发展趋势[J].机械工程学报,2006,42(1):1-5.
[4]谢友柏.现代设计理论和方法的研究[J].机械工程学报,2004,40(4):1-9.
[5]路甬祥.走向绿色和智能制造[J].中国机械工程,2010,21(4):379-387.
[6]杨叔子.制造-先进制造技术的发展及其趋势(上)[J].装备制造,2008,(4):52-55
[7]杨叔子.制造-先进制造技术的发展及其趋势(下)[J].装备制造,2008,(5):38-41
[8]熊光愣.并行工程的理论与实践[M].北京:清华大学出版社,2001.
[9]殷国富,于静,胡晓兵.面向信息时代的机械产品现代设计理论与方法研究进展[J].四川大学学报(工程科学版),2006,38(5):38-41.
[10]刘飞,雷奇,宋豫川.网络化制造的内涵及研究发展趋势[J].机械工程学报,2003,39(8):1-6.
[11]肖田元,范文慧.基于HLA的一体化协同设计、仿真、优化平台[J].系统仿真学报,2008,20(13):3542-3547.
[12]谢列卫,程耀东.集成化产品设计多信息流过程建模研究[J].中国机械工程,2000,11(12):1370-1373.
[13] Frits P.Tolman.Product modeling standards for the building and construction industry [J].Past, Present and Future. Automation in Construction,1999,8(3):227-235
[14]郭可谦主编.中国机械设计大典(46篇):机械设计总论[M].南昌:江西科学技术出版社,2005.
[15]单鸿波.现代产品设计理论的相关研究[J].东华大学学报(自然科学版),2006,32(5):118-124.
[16]谢友柏.现代设计理论中的若干基本概念[J].机械工程学报,2007,43(11):7-15.
[17]Gero J S. Computational model of innovative and creative design process [J].Technological Forecasting and Social Change,2000(64):183-196
[18]谢友柏.关于在“产品设计”中必须引入最新技术的认知和举措[J].机械设计与研究,2005,21(5):6-10.
[19]Simon H A. The science of the artificial intelligence [M]. Cambridge: MIT Press,1984
[20] Dixon J R. On a research methodology towards a scientific theory of design [M], Berlin:Springer-verlag,1985
[21] Yoshikawa H General design theory and a CAD system[C]. In:Proc.of the IFIP workinggroup working conference on Man-machine communication in CAD/CAM,1980:35-53
[22] Tomiyama T. General Design Theory and its Extensions and Application [M]. UniversalDesign Theory, Aachen: Skaker Verlag Press,1998
[23]Takeda H, Paul V, Tetesuo T. et al. Modeling design processes [J].AI Manazines,1990,11(4):37-49
[24] Suh N P Axiomatic Design as a Basis for Universal Design Theory [M]. UniversalDesign Theory, Aachen: Skaker Verlag Press,1998
[25] Grabowski Y. Universal design theory: Elements and Applicability to computers [M].University design theory, Aachen: Skaker Verlag Press,1998
[26]Shantanu Bose.Issue in the design, development and use of process managementmodels:[D].Purdue University,2001
[27]Zakarian A., Kusiak A. Analysis of Process models [J].IEEE transaction on electronicspackaging manufacturing,2000,23(2):137-147
[28]黄卫东.多型号产品协同设计管理及其若干关键技术研究[D].南京:南京航空航天大学,2009.
[29]孙长乐.某型号产品协同设计系统构建及其支持技术研究[D].大连:大连理工大学大学,2010.
[30]邹灵浩.基于工作流的某型号产品协同设计方法研究[D].大连:大连理工大学,2010.
[31]丁俊武,韩玉启,郑称德.现代产品设计理念研究综述[J].机械制造,2005,43(4):8-10.
[32]闻邦椿.现代机械产品设计在新产品开发中的重要作用[J].机械工程学报,2003,39(10):43-52.
[33]刘立骐,田华,许维胜等.CSCW研究理论及其应用[J].信息与控制,1998,27(3):190-196.
[34] Bajaj C, Zhang P, Chaturvedi A.Brokered Collaborative Infrastructure for CSCW[C].In:Proc.of the Fourth IEEE Workshop on Enabling Technologies: Infrastructure forcollaborative Enterprises, Berkeley Springs, West Virginia, IEEE computer society press,1995,207-214
[35] Toye G, Cutkosky M R, Leifer L F,et al·SHARE: A.methodology and environment forcollaborative product development [J].The International Journal of Intelligent andCooperative Information Systems,1994,3(2):129-153
[36]高曙明,何发智.分布式协同设计技术综述[J].计算机辅助设计与图形学学报,2004,16(2):149-155.
[37] Cutkosky M R, Glicksman J, Tenenbaum J M·Madefast: Collaborative engineering overthe Internet [J]·Communications of the ACM,1996,39(9):78-87
[38] Ahn S H, Sundararajan V, Smith C E, et al·CyberCut: An Internet-based CAD/CAMsystem [J]·Journal of Computing and Information Science in Engineering,2001,1(1):52-59
[39] Shi J, Huang G Q, Mak K L·Cyberagent: Collaborative agents for distributedapplications over the Internet [C]·In:Proc.of2001ASME Design Engineering TechnicalConference, Pittsburgh, Pennsylvania,2001
[40] Schiffner N, Kollmann H·Distributed sketchpad [C]. In:Proc.of the1st InternationalWorkshop on CSCW in Design, Beijing,1996,491-499
[41] Kim C Y, Kim N, Kim Y, et al·Internet-based concurrent engineering: An interactive3Dsystem with markup [C]. In:Proc.of1998ASME Design Engineering TechnicalConference, Atlanta, Georgia,1998
[42] Lee J Y, Kim H, Han S B,et al·Network-centric featurebased modeling [C]. In:Proc.ofPacific Graphics’99, Seoul, Korea,1999·280-289
[43] Bidarra R, van den Berg E, Bronsvoort W F·Collaborative modeling with features [C].In:Proc.of2001ASMEDesign Engineering Technical Conferences, Pittsburgh,Pennsylvania,2001·DETC2001/CIE-2128
[44]周勋,李洁,何发智等.基于Internet的协同实体建模系统的设计与实现[C].第12届全国计算机辅助设计与图形学学术会议论文集,贵阳,2002,720-725.
[45] Kao Y C, Lin G C.CAD/CAM collaboration and remote machining [J]·ComputerIntegrated Manufacturing System,1996,9(3):149-160
[46] Nam T J, Wright D K.CollIDE: A shared3D workspace forCAD [C]. In:Proc.of the4thInternational Conferenceon Networking Entities, Ystanbul: EATAPublisher House,1998·103-105
[47] Stork A, Jasnoch U.A collaborative engineering environment[C]. In:Proc.of theTeamCAD97Workshop on Collaborative Design, Atlanta,1997·25-33
[48] Stork A, Lukas U V, Schultz R.Enhancing a commercial3D CAD system by CSCWfunctionality for enabling co-operative modeling via WAN [C]. In:Proc.of1998ASMEDesign Engineering Technical Conference, Atlanta, Georgia,1998·DETC1998/CIE-5711
[49] Lukas U V.Collaborative geometric modeling using CORBA services [C]. In:Proc.of theECSCW’97Workshop on Object Oriented GroupWare Platforms OOGP’97·Lancaster,UK,1997·91-92
[50]李伯虎,柴旭东,朱文海等.复杂产品协同制造支撑技术的研究[J].计算机集成制造系统,2003,9(8):691-698.
[51]何发智.协同集成设计环境的计算机辅助工具[J].机械工程学报,2002,38(6):16-20.
[52]何发智,高曙明.半透明半明确协作框架下远程指针协同感知研究[J].计算机研究与发展,2002,39(9):1099-1105.
[53] Zakarian A., Kusiak A.Analysis of Process models [J].IEEE transaction on electronicspackaging manufacturing,2000,23(2):137-147
[54] Gebala D A, Eppinger S D.Methods for analyzing design procedures [J].Design Theoryand Methodology,1991,34:64-76
[55]Jensen K. An introduction to the theoretical aspects of colored Petri nets [J].ComputerScience,1994,803:230-272
[56]Park H, Cutkosky M R.framework for modeling dependencies in collaborativeengineering processes [J].Research in engineering design,1999,11(2):84-102
[57]谢列卫,吴祚宝.集成产品设计多视图建模问题研究[J].浙江工业大学学报,2000,28(1):37-43.
[58]马峻,肖田元,范文慧.面向分区协同设计的关联关系表达与管理[J].计算机集成制造系统,2009,15(5):884-889.
[59]马峻,肖田元,范文慧.面向分区协同设计的关联关系信息模型[J].计算机集成制造系统,2009,15(8):1484-1492.
[60]顾新建,祁国宁,杨志雄.设计与过程集成模型的研究[J].计算机集成制造系统,2002,8(4):253-259.
[61]崔卫华,李刚炎,杨波等.产品多领域协同设计过程建模及仿真[J].系统仿真学报,2009,21(7):2041-2045.
[62]王威,范文慧,肖田元.复杂产品多学科协同设计优化建模方法[J].系统仿真学报,2010,22(11):2524-2527.
[63]贺泽,邱长华,王能建等.船舶协同设计过程模型及应用系统研究[J].中国机械工程,2006,17(8):841-844.
[64]刘杰,周以齐,曲海明.基于高层体系结构的复杂产品协同设计管理方法[J].机械工程学报,2010,46(13):165-171
[65]范玉顺,吴澄.基于协调理论的工作流建模方法[J].计算机集成制造系统,2001,7(4):1-6.
[66]崔卫华,李刚炎,王慧.产品协同设计过程建模方法的研究[J].中国制造业信息化,2005,34(9):94-97.
[67]崔卫华,李刚炎,王慧等.复杂产品协同设计过程建模方法研究[J].武汉理工大学学报(交通科学与工程版),2005,29(4):620-623.
[68]林闯,田立勤,魏丫丫.工作流系统模型的性能等价分析[J].软件学报,2002,13(8):1472-1481.
[69]李建强,范玉顺.工作流模型可调度性验证与分析方法[J].机械工程学报,2004,40(4):93-98.
[70]杜栓柱,谭建荣,张树有.支持DFMC的柔性工作流模型研究[J].计算机集成制造系统,2003,9(9):803-810.
[71]杜栓柱,谭建荣,张树有.支持DFMC的同步协作工作流模型研究[J].计算机辅助设计与图形学学报,2003,15(9):1153-1159.
[72]杨煜俊.网络化协同产品开发理论及其关键技术研究[D].武汉:华中科技大学,2005.
[73]宋玉银,楮秀萍,蔡复之.基于时间Petri网的实时并行设计过程建模研究[J].计算机集成制造系统,1999,5(6):17-22.
[74]黄洪钟,刘伟,李丽.产品协同设计过程建模研究[J].计算机集成制造系统,2003,9(11):955-959.
[75]田锋,李人厚.基于模糊定时高级Petri网的协同设计活动建模和分析[J].计算机辅助设计与图形学学报,2004,16(3):267-274.
[76]张鹏程,李人厚.模糊着色Petri网及其在工作流建模中的应用[J].计算机辅助设计与图形学学报,2002,14(8):713-716.
[77]何宇,黄舒志,刘淼等.基于Petri网的协同设计过程模型[J].系统仿真学报,2011,23(S1):11-15.
[78]曹宜英,秦现生,张晓云.基于多色Petri网的产品开发过程建模[J].系统工程理论与实践,2010,30(5):909-918.
[79]王鹏,邹灵浩.基于复杂Petri网的协同产品开发流程建模研究[J].机械管理开发,2009,24(2):177-178.
[80] B Ludascher, I Altintas, C Berkley, D Higgins.Scientific workflow management and theKepler system [J].Concurrency and Computation: Practice&Experience (S1532-0634),2006,18(10):1039-1065.
[81] T Oinn, M Greenwood, M Addis, M N Alpdemir.Taverna: lessons in creating a workflowenvironment for the life sciences [J]. Concurrency and Computation:Practice&Experience (S1532-0634),2006,18(10):1067-1100.
[82]王志坚,蔡自兴.基于IDEF0模型的Petri网间接建模方法研究[J].系统仿真学报,2008,20(15):3915-3919.
[83] Lee Y K, Park s. OPNets: An object-oriented high-level Petri net model for real-timesystem modeling [J]. Journal of System Software,1993,20(1):69-86.
[84]Lakos C A. From colored Petri nets to object Petri nets[C]. In:Proc.of LNCS’95. Torino:Springer-Verlag,1995:278-297.
[85]Loures E R. A control-monitoring-maintenance framework based on Petri net with objectsin flexible manufacturing system. Application to a robot-driven flexible cell [J]. BrazilianJournal of Operations&Production Management,2007,4(1):5-21.
[86] Loures E R. A control-monitoring-maintenance framework based on Petri net withobjects in flexible manufacturing system[C]. In:Proc.of Third International Conferenceon Production Research–Americas’ Region2006,1230-1242.
[87]安毅生,李人厚.基于过程控制网的协同设计建模与分析[J].计算机集成制造系统,2006,12(9):1352-1358.
[88]安毅生,李人厚.基于对象的扩展Petri网协同设计过程分析[J].控制与决策,2008,23(9):1004-1010.
[89]王凯,刘毅,李文正.飞机协同设计中的技术状态控制过程模型[J].计算机辅助设计与图形学学报,2010,22(6):1063-1069.
[90]张海霖,江志斌.基于R-OPN的集装箱码头物流系统建模与分析[J].上海交通大学学报,2007,41(2):231-238.
[91] Huiran Liu· Zhibin Jiang· Richard Y.K. Fung. Modeling of large-scale complexre-entrant manufacturing systems by extended object-oriented Petri nets [J]. Int Journalof Adv Manuf Technol,2005,27:190–204
[92] Kuisak A, Wang J, He D W, et al. A structured approach for analysis of design process [J].IEEE Transactions on Components, Packaging, and Manufacturing Technology-Part.1995,18(3):664-673.
[93] Belhe U, Kuisak A. Dynamic scheduling of design activities with resource constraints [J].IEEE Transaction on Systems, Man and Cybernetics-Part A: Systems and human.1997,27(1):105-111.
[94]罗海滨,范玉顺,吴澄.工作流技术综述[J].软件学报,2000,11(7):899-907.
[95] Merlin P, Farbor D. Recoverability of communication protocols [J]. IEEE Transaction onCommunications.1976,24(9):1036-1043
[96]Berthomieu B, Diaz M. Modeling and verification of time dependent systems using Petrinets [J]. IEEE Trans on Software Engineering.1991,17(3):259-273
[97] Portinale L. Exploiting t-invariant analysis in diagnostic reasoning on a Petri net mode
[M]. Application and Theory of Petri Nets.Berlin: Spinger-Verlag,1993.339-356
[98]李涛,钟诗胜.基于着色时间Petri网的工作流模型及其性能分析[J].计算机辅助设计与图形学学报,2006,18(6):824-831.
[99] CardosoJ,etal. Petri net based reasoning for the diagnosis of dynamic discrete eventsystems[C]. In:Proc.of6thlntl.Fuzzy Systems Association World Congress. Sao Paulo,Brazil,July,1995.Vol.1.333-336
[100]高梅梅,吴智铭.一种基于线性逻辑的时间Petri网推理方法[J].计算机研究与发展,2000,37(12):1452-1456.
[101]高梅梅,吴智铭.模糊时间Petri网的时间推理及其在过程监测中的应用[J].控制与决策,2001,16(3):371-373.
[102]高梅梅,吴智铭.模糊推理Petri网及其在故障诊断中的应用[J].自动化学报,2000,26(5):677-680.
[103] Ling Sea, Schmidt H. Time Petri nets for workflow modeling and analysis[C]. In:Proc.of IEEE International Conference on System, Man and Cybernetics, Nashville,Tennessee,2000:3039-3034
[104]刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2):245-248.
[105]杜彦华,范玉顺.资源约束下多过程的不确定时间建模与分析[J].机械工程学报,2010,46(2):169-176.
[106]刘胜,范玉顺.资源约束下实例在工作流中停留时间分析方法[J].电子学报,2005,33(10):1867-1871.
[107]潘炎,汤庸.模糊时态工作流网的建模和时间可能性分析[J].计算机集成制造系统,2006,12(11):1779-1784.
[108]程利新,刘云云.动态选择时钟的资源约束下调度算法[J].计算机辅助设计与图形学学报,2010,22(2):240-246.
[109][李祖欣,王万良,成新民.资源约束系统的信息调度及其渐近稳定性[J].信息与控制,2008,37(5):593-599.
[110]李祖欣,王万良,雷必成.资源约束系统的控制与调度协同优化方法[J].控制理论与应用,2009,26(1):97-103.
[111]谢林柏,方华京,王华.网络化控制系统的信息调度与稳定性研究[J].控制与决策,2004,19(5):589-591.
[112] Rehbinder H, Sanfridson M. Scheduling of a limited communication channel foroptimal control [J].Automatica,2004,40(3):491-500.
[113] Goodwin G C,Haimovich H,Quevedo D E,et al.A moving horizon approach tonetworked control system design[J]. IEEETransactions on Automatic Control,2004,49(9):1427-1445.
[114]肖磊,刘电霞,黄强.协同设计资源的两级不确定调度问题研究及其求解[J].数学的实践与认识,2011,41(11):73-81.
[115]陈涛.网格协同设计环境下基于资源负载均衡策略的任务调度优化模型及其算法[J].暨南大学学报(自然科学版),2009,30(1):9-12.
[116]顾军林,刘玮玮,谢晓兰.网格平台下的协同设计职员管理系统研究与实现[J].现代制造工程,2010,(12):33-36.
[117]崔卫华,杨波,宋开峰.产品协同设计过程的资源配置[J].组合机床与自动化加工技术,2011,(3):97-100.
[118]罗亚波,肖田元.同步协同设计中基于关联关系的资源调度方法[J].计算机集成制造系统,2004,10(4):399-404.
[119]李远,彭辉,沈林成.协同任务规划中基于约束满足的资源冲突检测与消解[J].系统工程与电子技术,2009,31(4):868-873.
[120]吴强,李金龙,杨振宇等.基于非线性拟合方程的多变量决策树算法[J].中国科学技术大学学报,2006,36(5):546-550.
[121]吴强,李金龙,朱平等.大量信息源条件下组合规则研究[J].小型微型计算机系统,2007,28(1):112-115.
[122]管清贵,殷国富,胡晓兵.基于模式语言的设计知识描述与发现方法研究[J].四川大学学报(工程科学版),2008,40(6):176-181.
[123]胡文斌.产品协同设计系统中交互式双边协商问题研究[J].计算机集成制造系统,2006,12(2):210-215.
[124]盛步云,林志军,丁毓峰.基于粗糙集的协同设计冲突消解事例推理技术[J].计算机集成制造系统,2006,12(12):1952-1957.
[125]马骏.创新设计的协同与决策[M].北京:科学出版社,2008.
[126]李玉良,潘双夏.基于敏度分析和知识推理的产品协同决策[J].机械工程学报,2006,42(9):33-42.
[127]杨根科,曾建潮,孙国基.TCPN的状态可达及可调度决策空间算法[J].计算机学报,1998,21(3):34-39
[128]李慧芳,李人厚.时间约束Petri网的可调度性分析方法研究[J].控制与决策,2000,15(5):609-612
[129]吴亚丽,曾建潮,卫军胡等.TCPN的可调度性及调度区间的约束分析[J].控制与决策,2002,17(5):522-526
[130]Petri C A.Kommunkation mit automaten.Boon:Institut fur lnstrum EntelleMathematik,Schriftendes[M] IIM Nr.3,1962.Also English Translation,Communicationwith Automata. New York: Griffiss Air Foce Base. Tch.Rep. RADC-TR-65-377,1966,1(1).
[131] Pastor E, Cortadella J. Symbolic Analysis of Bounded Petri Nets [J]. IEEE Transactionson Computers,2001,50(5):432-448
[132] Minato S. Zero-suppressed BDDs for Set Manipulation in Combinatorial Problems[C]In: Proc.of DAC,1993.272-277.
[133] Minato S. Zero-suppressed BDDs and Their Applications [J]. International Journal onSoftware Tools for Technology Transfer,2001,3(2):156-170
[134]李凤英,古天龙,徐周波.Petri网的符号ZBDD可达树分析技术[J].计算机学报,2009,32(12):1-12.
[135] Dong M, Chen F F. Process modeling and analysis of manufacturing supply chainnetworks using object-oriented Petri nets [J].Robotics and Computer IntegratedManufacturing,2001,17(5):121-129.
[136]王丽丽,吴哲辉.求网的S-不变量的一种图算法[J].计算机科学,2007,34(3):246-249.
[137] Tsai JJP, Jennhw Yang Steve, Yao-Hsiung Chang. Timing constraint Petri nets and theirapplications to schedulability analysis of real-time system specifications [J] IEEETransaction. on Software Engineering,1995,21(1):32-49.
[138]Allen J F. Towards a general theory of action and time [J]. Artificial Intelligence,1984,23(5):123-154
[139]顾春琴,衣杨,常会友等.时间约束工作流模型的可调度性验证研究[J].系统仿真学报,2009,21(7):2112-2117.
[140]宋巍,窦万春,刘茜萍.时间约束Petri网及其可调度性分析与验证[J].软件学报,2007,18(1):11-21.
[141]庞辉,方宗德,赵勇.时间约束工作流模型的简化分析与可调度性验证[J].计算机集成制造系统,2008,14(11):2217-2223.
[142] Anderson J P. Computer security technology planning study. Air Force ElectronicSystems Division, Hanscom AFB, Bedford [M]. Technical Report ESDTR-73-51,1972.
[143] Ferraiolo D, Kuhn R. Role-Based access controls [C].In:Proc.of the15th NIST NationalComputer Security Conference[C].Baltimore,1992.554-563.
[144] Thomas R K, Sandhu R S. Task-Based authentication controls (TBAC): A family ofmodels for active and enterprise-oriented authentication management[C].In:Proe.of theIFIP WGll.3Workshop on Database Seeurity, l997:166-181
[145] Frikken K, Atallah M, Li Jiangtao.Attribute-based access control with hidden policiesand hidden credentials [J]. IEEE Transactions on Computers,2006,55(10):163-175.
[146] Priebe T, Dobmeier W, Kamprath N.Supporting Attribute-based access control withontologies[C]. In:Proc.of the IEEE First International Conference onAvailability,Reliability and Security(ARES’06).Vienna Austria,IEEE ComputerSociety,Press,2006.
[147] Boobba R, Fatemieh O,Khan F et al. Using Attribute-based access control to enableAttribute-based messaging[C]. In:Proc.of Annual Computer Security ApplicationsConference(ACSAC’06). Mia-mi Beach,FL,December,2006.
[148] Shen Haibo,Hong Fan.An Attribute-based access control model for Web services[C].In:Proc.of the7thInternational Conferece on Parallel and Dsitributed Computing,Applications and Technologies(PDCAT’06),2006.
[149]韩道军,高洁,翟浩良等.访问控制模型研究进展[J].计算机科学,2010,37(11):29-33.
[150] Shen HH, Dewan P. Access control for collaborative environments[C]. In: Proc.of the1992ACM Conf. on Computer-Supported Cooperative Work. New York: ACM Press,1992.51-58.
[151] Bullock A, Benford S. An access control framework for multi-user collaborativeenvironments[C]. In: Proc.of the Int’1ACM Siggroup Conf.on Supporting GroupWork.New York: ACM Press1999.140-149
[152] Shyamsundar N, Gadh R. Internet-Based collaborative Product design with assemblyfeatures and virtual design spaces [J].Computer-Aided Design,200l,33(9):637-651
[153].刘武,段海新,张洪等.TRBAC:基于信任的访问控制模型[J].计算机研究与发展,2011,48(8):1414-1420.
[154]姜洋,金天国,刘文剑.网络化协同制造环境下的混合访问控制模型[J].计算机集成制造系统,2009,15(7):1279-1286.
[155]朱州,张沪寅.一种基于TRBAC的上下文相关访问控制模型[J].武汉大学学报(理学版),2009,55(2):216-223.
[156]李成锴,詹永照,矛兵等.基于角色的CSCW系统访问控制模型[J].软件学报,2000,11(7):931-937.
[157]邹灵浩,郭东明,高航等.一种新的面向协同产品开发的访问控制模型[J].中国机械工程,2009,20(20):2457-2460.
[158]林闯,封富君,李俊山.新型网络环境下的访问控制技术[J].软件学报,2007,18(4):955-966.
[159]徐洪学.一种面向协同设计系统的访问控制模型[J].东北大学学报(自然科学版),2007,28(12):1733-1736.
[160]方萃浩,叶修梓,彭维等.协同环境下CAD模型的多层次动态安全访问控制[J].软
件学报,2007,18(9):2295-2305.