Filters








30,128 Hits in 4.6 sec

The Verification for Mission Planning System

Lin ZHANG, Wei-Ming CHENG, Hua-yun LIU
2017 DEStech Transactions on Computer Science and Engineering  
It pointed out that the method of verification mission planning system can be divided into hardware verification, software testing and system level testing.  ...  For the needs of developing mission planning system, all levels of mission planning system from home and abroad are studied and analyzed, such as the main functions and applications at the operating environment  ...  Navy and Air Force are co-developed by the Joint Mission Planning System JMPS and mission planning system based on Digital Earth.  ... 
doi:10.12783/dtcse/aita2016/7540 fatcat:2l6o76dhanahrkoj5fsticjb4m

Conceptual Framework for Calculation of Climate Performance with Pre-verified LCA-Tools

Larissa Strömberg
2017 Journal of Civil Engineering and Architecture  
Several Swedish and Norwegian stakeholders were engaged in this joint project to understand driving forces and obstacles and provide key insights for the successful implementation of the framework for  ...  This article proposes the use of current European standards and verification rules for EPDs (environmental product declarations) as a basis for evaluating the climate impact of contractors' alternative  ...  The project is partly financed by The Development Fund of the Swedish Construction Industry (SBUF), STA and several Nordic contractors, material suppliers, industry joint associations and clients.  ... 
doi:10.17265/1934-7359/2017.01.004 fatcat:mkynhqsxazbo3nqsxqz4ndts6q

A Common Basis for Agent Organisation in BDI Languages [chapter]

Anthony Hepple, Louise Dennis, Michael Fisher
2008 Lecture Notes in Computer Science  
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents.  ...  The organisational mechanism is intended to be independent of the underlying agent language and so we aim to provide a common core for future developments in agent organisation. ⋆  ...  They persuasively argue that a team of agents should not be modelled as an aggregate agent but propose new (logical) concepts of joint intentions, joint commitments and joint persistent goals to ensure  ... 
doi:10.1007/978-3-540-85058-8_5 fatcat:vcoivd3dajek5kuqx5dercvzsa

Model checking agentspeak

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge
2003 Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03  
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems.  ...  After briefly introducing AgentSpeak(F) and discussing its relationship to AgentSpeak(L), we show how AgentSpeak(F) programs can be transformed into Promela, the model specification language for the Spin  ...  We are grateful for many suggestions for improvements made by Willem Visser and John Penix from NASA Ames Research Center during a visit to the University of Liverpool.  ... 
doi:10.1145/860638.860641 fatcat:aszvyp4eajampeyupx6s7uuo2e

Model checking agentspeak

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge
2003 Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03  
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems.  ...  After briefly introducing AgentSpeak(F) and discussing its relationship to AgentSpeak(L), we show how AgentSpeak(F) programs can be transformed into Promela, the model specification language for the Spin  ...  We are grateful for many suggestions for improvements made by Willem Visser and John Penix from NASA Ames Research Center during a visit to the University of Liverpool.  ... 
doi:10.1145/860575.860641 dblp:conf/atal/BordiniFPW03 fatcat:7xelusbylnfz7pyofauifm5miu

Revisiting how we operationalize joint attention

Allison Gabouer, Heather Bortfeld
2021 Infant Behavior and Development  
After providing a theoretical overview, we introduce a joint attention coding scheme that we have developed iteratively based on careful reading of the literature and our own data coding experiences.  ...  Differences center on the criteria for what qualifies as joint attention and regarding the hypothesized developmental mechanisms that underlie the ability.  ...  Acknowledgements We are grateful to Eve Clark for her insights and technical advice. We also thank Rose Scott and Eric Walle for their helpful discussions about issues addressed here.  ... 
doi:10.1016/j.infbeh.2021.101566 pmid:33894632 pmcid:PMC8172475 fatcat:27i7xobjfrb6tb3t43k52sqqw4

A Real-Time Stability Control Method Through sEMG Interface for Lower Extremity Rehabilitation Exoskeletons

Can Wang, Ziming Guo, Shengcai Duan, Bailin He, Ye Yuan, Xinyu Wu
2021 Frontiers in Neuroscience  
The intention recognition based on long short-term memory (LSTM) model can achieve an accuracy of nearly 99%.  ...  First, the gaits planning and stability analysis based on human kinematics model and zero moment point method for the lower limb exoskeleton are demonstrated.  ...  The equilateral triangle support structure is considered as the planned gait and the rest of the triangle support structure as the unplanned gait.  ... 
doi:10.3389/fnins.2021.645374 pmid:33927589 pmcid:PMC8076547 fatcat:lafd6utezfck3clzs7li2plgii

Effects of Dissipative Systems on the Seismic Behavior of Irregular Buildings—Two Case Studies

Marco Miani, Caterina Di Marco, Giada Frappa, Margherita Pauletta
2020 Buildings  
Many of their structural members do not satisfy the verifications required by the Italian Building Code.  ...  Moreover, it is demonstrated that adequate dispositions of the dissipative devices in plan and along the height increase the torsional stiffness of the buildings, improving their structural response under  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/buildings10110202 fatcat:ynuuooug7ba5do326nyhby7pqu

