Results 11 to 20 of about 37,102 (308)
Refining Mobile UML State Machines [PDF]
, 2004 We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves within a network. Our contribution is twofold: first, we formalize the semantics of state machines in MTLA, an extension of Lamport's Temporal Logic of Actions with spatial ...
Knapp, Alexander +2 more
openaire +5 more sources
Approaches to the robotization of agricultural mobile machines [PDF]
MATEC Web of Conferences, 2018 Agriculture is the extremely important and developing economic movement in all times. Automation of agricultural machines occurs by different ways.
Serebrenny Vladimir +2 more
doaj +4 more sources
Hybride und energieeffiziente Antriebe für mobile Arbeitsmaschinen [PDF]
, 2023 This book contains the conference proceedings to the lectures of the 9th symposium on 28th February 2023 in Karlsruhe. The state of research and new developments in the field of drive technology for mobile machines are reported in 12 articles.
core +1 more source
RESEARCH OF REFUSALS AND RELIABILITY OF THE MOBILE MACHINES [PDF]
Вестник Донского государственного технического университета, 2018 In this article necessary and sufficient parameters for calculation of reliability of load-carrying constructions and running systems of mobile machines are defined.
А. А. ANDROSSOV +3 more
doaj +1 more source
RESEARCH OF REFUSALS AND RELIABILITY OF THE MOBILE MACHINES [PDF]
Advanced Engineering Research, 2010 In this article necessary and sufficient parameters for calculation of reliability of load-carrying constructions and running systems of mobile machines are defined.
А. А. ANDROSSOV +3 more
doaj +1 more source
Advances on Geometrical Limits in the Deep Drawing Process of Paperboard
BioResources, 2016 The geometrical limits of the deep drawing process of paper to advanced shapes are not known. This report examines the technological limits of convex elements of the base shape in relation to the drawing height and shows the material behavior in the ...
Marek Hauptmann +2 more
doaj +1 more source
Holistic Control System Design for Large Mobile Irrigation Machines [PDF]
, 2015 Large mobile irrigation machines are self-propelled sprinkler irrigation systems which farmers are rapidly adopting due to the high precision of the irrigation application.
McCarthy, Alison +5 more
core +1 more source
Refining Nodes and Edges of State Machines [PDF]
, 2011 State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement.
Snook, Colin +3 more
core +1 more source
Improving Energy Efficiency of the Hydraulic Power Systems in Heavy Machinery
Energija, Ekonomija, Ekologija, 2020 The main goal of the research done in this paper is to examine possible improvements in energy efficiency of the hydraulic power systems and with this lower gas emission from working machinery.
Dejvid Anastasovski +4 more
doaj +1 more source
Communicating Mobile Processes [PDF]
, 2004 This paper presents a new model for mobile processes in occam-pi. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely disconnected from its local environment, moved (by communication along a channel)
Barnes, Frederick R.M. +3 more
core +1 more source