• 시스템엔지니어링학술지
• /
• 제8권1호
• /
• pp.21-28
• /
• 2012

Development of the system that has required performance is the most important figure and that is the key of project succeed. In order to perform that, systems engineering has come to the fore as a solution. In each step of system engineering process, particularly, requirement analysis and derivation, logical solution, architecture design step are known to affect many of the function and efficiency. Of these, this paper focus on architecture design. We introduce methodology for physical architecture design by applying DSM(Design Structure Matrix) methodology which is based on result of logical solution from MBSE methodology.

• 산업공학
• /
• 제18권4호
• /
• pp.418-430
• /
• 2005

We establish an efficient strategy for construction and operation of data consolidation center for multi-organization in public sector. First, we introduce important concepts on data consolidation center in public sector, and draw some success factors by analyzing several foreign and domestic cases. Second, we construct all the possible logical operational models of the center and investigate the properties and feasibility of the models. Third, we suggest a virtual operational environment for the two representative models selected by feasibility criteria among the possible logical models, and compare the two models in terms of operational cost. We also utilize AHP methodology to evaluate qualitative opinions on the two models from several experts in public information systems. As a result, we find the best alternative is the case in which all infrastructure and facilities for the center are provided by government, and common essential IT operations are integrated, associated data are consolidated and the whole operational work are outsourced to specialized IT operations service providers.

• 경영과학
• /
• 제17권2호
• /
• pp.87-95
• /
• 2000

This paper presents two analytical approaches to determine the vehicle fleet size for container shuttle service. The shuttle service can be defined as the repetitive travel between the designated places during working period. In the first approach, the transportation model is adopted in order to determine the number of vehicles required. Its advantages and disadvantages in practical application are also discussed. In the second approach, a logical network which is oriented on job is transformed from a physical network which is focused on demand site. Nodes on the logical network represent jobs which include loaded travel, loading and unloading and arcs represent empty travel for the next jobs which include loaded travel, loading and unloading and arcs represent empty travel for the next job. Then a mathematical formulation is constructed similar to the multiple traveling salesman problem (TSP). A solution procedure is carried out based on the well-known insertion heuristic with the real world data.

• Journal of Electrical Engineering and Technology
• /
• 제8권6호
• /
• pp.1626-1636
• /
• 2013

Nowadays, a rapid development in wind power technologies is occurring compared with other renewable energies. This advance in technology has facilitated a new generation of wind turbines with larger capacity and higher efficiency. As the height of the turbines and the distance between turbines increases, the monitoring and control of this new generation wind turbines presents new challenges. This paper presents the architectural design, simulation, and evaluation of hybrid communication networks for a large-scale wind turbine (WT). The communication network of WT is designed based on logical node (LN) concepts of the IEC 61400-25 standard. The proposed hybrid network architectures are modeled and evaluated by OPNET. We also investigate network performance using three different technologies: Ethernet-based, WiFi-based, and ZigBee-based. Our network model is validated by analyzing the simulation results. This work contributes to the design of a reliable communication network for monitoring and controlling a wind power farms (WPF).

• 한국시뮬레이션학회논문지
• /
• 제4권2호
• /
• pp.31-40
• /
• 1995

A hybrid simulation model consists of real physical entities as well as simulated ones. It also contains logical processes for decision making for each operation units, a group of the entities. During the execution of such simulations, the physical and the logical processes consume real clock time while the activity durations of the simulated ones are generated. Due to the inherent chracteristics of the subjects of the communication channels. Since one can not undo an real event already taken place, the traditional central clock approach is used for the synchronization of the events(Kim[6]). However, there are still chances of causality errors due to the randomness in the communication delays. This error is not found in the distributed pure simulations. This paper explains the error in details and proposes a prevention scheme that is simple to implement.

• Asia pacific journal of information systems
• /
• 제5권2호
• /
• pp.101-129
• /
• 1995

This paper proposes a form-based distributed database design methodology ($FD^3$). The methodology consists of five design phases such as (i) form requirement analysis (ii) schema integration (iii) distribution analysis (iv) distribution design, and (v) local logical/physical design. In the $FD^3$, all the important design information for each phase is obtained by using an organizations forms, Users requirements are analyzed by using forms that contain logical and quantitative information for distribution design. $FD^3$ resolves naming conflicts by employing SQLs based on the form field data in the schema integration phase. Furthermore, $FD^3$ enhances the quality of distributed database design by incorporating communication costs into the design model. A real-life case is illustrated to demonstrate the usefulness of the $FD^3$.

• 대한임베디드공학회논문지
• /
• 제10권1호
• /
• pp.25-31
• /
• 2015

The quality of medical treatment can be promoted by transmitting high-definition medical images and sharing these images. The high speed transmission network is a requirement for the ultra high-definition media. A high quality medical research and education can be provided by connecting resources and media-data through the superhigh speed research network. Network bandwidth for 4K media transmission generated with Lambda network technology.

• 전자통신동향분석
• /
• 제37권2호
• /
• pp.1-10
• /
• 2022

Similar to present computers, quantum computers comprise quantum bits (qubits) and an operating system. However, because the quantum states are fragile, we need to correct quantum errors using entangled physical qubits with quantum error correction (QEC) codes. The combination of entangled physical qubits with a QEC protocol and its computational model are called a logical qubit and fault-tolerant quantum computation, respectively. Thus, QEC is the heart of fault-tolerant quantum computing and overcomes the limitations of noisy intermediate-scale quantum computing. Therefore, in this study, we briefly survey the status of QEC codes and the physical implementation of logical qubit over various qubit technologies. In summary, we emphasize 1) the error threshold value of a quantum system depends on the configurations and 2) therefore, we cannot set only any specific theoretical and/or physical experiment suggestion.

• 시스템엔지니어링학술지
• /
• 제12권2호
• /
• pp.101-114
• /
• 2016

A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

• 대한수학교육학회지:수학교육학연구
• /
• 제8권2호
• /
• pp.527-540
• /
• 1998

In the teacher's guide of mathematics textbook for the 1st grade of the middle school, the clear and logical reason why the multiplication of negative number to negative number makes positive number, and $a^{-m}$ with a>0 and m>0, is defined by ${\frac{1}{a^m}}$ is not given. When we define the multiplication or the power by successive addition or successive multiplication of the same number, respectively, we encounter this ambiguity, in the case that the number of successive operations is negative, In this paper, we name this number, negative counting number, and we make the following more logical and intuitive definition, which is "negatively many successive operations is defined by positively many successive inverse operations." According to this new definition, we define the multiplication by the successive addition or the successive subtraction of the same number, when the multiplier is positive or negative respectively, and the power by the successive multiplication or the power is positive or negative, respectively. In addition, using this new definition and following the E.R.S Instruction strategy which revised and complemented the Bruner's E.I.S Instruction strategy, we develope new teaching model available in the 1st grade class of middle school where the concept of integers, three operations of integers are introduced.ntroduced.