Multisensory legal machines and legal act production

This paper expands on the concept of legal machine which was presented first at IRIS 2011 in Salzburg. The research subjects are (1) the creation of institutional facts by machines, and (2) multimodal communication of legal content to humans. Simple examples are traffic lights and vending machines. Complicated examples are computer-based information systems in organisations, form proceedings workflows, and machines which replace officials in organisations. The actions performed by machines have legal importance and draw legal consequences. Machines similarly as humans can be imposed status-functions of legal actors. The analogy of machines with humans is in the focus of this paper. Legal content can be communicated by machines and can be perceived by all of our senses. The content can be expressed in multimodal languages: textual, visual, acoustic, gestures, aircraft manoeuvres, etc. The concept of encapsulatation of human into machine is proposed. Herein humanintended actions are communicated through the machine’s output channel. Encapsulations can be compared with deities and mythical creatures that can send gods’ messages to people through the human mouth. This paper also aims to identify law production patterns by machines

Dense-choice Counter Machines revisited

This paper clarifies the picture about Dense-choice Counter Machines, which have been less studied than (discrete) Counter Machines. We revisit the definition of "Dense Counter Machines" so that it now extends (discrete) Counter Machines, and we provide new undecidability and decidability results. Using the first-order additive mixed theory of reals and integers, we give a logical characterization of the sets of configurations reachable by reversal-bounded Dense-choice Counter Machines

Towards Fully Additively-Manufactured Permanent Magnet Synchronous Machines: Opportunities and Challenges

With the growing interest in electrification and as hybrid and pure electric powertrains are adopted in more applications, electrical machine design is facing challenges in terms of meeting very demanding performance metrics for example high specific power, harsh environments, etc. This provides clear motivation to explore the impact of advanced materials and manufacturing on the performance of electrical machines. This paper provides an overview of additive manufacturing (AM) approaches that can be used for constructing permanent magnet (PM) machines, with a specific focus on additively-manufactured iron core, winding, insulation, PM as well as cooling systems. Since there has only been a few attempts so far to explore AM in electrical machines (especially when it comes to fully additively-manufactured machines), the benefits and challenges of AM have not been comprehensively understood. In this regard, this paper offers a detailed comparison of multiple multi-material AM methods, showing not only the possibility of fully additively-manufactured PM machines but also the potential significant improvements in their mechanical, electromagnetic and thermal properties. The paper will provide a comprehensive discussion of opportunities and challenges of AM in the context of electrical machines

A dynamics-driven approach to precision machines design for micro-manufacturing and its implementation perspectives

Precision machines are essential elements in fabricating high quality micro products or micro features and directly affect the machining accuracy, repeatability and efficiency. There are a number of literatures on the design of industrial machine elements and a couple of precision machines commercially available. However, few researchers have systematically addressed the design of precision machines from the dynamics point of view. In this paper, the design issues of precision machines are presented with particular emphasis on the dynamics aspects as the major factors affecting the performance of the precision machines and machining processes. This paper begins with a brief review of the design principles of precision machines with emphasis on machining dynamics. Then design processes of precision machines are discussed, and followed by a practical modelling and simulation approaches. Two case studies are provided including the design and analysis of a fast tool servo system and a 5-axis bench-top micro-milling machine respectively. The design and analysis used in the two case studies are formulated based on the design methodology and guidelines

Comparitive study of the influence of harmonic voltage distortion on the efficiency of induction machines versus line start permanent magnet machines

Induction machines have nearly reached their maximal efficiency. In order to further increase the efficiency the use of permanent magnets in combination with the robust design of the induction machine is being extensively researched. These so-called line start permanent magnet machines have an increased efficiency in sine wave conditions in respect to standard induction machines, however the efficiency of these machines is less researched under distorted voltage conditions. This paper compares the influence of harmonic voltage distortion and the phase angle of the harmonic content on the overall motor efficiency of line start permanent magnet machines and induction machines

Computing Partial Recursive Functions by Virus Machines

Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host cell to another. This paradigm provides non-deterministic sequential devices. Non-restricted Virus Machines are unbounded Virus Machines, in the sense that no restriction on the number of hosts, the number of instructions and the number of viruses contained in any host along any computation is placed on them. The computational completeness of these machines has been obtained by simulating register machines. In this paper, Virus Machines as function computing devices are considered. Then, the universality of non-restricted virus machines is proved by showing that they can compute all partial recursive functions.Ministerio de Economía y Competitividad TIN2012- 3743

High Specific Power Electrical Machines: A System Perspective

There has been a growing need for high specific power electrical machines for a wide range of applications. These include hybrid/electric traction applications, aerospace applications and Oil and Gas applications. A lot of work has been done to accomplish significantly higher specific power electrical machines especially for aerospace applications. Several machine topologies as well as thermal management schemes have been proposed. Even though there has been a few publications that provided an overview of high-speed and high specific power electrical machines [1-3], the goal of this paper is to provide a more comprehensive review of high specific power electrical machines with special focus on machines that have been built and tested and are considered the leading candidates defining the state-of-the art. Another key objective of this paper is to highlight the key “system-level” tradeoffs involved in pushing electrical machines to higher specific power. Focusing solely on the machine specific power can lead to a sub-optimal solution at the system-level