检索结果-南通市图书馆

petri net Based Metabolic network Parameters Fitting with GPU Acceleration

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 2011年第9期29卷 1805-1810页

作者： Gao, Jun Zhu, Ruixin Liu, Qi Cao, Zhiwei College of Life Science and Biotechnology Tongji University Shanghai 200092 China College oflnformation Engineering Shanghai Maritime University Shanghai 201306 China College of Pharmacy Liaoning University of Traditional Chinese Medicine Shenyang Liaoning 110032 China

Classical petri net has been applied into biological analysis, especially as a qualitative model for biochemical pathways analysis, but lack of the ability for quantitative kinetic simulations. In our study, we presented an integra- tion work of the qualitative model--petri nets with the quantitative approach-ordinary differential equations （ODEs） for the modeling and analysis of metabolic networks. As an application of our study, the computational modeling of arachidonic acid （AA） biochemical network was provided. A petri net was set up to present the constraint-based dynamic simulations on AA metabolic network combined with the validated ODEs model. Furthermore, Graphics Processing Unit （GPU） was adopted to accelerate the calculation of kinetic parameters unavailable from experi- ments. Our results have indicated that the proposed simulation method was practicable and useful with GPU accel- eration, and provides new clues for the large-scale qualitative and quantitative models of biochemical networks.

关键词： petri net ordinary differential equations metabolic network GPU kinetics

Multi-input address incremental clustering for the Bitcoin blockchain based on petri net model analysis

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and networks 2022年第5期8卷 680-686页

作者： Fangchi Qin Yan Wu Fang Tao Lu Liu Leilei Shi Anthony J.Miller Jiangsu Key Laboratory of Security Technology for Industrial Cyberspace School of Computer Science and Telecommunication EngineeringJiangsu UniversityChina Birmingham Business School University of BirminghamUK School of Informatics University of LeicesterUK

Bitcoin is a cryptocurrency based on *** historical Bitcoin transactions are stored in the Bitcoin blockchain,but Bitcoin owners are generally *** is the reason for Bitcoin's pseudo-anonymity,therefore it is often used for illegal *** addresses are related to Bitcoin users'*** Bitcoin addresses have the potential to be analyzed due to the behavior patterns of Bitcoin ***,existing Bitcoin analysis methods do not consider the fusion of new blocks'data,resulting in low efficiency of Bitcoin address *** order to address this problem,this paper proposes an incremental Bitcoin address cluster method to avoid re-clustering when new block data is ***,a heuristic Bitcoin address clustering algorithm is developed to improve clustering accuracy for the Bitcoin *** results show that the proposed method increases Bitcoin address cluster efficiency and accuracy.

关键词： Bitcoin Blockchain petri net Incremental clustering

Flight mission modeling based on BDI petri net

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2017年第4期28卷 776-783页

作者： Yuanyuan Zhang Wenhai Wu Qingdao Branch Naval Aeronautical Engineering Institute Qingdao 266041 China Navy Flight Academy Huludao 125000 China

Goals reasoning and management of pilot is a key issue to monitor pilot's behavior and intention. Traditional modeling methods are based on scenarios or situations, such methods will cause the,covering problem due to redundancy and are incapable of depicting interactions among various goals and plans of pilot. petri net integrated with belief, desire and intention (BDI) theory (BDI petri net) is designed to solve this problem. Focusing on the BDI theory, goal states of agent are discussed firstly. Belief, desire and intention are modeled by places and transitions based on the petri net theory. In order to simplify the network, colored token is introduced to depict various states of belief, and the hierarchy transition is applied to model the intention, together with tokens' flow derrionstrating the interaction among various goals and relationship among belief, desire and intention. A search and rescue mission is used to validate the proposed method and the result indicates that the model can be used to monitor goals and behaviors of pilots.

关键词： petri net belief desire and intention (BDI) theory flight mission modeling agent

petri net based modeling and analysis for weldingflexible manufacturing cell

在线全文

学校读者我要写书评

暂无评论

China Welding 2001年第1期10卷 1-7页

作者：邱涛陈善本吴林汪云涛 NKLAWPT Harbin Institute of Technology Harbin 150001 China

Due to the development of advanced manufacturing technology and the introduction of Smart Manufacturing notion in the field of modern industrial production, welding flexible manufacturing using robot technology has become the inevitable developing direction on welding automation. Based on a new intelligent arc welding flexible manufacturing cell (WFMC), its system structure and control policies are studied in this paper. Aiming at the different information flows among every subsystem and central monitoring computer in this WFMC, petri net theory is introduced into the process of welding manufacturing. A discrete control model of WFMC has been constructed, in which the system's status is regarded as place and the control process is regarded as transition. Moreover, grounded on automation petri net principle, the judging and utilizing of information obtained from welding sensors are imported into petri net structure, which extends the traditional petri net concepts. The control model and policies researched in this paper have established foundation for further intelligent real time control on welding flexible manufacturing cell and system.

