• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• Journal of the Daesoon Academy of Sciences
• /
• v.43
• /
• pp.179-209
• /
• 2022

In order to show the achievements of eminent monks who made great contributions to the spread and establishment of Buddhism in China, Huijiao (慧皎) compiled the Gaosengzhuan (高僧傳, Biographies of Eminent Monks) and set up ten subjects, the Shike (十科); meaning the ten rules for translating. The ten subjects served as an important framework for the Gaosengzhuan and its significance as a general history of Buddhism. This significance was further confirmed by the Xu-Gaosengzhuan (續高僧傳 The Continued Biographies of Eminent Monks), the Song-Gaosengzhuan (宋高僧傳 The Song Dynasty Biographies of Eminent Monks), and the Daming-Gaosengzhuan (大明高僧傳 The Great Ming Dynasty Biographies of Eminent Monks) which were compiled successively after the Gaosengzhuan. The ten subjects of the Gaosengzhuan underwent change in terms of the subject titles and their meanings in the subsequent versions of the Gaosengzhuan. In the Xu-Gaosengzhuan, Daoxuan (道宣) changed the titles of some subjects and added a new subject, and in the Song-Gaosengzhuan, Zanning (贊寧) gave new meanings to each subject without changing the ten subjects as they appeared in the earlier Xu-Gaosengzhuan. In the Daming-Gaosengzhuan, Ruxing (如惺) retained three of the subjects but removed seven. This evolution of formation and meaning in the ten subjects was the result of the author's deep recognition and also reflections on major changes and transitions in Buddhist history. Edification was emphasized in the Gaosengzhuan, self-discipline in the Xu-Gaosengzhuan, and wisdom and enlightenment were stressed in the Song-Gaosengzhuan. Ruxing showed that the collapse of the ten subjects reflected the decline of Buddhism. The fact that the ten subjects from each Gaosengzhuan were given different meanings demonstrates that these authors recognized Buddhist history differently. Therefore, it can be argued that the processing of Chinese Buddhist history has been reflected through each of their lens. But it is necessary to analyze and compare various aspects of each version of the Gaosengzhuan.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.1
• /
• pp.188-194
• /
• 2011

Using cross-section of 83 countries, this paper empirically examines the relationship between corruption and government expenditure volatility. A country's corruption is denoted by either control of corruption, compiled by Kaufmann et al. (2008), or corruption perceptions index, provided by Transparency International. In addition, a country's government expenditure volatility is measured by the standard deviation of the change ratio of government expenditure from 1990 to 2005. Regression results suggest that a country's control of corruption and corruption perceptions index (higher ratings signifying more transparency) are significantly and negatively associated with the volatility of government expenditure. However, the estimated coefficients of corruption perceptions index show somewhat reduced statistical significances. The results are robust to the sub-sample of countries excluding European OECD countries. Therefore, the regression results suggest corrupt bureaucrats are able to periodically change economic rules of the game, which results in the possibility of a higher variance in government expenditure.

• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.189-196
• /
• 2008

To build autonomous agents who can make a decision on behalf of humans in time-critical complex environments, the formulation of operational knowledge base could be essential. This paper proposes the methodology of how to formulate the knowledge base and evaluates it in a practical application domain. We analyze threat data received from the multiple sensors of Aircraft Survivability Equipment(ASE) for Korean helicopters, and integrate the threat data into the inductive model through compilation technique which extracts features of the threat data and relations among them. The compiled protocols of state-action rules can be implemented as the brain of the ASE. They can reduce the amounts of reasoning, and endow the autonomous agents with reactivity and flexibility. We report experimental results that demonstrate the distinctive and predictive patterns of threats in simulated battlefield settings, and show the potential of compilation methods for the successful detection of threat systems.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1220-1227
• /
• 2003

To perform rational decision-making, autonomous agents need considerable computational resources. When other agents are present in the environment, these demands are even more severe. In these settings, it may be difficult for the agent to decide what to do in an acceptable time in multiagent situations that involve many agents. These problems motivate us to investigate ways in which the agents can be equipped with flexible decision-making procedures that enable them to function in a variety of situations in which decision-making time is important. The flexible decision-making methods explicitly consider a tradeoff between decision quality and computation time. Our framework limits resources used for agent deliberation and produces results that are not necessarily optimal, but provide autonomous agents with the best decision under time pressure. We validate our framework with experiments in a simulated anti-air defense domain. The experiments show that compiled rules reduce computation time while offering good performance.

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

