• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1126-1130
• /
• 2010

Research on intelligent robot is in active progress as the next generation IT education area. Since intelligent robots are closely related to the real human world, they should provide human behaviors or judging ability as their functions. For this reason, research is recently done not only on diverse hardware of robot education but also on service component architecture which includes various functions. In this paper we propose a study on learning to creative solve problems using RDS(Robotics Developer Studio). RDS is a software tool to control or program intelligence robot as a software module. Using service component framework which considers standardization of the integrated development of intelligent robot, we expect to provide 3-dimensional visual simulation environment, and save time and costs in education the environment for the intelligence robot experiment.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1919-1928
• /
• 1999

There are no standard language for the specification of speed-independent circuits because existing specification methods are designed appropriately to each synthesis methodology. This paper suggests a method of using VHDL, a standard hardware description language, for the specification and synthesis of speed-independent circuits. Because VHDL is a multi-purpose language, we define a subset of VHDL which can be used for the synthesis. We transform the VHDL description into a signal transition graph and then synthesize speed-independent circuits by using a previous synthesis algorithm which uses a signal transition graph as the specification method. We suggest a systematic transformation method which transforms each VHDL statement into a partial signal transition graph and then merges them into a signal transition graph. This work is a step towards to the development of an integrated framework in which we can utilizes the existing CAD tools based on VHDL. Also, this work will enable a easier migration of the current circuit designers into asynchronous circuit design.

• The KIPS Transactions:PartB
• /
• v.13B no.2 s.105
• /
• pp.139-148
• /
• 2006

In the collaborative product design environment, the communication between designers is important to capture design intents and to share a common view among the different but semantically similar terms. The Semantic Web supports integrated and uniform access to information sources and services as well as intelligent applications by the explicit representation of the semantics buried in ontology. Ontologies provide a source of shared and precisely defined terms that can be used to describe web resources and improve their accessibility to automated processes. Therefore, employing ontologies on assembly modeling makes assembly knowledge accurate and machine interpretable. In this paper, we propose a framework of semantic assembly modeling using ontologies to share design information. An assembly modeling ontology plays as a formal, explicit specification of a shared conceptualization of assembly design modeling. In this paper, implicit assembly constraints are explicitly represented using OWL (Web Ontology Language) and SWRL (Semantic Web Rule Language). The assembly ontology also captures design rationale including joint intent and spatial relationships.

• Journal of the Korean Institute of Gas
• /
• v.3 no.3 s.8
• /
• pp.9-16
• /
• 1999

Gas energy facilities which are located in urban areas have been shown as terrifying objects to the people who live nearby, because of increasing recent disastrous accidents. So, it is essential to develop a integrated safety management system including quantitative risk assessment in order to predict and to reduce the effect of gas accidents. In this study, the framework of synthesized QRA(Quantitative Risk Assessment) considering the recent situation and condition was established in order to provide proper models for analysing gas accidents. The deviation of LPG storage facilities was described and then supposed incident scenarios were provided. Procedures which could assess the risk of facilities according to incident scenarios were showed and the practical application of individual risk was suggested in order to represent the quantified risk. And, a user-friendly computer program was developed to implement these methods at the same time.

• Journal of KIISE
• /
• v.42 no.9
• /
• pp.1109-1116
• /
• 2015

In this paper, we propose a query processing approach that uses the Spark functional programming and distributed memory system to solve the computational overhead of SPARQL. In the semantic web, RDF ontology data is produced at large scale, and the main challenge for the semantic web is to query and manipulate such a large ontology with a high throughput. The most existing studies on SPARQL have focused on deploying the Hadoop MapReduce framework, and although approaches based on Hadoop MapReduce have shown promising results, they achieve a low level of throughput due to the underlying distributed file processes. Therefore, in order to speed up the query processes, we suggest query- processing methods that are based on memory caching in distributed memory system. Our approach is also integrated with a clause unification method for propagating between the clauses that exploits Spark join, map and filter methods along with caching. In our experiments, we have achieved a high level of performance relative to other approaches. In particular, our performance was nearly similar to that of Sempala, which has been considered to be the fastest query processing system.