关键词： robot welding welding flexible manufacturing cell petri net modeling control

Novel dynamic evidential petri net for system reliability analysis

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2017年第5期28卷 1019-1027页

作者： Wensheng Peng Jianguo Zhang Jinyang Zhang School of Reliability and Systems Engineering Beihang University China Aero-Polytechnology Establishment Aviation Industry Corporation of China Science and Technology on Reliability and Environment Engineering Laboratory Beihang University

This paper proposes a novel dynamic petri net (PN) model based on Dempster-Shafer (D-S) evidence theory, and this improved evidential petri net (EPN) model is used in knowledge inference and reliability analysis of complex mechanical systems. The EPN could take epistemic uncertainty such as interval information, subjective information into account by applying D-S evidence quantification theory. A dynamic representation model is also proposed based on the dynamic operation rules of the EPN model, and an improved artificial bee colony (ABC) algorithm is employed to proceed optimization calculation during the complex systems' learning process. The improved ABC algorithm and D-S evidence theory overcome the disadvantage of extremely subjective in traditional knowledge inference efficiently and thus could improve the accuracy of the EPN learning model. Through a simple numerical case and a satellite driving system analysis, this paper proves the superiority of the EPN and the dynamic knowledge representation method in reliability analysis of complex systems.

关键词： evidence theory petri net knowledge representation improved ABC algorithm imprecise information reliability

Using Timed petri net to Model Instruction-Level Loop Scheduling with Resource Constraints

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 1994年第2期9卷 128-143页

作者：王剑苏伯珙 INRIARocquencourt DomainedeVoluceauBP10578158LeChesnayCedexFrance

This paper uses timed petri net to model and analyze the problem of instructionlevel loop scheduling with resource constraints, which has been proven to be an NP complete problem. First, we present a new timed petri net model to integrate functional unit allocation, register allocation and spilling ilno a unified theoretical *** we develop a state subgraph, called Register Allocation Solution Graph, which can effectively describe the major behavior of our new model. The maill property of this state subgraph is that the number of all its nodes is polynomial. Finally we present and prove that the optimum loop schedules can be found with polynomial computation complexity, for almost all practical loop prograrns. Our work lightens a new idea of finding the optimum loop schedules.

关键词： Instruction level parallelism loop scheduling register allocation and spilling petri net timed petri net

Modeling and Control of Welding Flexible Manufacturing Cell Using petri net

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2001年第1期17卷 185-186页

作者： Tao QIU Shanben CHEN Yuntao WANG and Lin WU National Key Laboratory of Advanced Welding Production Technology, Harbin institute of Technology, Harbin 150001, China Harbin Inst. of Technol. Harbin 150001 China

A new welding flexible manufacturing cell (WFMC) with intelligent welding sensors was investigated. Based on the analysis of information flow in WFMC, automation petri net control model has been studied, Which can be... 详细信息

关键词： petri net flexible manufacturing system information flow control model petri net

Synthesis of petri net supervisors enforcing general constraints

在线全文

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2006年第4期7卷 623-628页

作者： ZHANG Yao-yao YAN Gang-feng School of Electrical Engineering Zhejiang University Hangzhou 310027 China

This paper deals with the synthesis of petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into Parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of Parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.

关键词： petri net Supervisor control Parikh vector Uncontrollable Unobservable

Synthesis of 3D models by petri net

在线全文

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science C(Computers and Electronics) 2013年第7期14卷 521-529页

作者： Mo-fei SONG Zheng-xing SUN Yan ZHANG Fei-qian ZHANG State Key Laboratory for Novel Software Technology Nanjing University

This paper presents a synthesis method for 3D models using petri net. Feature structure units from the example model are extracted, along with their constraints, through structure analysis, to create a new model using an inference method based on petri net. Our method has two main advantages: first, 3D model pieces are delineated as the feature structure units and petri net is used to record their shape features and their constraints in order to outline the model, including extending and deforming operations; second, a construction space generating algorithm is presented to convert the curve drawn by the user into local shape controlling parameters, and the free form deformation (FFD) algorithm is used in the inference process to deform the feature structure units. Experimental results showed that the proposed method can create large-scale complex scenes or models and allow users to effectively control the model result.

关键词： petri net Inference Interactive modeling Model by example