• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.4
• /
• pp.16-21
• /
• 2000

Role Based Access Control(RBAC) reduces the cost of administering access control policies as well as making the process less error-prone. Administration tool is most important component in the concept of RBAC. The administration tool for the RBAC security system must be maintain the integrity of user-role and role-role relationships in the RBAC Database. Therefor, it is required set functions, properties defining integrity of database. When it will be designed security systems which is applying RBAC policy on the Linux(server system environments, this paper defines integrity of database for user-role and role-role relationships, and we propose formal specification of operation in order to manage these relationships. The proposed formal specification leads to the consistency requirements for the RBAC database which are defined as a set of relationship. Also, this paper can easily derive the implementation of the RBAC administration tool by formal specification of operations. It leads us tn the minimal set for a more efficiently implementation of administration tool.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.10
• /
• pp.855-868
• /
• 2004

There are several types of singularities in controlling robotic manipulators: kinematic singularity, algorithmic singularity, semi-kinematic singularity, semi-algorithmic singularity, and representation singularity. The kinematic and algorithmic singularities have been investigated intensively because they are not predictable or difficult to avoid. The problem with these singularities is an unnecessary performance reduction in non-singular region and the difficulty in performance tuning. Tn this paper, we propose a method of avoiding kinematic and algorithmic singularities by applying a task reconstruction approach while maximizing the task performance by calculating singularity measures. The proposed method is implemented by removing the component approaching the singularity calculated by using singularity measure in real time. The outstanding feature of the proposed task reconstruction method (TR-method) is that it is based on a local task reconstruction as opposed to the local joint reconstruction of many other approaches. And, this method has dynamic task priority assignment feature which ensures the system stability under singular regions owing to the change of task priority. The TR-method enables us to increase the task controller gain to improve the task performance whereas this increase can destabilize the system for the conventional algorithms in real experiments. In addition, the physical meaning of tuning parameters is very straightforward. Hence, we can maximize task performance even near the singular region while simultaneously obtaining the singularity-free motion. The advantage of the proposed method is experimentally tested by using the 7-dof spatial manipulator, and the result shows that the new method improves the performance several times over the existing algorithms.

• Wind and Structures
• /
• v.25 no.2
• /
• pp.195-214
• /
• 2017

Full-scale wind characteristics based on the field measurements is an essential element in structural wind engineering. Statistical analysis of the wind characteristics at Sutong Cable-stayed Bridge (SCB) site is conducted in this study with the recorded long-term wind data from structural health monitoring system (SHMS) between 2008 and 2015. Both the mean and turbulent wind characteristics and power spectra are comprehensively investigated and compared with those in the current codes of practice, such as the measured wind rose diagram, monthly maximum mean wind speed, turbulence intensity, integral length scale. Measurement results based on the monitoring data show that winds surrounding the SCB site are substantially influenced by the southeast monsoon in summer and strong northern wind in winter. The measured turbulence intensity is slightly higher than the recommended values in specifications, while the measured ratio of lateral to longitudinal turbulence intensity is slightly lower. An approximately linear relationship between the measured turbulence intensities and gust factors is obtained. The mean value of the turbulence integral length scale is smaller than that of typical typhoon events. In addition, it is found that the Kaimal spectrum is suitable to be adopted as the power spectrum for longitudinal wind component at the SCB site. This contribution would provide important wind characteristic references for the wind performance evaluation of SCB and other civil infrastructures in adjacent regions.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.6
• /
• pp.454-458
• /
• 2009

The technology of virtual environments has been developed with better-quality appearance on a computer display in mind, but without consideration for objects' precise measurements in physical units. With the increased application of computer graphics in a variety of areas, there is a need for precise measurement functionality in addition to visualization. This paper describes the definition of physical properties using measurement units for X3D based virtual objects, to provide their precise physical information in virtual environments. To this end, we have included the physical property node in the X3D specification. The physical measurement units, such as length, mass, time, temperature, etc., are based on SI units (International System of Units).

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.12 no.1
• /
• pp.1-12
• /
• 2016

The current economic crisis is making new demands on manufacturing industry, in particular, in terms of the flexibility and efficiency of production processes. This requires production and administrative processes to be meshed with each other by means of IT systems to optimise the use and capacity utilisation of machines and lines but also to be able to respond rapidly to wrong developments in production and thus to minimise adverse impacts on the business. The future scenario of the "smart factory" represents the zenith of this development. The factory can be modified and expanded at will, combines all components from different manufacturers and enables them to take on context-related tasks autonomously. Integrated user interfaces will still be required at most for basic functionalities. The complex control operations will run wirelessly and ad hoc via mobile terminals such as PDAs or smartphones. The comnination of IoT, and Big Data optimisation is bringing about huge opportunities. these processes are not just limited to manufacturing, anywhere a supply chain environment exists can benefit from information provided by linked devices and access to big data to inform their decision support. Building a smart factory with smart assets at its core means reaching those desired new levels of productivity and efficiency. It means smart products that leverage advanced traceability, connectivity and intelligence. For businesses, it means being able to address the talent crunch through more autonomous. In a Smart Factory, machinery and equipment will have the ability to improve processes through self-optimization and autonomous decision-making.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.8
• /
• pp.56-64
• /
• 2005

It is prerequisite that we have to fomulate the nonlinear mathematical modeling to design the guidance and control system of rotorcraft-based unmanned aerial vehicle using a small-scaled commercial helicopter. The small-scaled helicopters are very different from the full-scale helicopters in dynamic behavior such as high rotation speed and high frequency dynamic characteristics. In this paper, the formulation of the mathematical model of the small-scaled helicopter to minimize the complexity is presented by component and source build-up approach. It is linearized at the trim condition of hovering and forward flight and analyzed the flight modes. The results of this approach have general trends but a little difference. To verify this approach, it is necessary to compare this theoretical model with experimental results by system identification using flight test as a next research topic.

• Journal of the Korea Safety Management & Science
• /
• v.18 no.3
• /
• pp.127-135
• /
• 2016

Korean automobile industrial is in a difficult situation because of more competitive global market and lower demand. Therefore, domestic as well as global automobile manufacturers are making greater efforts in cost reduction to strengthen the competitiveness. According to statistical data, logistics cost in domestic manufacturers is higher than advanced countries. In this study, we developed program to effectively manage standard time of procurement logistics, and confirm based on A-automobile factory data. For the purpose, we develop the system which is possible to manage standard time as well as calculate man-hour. Program is not just for calculating and managing standard man-hour, scenarios analysis function will be added to calculate benefit while introduce logistics automated equipment. In this study we propose scenario using AGV instead of electric motor while move component. In the scenario analysis, job constitution is changed, and then we use system to compare the result. We can confirm standard man-hour is reduced from 22.3M/H to 14.3M/H. In future research, it is necessary scenario analysis function, and develop algorithm with realistic constraint condition.

• International Journal of Air-Conditioning and Refrigeration
• /
• v.13 no.1
• /
• pp.51-60
• /
• 2005

This paper reviews the studies on the pressure drop and the heat transfer in microchannels. Although a lot of studies about the single-phase flow have been done until now, conflicting results are occasionally reported about flow transition from laminar flow to turbulent flow, friction factor, and Nusselt number. Some studies reported the early flow transition due to relatively greater wall effect like surface roughness, but the other studies showed that the flow transition occurred at the Reynolds number of about 2300 and the early flow transition might be due to less accurate measurement of the channel geometry. Also, there have been arguments whether the conventional relation based upon continuum theory can be applied to the fluid flow and the heat transfer in microchannels without modification or not. The studies about the two-phase flow in microchannels have been mostly about investigating the flow pattern and the pressure drop in rectangular channels using two-component, two-phase flow like air/water mixture. Some studies proposed correlations to predict two-phase flow pressure drop in microchannels. They were mostly based on Lockhart-Martinelli model with modification on C-coefficient, which was dependent on channel geometry, Reynolds number, surface tension, and so on. Others investigated the characteristics of flow boiling heat transfer in microchannels with respect to test parameters such as mass flux, heat flux, system pressure, and so on. The existing studies have not been fully satisfactory in providing consistent results about the pressure drop and the heat transfer in microchannels. Therefore, more in-depth studies should be done for understanding the fundamentals of the transport phenomena in the microchannels and giving the basic guidelines to design the micro devices.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.7
• /
• pp.1039-1046
• /
• 2017

Campus microgrid is designed and built by considering not only power generation but also power consumption management as connected microgrid type because the main goal of the campus microgrid is to save power consumption costs. There are many functions to achieve the goal and they are mainly to use generation-based functions such as islanding operation for peak management and for emergency events. In power distribution operation, Conservation Voltage Reduction (CVR) is applied in order to reduce power consumption. The CVR is defined as a function for load consumption reduction by voltage reduction in order to reduce peak demands and energy consumption. However, application of CVR to microgrid is difficult because the microgrid cannot control a tap of transformer in a substation and the microgrid normally is not designed with phase modifying equipment like a step-voltage-regulator which can control voltage in power distribution system operation. In addition, an impact of the CVR is depended on load characteristics such as a normal load, a rated power, and synchronous motors. Therefore, this paper proposes an application of CVR using linear voltage control based AVR in campus microgrid with power consumption reduction considering characteristics of load and component in the microgrid. The proposed system can be applied to each buildings by a configuration of power distribution cables; and the application results and CVR factor are presented in this paper.

• Journal of Power Electronics
• /
• v.17 no.4
• /
• pp.1048-1057
• /
• 2017

An indirect matrix converter (IMC) is a modern power generation system that enables a direct ac/ac conversion without the need for any bulky and limited lifetime electrolytic capacitor. This system also allows four-quadrant operation, generation of sinusoidal output voltage waveforms with variable frequency and amplitude, and control of input power factor. This study proposes a pulse-width modulation-based sliding-mode controller to achieve unity input-power factor operation of the IMC independently of the active power exchanged with the grid, as well as a fast dynamic response. The designed equivalent control law determines, at each sampling period, the appropriate q-axis component of the modulated input current to be injected into the grid through the LC input filter. An integral term of the error is included in the expression of the sliding surface to increase the accuracy of the control method. A double space vector modulation method is used to synthesize the direction of the space vector of the input currents as required by the sliding-mode controller and the space vectors of the target output voltages. Simulation and experimental results are provided to show the effectiveness and evaluate the performance of the proposed control method.