• Journal of Technology Innovation
• /
• v.29 no.4
• /
• pp.59-93
• /
• 2021

This article discusses the innovation activities of firms that aim for system transformation from the perspective of 'Transformative Innovation Policies'. Here, for the sustainable transformation of our society, a firm that finds the 'purpose' of business activities in solving social problems and implements a new business model is defined as a 'transition-oriented firm'. The main characteristics of a transition-oriented firm are examined in terms of 1) transition vision and mission setting, 2) business model innovation for transition, 3) network formation for system transition, and 4) securing legitimacy of transition. And through case studies, the approach, significance, and limitations of the transition-oriented corporate innovation theory are discussed. The case study is from a Eisai Korea, which aims for an integrated prevention, treatment, and care system centered on residents and citizens.

• The Korean Journal of Archival Studies
• /
• no.21
• /
• pp.355-383
• /
• 2009

The greatest mission of archival community lies in collecting records to document past and present Korean society and in safeguarding them to pass over to the next generation. For the last decade, Korean archival community has actively pursued this mission and accomplished it to the certain extent. A series of events occurred during the last year urged the community to regretfully accept that the so-called accomplishment was by no means satisfactory. The present study aims to review what has been achieved against what should be if the community is to be truthful to the fundamental mission. It begins with addressing attributes of electronic records. To be specific, attributes of electronic records as 'records' are compared against those as 'digital objects.' Current state of long-term preservation of electronic records is reviewed. Suggestions follow in terms of four directions: establishing a policy framework based on principles of electronic records management, building integrated electronic records management system, researching and developing functionalities for long-term preservation, and finally, knowledge transfer and coordination.

• Applied Chemistry for Engineering
• /
• v.30 no.1
• /
• pp.23-28
• /
• 2019

We report a supercapacitor cable, which consists of three-dimensional (3D) porous graphene coated onto the surface of carbon thread. The 3D porous framework of graphene was constructed by microwave-activated process using a graphene oxide-coated carbon thread. The use of microwave irradiation enabled to convert graphene oxide into reduced graphene oxide without any reducing agents and activate graphene sheets into exfoliated and porous graphene sheets. Combining two wire electrodes with a polymer gel electrolyte successfully completed supercapacitor device in a form of cable construction. The supercapacitor cables were highly flexible, and thus can be transformed into various shapes of devices and be integrated into textile items. A high area-capacitance of 38.1 mF/cm was obtained at a scan rate of 10 mV/s. This capacitance was retained 88% of its original value at 500 mV/s. The cycle life was also demonstrated by repeating a charge/discharge process during 10,000 cycles even under bent states, showing a high capacitance retention of 96.5%.

• Journal of the Korea Society for Simulation
• /
• v.28 no.1
• /
• pp.41-47
• /
• 2019

Defense simulation is actively used to test various weapon systems and evaluate their effectiveness. The AddSIM environment is a simulation framework designed to support the weapon systems dealt with in defense simulation from an integrated point of view and is designed for reuse and scalability. Models used in AddSIM require base model structure fidelity and verification of user code area. Therefore, this paper describes the dynamic verification method used for completeness of models used in AddSIM. For the dynamic verification of user code, the specification method and the verification algorithm are described. Also, we introduce the prototype of the dynamic verifier implemented based on verification specification method and algorithm. The case study analyzes the verification results based on the simulation example implemented in AddSIM environment.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.1
• /
• pp.93-98
• /
• 2021

Due to the development of deep learning and AI, the scale of the model has grown, and it has been integrated into other fields to blend into our lives. However, in environments with limited resources such as embedded devices, it is exist difficult to apply the model and problems such as power shortages. To solve this, lightweight methods such as clouding or offloading technologies, reducing the number of parameters in the model, or optimising calculations are proposed. In this paper, quantization of learned models is applied to ONNX models used in various framework interchange formats, neural network structure and inference performance are compared with existing models, and various module methods for quantization are analyzed. Experiments show that the size of weight parameter is compressed and the inference time is more optimized than before compared to the original model.