• The Transactions of the Korea Information Processing Society
• /
• v.4 no.12
• /
• pp.3069-3077
• /
• 1997

This paper is concerned with a new paradigm for parallel evaluation of linear recursion rules which contain transitive dependency in a shared-nothing parallel architecture. For parallel evaluation of rules, we consider a shared-nothing parallel architecture that consists of a set of nodes and a message passing network to these nodes. An evaluation of normalized rules is a computation of the proof theoretic meaning of a collection of rules. We shall here define normalized recursion rules which contain transitive dependency, present an equivalent expression for the rule, propose a paradigm for Parallel evaluation of normalized rule based on the equivalent expression using join, partition, and transitive closure operations, and analyze response-time complexity.

• Journal of the military operations research society of Korea
• /
• v.36 no.3
• /
• pp.29-42
• /
• 2010

In this study, the weapon-target assignment problem arising in military application of operations research is considered. We reformulated the problem in order to simplify the solution methods based on genetic algorithms and heuristics. Since the problem is well known as NP-complete and cannot be solved in polynomial time, such solution methods have been widely used to obtain good solutions. Two chromosome representations--target number representation and permutation representation--in genetic algorithm are compared. In addition, a construction heuristic and three improving heuristics are developed. Several experiments under the condition of transitivity rules in weapon's kill probability have been accomplished. It shows that the construction heuristic and exchange-based improving heuristic guarantees good solutions within a second and the performance of construction heuristic is sensitive to transitivity rules.

• 재활복지
• /
• v.21 no.2
• /
• pp.1-27
• /
• 2017

The purpose of this study is to evaluate the level of implementation of the Incheon Strategy and to develop measures for effective implementation. This research method used literature review and monitoring method. The results of the study are summarized as follows: First, 9 key indicators and 7 supplementary indicators, which are classified into implementation and non-implementation, 3 key indicators have been implemented, one indicator has been partially implemented, 5 indicators have not yet been implemented, Also, In the case of supplementary indicators, five were implemented and two were not. Second, the ten target areas are lacking in implementation, but the objective of 7 is to ensure the comprehensive disaster risk reduction and management, the ratification and implementation of the Convention on the Rights of Persons with Disabilities and the harmonization of the Convention with the domestic law, Also, it is analyzed that the level of implementation is in the order of improving the reliability and comparability of the data of goal 8, ensuring gender equality of goal 6 and strengthening the capacity of women. Based on these results, we propose an improvement plan for implementation. First, it is necessary to formulate policy issues and implement measures for the implementation of Incheon Strategy. Second, it is necessary to establish a system to implement and monitor for Incheon strategy. Third, Korean standards for goals and targets, key indicators and supplementary indicators are needed. Fourth, it is necessary to prioritize the target implementation and to take preemptive action. Lastly, it is necessary to educate and publicize for the Incheon strategy.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.1 s.45
• /
• pp.9-15
• /
• 2007

As the information of the internet increased, importance of sematic web for collecting and integration of these informations to support decision making of some group or ordinary people are growing as well. Basis structure that composes semantic web is ontology and languages like XML, RDF/RDF schema and OWL are basis means that compose ontology schema. When composes and manages Ontology schema, one of the important consideration point is that schema is changed as times go by. Therefore, change of domain of schema, change of data concept or change of relation between resource etc. are reflected in the ontology system. In this study, we suggest semantic web schema management skill in terms of version management. We categorized version change forms and created version graph for checking of version transition. With created version graph, we define transitivity rule and propose schema tag for detail application which enables extending of applicable version schema.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.2981-2988
• /
• 1999

A deductive database consists of facts being the extensional database and rules being the intensional database. Because of the difficulty of evaluating rules, many parallel evaluation algorithms for rules have been presented. But we have not gotten an acceptable result. This paper proposes a new methodology to evaluate proof-theoretic meaning of the linear recursion rule which contains transitive dependency by using a shared-nothing parallel architecture. As first, we prove that there exists the equivalent expression for a linear recursion rule, design the algorithm for evaluating the linear recursion rule based on the equivalent expression, and finally analyse performance of the proposed algorithm.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2003.11a
• /
• pp.455-462
• /
• 2003