Where logic and agents meet

Jürgen Dix, Michael Fisher
2011 Annals of Mathematics and Artificial Intelligence  
Logic has and still is playing a prominent part in the basic foundations of agency and also in the development of agent programming languages, the specification and verification of agent systems.  ...  This paper is a (subjective) overview of the points of contact of logic and agents as the authors perceived it over the years. * This work was partly funded by the NTH School for IT Ecosystems.  ...  This was based on both Bratman's philosophical work on intentions [27] and on experiences with practical AI planning [73] .  ... 
doi:10.1007/s10472-010-9223-9 fatcat:njcozmml2zbfripdq7xls4msum

Morphogenèse et fabrication d'une forme structurellement informée : expériences pédagogiques sur les systèmes funiculaires

Roberta Zarcone, Ahmed Hussein, Mohammad Mansouri, T. Leduc, F. Miguet
2018 SHS Web of Conferences  
Through physical and digital methods of form finding, this paper investigates the generation of funicular forms based on contextual, functional and structural considerations.  ...  Catenary structure systems are historical methods of construction, however, the advent of digital tools opens up new structural and architectural possibilities for its applications.  ...  Ces derniers sont basés sur la méthode The hanging cloth reversed introduite par Heinz Isler en 1959 (Chilton, 2012) .  ... 
doi:10.1051/shsconf/20184701018 fatcat:kpttz4loi5afhdimz5ewiisctu

Reasoning about Agent Programs Using ATL-Like Logics [chapter]

Nitin Yadav, Sebastian Sardina
2012 Lecture Notes in Computer Science  
We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents' operational know-how, as defined by their libraries of abstract plans.  ...  Inspired by ATLES, a variant itself of ATL, it is possible in our logic to explicitly refer to "rational" strategies for agents developed under the Belief-Desire-Intention agent programming paradigm.  ...  The intention base, in turn, contains the current, partially executed, plans that the agent has already committed to for achieving certain goals.  ... 
doi:10.1007/978-3-642-33353-8_34 fatcat:lcetklhz6ne2fawpf6icfotf6i

Research on Space Motion Trajectory Optimization of the Industrial Robot

Gongxing Chen, Luxin Tang
2021 Science Journal of Circuits Systems and Signal Processing  
The dynamic mathematical model of the robot is established, and the trajectory of the robot manipulator is tracked and adjusted through the path planning algorithm to change the visual impedance of the  ...  In this paper, an online iterative learning planning method is proposed for industrial robot joint space manipulator to capture moving objects.  ...  Acknowledgements This work is partially supported by Industrial robot intelligent production line and guangdong industrial robot  ... 
doi:10.11648/j.cssp.20211001.12 fatcat:vyj6u7sblre27ihufez2nt2gy4

Optimization of Integrity Testing of Piping System in a Nuclear Fuel Cycle Facility

C.B. Rajeev, M.V. Kuppusamy, G. Ramesh, M. Dhananjeyakumar, B. Anandapadmanaban, B. Venkataraman
2014 Procedia Engineering  
joints and loop involved in the testing.  ...  The fabrication works of this facility involves more than 70000 weld joints for interconnecting various vessels, equipment and associated piping system.  ...  It shows the tree structure of the facility for easy understanding and operation of the system.  ... 
doi:10.1016/j.proeng.2014.11.078 fatcat:i4jqo3orqfegjfjcesd6na2kle

A Review on the Rehabilitation Exoskeletons for the Lower Limbs of the Elderly and the Disabled

Tao Wang, Bin Zhang, Chenhao Liu, Tao Liu, Yi Han, Shuoyu Wang, João P. Ferreira, Wei Dong, Xiufeng Zhang
2022 Electronics  
The rehabilitation exoskeletons conduct assistance based on detecting intention, control algorithm, and high-performance actuators.  ...  In this paper, we review rehabilitation exoskeletons from the aspects of the overall design, driving unit, intention perception, compliant control, and efficiency validation.  ...  Acknowledgments: We are grateful to Ning Zhang (Key Laboratory of Rehabilitation Technical Aids Technology and System of the Ministry of Civil Affairs, National Research Center for Rehabilitation Technical  ... 
doi:10.3390/electronics11030388 fatcat:26vl3hns2jeqzmfxenawyezjci

The potential for intelligent software agents in defence simulation

A. Lucas, S. Goss
1999 1999 Information, Decision and Control. Data and Information Fusion Symposium, Signal Processing and Communications Symposium and Decision and Control Symposium. Proceedings (Cat. No.99EX251)  
of C3 structures, and training.  ...  The deployment of applications in parallel with further development and formalisation of the BDI agent architecture has given rise to a landmark R&D capability in multi-agent systems based in Australia  ...  Furthermore, the system must easily accommodate the introduction of new agent capability, such as joint intentions and recognition of intentions.  ... 
doi:10.1109/idc.1999.754219 fatcat:6m7abuwxnnfn7aqdc3jateazuu
« Previous Showing results 1 — 15 out of 30,128 results