• The Journal of the Convergence on Culture Technology
• /
• v.9 no.6
• /
• pp.967-971
• /
• 2023

Recently, a variety of AI-based platform services are available, and one of them is ChatGPT that processes a large quantity of data in the natural language and generates an answer after self-learning. ChatGPT can perform various tasks including software programming in the IT sector. Particularly, it may help generate a simple program and correct errors using C Language, which is a major programming language. Accordingly, it is expected that ChatGPT is capable of effectively using Verilog HDL, which is a hardware language created in C Language. Verilog HDL synthesis, however, is to generate imperative sentences in a logical circuit form and thus it needs to be verified whether the products are executed properly. In this paper, we aim to select small-scale logical circuits for ease of experimentation and to verify the results of circuits generated by ChatGPT and human-designed circuits. As to experimental environments, Xilinx ISE 14.7 was used for module modeling, and the xc3s1000 FPGA chip was used for module embodiment. Comparative analysis was performed on the use area and processing time of FPGA to compare the performance of ChatGPT products and Verilog HDL products.

• Journal of Environmental Health Sciences
• /
• v.43 no.4
• /
• pp.307-313
• /
• 2017

Objectives: Chemicals derived from various environment media contaminates food across the food supply chain. In Korea, levels of contaminants in food have been sporadically measured by monitoring programs of different government agencies. There is difficulty with data compilation and integrated analysis across media. Therefore, the aim of this study was to propose an overall integrated database and analytical platform design for the 'ECO-FOOD NET (Environmental COntaminant reduction platform for FOOD through an interagency collaboration NETwork)', a tool to support the reduction of environmental contaminants in food. Methods: We developed a new data structure and standardized protocols for the compilation of integrated data. In addition, we conducted subject-oriented logical and physical relational database modeling and created the architecture design of the platform. Results: We established a standardized code system related to exposure media and route, analysis method and food matrix. In addition, we designed the seven software modules of 'About the System', 'Introduction to Interagency Work', 'Media-Chemicals Profiles', 'Method Bank', 'Monitoring Data Base', 'Integrated Media Analysis', and 'Risk-Benefit Analysis'. Conclusions: This study will contribute to decision-making as a tool for executing risk management, such as sustainable reduction policies of contaminants in food.

• Journal of Advanced Navigation Technology
• /
• v.14 no.1
• /
• pp.108-118
• /
• 2010

In this paper, we propose Context-based Music Recommendation (COMUS) ontology for modeling user's musical preferences and context and for supporting reasoning about the user's desired emotion and preferences. The COMUS provides an upper Music Ontology that captures concepts about the general properties of music such as title, artists and genre and also provides extensibility for adding domain-specific ontologies, such as Mood and Situation, in a hierarchical manner. The COMUS is music dedicated ontology in OWL constructed by incorporating domain specific classes for music recommendation into the Music Ontology. Using this context ontology, we believe that the use of logical reasoning by checking the consistency of context information, and reasoning over the high-level, implicit context from the low-level, explicit information. As a novelty, our ontology can express detailed and complicated relations among the music, moods and situations, enabling users to find appropriate music for the application. We present some of the experiments we performed as a case-study for music recommendation.

• IE interfaces
• /
• v.21 no.3
• /
• pp.322-332
• /
• 2008

Digital Virtual Manufacturing is a technology to facilitate effective product developments and agile productions by digital model representing the physical and logical schema and the behavior of real manufacturing system, and it includes product, resources, processes and plant. For successful applications of this technology, a digital virtual factory as a well-designed and integrated environment is essential. In this research, we constructed a sophisticated digital virtual factory of a Korean automotive company's press shop. For efficient constructions of a digital virtual factory useful to kinematic simulations and visualizations, we analyzed entire business process and detailed activities of press engineering. Also, we evaluated geometries, structures, characteristics and motions of a plant and machines in press shop. The geometric model and related data of a virtual press shop are built and managed by a modeling standard defined in this paper. The virtual manufacturing simulation of press machines is conducted to evaluate kinematic motions, cycle time and locations of components using geometric models and related data. It's for interference checks and productivity improvements. We expect that this virtual press shop helps us to achieve great savings in time and cost in many manufacturing preparation activities in the new car development process of automotive companies.

• The KIPS Transactions:PartD
• /
• v.13D no.2 s.105
• /
• pp.191-198
• /
• 2006

Many enterprises have introduced workflow to enhance work efficiency and support effective work processes in their various work environments. Recently, Business Process Management(BPM), an extension of workflow, is spotlighted in enterprise software markets Although woklflow plays an important role in Business Process Managements, researches in workflow are mostly concentrated on temporal constraints which finds exact execution sequences for complicated jobs. On that reason, majority of workflow scheduling has concentrated on modeling of various resources which should be handled and the interest for workflow scheduling under constraints related to resources is rather unsatisfactory In this paper we presents the Transformation Template based on Concurrent Transaction Logic(CTR) which is suitable for scheduling workflows with resource allocation constraints, and the logical framework. The Transformation Template consists of a Workflow Transformation Template and a Constraint Transaction Template. Especially the Transformation Template can be conveniently used to logically represent new workflows under the existing resource allocation constraints.

