某型号产品协同设计系统构建及支持技术研究
|
摘要
型号产品是现代高新技术的高度集成,其研制在经济发展、国防建设和装备制造业升级中具有不可替代的促进作用。当前的时代特点要求型号产品制造业必须具备快速根据特定需求,设计、制造并组织批量生产的能力。为了提高型号产品的研制效率,缩短研制周期,提高型号产品制造业的竞争力,论文研究了型号产品异地协同设计制造系统的构建及相关支持技术。具体研究内容如下：
(1)针对当前型号产品研制过程中遇到的CAD相关问题,研究了CAD协同支持技术。通过特征提取和模型重构技术,实现了CAD模型到特征参数文件的等价变换及逆变换。利用特征参数文件较CAD模型要小近两个数量级的特点,实现了大型三维CAD模型快速传输功能。在特征参数文件差异分析算法和模型特征合并规则的基础上,实现了CAD异步协同建模(版本合并)功能。建立了通用的异构CAD模型转换支持框架,利用特征提取和模型重构技术实现了基于特征的异构CAD模型转换功能。
(2)针对型号产品协同研制需要的海量数据检索功能,设计了一种基于软件Agent的智能数据批量处理控制模型。模型利用Agent的学习能力,分析数据处理的行为特征并记录到信念库中,当有请求到达时,Agent利用外部环境传感器获取系统负载、用户带宽等数据,并结合信念库中记录的请求特征,运用推理过程计算出当前处理的最佳数据量,通过调用执行计划改变请求控制流来实施约束控制,保障了用户的请求响应时间,缩短了总计等待时间,平滑了系统的负载峰值。
(3)针对型号产品协同任务的特点,通过扩展条件信息,建立了一种扩展Petri网,其可以根据当前任务的执行情况智能选择进一步的处理路线,用于支持协同任务建模。在此基础上再扩展概率信息形成条件概率Petri网,利用设计的扩展Petri网可达路线、死锁路线及概率分析算法,实现了计算各个任务及所有可能任务集执行概率的功能。通过对时间Petri网扩展条件信息说明了扩展方法的通用性。
(4)归纳了型号产品异地协同设计制造系统应该具备的功能及实现支持技术,利用网格技术建立了系统主体框架,实现了基于ActiveX技术的子功能模块集成方法。研究了基于操作链的数据持久层技术,为协同系统的数据存取提供了一个灵活、可靠、复用性高的解决方案。开发了协同系统软件程序,并应用到某型号产品协同研制项目中,验证了本文的技术研究成果。
研究成果为型号产品协同设计制造提供理论及应用支持,缩小与国外的技术差距。
Type products are high integration of modern high and new technologies, which play an irreplaceable role in promoting economic development, national defense and upgrading of equipment manufacturing industry. Current ages characteristics require that type product manufacturing industry must have the ability to design, manufacture and organize mass production according to specific demands. To increase designing/manufacturing efficiency of domestic type products, shorten the cycle of designing/manufacturing and improve the competitive force of the type product manufacturing enterprises, this thesis studied key supporting technologies on building distributed collaborative designing/manufacturing system for type products. The main content of this study is as follows:
CAD collaborative supporting technology. Focusing on CAD collaborative questions encountered in the course of collaborative designing/manufacturing for type products, equivalennt and inverse transformation from CAD models to feature information files was realized by studying technologies of feature extraction and model refactoring. Fast transmission of large 3D CAD models was implemented by using the characteristic that feature information files are almost two orders of magnitude smaller than files of CAD models. A difference analyzing algorithm of the smaller files was designed and the difference analyzing function of CAD models was implemented by integrating feature rendering technology, on the basis of which, the merging rules of models was designed and asynchronous modeling of CAD (i.e. version merging) was realized. Universal framework of transforming heterogeneous CAD models was also designed and realized based on the technology of feature extraction and model refactoring.
Technology of data processing control. An intelligent data batch processing control model based on software Agent was introduced in order to manage search of overwhelming amount of data. The model analyzes behavior characteristic of data processing by using Agent's study ability and records it in the belief library of Agent. With environment sensor, when a request arrives, Agent gets data about system load, bandwidth of user, and so on. Then combining the old request characteristics and using reasoning processing, Agent works out the optimal data volume to be processed of this request, which will be controlled by control flow that has been changed by execute plan. Integrating collaborative platform with this model may ensure the user's response time, shorten waiting time and smooth the peak value of system load.
Technology of collaborative modeling. To better support modeling and analyzing of collaborative tasks an extended Petri net with condition information (ECPN) was investigated. It makes up the deficiency of current Petri nets that cannot intelligently select next transaction path according to the performance of current task. Moreover, a Petri net extended with condition and probability information (PCPN) was proposed by introducing probability information, which realized the function of analyzing all tasks and possible task collections. The reachable path, deadlocked path, probability computing method of the extended Petri net, and, the method to solve deadlocking are given. Also, extending time Petri net with condition information illustrates the universality of the extending method.
Other technologies. The functions that the system should have and related implementation technologies were induced. The principal framework of collaborative system was established by using Grid technology. The method to integrate submodules based on ActiveX technology was studied. Technology of data persistent layer based on operation chain provides a flexible, reliable and high reusable solution for data access service of collaborative system. Software programs of collaborative system were developed and applied to the project of collaborative designing/manufacturing for one type product, which validated the research results of this thesis and improved the efficiency of designing/manufacturing of this product.
This research has provided theoretical and application support for the designing/manufacturing for type products and narrowed the gap with foreign technical level.
(1)针对当前型号产品研制过程中遇到的CAD相关问题,研究了CAD协同支持技术。通过特征提取和模型重构技术,实现了CAD模型到特征参数文件的等价变换及逆变换。利用特征参数文件较CAD模型要小近两个数量级的特点,实现了大型三维CAD模型快速传输功能。在特征参数文件差异分析算法和模型特征合并规则的基础上,实现了CAD异步协同建模(版本合并)功能。建立了通用的异构CAD模型转换支持框架,利用特征提取和模型重构技术实现了基于特征的异构CAD模型转换功能。
(2)针对型号产品协同研制需要的海量数据检索功能,设计了一种基于软件Agent的智能数据批量处理控制模型。模型利用Agent的学习能力,分析数据处理的行为特征并记录到信念库中,当有请求到达时,Agent利用外部环境传感器获取系统负载、用户带宽等数据,并结合信念库中记录的请求特征,运用推理过程计算出当前处理的最佳数据量,通过调用执行计划改变请求控制流来实施约束控制,保障了用户的请求响应时间,缩短了总计等待时间,平滑了系统的负载峰值。
(3)针对型号产品协同任务的特点,通过扩展条件信息,建立了一种扩展Petri网,其可以根据当前任务的执行情况智能选择进一步的处理路线,用于支持协同任务建模。在此基础上再扩展概率信息形成条件概率Petri网,利用设计的扩展Petri网可达路线、死锁路线及概率分析算法,实现了计算各个任务及所有可能任务集执行概率的功能。通过对时间Petri网扩展条件信息说明了扩展方法的通用性。
(4)归纳了型号产品异地协同设计制造系统应该具备的功能及实现支持技术,利用网格技术建立了系统主体框架,实现了基于ActiveX技术的子功能模块集成方法。研究了基于操作链的数据持久层技术,为协同系统的数据存取提供了一个灵活、可靠、复用性高的解决方案。开发了协同系统软件程序,并应用到某型号产品协同研制项目中,验证了本文的技术研究成果。
研究成果为型号产品协同设计制造提供理论及应用支持,缩小与国外的技术差距。
Type products are high integration of modern high and new technologies, which play an irreplaceable role in promoting economic development, national defense and upgrading of equipment manufacturing industry. Current ages characteristics require that type product manufacturing industry must have the ability to design, manufacture and organize mass production according to specific demands. To increase designing/manufacturing efficiency of domestic type products, shorten the cycle of designing/manufacturing and improve the competitive force of the type product manufacturing enterprises, this thesis studied key supporting technologies on building distributed collaborative designing/manufacturing system for type products. The main content of this study is as follows:
CAD collaborative supporting technology. Focusing on CAD collaborative questions encountered in the course of collaborative designing/manufacturing for type products, equivalennt and inverse transformation from CAD models to feature information files was realized by studying technologies of feature extraction and model refactoring. Fast transmission of large 3D CAD models was implemented by using the characteristic that feature information files are almost two orders of magnitude smaller than files of CAD models. A difference analyzing algorithm of the smaller files was designed and the difference analyzing function of CAD models was implemented by integrating feature rendering technology, on the basis of which, the merging rules of models was designed and asynchronous modeling of CAD (i.e. version merging) was realized. Universal framework of transforming heterogeneous CAD models was also designed and realized based on the technology of feature extraction and model refactoring.
Technology of data processing control. An intelligent data batch processing control model based on software Agent was introduced in order to manage search of overwhelming amount of data. The model analyzes behavior characteristic of data processing by using Agent's study ability and records it in the belief library of Agent. With environment sensor, when a request arrives, Agent gets data about system load, bandwidth of user, and so on. Then combining the old request characteristics and using reasoning processing, Agent works out the optimal data volume to be processed of this request, which will be controlled by control flow that has been changed by execute plan. Integrating collaborative platform with this model may ensure the user's response time, shorten waiting time and smooth the peak value of system load.
Technology of collaborative modeling. To better support modeling and analyzing of collaborative tasks an extended Petri net with condition information (ECPN) was investigated. It makes up the deficiency of current Petri nets that cannot intelligently select next transaction path according to the performance of current task. Moreover, a Petri net extended with condition and probability information (PCPN) was proposed by introducing probability information, which realized the function of analyzing all tasks and possible task collections. The reachable path, deadlocked path, probability computing method of the extended Petri net, and, the method to solve deadlocking are given. Also, extending time Petri net with condition information illustrates the universality of the extending method.
Other technologies. The functions that the system should have and related implementation technologies were induced. The principal framework of collaborative system was established by using Grid technology. The method to integrate submodules based on ActiveX technology was studied. Technology of data persistent layer based on operation chain provides a flexible, reliable and high reusable solution for data access service of collaborative system. Software programs of collaborative system were developed and applied to the project of collaborative designing/manufacturing for one type product, which validated the research results of this thesis and improved the efficiency of designing/manufacturing of this product.
This research has provided theoretical and application support for the designing/manufacturing for type products and narrowed the gap with foreign technical level.
引文
[1]顾寄南.网络化制造技术[M].北京：化学工业出版社,2004.
[2]刘飞.制造自动化的广义内涵研究现状和发展趋势[J].机械工程学报,1999,35(1)：1-5.
[3]熊有伦,吴波,丁汗.新一代制造系统理论及建模[J].中国机械工程,2000,11(1-2)：49-52.
[4]朱高峰.中国制造[M].北京：社会科学文献出版社,2003.
[5]孙大涌等.先进制造技术[M].北京：机械工程出版社,1999.
[6]吴澄.信息技术与企业发展—兼谈国有企业面临的困难与对策[J].计算机集成制造系统,1997,3：3-7.
[7]Flammia G. Application service providers:challenges and opportunities [J].IEEE Intelligent Systems and Their Applications,2001,16(1):22-23.
[8]Tao F, Hu Y F, Zhou Z D. Study on manufacturing grid & its resource service optimal selection system [J]. International Journal of Advanced Manufacturing Technology,2008,37(9-10):1022-1041.
[9]刘飞,雷琦,宋豫川.网络化制造的内涵及研究发展趋势[J].机械工程学报.2003,39(8)：1-6.
[10]PREISS K. Agile manufacturing [J]. Computer-Aided Design,1994,26(2):83-84.
[11]刘善国.国外飞机先进制造技术发展趋势[J].航空科学技术,2003,(4)：26-29.
[12]任晓华.JSF制造技术综述[J].航空制造技术,2002,(2)：43-48.
[13]Ferraiolo D F, Sandhu R, Gavrila S, et al. Proposed NIST standard for role-based access control [J]. ACM Transactions on Information and System Security,2001,4(3):224-274.
[14]任晓华,丁立铭.联合攻击战斗机(JSF)项目中信息化技术的应用经验[J].军民两用技术与产品,2002,(11)：34-36.
[15]George T, Mark R C, LARRY J L, et al. Share:a methodology and enviroment for collaborative product development [J]. In Post-Procedings of the IEEE Infrastructure for Colaborative Enterprises,1993,5(7):1-16.
[16]Frank A, Sellentin J,. Mitschang B. TOGA-A Customizable service for data-centric collaboration [J]. Information System,2000,25(2):157-176.
[17]CutKosky M R, Engelmore R S, Fikes R, et al. PACT:an experiment in integrating concurrent design system [J]. IEEE Computer,1993,26(1):28-37.
[18]Monell D W, Piland W M. Aerospace systems design in NASA's collaborative engineering environment [J]. Acta Astronautica,2000,47:255-264.
[19]Kim N, Kim C Y. Internet-based concurrent engineering:an interactive 3D system with markup [C]. In Proceedings of ASME 18th Computers in Engineering Conference, Atlanta,1998:74-83.
[20]Ahn S H, Sundararajan V, Smith C E, et al. CyberCut:an internet-based CAD/CAM system [J]. Journal of Computing and Information Science in Engineering,2001,1(1):52-59.
[21]张国钢,王建华,陈德桂等.支持异地协同产品设计的知识服务模型[J].计算机辅助设计与图形学学报,2003,15(11)：1404-1408,1414.
[22]辛明军,张安民,沈钧毅等.一种面向协同设计业务处理的中间件结构及其实现[J].小型微型计算机系统,2005,26(8)：1384-1386.
[23]安毅生,李人厚.基于过程控制网的协同设计建模与分析[J].计算机集成制造系统,2006,12(9)：1352-1358.
[24]李伯虎,柴旭东,朱文海等.复杂产品协同制造支撑环境技术的研究[J].计算机集成制造系统,2003,9(8)：691-697.
[25]胡洁,彭颖红,熊光楞.基于系统论的并行协同设计方法研究[J].计算机集成制造系统,2005,11(2)：151-156.
[26]李慧贤,程春田.一种并行的网格资源协同分配方法[J].大连理工大学学报,2005,45(2)：272-277.
[27]黄洪钟,刘伟,李丽.产品协同设计过程建模研究[J].计算机集成制造系统,2003,9(11)：955-959.
[28]王宁,王延章,于淼等.面向协同工作的信息流模型研究[J].计算机科学,2005,32(10)：114-117.
[29]鲁媛媛,张艳.黎明发动机：全面推行数字化工艺[J].中国制造业信息化,2008,(9)：24-25.
[30]西安飞机设计研究所.中国首架飞机电子样机问世—飞机研制无纸设计技术应用简况[J].航空工程与维修,2001,(4)：12-13,17.
[31]李翌辉,孙树栋,何卫平等.打通飞机数字化生产线的流程研究[J].航空制造技术,2005,(2)：28-33.
[32]钱应璋.以信息技术改造传统产业,促进航空企业的跨越发展—成飞企业信息化建设的回顾和展望[J].航空制造技术,2002,(1)：23-36,37.
[33]徐微,王普.数字化设计制造技术在飞机研制中的应用研究与实践—“九五”航空CIMS工程[J].航空制造技术,2001,(4)：19-20,34.
[34]Regli W C. Internet-enabled computer-aided design [J]. IEEE Internet Computing,1997,1(1):39-50.
[35]宋海刚,陈学广.计算机支持的协同工作(CSCW)发展述评[J].计算机工程与应用,2004,(1)：7-11.
[36]Toye G, Cutkosky M R, Leifer L F, et al. SHARE:a methodology and environment for collaborative product development [J]. The International Journal of Intelligent and Cooperative Information Systems,1994,3(2):129-153.
[37]Cutkosky M R, Glicksman J, Tenenbaum J M. Madefast:collaborative engineering over the internet [J]. Communications of the ACM,1996,39(9):78-87.
[38]Shi J, Huang G Q, Mak K L. Cyberagent:collaborative agents for distributed applications over the Internet [C]. In:Proceedings of 2001 ASME Design Engineering Technical Conference. Pittsburgh,2001:1-10.
[39]Smith CS, Wright PK. Cybercut a world wide web based design to fabrication tool [J]. Journal of Manufacturing Systems,1996,15(6):432-442.
[40]Leary D E O, Kuokka D, Plant R. Artifical intelligence and virtual organizations [J]. Communications of ACM,1997,40(1):52-59.
[41]Hardwick M, Spooner D, Rando T, et al. Sharing manufacturing information in virtual enterprises [J]. Communications of the ACM,1996,39(2):46-54.
[42]程涛,胡春华,吴波等.分布式网络化制造系统构想[J].中国机械工程,1999,10(11)：1234-1238.
[43]李斌,师汉民,胡春华等.基于Agent分布式网络化制造模式的研究[J].中国机械工程,1999,10(12)：1358-1362.
[44]张智勇,朱庆华,程涛等.分布式网络化制造系统中的工作流管理[J].制造业自动化,2001,23(4)：5-9.
[45]杨叔子,吴波,胡春华等.网络化制造与企业集成[J].中国机械工程,2000,11(1-2)：45-48.
[46]陈小安,何钟,詹捷等.面向对象的异地协同设计管理中心[J].重庆工学院学报,2000,14(1)：19-24.
[47]黄业清,乌兰木其,邓家噙.并行工程环境下基于黑板的多自治体协同设计[J].计算机集成制造系统,1999,5(3)：49-54.
[48]孟秀丽,易红,倪中华.基于约束的协同设计冲突检测技术研究[J].计算机集成制造系统,2004,10(11)：1426-1431.
[49]孟秀丽,倪中华,倪晓宇.面向机床产品的协同设计支持环境的研究[J].东南大学学报(自然科学版),2003,33(6)：731-736.
[50]孟秀丽,易红,倪中华.基于模糊评价的协同设计冲突仲裁技术研究[J].计算机集成制造系统,2005,11(3)：399-404.
[51]杨友东,周勋,朱根兴.集中式同步协同设计系统关键技术研究[J].现代制造工程,2005,(7)：6-9.
[52]高振清,程光耀,吴琼.基于Web Services和Agent的协同设计技术研究与系统实现[J].组合机床与自动化加工技术,2009,(12)：21-24.
[53]张杰,李原,张开富等.基于网格门户的产品异地协同设计平台[J].计算机集成制造系统,2007,13(12)：2294-2230,2308.
[54]Meyer M H, Lehnerd A P. The power of product platforms [M]. New York:The Free Press,1997.
[55]Hey T, Trefethen A E. The UK e-Science core programme and the grid [J]. Journal of Future Generation Computer Systems(FGCS),2002,18(8):1017-1031.
[56]Foster I, Kesselman C. The Grid:blueprint for a future computing infrastructure [M], San Fransisco:Morgan Kaufman Publishers,1999.
[57]Berman F, Fox G, Hey A. Grid computing:making the global infrastructure a reality [M]. New York:Wiley Press,2003.
[58]Parashar M, Li Z, Liu H, et al. Enabling autonomic grid applications:requirements, models and infrastructure [J]. Self-star Properties in Complex Information Systems,2005,3460:273-279.
[59]FAFNER. http://www.npac.syr.edu/facoring.html.
[60]Foster I, Geisler J, Nickless B, et al. Software infrastructure for the I-WAY high-performance distributed computing experiment [C]. Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing. Unknow,1997:562.
[61]Foster I, Kesselman C. The Grid:blueprint for a new computing infrastructure [M]. San Francisco:Morgan Kaufmann Publishers,1999.
[62]The global Grid Forum Web site, http://www.gridforum.org.
[63]The Globus Project Web Site, http://www.globus.org.
[64]NASA Information Power Grid, http://www.sandia.gov/ASCI.
[65]DoE Department of Energy Science Grid, http://www.doesciencegrid.org.
[66]TeraGrid Project, http://www.teragrid.org.
[67]Berman F, Fox G, Hey T. Grid computing:making the global infrastructure a reality [M]. Unknown:Wiley,2003.
[68]Allam, Buest, Davies. Pofessional java server programming J2EE 1.3 editin [M]. Beijing:Publishing House of Electronics Industry,2002.
[69]Erwig M, Guting R H. Spatio-temporal data types:an approach to modeling and querying moving objects in databases [J]. Geo-Informatica,1999,3(3):269-296.
[70]Guting R H, Bohlen M H, Erwig M. A foundation for representing and querying moving objects [J]. ACM Transactions on Database Systems,2000,25 (1):1-42.
[71]Egenhofer M J. On the equivalence of topological relations [J]. Internal Journal of Geographical Information Systems,1995,9(2):133-152.
[72]Kim W, Choi D W, Park S. Agent based intelligent search framework for product information using ontology mapping [J]. Journal of Intelligent Information Systems,2008,30(3):227-247.
[73]Ko J, Gerardo B D, Lee J, et al. The information search system using neural network and fuzzy clustering based on mobile agent [J]. Lecture Notes in Computer Science,2005,3481:205-214.
[74]Yang C C, Yen J, Chen H. Intelligent internet searching agent based on hybrid simulated annealing [J]. Decision Support Systems,2000,28(3):269-277.
[75]Makris C, Tsakalidis A, Vassiliadis B. Towards intelligent information retrieval engines:a multiagent approach [J]. Lecture Notes in Computer Science,2000,1884:157-170.
[76]Alonso G, Agrawal D, Abbadi A E, et al. Advanced transaction models in workflow context [C]. Proceedings of the International Conference on Data Engineering(ICDE). New Orleans,1996:574-581.
[77]van der Aalst WMP. The application of Petri nets to workflow management [J]. Journal of Circuits, Systems and Computers,1998,8(1):22-66.
[78]Keller G, Meinhardt S. SAP R/3 analyzer [J]. Business process reengineering based on the R/3 reference model,1994,43(2):530-546.
[79]李慧芳,范玉顺.基于时间Petri网的工作流模型分析(英文)[J].软件学报,2004,15(1)：20-29.
[80]唐达,杨元生.基于层次细化Petri网的工作流参与者机制与动态特性研究[J].计算机研究与发展,2004,41(9)：94-102.
[81]Zaidi A K. On temporal logic programming using Petri nets[J]. IEEE Transactions on systems, Man and Cybernet-ics,1999,29(3):245-254.
[82]张朝辉,刘大有,刘伟江.工作流建模技术综述[J].微电子学与计算机,2008,25(10)：69-71.
[83]Khodakaram S, Wright M. Petri net-based modeling of workflow systems:An overview [J]. European Journal of Operational Research,2001,134(3):664-676.
[84]Reijers H A. Design and control of workflow processes [M]. Berlin:Springer-Verlag, 2003.
[85]张晓东,柴跃廷,任守榘.基于业务规则的事件驱动建模方法[J].清华大学学报,1999,39(7)：25-28.
[86]Cuntz N, Kindler E. On the semantics of EPCs:efficient calculation and simulation [J]. Business Process Management,2005,3649:398-403.
[87]Alonso G, Agrawal D, Abbadi A E, et al. Advanced transaction models in workflow context [C]. Proceedings of the Twelfth International Conference on Data Engineering. New Orleans,1996:7-26.
[88]Malone T W, Crowstonc K. What is coordination theory and how can it help design cooperative systems? [C]. Proceedings of the 1990 ACM conference on Computer-supported cooperative work. Los Angeles,1990:357-370.
[98]范玉顺,吴澄.一种提高系统柔性的工作流建模方法的研究[J].软件学报,2002,13(4)：833-839.
[90]金宇,周良,丁秋林.基于活动网络图的工作流建模工具的设计与实现[J].航空计算技术,2003,33(1)：48-51.
[91]高曙明,何发智.分布式协同设计技术综述.计算机辅助设计与图形学学报,2004,16(2)：149-157.
[92]Taubin G, Rossignac J. Geometry compression through topological surgery [J]. ACM Transactions on Graphics,1998,17(2):84-115.
[93]Rossignac J. The 3D revolution:CAD access for all [C]. Proceedings of IEEE 1997 International Conference on Shape Modeling and Applications. Aizu-Wakamatsu,1997:64-70.
[94]Gueziec A, Taubin G, Horn B, et al. A framework for streaming geometry in VRML [J]. IEEE Computer Graphics and Applications,1999,19(2):68-78.
[95]Metacreations. http://www. metacreations. com.
[96]Wu D, Bhargava S, Sarma R. Solid model streaming as a basis for a distributed design environment [C] In:Proceedings of 2000 ASM E Design Engineering Technical Conference, Baltimore,2000:DETC2000/DAC214250.
[97]Wu D, Sarma R. Dynamic segmentation and incremental editingof boundary representations in a collaborative design environment[C]. In Proceedings of ACM Solid Modeling'01 Conference[C], New York,2001:289-299.
[98]Li J, Gao S M, Zhou X. Direct incremental transmission of boundary representations[C]. In:Proceedings of ACM SolidModeling'03 Conference[C], New York,2003:298-303.
[99]陈小安,谭宏.三维几何模型的中性文件格式的数据交换方法研究[J].机械工程学报,2001,37(10)：93-95,99.
[100]杨洪君,宁汝新.Pro／E和UG之间三维模型数据交换方法[J].计算机辅助设计与图型学学报,2005,17(12)：2756-2759.
[101]王启富,高东,黄运等.国产三维CAD系统数据转换接口技术研究[J].机械科学与技术,2005,24(12)：1478-1481.
[102]Homarm C M, Juan E R. An editable, high-level representation for geometric design and analysis[C]. In:Geometric Modeling for Product Realization. Unknown,1992: 129-164.
[103]刘云华,刘俊,陈立平.产品三维数据模型轻量化表示实现[J].计算机辅助设计与图型学学报,2006,18(4)：602-607.
[104]刘云华,陈立平,钟毅芳.利用设计历史实现异构CAD系统特征信息交换[J].中国机械工程,2003,14(21)：1845-1847.
[105]唐荣锡,席平,宁涛.协同设计特征造型软件发展概况[J].计算机辅助设计与图形学学报,2003,15(1)：15-20.
[106]Nam T, Wright D. The development and evaluation of Syco3D:a real-time collaborative 3D CAD system [J]. Design Studies,2001,22(6):557-582.
[107]Lee J, Han S, Kim H, et al. Network-centric feature-based modeling [C]. Proceedings of Pacific Conference on Computer Graphics and Applications. Seoul,1999:280-289.
[108]E van den Berg. Collaborative modeling systems [M]. Delft:Delft University of Technology,1999.
[109]Li M, Gao S M, Li J, et al. An approach to supporting synchronized collaborative design within heterogeneous CAD systems [C]. Proceedings of ASME 2004 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. Salt Lake City,2004:511-519.
[110]李珉.异构CAD系统同步协同设计平台的构建方法研究[M].杭州：浙江大学,2005.
[111]Li M, Yang Y D, Li J, et al. A preliminary study on synchronized collaborative design based on heterogeneous CAD systems [C]. Proceedings of the 8th International Conference on Computer Supported Cooperative Work in Design. Xiamen,2004:255-260.
[112]Li M, Gao S M, Fuh J, et al. A fine granular concurrency control mechanism for a peer-to-peer cooperative design environment [C]. Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design. Melbourne,2007:180-185.
[113]Li M, Gao S M, Wang C L. Real-time collaborative design with heterogeneous CAD systems based on neutral modeling commands [J]. Journal of Computing and Information Science in Engineering,2007,7(2):113-125.
[114]Ghoi G H, Mun D, Han S. Exchange of CAD part models based on the macro-parametric approach [J]. International Journal of CAD/CAM,2002,2(2):23-31.
[115]Kim J, Pratt M J, Iyer R G, et al. Standardized data exchange of CAD models with design intent [J]. Computer-Aided Design,2007,40(7):760-777.
[116]Pratt M J, Anderson B D, Ranger T. Towards the standardized exchange of parameterized feature-based CAD models [J]. Computer-Aided Design,2005,37(12):1251-1265.
[117]Mun D, Han S, Kim J. A set of standard modeling commands for the history-based parametric approach [J]. Computer-Aided Design,2003,35(13):1171-1179.
[118]Pratt M J, Andersonb B D. A shape modeling applications programming interface for the STEP standard [J]. Computer-Aided Design,2001,33(7):53-543.
[119]Rappoport A. An architecture for universal CAD data exchange [C]. Solid Modeling'03. Seattle,2003:266-269.
[120]李玉玲,杨春峰,巫付专.基于Web的产品异地协同设计平台的开发[J].成组技术与生产现代化,2006,23(1)：12-14.
[121]辛明军,李伟华.基于智能Agent的产品协同设计开放式集成开发平台研究[J].计算机工程,2002,28(2)：59-61.
[122]张国海,江平宇,周光辉.基于Portalet的CAx软件封装研究[J].计算机集成制造系统,2006,12(7)：1134-1140.
[123]霍斯特曼,科奈尔.JAVA2核心技术,卷Ⅱ：高级特性(第7版)[M].北京：机械工业出版社,2006.
[124]颜波,黄必清,郑力等.网格研究现状及其在制造业中的应用[J].计算机集成制造系统,2004,10(9)：1021-1030.
[125]申德荣,于戈,聂铁铮等.支持多领域动态数据集成的数据库网格系统[J].软件学报,2006,17(11)：2302-2313.
[126]Bilke A, Naumann F. Schema matching using duplicates [C].21st International Conference on Data Engineering (ICDE'05). Los Alamitos,2005:69-80.
[127]Fowler M. Inversion of control containers and the dependency injection pattern [EB/OL]. http://www. martinfowler. com/articles/injection. html, (2004-01-23).
[128]Shoham Y, Powers R, Grenager T. Multi-agent reinforcement learning:a critical survey [M]. Stanford Stanford University,2003.
[129]Bratman M E, Israel D J, Pollack M E. Plans and resource-bounded practical reasoning [J]. Computational Intelligence,1988,4:349-355.
[130]Rao A S, Georgeff M. BDI Agents:From theory to practice [C]. Proc. of the 1st Int'1 Conf. on Multi-Agent Systems (ICMAS'95). San Francisco,1995:312-319.
[131]Brooks R A. Intelligence without representation [J]. Artificial Intelligence,1991, 47(1-3):139-159.
[132]Muller J. A cooperation model for autonomous agents [J]. Lecture Notes in Computer Science,1996,1193:245-260.
[133]黎建兴,毛新军,束尧.软件Agent的一种面向对象设计模型[J].软件学报,2007,18(3)：582-591.
[134]王建民,闻立杰.工作流管理—模型、方法和系统[M].北京：清华大学出版社,2004.
[135]Girault C, Valk R. Petri Nets for systems engineering:a guide to modeling, verification, and applications [M]. Berlin:Springer-Verlag,2003.
[136]Merlin P M, Farber D J. Recoverability of communication protocols:Implications of a theoretical study [J]. IEEE Transactions on Communications,1976,24(9):1036-1043.
[137]Ramchandani C. Analysis of asynchronous concurrent systems by Timed Petri Nets [M]. Cambridge:Massachusetts Institute of Technology,1974.
[138]Holliday M A, Vernon M K. A generalized Timed Petri Net model for performance analysis [J]. International Workshop on Timed Petri nets,1985(1-3):181-190.
[139]Roux O H, Lime D. Time Petri nets with inhibitor hyperarcs:Formal semantics and state space computation [C]. International Conference on Applications and Theory of Petri Nets 2004. Bologna,2004:371-390.
[140]Jensen K. Coloured Petri Nets:basic concepts, analysis methods, and practical use, Vol.1:Basic concepts [M]. Berlin:Springer-Verlag,1997.
[141]Jensen K. Coloured Petri Nets:basic concepts, analysis methods, and practical use, Vol.2:analysis methods [M]. Berlin:Springer-Verlag,1997.
[142]吴哲辉.Petri网导论[M].北京：机械工业出版社,2006.
[143]胡挺,吴立军.CATIA二次开发技术基础[M].北京：电子工业出版社,2006.
[144]Dassault. CATIA V5技术文档[M],Dassault Systems,2005.
[145]Dassault. CAA V5 for CATIA Foundation[M], Dassault Systems,2002.
[146]Bao L, Zhang W S, Wang X G. Describing and verifying web service by CCS on a case study[C]. Proc 2008 IEEE International Conference on Networking, Sensing and Control. Hainan,2008:1571-1576.
[147]W3C. SOAP Version 1.2 Part 1-messaging framework-W3C recommendation[EB/OL]. (2003-06-01). http://www. w3. org/TR/SOAP12-partl.
[148]孙卫琴.精通Struts:基于MVC的Java Web设计与开发[M].北京：电子工业出版社,2006.
[149]http://www. subversion. org. cn/svnbook/1.4/svn. intro. whatis. html#svn. intro.featur-es.
[2]刘飞.制造自动化的广义内涵研究现状和发展趋势[J].机械工程学报,1999,35(1)：1-5.
[3]熊有伦,吴波,丁汗.新一代制造系统理论及建模[J].中国机械工程,2000,11(1-2)：49-52.
[4]朱高峰.中国制造[M].北京：社会科学文献出版社,2003.
[5]孙大涌等.先进制造技术[M].北京：机械工程出版社,1999.
[6]吴澄.信息技术与企业发展—兼谈国有企业面临的困难与对策[J].计算机集成制造系统,1997,3：3-7.
[7]Flammia G. Application service providers:challenges and opportunities [J].IEEE Intelligent Systems and Their Applications,2001,16(1):22-23.
[8]Tao F, Hu Y F, Zhou Z D. Study on manufacturing grid & its resource service optimal selection system [J]. International Journal of Advanced Manufacturing Technology,2008,37(9-10):1022-1041.
[9]刘飞,雷琦,宋豫川.网络化制造的内涵及研究发展趋势[J].机械工程学报.2003,39(8)：1-6.
[10]PREISS K. Agile manufacturing [J]. Computer-Aided Design,1994,26(2):83-84.
[11]刘善国.国外飞机先进制造技术发展趋势[J].航空科学技术,2003,(4)：26-29.
[12]任晓华.JSF制造技术综述[J].航空制造技术,2002,(2)：43-48.
[13]Ferraiolo D F, Sandhu R, Gavrila S, et al. Proposed NIST standard for role-based access control [J]. ACM Transactions on Information and System Security,2001,4(3):224-274.
[14]任晓华,丁立铭.联合攻击战斗机(JSF)项目中信息化技术的应用经验[J].军民两用技术与产品,2002,(11)：34-36.
[15]George T, Mark R C, LARRY J L, et al. Share:a methodology and enviroment for collaborative product development [J]. In Post-Procedings of the IEEE Infrastructure for Colaborative Enterprises,1993,5(7):1-16.
[16]Frank A, Sellentin J,. Mitschang B. TOGA-A Customizable service for data-centric collaboration [J]. Information System,2000,25(2):157-176.
[17]CutKosky M R, Engelmore R S, Fikes R, et al. PACT:an experiment in integrating concurrent design system [J]. IEEE Computer,1993,26(1):28-37.
[18]Monell D W, Piland W M. Aerospace systems design in NASA's collaborative engineering environment [J]. Acta Astronautica,2000,47:255-264.
[19]Kim N, Kim C Y. Internet-based concurrent engineering:an interactive 3D system with markup [C]. In Proceedings of ASME 18th Computers in Engineering Conference, Atlanta,1998:74-83.
[20]Ahn S H, Sundararajan V, Smith C E, et al. CyberCut:an internet-based CAD/CAM system [J]. Journal of Computing and Information Science in Engineering,2001,1(1):52-59.
[21]张国钢,王建华,陈德桂等.支持异地协同产品设计的知识服务模型[J].计算机辅助设计与图形学学报,2003,15(11)：1404-1408,1414.
[22]辛明军,张安民,沈钧毅等.一种面向协同设计业务处理的中间件结构及其实现[J].小型微型计算机系统,2005,26(8)：1384-1386.
[23]安毅生,李人厚.基于过程控制网的协同设计建模与分析[J].计算机集成制造系统,2006,12(9)：1352-1358.
[24]李伯虎,柴旭东,朱文海等.复杂产品协同制造支撑环境技术的研究[J].计算机集成制造系统,2003,9(8)：691-697.
[25]胡洁,彭颖红,熊光楞.基于系统论的并行协同设计方法研究[J].计算机集成制造系统,2005,11(2)：151-156.
[26]李慧贤,程春田.一种并行的网格资源协同分配方法[J].大连理工大学学报,2005,45(2)：272-277.
[27]黄洪钟,刘伟,李丽.产品协同设计过程建模研究[J].计算机集成制造系统,2003,9(11)：955-959.
[28]王宁,王延章,于淼等.面向协同工作的信息流模型研究[J].计算机科学,2005,32(10)：114-117.
[29]鲁媛媛,张艳.黎明发动机：全面推行数字化工艺[J].中国制造业信息化,2008,(9)：24-25.
[30]西安飞机设计研究所.中国首架飞机电子样机问世—飞机研制无纸设计技术应用简况[J].航空工程与维修,2001,(4)：12-13,17.
[31]李翌辉,孙树栋,何卫平等.打通飞机数字化生产线的流程研究[J].航空制造技术,2005,(2)：28-33.
[32]钱应璋.以信息技术改造传统产业,促进航空企业的跨越发展—成飞企业信息化建设的回顾和展望[J].航空制造技术,2002,(1)：23-36,37.
[33]徐微,王普.数字化设计制造技术在飞机研制中的应用研究与实践—“九五”航空CIMS工程[J].航空制造技术,2001,(4)：19-20,34.
[34]Regli W C. Internet-enabled computer-aided design [J]. IEEE Internet Computing,1997,1(1):39-50.
[35]宋海刚,陈学广.计算机支持的协同工作(CSCW)发展述评[J].计算机工程与应用,2004,(1)：7-11.
[36]Toye G, Cutkosky M R, Leifer L F, et al. SHARE:a methodology and environment for collaborative product development [J]. The International Journal of Intelligent and Cooperative Information Systems,1994,3(2):129-153.
[37]Cutkosky M R, Glicksman J, Tenenbaum J M. Madefast:collaborative engineering over the internet [J]. Communications of the ACM,1996,39(9):78-87.
[38]Shi J, Huang G Q, Mak K L. Cyberagent:collaborative agents for distributed applications over the Internet [C]. In:Proceedings of 2001 ASME Design Engineering Technical Conference. Pittsburgh,2001:1-10.
[39]Smith CS, Wright PK. Cybercut a world wide web based design to fabrication tool [J]. Journal of Manufacturing Systems,1996,15(6):432-442.
[40]Leary D E O, Kuokka D, Plant R. Artifical intelligence and virtual organizations [J]. Communications of ACM,1997,40(1):52-59.
[41]Hardwick M, Spooner D, Rando T, et al. Sharing manufacturing information in virtual enterprises [J]. Communications of the ACM,1996,39(2):46-54.
[42]程涛,胡春华,吴波等.分布式网络化制造系统构想[J].中国机械工程,1999,10(11)：1234-1238.
[43]李斌,师汉民,胡春华等.基于Agent分布式网络化制造模式的研究[J].中国机械工程,1999,10(12)：1358-1362.
[44]张智勇,朱庆华,程涛等.分布式网络化制造系统中的工作流管理[J].制造业自动化,2001,23(4)：5-9.
[45]杨叔子,吴波,胡春华等.网络化制造与企业集成[J].中国机械工程,2000,11(1-2)：45-48.
[46]陈小安,何钟,詹捷等.面向对象的异地协同设计管理中心[J].重庆工学院学报,2000,14(1)：19-24.
[47]黄业清,乌兰木其,邓家噙.并行工程环境下基于黑板的多自治体协同设计[J].计算机集成制造系统,1999,5(3)：49-54.
[48]孟秀丽,易红,倪中华.基于约束的协同设计冲突检测技术研究[J].计算机集成制造系统,2004,10(11)：1426-1431.
[49]孟秀丽,倪中华,倪晓宇.面向机床产品的协同设计支持环境的研究[J].东南大学学报(自然科学版),2003,33(6)：731-736.
[50]孟秀丽,易红,倪中华.基于模糊评价的协同设计冲突仲裁技术研究[J].计算机集成制造系统,2005,11(3)：399-404.
[51]杨友东,周勋,朱根兴.集中式同步协同设计系统关键技术研究[J].现代制造工程,2005,(7)：6-9.
[52]高振清,程光耀,吴琼.基于Web Services和Agent的协同设计技术研究与系统实现[J].组合机床与自动化加工技术,2009,(12)：21-24.
[53]张杰,李原,张开富等.基于网格门户的产品异地协同设计平台[J].计算机集成制造系统,2007,13(12)：2294-2230,2308.
[54]Meyer M H, Lehnerd A P. The power of product platforms [M]. New York:The Free Press,1997.
[55]Hey T, Trefethen A E. The UK e-Science core programme and the grid [J]. Journal of Future Generation Computer Systems(FGCS),2002,18(8):1017-1031.
[56]Foster I, Kesselman C. The Grid:blueprint for a future computing infrastructure [M], San Fransisco:Morgan Kaufman Publishers,1999.
[57]Berman F, Fox G, Hey A. Grid computing:making the global infrastructure a reality [M]. New York:Wiley Press,2003.
[58]Parashar M, Li Z, Liu H, et al. Enabling autonomic grid applications:requirements, models and infrastructure [J]. Self-star Properties in Complex Information Systems,2005,3460:273-279.
[59]FAFNER. http://www.npac.syr.edu/facoring.html.
[60]Foster I, Geisler J, Nickless B, et al. Software infrastructure for the I-WAY high-performance distributed computing experiment [C]. Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing. Unknow,1997:562.
[61]Foster I, Kesselman C. The Grid:blueprint for a new computing infrastructure [M]. San Francisco:Morgan Kaufmann Publishers,1999.
[62]The global Grid Forum Web site, http://www.gridforum.org.
[63]The Globus Project Web Site, http://www.globus.org.
[64]NASA Information Power Grid, http://www.sandia.gov/ASCI.
[65]DoE Department of Energy Science Grid, http://www.doesciencegrid.org.
[66]TeraGrid Project, http://www.teragrid.org.
[67]Berman F, Fox G, Hey T. Grid computing:making the global infrastructure a reality [M]. Unknown:Wiley,2003.
[68]Allam, Buest, Davies. Pofessional java server programming J2EE 1.3 editin [M]. Beijing:Publishing House of Electronics Industry,2002.
[69]Erwig M, Guting R H. Spatio-temporal data types:an approach to modeling and querying moving objects in databases [J]. Geo-Informatica,1999,3(3):269-296.
[70]Guting R H, Bohlen M H, Erwig M. A foundation for representing and querying moving objects [J]. ACM Transactions on Database Systems,2000,25 (1):1-42.
[71]Egenhofer M J. On the equivalence of topological relations [J]. Internal Journal of Geographical Information Systems,1995,9(2):133-152.
[72]Kim W, Choi D W, Park S. Agent based intelligent search framework for product information using ontology mapping [J]. Journal of Intelligent Information Systems,2008,30(3):227-247.
[73]Ko J, Gerardo B D, Lee J, et al. The information search system using neural network and fuzzy clustering based on mobile agent [J]. Lecture Notes in Computer Science,2005,3481:205-214.
[74]Yang C C, Yen J, Chen H. Intelligent internet searching agent based on hybrid simulated annealing [J]. Decision Support Systems,2000,28(3):269-277.
[75]Makris C, Tsakalidis A, Vassiliadis B. Towards intelligent information retrieval engines:a multiagent approach [J]. Lecture Notes in Computer Science,2000,1884:157-170.
[76]Alonso G, Agrawal D, Abbadi A E, et al. Advanced transaction models in workflow context [C]. Proceedings of the International Conference on Data Engineering(ICDE). New Orleans,1996:574-581.
[77]van der Aalst WMP. The application of Petri nets to workflow management [J]. Journal of Circuits, Systems and Computers,1998,8(1):22-66.
[78]Keller G, Meinhardt S. SAP R/3 analyzer [J]. Business process reengineering based on the R/3 reference model,1994,43(2):530-546.
[79]李慧芳,范玉顺.基于时间Petri网的工作流模型分析(英文)[J].软件学报,2004,15(1)：20-29.
[80]唐达,杨元生.基于层次细化Petri网的工作流参与者机制与动态特性研究[J].计算机研究与发展,2004,41(9)：94-102.
[81]Zaidi A K. On temporal logic programming using Petri nets[J]. IEEE Transactions on systems, Man and Cybernet-ics,1999,29(3):245-254.
[82]张朝辉,刘大有,刘伟江.工作流建模技术综述[J].微电子学与计算机,2008,25(10)：69-71.
[83]Khodakaram S, Wright M. Petri net-based modeling of workflow systems:An overview [J]. European Journal of Operational Research,2001,134(3):664-676.
[84]Reijers H A. Design and control of workflow processes [M]. Berlin:Springer-Verlag, 2003.
[85]张晓东,柴跃廷,任守榘.基于业务规则的事件驱动建模方法[J].清华大学学报,1999,39(7)：25-28.
[86]Cuntz N, Kindler E. On the semantics of EPCs:efficient calculation and simulation [J]. Business Process Management,2005,3649:398-403.
[87]Alonso G, Agrawal D, Abbadi A E, et al. Advanced transaction models in workflow context [C]. Proceedings of the Twelfth International Conference on Data Engineering. New Orleans,1996:7-26.
[88]Malone T W, Crowstonc K. What is coordination theory and how can it help design cooperative systems? [C]. Proceedings of the 1990 ACM conference on Computer-supported cooperative work. Los Angeles,1990:357-370.
[98]范玉顺,吴澄.一种提高系统柔性的工作流建模方法的研究[J].软件学报,2002,13(4)：833-839.
[90]金宇,周良,丁秋林.基于活动网络图的工作流建模工具的设计与实现[J].航空计算技术,2003,33(1)：48-51.
[91]高曙明,何发智.分布式协同设计技术综述.计算机辅助设计与图形学学报,2004,16(2)：149-157.
[92]Taubin G, Rossignac J. Geometry compression through topological surgery [J]. ACM Transactions on Graphics,1998,17(2):84-115.
[93]Rossignac J. The 3D revolution:CAD access for all [C]. Proceedings of IEEE 1997 International Conference on Shape Modeling and Applications. Aizu-Wakamatsu,1997:64-70.
[94]Gueziec A, Taubin G, Horn B, et al. A framework for streaming geometry in VRML [J]. IEEE Computer Graphics and Applications,1999,19(2):68-78.
[95]Metacreations. http://www. metacreations. com.
[96]Wu D, Bhargava S, Sarma R. Solid model streaming as a basis for a distributed design environment [C] In:Proceedings of 2000 ASM E Design Engineering Technical Conference, Baltimore,2000:DETC2000/DAC214250.
[97]Wu D, Sarma R. Dynamic segmentation and incremental editingof boundary representations in a collaborative design environment[C]. In Proceedings of ACM Solid Modeling'01 Conference[C], New York,2001:289-299.
[98]Li J, Gao S M, Zhou X. Direct incremental transmission of boundary representations[C]. In:Proceedings of ACM SolidModeling'03 Conference[C], New York,2003:298-303.
[99]陈小安,谭宏.三维几何模型的中性文件格式的数据交换方法研究[J].机械工程学报,2001,37(10)：93-95,99.
[100]杨洪君,宁汝新.Pro／E和UG之间三维模型数据交换方法[J].计算机辅助设计与图型学学报,2005,17(12)：2756-2759.
[101]王启富,高东,黄运等.国产三维CAD系统数据转换接口技术研究[J].机械科学与技术,2005,24(12)：1478-1481.
[102]Homarm C M, Juan E R. An editable, high-level representation for geometric design and analysis[C]. In:Geometric Modeling for Product Realization. Unknown,1992: 129-164.
[103]刘云华,刘俊,陈立平.产品三维数据模型轻量化表示实现[J].计算机辅助设计与图型学学报,2006,18(4)：602-607.
[104]刘云华,陈立平,钟毅芳.利用设计历史实现异构CAD系统特征信息交换[J].中国机械工程,2003,14(21)：1845-1847.
[105]唐荣锡,席平,宁涛.协同设计特征造型软件发展概况[J].计算机辅助设计与图形学学报,2003,15(1)：15-20.
[106]Nam T, Wright D. The development and evaluation of Syco3D:a real-time collaborative 3D CAD system [J]. Design Studies,2001,22(6):557-582.
[107]Lee J, Han S, Kim H, et al. Network-centric feature-based modeling [C]. Proceedings of Pacific Conference on Computer Graphics and Applications. Seoul,1999:280-289.
[108]E van den Berg. Collaborative modeling systems [M]. Delft:Delft University of Technology,1999.
[109]Li M, Gao S M, Li J, et al. An approach to supporting synchronized collaborative design within heterogeneous CAD systems [C]. Proceedings of ASME 2004 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. Salt Lake City,2004:511-519.
[110]李珉.异构CAD系统同步协同设计平台的构建方法研究[M].杭州：浙江大学,2005.
[111]Li M, Yang Y D, Li J, et al. A preliminary study on synchronized collaborative design based on heterogeneous CAD systems [C]. Proceedings of the 8th International Conference on Computer Supported Cooperative Work in Design. Xiamen,2004:255-260.
[112]Li M, Gao S M, Fuh J, et al. A fine granular concurrency control mechanism for a peer-to-peer cooperative design environment [C]. Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design. Melbourne,2007:180-185.
[113]Li M, Gao S M, Wang C L. Real-time collaborative design with heterogeneous CAD systems based on neutral modeling commands [J]. Journal of Computing and Information Science in Engineering,2007,7(2):113-125.
[114]Ghoi G H, Mun D, Han S. Exchange of CAD part models based on the macro-parametric approach [J]. International Journal of CAD/CAM,2002,2(2):23-31.
[115]Kim J, Pratt M J, Iyer R G, et al. Standardized data exchange of CAD models with design intent [J]. Computer-Aided Design,2007,40(7):760-777.
[116]Pratt M J, Anderson B D, Ranger T. Towards the standardized exchange of parameterized feature-based CAD models [J]. Computer-Aided Design,2005,37(12):1251-1265.
[117]Mun D, Han S, Kim J. A set of standard modeling commands for the history-based parametric approach [J]. Computer-Aided Design,2003,35(13):1171-1179.
[118]Pratt M J, Andersonb B D. A shape modeling applications programming interface for the STEP standard [J]. Computer-Aided Design,2001,33(7):53-543.
[119]Rappoport A. An architecture for universal CAD data exchange [C]. Solid Modeling'03. Seattle,2003:266-269.
[120]李玉玲,杨春峰,巫付专.基于Web的产品异地协同设计平台的开发[J].成组技术与生产现代化,2006,23(1)：12-14.
[121]辛明军,李伟华.基于智能Agent的产品协同设计开放式集成开发平台研究[J].计算机工程,2002,28(2)：59-61.
[122]张国海,江平宇,周光辉.基于Portalet的CAx软件封装研究[J].计算机集成制造系统,2006,12(7)：1134-1140.
[123]霍斯特曼,科奈尔.JAVA2核心技术,卷Ⅱ：高级特性(第7版)[M].北京：机械工业出版社,2006.
[124]颜波,黄必清,郑力等.网格研究现状及其在制造业中的应用[J].计算机集成制造系统,2004,10(9)：1021-1030.
[125]申德荣,于戈,聂铁铮等.支持多领域动态数据集成的数据库网格系统[J].软件学报,2006,17(11)：2302-2313.
[126]Bilke A, Naumann F. Schema matching using duplicates [C].21st International Conference on Data Engineering (ICDE'05). Los Alamitos,2005:69-80.
[127]Fowler M. Inversion of control containers and the dependency injection pattern [EB/OL]. http://www. martinfowler. com/articles/injection. html, (2004-01-23).
[128]Shoham Y, Powers R, Grenager T. Multi-agent reinforcement learning:a critical survey [M]. Stanford Stanford University,2003.
[129]Bratman M E, Israel D J, Pollack M E. Plans and resource-bounded practical reasoning [J]. Computational Intelligence,1988,4:349-355.
[130]Rao A S, Georgeff M. BDI Agents:From theory to practice [C]. Proc. of the 1st Int'1 Conf. on Multi-Agent Systems (ICMAS'95). San Francisco,1995:312-319.
[131]Brooks R A. Intelligence without representation [J]. Artificial Intelligence,1991, 47(1-3):139-159.
[132]Muller J. A cooperation model for autonomous agents [J]. Lecture Notes in Computer Science,1996,1193:245-260.
[133]黎建兴,毛新军,束尧.软件Agent的一种面向对象设计模型[J].软件学报,2007,18(3)：582-591.
[134]王建民,闻立杰.工作流管理—模型、方法和系统[M].北京：清华大学出版社,2004.
[135]Girault C, Valk R. Petri Nets for systems engineering:a guide to modeling, verification, and applications [M]. Berlin:Springer-Verlag,2003.
[136]Merlin P M, Farber D J. Recoverability of communication protocols:Implications of a theoretical study [J]. IEEE Transactions on Communications,1976,24(9):1036-1043.
[137]Ramchandani C. Analysis of asynchronous concurrent systems by Timed Petri Nets [M]. Cambridge:Massachusetts Institute of Technology,1974.
[138]Holliday M A, Vernon M K. A generalized Timed Petri Net model for performance analysis [J]. International Workshop on Timed Petri nets,1985(1-3):181-190.
[139]Roux O H, Lime D. Time Petri nets with inhibitor hyperarcs:Formal semantics and state space computation [C]. International Conference on Applications and Theory of Petri Nets 2004. Bologna,2004:371-390.
[140]Jensen K. Coloured Petri Nets:basic concepts, analysis methods, and practical use, Vol.1:Basic concepts [M]. Berlin:Springer-Verlag,1997.
[141]Jensen K. Coloured Petri Nets:basic concepts, analysis methods, and practical use, Vol.2:analysis methods [M]. Berlin:Springer-Verlag,1997.
[142]吴哲辉.Petri网导论[M].北京：机械工业出版社,2006.
[143]胡挺,吴立军.CATIA二次开发技术基础[M].北京：电子工业出版社,2006.
[144]Dassault. CATIA V5技术文档[M],Dassault Systems,2005.
[145]Dassault. CAA V5 for CATIA Foundation[M], Dassault Systems,2002.
[146]Bao L, Zhang W S, Wang X G. Describing and verifying web service by CCS on a case study[C]. Proc 2008 IEEE International Conference on Networking, Sensing and Control. Hainan,2008:1571-1576.
[147]W3C. SOAP Version 1.2 Part 1-messaging framework-W3C recommendation[EB/OL]. (2003-06-01). http://www. w3. org/TR/SOAP12-partl.
[148]孙卫琴.精通Struts:基于MVC的Java Web设计与开发[M].北京：电子工业出版社,2006.
[149]http://www. subversion. org. cn/svnbook/1.4/svn. intro. whatis. html#svn. intro.featur-es.