Most approaches for extracting hypernyms of a noun from its definitions in an MRD rely on lexical patterns compiled by human experts. Not only these approaches require high cost for compiling lexical patterns but also it is very difficult for human experts to compile a set of lexical patterns with a broad-coverage because in natural languages there are various expressions which represent same concept. To alleviate these problems, this paper proposes a new method for extracting hypernyms of a noun from its definitions in an MRD. In proposed approach, we use only syntactic (part-of-speech) patterns instead of lexical patterns in identifying hypernyms to reduce the number of patterns with keeping their coverage broad. Our experiment has shown that the classification accuracy of the proposed method is 92.37% which is significantly much better than that of previous approaches.

• Geomechanics and Engineering
• /
• v.38 no.3
• /
• pp.249-260
• /
• 2024

In order to study the mechanical propertied and change rules of undrained shear behavior of saline soil under the freeze-thaw cycles, an improved constitutive model reflecting the effects of freeze-thaw cycles was proposed based on the traditional Duncan-Chang model. The saline soil in Qian'an County, western Jilin Province, was selected as the experimental object. Then, a set of freeze-thaw cycles (0, 1, 10, 30, 60, 90, 120) tests were conducted on the saline soil specimens, and conventional consolidated undrained triaxial shear tests were conducted on the saline soil specimens that underwent freeze-thaw cycles. The stress-strain relationship was obtained by the triaxial shear test. The model parameters have a corresponding regression relationship with the number of freeze-thaw cycles. Finally, based on the function expression of the model parameters, the modified Duncan-Chang model with the number of freeze-thaw cycles as the influence factor was established, whilst the calculation program of the modified model is compiled. Based on the test results, the stress-strain relationship of the saline soil specimen shows strain hardening. The shear strength gradually decreases with the increase of freeze-thaw cycle. The 10 freeze-thaw cycles are the turning point in the trend of changes of the mechanical properties of saline soils. The calculated and experimental stress-strain relationship are compared, and the comparison between the calculated value of the model and the experimental value showed that the two had a good consistency, which verified the validity of the modified Duncan-Chang model in reflecting the effects of the freeze-thaw cycle.

• The Journal of Korean Philosophical History
• /
• no.42
• /
• pp.133-164
• /
• 2014

In "Lu's Spring and Autumn", the ideas of all the schools before Qin Dynasty were compiled and the diagram of the Trinity of heaven, earth and man using the category of Yin-yang and the five elements of the universe since the ancient times was established. This can be assessed to be the blueprint for a unified empire closely connecting time and space, and objects in heaven and on earth centered around human beings. In specific, Yin-yang and the five elements of the universe were combined to categorize and schematize all things in the universe, and connect them to human affairs at the same time. Its contents convert almost all academic fields including politics, economics, society, military, astronomy, geography, medical science, education and history. Particularly, the documents popular during the age of civil wars and the ideas of Jikha scholars were synthesized and specified. Yet, it went beyond simple collection of the thoughts and documents since the ancient times in terms of contents and forms, and the method of 12 months for 1 year was selected and prescript was expanded to the various fields of politics and the society. In the Twelve principle, Yin-yang and the five elements, and the ten celestial stems and the earthly ones were combined, the contradiction from the process was solved, and the Rules of Four Seasons Thought was completed. Therefore, even though some parts of the idea of Yin-yang and the five elements in "Lu's Spring and Autumn" is found here and there from other documents, the unificative systematization of the whole has an important meaning in the history of thought. In summary, it has been proved that the Rules of Four Seasons Thought in "Lu's Spring and Autumn" was not limited to the physical unity of Yin-yang and the five elements of the universe, but qualitatively specified particularly in the aspects of agriculture from the people's side and politics from a leader's position.

• The Journal of Korean Philosophical History
• /
• no.36
• /
• pp.101-133
• /
• 2013

