• 한국기계가공학회지
• /
• 제21권4호
• /
• pp.60-69
• /
• 2022

To keep pace with Industry 4.0, it is imperative for companies to redesign their working environments by adopting robotic automation systems. Automation lines are facilitating the latest cutting-edge technologies, such as 3D vision and industrial robots, to outdo competitors by reducing costs. Considering the nature of the manufacturing industry, a time-saving workflow and smooth linkwork between processes is vital. At Dellics, without any additional new installation in the automation lines, only a few improvements to the working process could raise productivity. Three requirements are the development of gripping technology by utilizing a 3D vision system for the recognition of the material shape and location, research on lighting projectors to target long distances and high illumination, and testing of algorithms/software to improve measurement accuracy and identify products. With some of the functional requisites mentioned above, improved robotic automation systems should provide an improved working environment to maximize overall production efficiency. In this article, the ways in which such a system can become the groundwork for establishing an unmanned working infrastructure are discussed.

• 천문학논총
• /
• 제35권3호
• /
• pp.29-41
• /
• 2020

Korea has numerous astronomical resources, such as observational records, star maps, and a wealth of literature, covering the period from the Three Kingdoms (54 BC - 932 AD) to the Joseon Dynasty (1392 - 1910 AD). The research activities related to these resources have been limited to those by individual researchers. It is now necessary to conduct research by efficiently and systematically collecting and managing Korean astronomical records using an accessible Web environment. The purpose of this study is to complete a system that enables researchers systematically to collect and verify a large number of historical records related to astronomical phenomena in a Web environment. In 2017, a preliminary survey was conducted, and the requirements pertaining to an implementation target system were devised. In addition, a joint development plan was carried out by the developer, lasting three months in 2018. Although the system is relatively simple, it is the first system to be attempted in the historical astronomy field. In order to proceed with the systematic development, the software development methodology is applied to the entire process from deriving the requirements of researchers to completing the system. The completed system is verified through integrated function and performance tests. The functional test is repeated while modifying and testing the system based on various test scenarios. The performance test uses a performance measurement test tool that takes measurements by setting up a virtual operation environment. The developed system is now in normal operation after a one-year trial period. Researchers who become authorized to use the system can use it to verify the accuracy of data and to suggest improvements. The collected feedback will be reflected in future systems, and Korean astronomical records will be available for use internationally through a multilingual service.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권7호
• /
• pp.476-486
• /
• 2002

컴포넌트 기반 개발(CBD : Component Based Development)은 비즈니스 시스템의 요구를 해결할 수 있는 최상의 전략적 방법으로 빠르게 확산되고 있다. 이는 CBD가 소프트웨어 컴포넌트의 조립을 통해 어플리케이션 개발이 가능한 새로운 패러다임으로서, 비즈니스 프로세스의 빠른 변화에 능동적으로 대처하며, 증가되는 생산성 향상의 요구를 충족시킬 수 있기 때문이다. 특히, 컴포넌트 저장소는 컴포넌트의 개발과 유통 그리고 재사용을 위해 가장 중요한 부분으로 컴포넌트 그 자체뿐 아니라 컴포넌트 개발의 각 단계로부터 생산된 결과물들을 저장하고 관리할 수 있다. 본 논문에서는 CBD 프로세스의 효과적인 지원을 위해 컴포넌트 저장소 구축을 중심으로 실제적인 적용 기술을 제시하고 이를 바탕으로 컴포넌트 저장소 관리 시스템(CRMS : Component Repository Management System)의 프로토터이핑을 개발한다. CRMS는 컴포넌트 아키텍쳐에 기반하여 다양한 컴포넌트의 형상을 관리하며, 어플리케이션 개발자들은 자신의 프로젝트에 이용하기 위한 컴포넌트를 검색하고 관련 이해 정보를 획득할 수 있다 본 논문을 통해 CBD 환경을 실제화 하는 공용 컴포넌트 저장소 구축으로의 실제적 접근을 제시함으로써 컴포넌트 개발을 지원하는 CBD 프로세스 및 컴포넌트의 저장소에 대한 선행 연구로 이용하고자 한다.

• International Journal of Computer Science & Network Security
• /
• 제21권4호
• /
• pp.103-114
• /
• 2021

A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an understanding of the high-level nature of the representation of entities and processes. In this context, models can have distinct architectural characteristics. This paper discusses model multiplicity (e.g., unified modeling language [UML]), model singularity (e.g., object-process methodology [OPM], thinging machine [TM]), and a heterogeneous model that involves multiplicity and singularity. The basic idea of model multiplicity is that it is not possible to present all views in a single representation, so a number of models are used, with each model representing a different view. The model singularity approach uses only a single unified model that assimilates its subsystems into one system. This paper is concerned with current approaches, especially in software engineering texts, where multimodal UML is introduced as the general-purpose modeling language (i.e., UML is modeling). In such a situation, we suggest raising the issue of multiplicity versus singularity in modeling. This would foster a basic appreciation of the UML advantages and difficulties that may be faced during modeling, especially in the educational setting. Furthermore, we advocate the claim that a multiplicity of views does not necessitate a multiplicity of models. The model singularity approach can represent multiple views (static, behavior) without resorting to a collection of multiple models with various notations. We present an example of such a model where the static representation is developed first. Then, the dynamic view and behavioral representations are built by incorporating a decomposition strategy interleaved with the notion of time.

