• International Journal of Computer Science & Network Security
• /
• v.22 no.11
• /
• pp.294-302
• /
• 2022

The article explores the prospects and trends for the transformation of some basic concepts of law associated with the development of artificial intelligence systems and the problems of liability for harm caused by a robot. The prospects, conditions and consequences of vesting robots with partial (quasi) or full legal personality are explored. This process should lead to a revision of the concepts of will, subjective side and legal responsibility in the direction of their greater universalization. The legally significant signs of will, legal personality, legal liability in relation to robots, artificial intelligence systems and other complex automated information systems are clarified. The author identifies the following essential factors of legal qualification of an act committed by a robot: goals, reasons for setting goals, connections between the planned result and the action taken, the actual result, the reasons for the difference between the actual result and the planned one. The article pays special attention to the preventive function of legal liability, which, when applied to robot subjects, can be expressed in the following basic procedures. 1. Accounting for legal requirements in the behavior of the robot. 2. Timely adaptation of the robot to changes in legislation and other regulatory legal acts that affect its behavior. 3. Accounting for incidents. 4. Destruction of a series of robots whose actions lead to unacceptable consequences.

• Journal of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.625-636
• /
• 2015

The Boolean rank of a nonzero $m{\times}n$ Boolean matrix A is the least integer k such that there are an $m{\times}k$ Boolean matrix B and a $k{\times}n$ Boolean matrix C with A = BC. We investigate the structure of linear transformations T : $\mathbb{M}_{m,n}{\rightarrow}\mathbb{M}_{p,q}$ which preserve Boolean rank. We also show that if a linear transformation preserves the set of Boolean rank 1 matrices and the set of Boolean rank k matrices for any k, $2{\leq}k{\leq}$ min{m, n} (or if T strongly preserves the set of Boolean rank 1 matrices), then T preserves all Boolean ranks.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 2002.10b
• /
• pp.285-286
• /
• 2002

The lubricating characteristics of negative pressure slider were performed by using divergence formulation method with the coordinate transformation method. This method makes it possible to deal with an arbitrary configuration of a lubricated surface. The pressure profile of the slider is calculated. These results are compared to that from direct numerical method. The steady-state, including minimum film thickness, pitching and rolling angle are calculated by multi-dimensional Newton-Rapson method. The stiffness and damping characteristics are also calculated.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.5
• /
• pp.57-64
• /
• 2016

In this paper, we propose the design of railway safety common data model to provide common transformation method for collecting data from railway facility fields to Real-time railway safety monitoring and control system. This common data model is divided into five abstract sub-models according to the characteristics of data such as 'StateInfoMessage', 'ControlMessage', 'RequestMessage', 'ResponseMessage' and 'ExtendedXXXMessage'. This kind of model structure allows diverse heterogeneous data acquisitions and its common conversion method to DDS (Data Distribution Service) format to share data to the sub-systems of Real-time railway safety monitoring and control system. This paper contains the design of common data model and its DDS Topic expression for DDS communication, and presents two kinds of data transformation case studied for verification of the model design.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.562-565
• /
• 1993

It is well known that H$_{\infty}$ control problem involves solving an algebraic Riccati equation which includes a pair of parameters (.gamma., .epsilon.). Focusing on .epsilon. the maximum of .epsilon.. We discuss in this paper about the properties between the H$_{\infty}$ norm of a trnsfer function matrix and the parameters(.gamma., .epsilon.). We can change the algebraic relattion between .gamma. and .epsilon. by the similarity transformation of a considered system and we can find a proper transformation to get a simple quadratic algebraic equation between .gamma. and .epsilon.. This relation provide the H$_{\infty}$ norm of a transfer function.on.

• Journal of Mechanical Science and Technology
• /
• v.15 no.5
• /
• pp.665-670
• /
• 2001

The interaction of a travelling shock with the shear layer of a flat plate is studied computationally. The Euler and Navier-Stokes equations are solved numerically on quadrilateral unstructured adaptive grids. The flat plate is installed horizontally on the central axis of a shock tube. The shear layer is first created by two shock waves at different speeds splitted by a flat plate. A series of small vortices is developed as a consequence in the shear layer. The shock wave reflected at the end wall impinges the shear layer. The complicated shock dynamics in the evolution to the pseudo-steady state is represented with the morphological transformation of a planar shock into an oblique shock.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.3
• /
• pp.524-530
• /
• 2007

This paper presents a new and simple method for sensorless operation of matrix converter drives using a constant air-gap flux and the imaginary power flowing to the motor. To improve low-speed sensorless performance, the non-linearities of a matrix converter drive such as commutation delays, turn-on and turn-off times of switching devices, and on-state switching device voltage drop are modelled using PQR transformation and compensated using a reference power control scheme. The proposed compensation method is applied for high performance induction motor drives using a 3 kW matrix converter system. Experimental results are shown to illustrate the feasibility of the proposed strategy.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.49 no.6
• /
• pp.380-386
• /
• 2000

This paper presents the mathematical modelling analysis of Brushless Synchronous Motor(BLSM). The dynamic and the steady state characteristics of BLSM are simulated and analyzed : electromagnetic torque, speed, line voltage, and current. We used mathematical modelling to model of BLSM with sinusoidal back EMF, namely the shaft transformation referencing rotor frame from a, b, c three to produce constant torque like synchronous motor. The experiment result has already similar to compare with simulation result : torque error about 7%, speed error about 5%. The validity of proposed modelling and analysis was confirmed by the experimental result.

• International Journal of Internet, Broadcasting and Communication
• /
• v.4 no.2
• /
• pp.1-6
• /
• 2012

Control Theory for continuous-time system has been well developed. Due to the development of computer technology, digital control scheme are employed in many areas. When delays are in control systems, it is hard to control the system efficiently. Delays by controller-to-actuator and sensor-to-controller deteriorate control performance and could possibly destabilize the overall system. In this paper, a new approximated discretization method and digital design for control systems with multiple state, input and output delays and a generalized bilinear transformation method with a tunable parameter are also provided, which can re-transform the integer time-delayed discrete-time model to its continuous-time model. Illustrative examples are given to demonstrate the effectiveness of the developed method.

• Smart Structures and Systems
• /
• v.19 no.4
• /
• pp.431-439
• /
• 2017

This investigation is aimed to develop a model of experimental-computation determination of a support moment of a cantilever beam loaded with concentrated force at its end including the optimal choice of coordinates of deflection data points and parameters of transformation of deflection data in case of insufficient accuracy of the assignment of initial parameters (support settlement, angle of rotation of the bearing section) and cantilever beam length. The influence of distribution and characteristics of sensors on the cantilever beam on the accuracy of determining the support moment which improves in the course of transition from the uniform distribution of sensors to optimal non-uniform distribution is shown. On the basis of the theory of inverse problems the method of transformation reduction at numerical differentiation of deflection functions has been studied. For engineering evaluation formulae of uncertainty estimate to determine a support moment of a cantilever beam at predetermined uncertainty of measurements using sensors have been obtained.