In this paper, the writer investigated the thoughts on military art and science with a focus on the typical books on military art and science, which was published in the latter period of Joseon, and the discussion of literati in that time. Joseon had been happy to enjoy the piping times of peace for about 200 years ever since the establishment of the dynasty. However, having had to gone through two major wars, the Joseon Dynasty, revolving around scholarly people, had awakened the limits of military art and science of Joseon. It can be said that the countermeasure against Japanese pirates, which were reflected in the "Jingbirok" (懲毖錄 - Records of the 1592 Japanese Invasion) written by Yu Seong-ryong, and the experiences of war had formed the basis of the thoughts on military art and science in the latter period. Regrettably, there were no suggestions or proposals of preparing countermeasure against Japanese raiders in the books of military art and science in the early period of the Joseon Dynasty. Meanwhile, as the argument about the battle formation in the early period of Joseon, the process of establishing the military science had not gone smoothly in the latter period of Joseon. Right after the Japanese invasion of 1592, "Gihyo-Sinseo" (紀效新書 - New Text of Practical Tactics written by Cheok Gye-gwang) was brought into the country by the army of Ming (明) Dynasty. At first, this was used in the form of its original edition, or of abstract version in the military drill. But, later, it was published under the title of "Byeonghak-jinam" (兵學指南 - Military Training Manual about Action Rules by combat situation). This book, same as in Zhejian (浙江) province in China, had achieved a positive effect on counteracting the Japanese raiders in our country. However, these military tactics were conflicted with "Owi Jinbeop" - Rules of Deployment of the Five Military Commands, which had been handed down ever since the early period of the Joseon Dynasty, and, at the same time, it was pointed out that those tactics would not be able to apply to the situation uniformly, since Korea and China were geographically different. Furthermore, having gone through Manchu Invasion of 1636 (丙子胡亂, Byeongja horan) Joseon had used "Yeonbyeongsilgi" (練兵實記 - the Actual Records of Training Army), which was compiled in China on the basis of the experiences of wars against the nomad, including Mongolia and so on. And, this had become a typical training manual together with "Byeonghak-jinam". King Yeong Jo and King Jeong Jo of the Joseon Dynasty had tried to establish uniformity in military training by publishing the books of military science representing the latter period of Joseon such as "Sokbyeongjangdoseol" (續兵將圖說- Revision of the Illustrated Manual of Military Training and Tactics,) "Byeonghaktong" (兵學通 Book on Military Art and Science,) "Byeonghakjinamyeonui" (兵學指南演義 - Commentary on 'Byeonghak-jinam') and "Muyedobotongji"(武藝圖譜通志 - Comprehensive Illustrated Manual of Martial Arts,) and so on. King Jeong Jo had actively participated in the arguments in those days. So then the arguments that had been continued for about 200 years, ever since King Seon Jo, put to an end. To sum up the distinctive features of military art and science in both former and latter period of the Joseon Dynasty, in the former period of Joseon, the reasoning military science was proceeded with the initiative of civic official based on "Mugyeongchilseo"(武經七書- the Seven Military Classics). However, in the latter period of Joseon, "Gihyo-Sinseo"(紀效新書 - New Text of Practical Tactics written by Cheok Gye-gwang) had served as a momentum, and also comparatively a large numbers of military official had participated in arguments, so then such an occasion had made the military science turn into the Practical Theory. Meanwhile, King Sejo and King Jeong Jo had played a leading role in the process of establishing the theory of military science of Joseon, however, there are something in common that their succession to the throne was not smooth. This is the part that reminds us "War is an extension of politics," the thesis of Clausewitz

• Journal of Korean Medical classics
• /
• v.22 no.2
• /
• pp.71-83
• /
• 2009