• Proceedings of the KIEE Conference
• /
• 2002.11d
• /
• pp.197-199
• /
• 2002

The invention of VHDL(Very High Speed Integrated Circuit Hardware Description Language), Technical language of Hardware, is a kind of turning point in digital circuit designing, which is being more and more complicated and integrated. Because of its excellency in expression ability of hardware, VHDL is not only used in designing Hardware but also in simulation for verification, and in exchange and conservation, composition of the data of designs, and in many other ways. Especially, It is very important that VHDL is a Technical language of Hardware standardized by IEEE, intenational body with an authority. The biggest problem in modern circuit designing can be pointed out in two way. One is a problem how to process the rapidly being complicated circuit complexity. The other is minimizing the period of designing and manufacturing to survive in a cutthroat competition. To promote the use of VHDL, more than a simple use of simulation by VHDL, it is requested to use VHDL in composing logical circuit with chip manufacturing. And, by developing the quality of designing technique, it can contribute for development in domestic industry related to ASIC designing. In this paper in designing SMPS(Switching mode power supply), programming PWM by VHDL, it can print static voltage by the variable load, connect computer to chip with byteblaster, and download in Max(EPM7064SLCS4 - 5)chip of ALTER. To achieve this, it is supposed to use VHDL in modeling, simulating, compositing logic and product of the FPGA chip. Despite its limit in size and operating speed caused by the specific property of FPGA chip, it can be said that this method should be introduced more aggressively because of its prompt realization after designing.

• Journal of the Korea Society for Simulation
• /
• v.24 no.2
• /
• pp.19-29
• /
• 2015

M&S techniques are utilized for various purposes on the national defense, and its importance is increasing than ever. For analyzing RAM (Reliability, Availability and Maintainability) of weapon system, using M&S techniques can be more effective and practical way than deterministic approach, because M&S approach can consider uncertain variables and various constraints in the ILS (Integrated Logistics support) field. For design of ILS M&S, we first set up a purpose of M&S, attributes of real system and other similar ILS M&S tool. Then, we convert real system into model which consists of mathematical formula and logical expression. In this thesis, we introduce modeling procedures of M&S that describes total life cycle of 'OO guided weapon system' and the contents proposed in this paper can provide references for developing other M&S tool.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.10a
• /
• pp.805-808
• /
• 2013

As the development type of domestic technology on information & communications have changed from following development to leading devalopment, developing new technology and creating new market through securing basic technology and IPR has been more essential than ever before. At the same time, it is required to increase the possibility of commercialization on developed technology. Therefore, it is necessary to formulate the consensus on the value and function of project at project planning phase for creative & innovative idea to be adopted into project and to be performed successfully. Accordingly, this paper proposes use case developing methodology adopted to creative & innovative project by analysing use case developing method in software engineering. Also, new methodology is appled to LASA display developing project to prove the reliability. Since the demands on new technology is henceforth expected to increase gradually, it is necessary to continue to study on the methodology of being more formal and logically related between phases as well as on that of analysing relationship among use cases and proving logical reliability of use case.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.18 no.4
• /
• pp.395-403
• /
• 2000

It is so sensitive that the matter of compensation for private possessions caused in the course of public construction planning is very important. Especially, more logical planning is necessary when the dam be constructed, because it is mainly controlled by the surface of water, and if that planning is made public, artificial change is occurred in land use in that area for the purpose of rising the compensation. In this study, the plan for the application of aerial photo based ortho image was drew up for solving these problems and for the rational, rapid compensation. Ortho image was made by aerial photo, used as reading material for the change in land use. The modeling of drainage basin, came under the planning surface of water, and the 3D simulation were performed for the scene analysis, the change understanding in land use for a lot number in a certain period by overlapping the digital image, the digital land registration map, and the digital topography map as well as the analysis of the admitted land followed by the height of reservoir water.

• Journal of Information Technology and Architecture
• /
• v.9 no.3
• /
• pp.275-285
• /
• 2012

DIFs (Data Interchange Formats) are needed to enhance interoperability of physically distributed organizations in SBA (Simulation Based Acquisition) process. DIFs play a role as a template of DPDs (Distributed Product Descriptions) and provide capability to use information directly without data format interchange process by allowing access to DPDs, which include various information and M&S (Modeling & Simulation) resources. This characteristic is essential for interoperability in ICE (Integrated Collaborative Environment) based SBA. This paper proposes a framework for the DIF and outputs from each phase of acquisition process for configuration data related to design and manufacturing in SBA process - Conceptual Data Model, Logical Data Model, Physical Data Model and Physical DIF based on XML. Finally, we propose the DIF model architecture and demonstrate the implementation of DIF example based on it.