نتایج جستجو برای: reactive software

تعداد نتایج: 589650  

1996
MÔNICA COSTA BRUNO FEIJÓ M. COSTA B. FEIJÓ

This paper proposes an architecture for real-time behavioral animation based on parallel interactions between simple recursive reactive agents and allowing for integration with external articulated figure software. An animated sequence of a navigation scene where two actors play different roles is generated by a prototype.

1997
Antonio Camurri Alessandro Coglio Paolo Coletta Claudio Massucco

An architecture to build software agents for interactive, real-time Multimodal Environments (MEs) is presented. Typical applications include virtual musical instruments, theatrical automation, dancegenerated or –controlled music, intelligent humanmachine interfaces. Agent outputs are produced from agent inputs through three kinds of elaboration: reactive, emotional, and rational. Sensor fusion ...

2005
Farhad Shahnia Mitra Sarhangzadeh Mohammad B. B. Sharifian Seyed Hossein Hosseini

Induction motor structures in DC electrified railways with their dynamic performance are studied. Characteristics of the current, voltage, electrical and mechanical torque and active and reactive power in accelerating, normal and regenerative braking are investigated. The characteristics of the induction motors used for Tabriz urban railway are simulated with PSCAD/EMTDC software proving the in...

1997
S. Edwards L. Lavagno E. A. Lee

This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs with embedded software. The concurrent design process for such embedded systems involves solving the specification, validation, and synthesis problems. We review the variety of approaches to these p...

2007
Andrew J. Kornecki Thomas B. Hilburn Wojciech Grega Miroslav Sveda Jean-Marc Thiriet

Due to heavily software-centric nature of modern reactive and time-critical systems, there is an increasing demand for efficient development of high quality Real-Time Software-Intensive Control systems (RSIC). The study discussed in this paper is focused on the creation of international curriculum framework centered on RSIC – this important aspect of the computer-system-control-software enginee...

2003
Pierre Allard Sébastien Gemme Régent L'Archevêque Brian Moore Erick Dupuis

This paper describes the work done in autonomous operation of mobile robot at the Canadian Space Agency. The Mobile Robotic Test bed (MRT) components are presented. The autonomy software, implemented using a behaviour-based approach, is presented. The peripheral sub-systems used by the reactive engine, such as vision and path planner are also described.

2012

In this paper, I explore the idea that there are “patterns”, analogous to software design patterns, in the kind of task procedures that frequently form the reactive component of architectures for intelligent autonomous systems. The investigation is carried out mainly within the context of the WITAS UAV project.

2001
Michel Ingham Robert Ragno Brian Williams

Model-based autonomous agents have emerged recently as vital technologies in the development of highly autonomous reactive systems, particularly in the aerospace domain. These agents utilize many automated reasoning capabilities, but are complicated to use because of the variety of languages employed for each capability. To address this problem, we introduce model-based programming, a novel app...

2013
E. Babu R. Subramanian

This project presents reactive power compensation in a distribution power system. DSTATCOM (distribution static compensator) is a reactive power compensator for power quality improvement in a three phase four wire distribution system. A voltage source converter (VSC) based DSTATCOM with a zig-zag transformer is used for the compensation of reactive power for voltage regulation along with load b...

2015
Shahar Maoz Jan Oliver Ringert

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. GR(1) is a well-known fragment of linear temporal logic (LTL) where synthesis is possible using a polynomial symbolic algorithm. We conducted a case study to learn about the challenges that software engineers may face when using GR(1) synthesis for the development of a re...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید