共查询到19条相似文献，搜索用时 234 毫秒
1.
Dynamic architecture of multi-agent systems(MAS)is important for critical systems.As the existing formal specifications of MAS cannot describe its dynamic architecture,a formal approach usingπ-calculus is presented,which is suited for the describing and analyzing of concurrent MAS with dynamic topology,π-calculus describes the belief-desire- intention(BDI)model that represents agent's mental states and provides many useful facilities to analyze MAS model such as deadlock,behavior equivalence,and model checking.To illustrate the favorable representation capability ofπ-calculus,an example of dynamic multi-agent systems in e-commerce is provided.Finally,by using an existingπ-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified. 相似文献
2.
3.
Graph transformation systems have become a general formal modeling language to describe many models in software development process. Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development. But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements. In this paper, we present a new solution to verify graph transformation systems using the Bogor model checker. The attributed graph grammars （AGG）-like graph transformation systems are translated to Bandera intermediate representation （BIR）, the input language of Bogor, and Bogor verifies the model against some interesting properties defined by combining linear temporal logic （LTL） and special-purpose graph rules. Experimental results are encouraging, showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness. 相似文献
4.
The mass of the embedded systems are driven by second batteries, not by wired power supply. So saving energy is one of the main design goals for embedded system. In this paper we present a new technique for modelling and solving the dynamic power management （DPM） problem for embedded systems with complex behavioural characteristics. First we model a power-managed embedded computing system as a controllable Flow Chart. Then we use the Poisson process for optimisation, and give the power management algorithm by the help of Dynamic Voltage Scaling （DVS） technology. At last we built the experimental model using the PXA 255 Processors. The experimental results showed that the proposed technique can achieve more than 12% power saving compared to other existing DPM techniques. 相似文献
5.
Wind energy is one of the fast growing sources of power production currently, and there is a great demand to reduce the cost of operation and maintenance. Most wind farms have installed supervisory control and data acquisition （SCADA） systems for system control and logging data. However, the collected data are not used effectively. This paper proposes a fault detection method for main bearing wind turbine based on existing SCADA data using an artificial neural network （ANN）. The ANN model for the normal behavior is established, and the difference between theoretical and actual values of the parameters is then calculated. Thus the early stage of main bearing fault can be identified to let the operator have sufficient time to make more informed decisions for maintenance. 相似文献
6.
Modeling of D-STATCOM in distribution systems load flow 总被引：1，自引：0，他引：1
HOSSEINI Mehdi SHAYANFAR Heidar Ali FOTUHI-FIRUZABAD Mahmud 《浙江大学学报(A卷英文版)》2007,8(10):1532-1542
This paper presents modeling of Distribution STATCOM (D-STATCOM) in load flow calculations for the steady- state voltage compensation. An accurate model for D-STATCOM is derived to use in load flow calculations. The rating of this device as well as the direction of required reactive power injection for voltage compensation in the desired value (1 p.u.) is de- rived and discussed analytically and mathematically by the phasor diagram method. Furthermore, an efficient method for node and line identification used in load flow calculations is presented. The validity of the proposed model is examined by using two standard distribution systems consisting of 33 and 69 nodes, respectively. The best location of D-STATCOM for under voltage problem mitigation approach in the distribution networks is determined. The results validate the proposed model for D- STATCOM in large distribution systems. 相似文献
7.
WANG Wei JIN Ruo-jun JIANG Jing-ping 《浙江大学学报(A卷英文版)》2007,8(12):1889-1893
This paper develops a unified methodology for a real-time speed control of brushless direct-current motor drive systems in the presence of measurement noise and load torque disturbance. First, the mathematical model and hardware structure of system is established. Next, an optimal state feed back controller using the Kalman filter state estimation technique is derived. This is followed by an adaptive control algorithm to compensate for the effects of noise and disturbance. Those two algorithms working together can provide a very-high-speed regulation and dynamic response over a wide range of operating conditions. Simulated responses are presented to highlight the effectiveness of the proposed control strategy. 相似文献
8.
We studied the feedback maximization of reliability of multi-degree-of-freedom （MDOF） quasi integrable-Hamiltonian systems under combined harmonic and white noise excitations. First, the partially averaged Ito equations are derived by using the stochastic averaging method for quasi integrable-Hamiltonian systems under combined harmonic and white noise excitations. Then, the dynamical programming equation and its boundary and final time conditions for the control problems of maximizing the reliability is established from the partially averaged equations by using the dynamical programming principle. The nonlinear stochastic optimal control for maximizing the reliability is determined from the dynamical programming equation and control constrains. The reliability function of optimally controlled systems is obtained by solving the final dynamical programming equation. Finally, the application of the proposed procedure and effectiveness of the control strategy are illustrated by using an example. 相似文献
9.
Gradual refinement for application-specific MPSoC design from Simulink model to RTL implementation 总被引：1，自引：0，他引：1
Kai Huang Xiao-lang Yan Sang-il Han Soo-ik Chae Ahmed A. Jerraya Katalin Popovici Xavier Guerin Lisane Brisolara Luigi Carro 《浙江大学学报(A卷英文版)》2009,10(2):151-164
The application-specific multiprocessor system-on-chip （MPSoC） architecture is becoming an attractive solution to deal with increasingly complex embedded applications, which require both high performance and flexible programmability. As an effective method for MPSoC development, we present a gradual refinement flow starting from a high-level Simulink model to a synthesizable and executable hardware and software specification. The proposed methodology consists of five different abstract levels： Simulink combined algorithm and architecture model （CAAM）, virtual architecture （VA）, transactional accurate architecture （TA）, virtual prototype （VP） and field-programmable gate array （FPGA） emulation. Experimental results of Motion-JPEG and H.264 show that the proposed gradual refinement flow can generate various MPSoC architectures from an original Simulink model, allowing processor, communication and tasks design space exploration. 相似文献
10.
11.
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using π-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology. π-calculus describes the belief-desireintention (BDI) model that represents agent's mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of π-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing π-calculus supporting tool,MAS model and some key behaviors properties are analyzed and verified. 相似文献
12.
《上海大学学报(英文版)》2007,11(1):58-58
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using $\piup$-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology. $\piup$-calculus describes the belief-desire-intention (BDI) model that represents agent's mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of $\piup$-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing $\piup$-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified. 相似文献
13.
As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π-calculus, thus facilitating the optimization of business processes. 相似文献
14.
基于MAS系统的动态web服务组合形式化建模研究 总被引：1，自引：0，他引：1
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程. 相似文献
15.
Advanced approaches to the construction of software systems can present difficulties to learners. This is true for multi-agent systems (MAS) which exhibit concurrency, non-determinacy of structure and composition and sometimes emergent behavior characteristics. Additional barriers exist for learners because mainstream MAS technology is young and design methodologies are still evolving. This paper considers the benefits and difficulties associated with teaching/learning agent technology and recommends an approach used by the authors. The paper examines Agent UML - a set of proposed extensions to UML to facilitate MAS design but suggests that simpler design tools are more appropriate for novice MAS programmers. A small suite of preferred tools are presented. 相似文献
16.
Virtual Reality (VR) technology has already entered into the area of the educational software and delivers systems where the trainees can use interactive virtual microworlds and benefit by transfer of experience, interacting directly with the learning domain. This paper describes the Virtual Multi Flow Graph (Virtual-MFG) graphical formal model and the Interaction Specification Workspace (ISW) software architecture for the interaction specification and design of VR applications with emphasis on educational software. The interaction designer specifies the interaction issues of the final system formally, using the tools of ISW. The virtual microworld's objects database is updated with these interaction specifications which include both the virtual objects' dynamic properties and their tutoring capabilities. The model is validated by applying it on an existing VR educational software (EIKON). The Virtual-MFG graphs specifying a learning scenario of EIKON along with the application of ISW on EIKON are also presented. 相似文献
17.
Intheprojectmanagement,theschedulingproblemforshorteningthedurationundertheconstraintofre sourcesiscalledresourceconstrainedprojectschedulingproblem (RCPSP) [1] .Withtheincreasingcompetitionwithinglobalmarket ,thereisanurgentneedforenter priseintegration .Asanexample ,modernbusinessesnolongercompeteasindividualcompaniesbutratherassup plychains .Thus ,thesuccessofasinglecompanyde pendsonitsabilitytomanageandintegratenetworksofvariousbusinessrelationshipsinwhichcertainactivitiesarelinkedtoothe… 相似文献
18.
19.
1 Introduction An agent is an autonomous entity that runs in a dy-namic environment . Generally, it describes mentalstates such as knowledge , belief , promise , ability,etc. A multi-agent system ( MAS) consists of severalcomputational agents .It ai ms to transformlarge andcomplicated tasks to small ones that can communicateand cooperate with each other[1-3].Therefore ,cooper-ationis essential in MAS. The rough set theory (RST) was proposed by thePolish Mathematician Pawlak in 1982 .It w… 相似文献