According to Korean nuclear code requires Periodic Safety Review(PSR) every 10 years should be perform for operating reactor, and selects the eleven PSR safety factors. Among them the review objective of the environmental impact is to determine whether the operator has an adequate programme for surveillance of the environmental impact of the nuclear power plant based on current safety standards. In this paper, the environmental impact in PSR of Wolsong Unit 1 was reflected current safety standards as of the evaluation date. As a result, all items generally satisfied the standards, and the staff also verified that the population dose due to the operation of Wolsong Unit 1 was controlled safely as of the evaluation date.

• Korean Management Science Review
• /
• v.18 no.1
• /
• pp.147-153
• /
• 2001

In this paper, we Propose the Job-Pair Comparison (JPC) rule to minimize total tardiness in a single machine. For this purpose we derive conditional expression to choose the desirable job sequence. We also prove the transitivity of JPC rule, to prevent cycle and to decrease the complexity of comparison.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.652-655
• /
• 2024

COPD(Chronic Obstructive Pulmonary Disease)는 장기간에 걸쳐 기도가 좁아지는 폐질환으로, 규칙적 운동은 호흡을 용이하게 하고 증상을 개선할 수 있는 주요 자가관리 중재법 중 하나이다. 건강정보 데이터와 인공지능을 사용하여 규직적 운동 이행군과 불이행군을 선별하여 자가관리 취약 집단을 파악하는 것은 질병관리 측면에서 비용효과적인 전략이다. 하지만 많은 양의 데이터를 확보하기 어렵고, 규칙적 운동군과 그렇지 않은 환자의 비율이 상이하기 때문에 인공지능 모델의 전체적인 선별 능력을 향상시키기 어렵다는 한계가 있다. 이러한 한계를 극복하기 위해 본 연구에서는 국민건강영양조사 데이터를 사용하여 머신러닝 모델인 XGBoost와 딥러닝 모델인 MLP에 오버샘플링, 언더샘플링, 가중치 부여 등 불균형 데이터 처리 기법을 적용 후 성능을 비교하여 가장 효과적인 불균형 데이터 처리 기법을 제시한다.

• Explosives and Blasting
• /
• v.42 no.2
• /
• pp.1-11
• /
• 2024

The purpose of this study is to suggest amendments for the effective operation of safety and health regulations that stipulate safety standards for the prevention of industrial accidents in blasting and tunneling works. Because the regulations on Occupational Safety and Health Standards have not been revised for a long time, the regulations do not meet the requirements in site, and it is reported that it is difficult to implement the regulations at workplaces due to various deficiencies. Therefore, this study aims to abolish or improve unreasonable regulations that do not fit reality due to changes in the technology environment, or to modify low-operability regulations considering domestic conditions in blasting and tunneling workplaces. By comparing domestic laws and standards related to blasting and tunneling works with foreign ones, the improvement measures were suggested.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.3
• /
• pp.687-692
• /
• 2012

Colorectal cancer screening in adults aged 40 and over our country and understand the relationship between health behaviors and those affecting the implementation of a colorectal cancer screening was conducted to determine the parameters. National Health and Nutrition Examination Survey tool 4th secondary data were used. The main variable levels of public health, health-related awareness and behavior, food and nutritional status were surveyed about 12,528. Colorectal Cancer Screening adults aged 40 and over who target male and female study subjects were 4703. Compliance findings that are relevant to colorectal cancer screening variables include gender, age, residence, or taking supplements, Health Screening, whether history, such as cancer, respectively. Marital status, education level, household monthly gross income, private insurance, whether regular exercise was not associated with the. In order to increase colorectal cancer screening among the expanding free cancer screening and cancer screening performed a systematic test of the simple and effective education and publicity will be carried out.