• 한국CDE학회논문집
• /
• 제21권4호
• /
• pp.433-442
• /
• 2016

This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

• Computers and Concrete
• /
• 제21권4호
• /
• pp.355-365
• /
• 2018

Five previously-tested reinforced concrete frames were modelled using a nonlinear finite element analysis procedure to demonstrate the accurate response simulations for seismically-deficient frames through pushover analyses. The load capacities, story drifts, and failure modes were simulated. This procedure accounts for the effects of shear failures and the shear-axial force interaction, and thus is suitable for modeling seismically-deficient frames. It is demonstrated that a comprehensive analysis method with a capability of simulating material constitutive response and significant second-order mechanisms is essential in achieving a satisfactory response simulation. It is further shown that such analysis methods are invaluable in determining the expected seismic response, safety, and failure mode of the frame structures for a performance-based seismic evaluation. In addition, a new computer program was developed to aid researchers and engineers in the direct displacement-based seismic design process by assessing whether a frame structure meets the code-based performance requirements by analyzing the analysis results. As such, the proposed procedure facilitates the performance-based design of new buildings as well as the numerical assessment and retrofit design of existing buildings. A sample frame analysis was presented to demonstrate the application and verification of the approach.

• 센서학회지
• /
• 제27권1호
• /
• pp.59-63
• /
• 2018

Among Internet of things (IoT) applications, the most demanding requirements for the widespread realization of many IoT visions are security and low power. In terms of security, IoT applications include tasks that are rarely addressed before such as secure computation, trusted sensing, and communication, privacy, and so on. These tasks ask for new and better techniques for the protection of data, software, and hardware. An integral part of hardware cryptographic primitives are secret keys and unique IDs. Physical Unclonable Functions(PUF) are a unique class of circuits that leverage the inherent variations in manufacturing process to create unique, unclonable IDs and secret keys. In this paper, we propose a low power Arbiter PUF circuit with low error rate and high reliability compared with conventional arbiter PUFs. The proposed PUF utilizes a power gating structure to save the power consumption in sleep mode, and uses a razor flip-flop to increase reliability. PUF has been designed and implemented using a FPGA and a ASIC chip (a 0.35 um technology). Experimental results show that our proposed PUF solves the metastability problem and reduce the power consumption of PUF compared to the conventional Arbiter PUF. It is expected that the proposed PUF can be used in systems required low power consumption and high reliability such as low power encryption processors and low power biomedical systems.

• 소프트웨어공학소사이어티 논문지
• /
• 제26권2호
• /
• pp.45-52
• /
• 2013

클라우드 컴퓨팅 서비스를 제공하는 사업자는 이용자에게 신뢰성 있고 일관된 품질을 제공하기 위해서 SLA를 보장해야 한다. SLA(Service Level Agreement)는 서비스 사업자가 제공하는 서비스를 대상으로 가용성 등 일정한 서비스 수준을 보장하기 위해 맺는 서비스 사업자와 고객간의 계약이다. 클라우드 컴퓨팅은 다양한 클라우드 서비스의 IT 자원에 따라 IaaS, PaaS, SaaS 등으로 구분되는데 기존의 SLA는 물리적인 네트워크 환경에 대한 요소만 고려하고 있어서 제공되는 서비스의 품질 요소는 반영하기 어렵다. 본 논문에서는 SaaS 레벨에서의 SLA 명세를 위한 XML 스키마를 가지는 명세 언어와 이를 교환하기 위한 UDDI 기반의 교환 프로세스 및 아키텍처를 제안한다. 클라우드 환경에서 SaaS의 품질 요구사항은 제안한 명세 언어로 정의되고 품질 명세 저장소에 저장되며 교환 아키텍처를 기반으로 서비스 바인딩 시 교환된다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2022년도 춘계학술대회
• /
• pp.115-117
• /
• 2022

화이트박스 암호 기법은 암호 키 정보를 소프트웨어 기반 암호화 알고리즘에 섞어 암호 키의 노출을 막는 방식이다. 화이트박스 암호 기법은 허가되지 않은 역공학 분석으로 메모리에 접근하여 기밀 데이터와 키를 유추하기 어렵게 만들어서 종래의 하드웨어 기반의 보안 암호화 기법을 대체하는 기술로 주목받고 있다. 하지만, 암복호화 과정에서 연산 결과와 암호 키를 숨기기 위해 크기가 큰 룩업테이블을 사용하기 때문에 암복호 속도가 느리고, 메모리 사이즈가 커지는 문제가 발생한다. 특히 최근 저가, 저전력, 경량의 사물인터넷 제품들은 제한된 메모리 공간과 배터리 용량 때문에 화이트박스 암호을 적용하기 어렵다. 또한, 실시간 서비스를 지원해야 하는 네트워크 환경에서는 화이트박스 암호의 암복호화 속도로 인해 응답 지연 시간이 증가하여 통신 효율이 열화된다. 따라서 본 논문에서는 S.Chow가 제안한 AES 기반 화이트박스(WBC-AES)를 사용하여 속도와 메모리 요구조건을 만족할 수 있는지 실험 결과를 토대로 분석한다.

• International Journal of Computer Science & Network Security
• /
• 제23권5호
• /
• pp.21-32
• /
• 2023

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.