The documentary characteristics of acupuncture and moxibustion recorded in Dusagyeong(杜思敬)'s".Jesaengbalsu(濟生拔粹)" can be summarized into 3 major parts: 1. "Gyeolgo-ungichimbeop(潔古雲岐鍼法)" and "Dutaesachimbeop(竇太師鍼法)" 1) "Gyeolgo-ungichimbeop" was edited by Dusagyeong of the Won dynasty, and was recorded in "Jesaengbalsu". Du was influenced by his teacher Heohyeong(許衡) and followed Janggyeolgo(張潔古) and his son Jangbyeok(張璧), and collected his work "Chimgu-pyeon(鍼灸篇)" for Jang and named it "Gyeolgo-ungichimbeop", and took the content from the medical book of Jang and his student Wang-haejang(王海藏). (2) "Jesaengbalsu"'s original edition exists today. The "Gyeolgo-ungichimbeop" listed in "Jesaengbalsu"'s index contain two collections, the first collection being "Gyeolgo-ungichimbeop" and the second collection being "Dutaesachimbeop(竇太師鍼法)" (3) Gyeolgo(潔古)、Un-gija(雲岐子)'s acupuncture methods can be seen in Un-gija "Bomyeongjipryuyo(保命集類要)" and Wanghaejang "Chasananji(此事難知)". (4) The related acupuncture methods are 'Non-gyeong-rak-yeongsubosabeop(論經絡迎隨補瀉法)', 'Gyeong-rakchwiwonbeop(經絡取原法)', 'Jeopgyeongbeop(接經法)', and 'Sang-hanyeolbyeongjabeop(傷寒熱病刺法)' (5) Du's edition of the entire text of 'Gyeolgojajetongbeop(潔古刺諸痛法)' 'Jasimtongjehyeol(刺心痛諸穴)' and the first half of 'Jeopgyeongbeop(接經法)' is all recorded in "Somunbyeonggigi-uibomyeongjip(素問病機氣宜保命集)". The existing "Somunbyeonggigi-uibomyeongjip" is a combination of the unfinished posthumous work of Yuwanso(劉完素), "Gi-ui(氣宜)" and "Byeonggi(病機)" with works such as Jangwonso(張元素)'s '"Bomyeongseo(保命書)"'. (6) Of the titles "Gyeolgo-ungichimbeop" and "Dutaesachimbeop", the 14$\sim$19th chapters "Dutaesachimbeop" should be concentrated at the end of the chapter, and the 16th chapter that Du added was put after chapter 14 "Yujujiyobu(流注指要賦)", and chapters 20, 21 should be put in "Gyeolgoungichimbeop" after chapter 13. 2. "Chimgyeongjeok-yeongjip(鍼經摘英集)" (1) "Chimgyeongjeok-yeongjip" is a collection of the acupuncture and moxibustion contents of medical books from the Geum and Won dynasties that Dusagyeong collected and organized during the Won dynasty, which is consisted of 5 chapters : "Guchimshik(九鍼式)", "Jeolyangchwisuhyeolbeop(折量取腧穴法)", "Bosabeop(補瀉法)", "Yongchimhoheupbeop(用鍼呼吸法)", "Chibyeongjik-ralgyeol(治病直剌訣)". (2) First, the contents. The nine acupuncture needles[九鍼] listed in "Guchimshik(九鍼式)" is the first existing document recording to systematically illustrate the 'nine classical needles' in drawing and text form which reflects the forms of the needles of the era. Second, "Jeolyangchwisuhyeolbeop(折量取腧穴法)" has the same basic way of measuring points [量穴法] as Wang-yuil's "Dong-insuhyeolchimgudo-gyeong(銅人腧穴鍼灸圖經)" and the same point selection rules as "Jeonyeongbang(全嬰方)". Third, in "Bosabeop(補瀉法)", "Somun(素問)" and Janggyeolgo's "Yeongsubosabeop(迎隨補瀉法)" is put together. Fourth, in "Yongchimhoheupbeop(用鍼呼吸法)", the cold and heat supplementation and draining [寒熱補瀉] method that combines breathing with inner and outer rotation[外 內撚] is recorded. Fifth, "Chi-byeongjik-ralgyeol(治病直剌訣)" is the main part of "Chimgyeongjeok-yeongjip(鍼經摘英集)" listing 69 acupuncture treatments reflecting Du's scholastic ideas on aspects such as syndrome differentiation[辨證], needling method and type of needle[鍼具]. (3) The content of this book was quoted by "Bojebang Chimgumun(普濟方 鍼灸門)" and when Gomu compiled "Chimguchwiyeong", he put the acupuncture treatments for the main indications of the disease patterns[鍼方主治病證] of this book in the related main indications of acupuncture points[腧穴主治證], which influenced books on acupuncture points there after. 3. "Chimgyeongjeolyo(鍼經節要)" (1) Consists of 1 volume. The original title of this book is "Dong-insuhyeolchimgudo-gyeong (銅人腧穴鍼灸圖經)" and the author is Wang-yuil of the Northern Song dynasty, written in the 4th year of the Cheonseong(天聖) era of the Song dynasty(1026). (2) Dusagyeong selected the contents on pathology of the 12 meridians in volume one and two, the introduction and five transport points[五輸穴] in volume 5 of "Dong-indo-gyeong(銅人圖經)" and named it "Chimgyeongjeolyo." During the Won dynasty it was recorded in "Jesaengbalsu".