• Journal of Korean Tunnelling and Underground Space Association
• /
• v.23 no.5
• /
• pp.281-302
• /
• 2021

Railway projects have been consistently increasing in Korea. In relation to this trend, the mechanized tunneling using Tunnel Boring Machine (TBM) is preferably applied for mining urban areas and passing under rivers. The TBM tunneling under difficult grounds like mixed faces with high water pressure could require ground improvements for stable TBM advance or safe cutter head intervention (CHI). In this study, pre-grouting works for CHI in Daegok-Sosa railway project are presented in terms of the grouting zone design, the executions and the results, the lessons learned from the experience. It should be mentioned that the grouting from inside TBM was carried out several times and turned out to be inefficient in the project. Therefore, grouting experiences from the surface are highlighted in this study. Jet grouting was implemented on CHI points on land, while permeation grouting off shore in the Han River, which mostly allow to access the cutter head of TBM in free air with stable faces. The results of CHI works have been analyzed and the lesson learned are suggested.

• Journal of Korea Water Resources Association
• /
• v.53 no.12
• /
• pp.1143-1157
• /
• 2020

In this study, a criteria for the SWAT model calibration method in SWAT-CUP which considers multi-site and multi-variable observations was presented. For its application, the SWAT model was simulated using long-term observed flow, soil moisture, and evapotranspiration data in Yongdam study watershed, investigating the hydrological runoff characteristics and water balance in the water cycle analysis. The model was calibrated with different parameter values for each sub-watershed in order to reflect the characteristics of multiple observations through one-by-one calibration, appropriate settings of model simulation run/iteration number (1,000 simulation runs in the first iteration and then 500 simulation runs for the following iterations), and executions of partial and all run in SWAT-CUP. The flow simulation results of watershed outlet point, ENS 0.85, R2 0.87, and PBIAS -7.6%, were compared with the analysis results (ENS 0.52, R2 0.54, and PBIAS -22.4%) applied in the other batch (i.e., non one-by-one) calibration approach and showed better performances of proposed method. From the simulation results of a total of 15 years, it was found that the total runoff (streamflow) and evapotranspiration rates from precipitation are 53 and 39%, and the ratio of surface runoff and baseflow (i.e., sum of lateral and return flow, and recharge deep aquifer) are 35 and 65%, respectively, in Yongdam watershed. In addition, the analytical amount of available water (i.e., water yield), including the total annual streamflow (daily average 21.8 m3/sec) is 6.96 billion m3 per year (about 540 to 900 mm for sub-watersheds).

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.8
• /
• pp.337-347
• /
• 2007

An embedded system is called a multi-mode embedded system if it performs multiple applications by dynamically reconfiguring the system functionality. Further, the embedded system is called a multi-mode multi-task embedded system if it additionally supports multiple tasks to be executed in a mode. In this Paper, we address a HW/SW partitioning problem, that is, HW/SW partitioning of multi-mode multi-task embedded applications with timing constraints of tasks. The objective of the optimization problem is to find a minimal total system cost of allocation/mapping of processing resources to functional modules in tasks together with a schedule that satisfies the timing constraints. The key success of solving the problem is closely related to the degree of the amount of utilization of the potential parallelism among the executions of modules. However, due to an inherently excessively large search space of the parallelism, and to make the task of schedulabilty analysis easy, the prior HW/SW partitioning methods have not been able to fully exploit the potential parallel execution of modules. To overcome the limitation, we propose a set of comprehensive HW/SW partitioning techniques which solve the three subproblems of the partitioning problem simultaneously: (1) allocation of processing resources, (2) mapping the processing resources to the modules in tasks, and (3) determining an execution schedule of modules. Specifically, based on a precise measurement on the parallel execution and schedulability of modules, we develop a stepwise refinement partitioning technique for single-mode multi-task applications. The proposed techniques is then extended to solve the HW/SW partitioning problem of multi-mode multi-task applications. From experiments with a set of real-life applications, it is shown that the proposed techniques are able to reduce the implementation cost by 19.0% and 17.0% for single- and multi-mode multi-task applications over that by the conventional method, respectively.

• The KIPS Transactions:PartA
• /
• v.11A no.4
• /
• pp.243-250
• /
• 2004

Monitoring is used to see if a real-time system provides a service on time. Generally, monitoring for real-time focuses on investigating the current status of a real-time system. To support a stable performance of a real-time system, it should have not only a function to see the current status of real-time process but also a function to predict executions of real-time processes, however. The legacy prediction model has some limitation to apply it to a real-time monitoring. First, it performs a static prediction after a real-time process finished. Second, it needs a statistical pre-analysis before a prediction. Third, transition probability and data about clustering is not based on the current data. We propose the execution prediction model based on learning algorithm to solve these problems and apply it to real-time monitoring. This model gets rid of unnecessary pre-processing and supports a precise prediction based on current data. In addition, this supports multi-level prediction by a trend analysis of past execution data. Most of all, We designed the model to support dynamic prediction which is performed within a real-time process' execution. The results from some experiments show that the judgment accuracy is greater than 80% if the size of a training set is set to over 10, and, in the case of the multi-level prediction, that the prediction difference of the multi-level prediction is minimized if the number of execution is bigger than the size of a training set. The execution prediction model proposed in this model has some limitation that the model used the most simplest learning algorithm and that it didn't consider the multi-regional space model managing CPU, memory and I/O data. The execution prediction model based on a learning algorithm proposed in this paper is used in some areas related to real-time monitoring and control.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.135-149
• /
• 2000

Most of prior works on testing parallel programs have concentrated on how to guarantee the reproducibility by employing event traces exercised during executions of a program. Consequently, little work has been done to generate test cases, especially, from specifications produced from software development process. In this research work, we devise the techniques for deriving test cases automatically from the specifications written in Message Sequence Charts(MSCs) which are widely used in telecommunication areas and develop the testing environment for performing module testing of parallel programs with derived test cases. For deriving test cases from MSCs, we have to uncover the causality relations among events embedded implicitly in MSCs. For this, we devise the methods for adapting vector time stamping to MSCs, Then, valid event sequences, satisfying the causality relations, are generated and these are used as test cases. The generated test cases, written in TTCN, are translated into CHILL source codes, which interact with a target module to be tested and test the validity of behaviors of the module. Since the testing method developed in this research work extracts test cases from the MSC specifications produced front telecommunications software development process, it is not necessary to describe auxiliary specifications for testing. In audition adapting vector time stamping generates automatically the event sequences, the generated event sequences that are ones for whole system can be used for individual testing purpose.

• Korean Security Journal
• /
• no.18
• /
• pp.119-141
• /
• 2009

Administrative execution by proxy is one of forced executions of administration and is also called as "enforced execution by proxy" in which administration institutions or the third party executes by proxy on behalf of parties who did not execute obligations under administration law and files claims to compensate expenses required in the proxy execution. Despite the actual site of administrative execution by law, social problems are generated because various violence and behaviors of infringement of human rights between executer and obligator are rampant and thus causing human damages since forced execution by physical force is carried out and cases of police indictments and petition to human rights committee are gradually increasing. Majority of people mobilized in this actual site of violence are supplied by private security companies which provide service contract and mobilization of people without qualification of guards or security service and irrational execution by proxy and violent actions by so-called service hooligans connected to violence organizations are now becoming social issues. In these actual sites of violence, structurally very complicated problems such as economic rights, right of residence, struggle for living, and intervention by outsiders are contained. This thesis has analyzed causes of outbreaks of violence and discussed about improvement countermeasure by paying attention to mobilization of people by private security companies. As the result, through revision and improvement of laws and systems, execution institution and policemen must be present at actual sites of execution by proxy to control physical execution of private security companies to be carried out legally and when violent collisions are occurring, it shall be stipulated that police should immediately intervene. Practices of execution by proxy of execution administration institutions shall be avoided and causes of occurrences of violence shall be eliminated by discrete decisions of execution by proxy, elimination of service contract conditions focused on accomplishments, and stipulation of responsibility of execution institutions when problems occur. Practices of solving petitions through collective actions of obligators shall be eliminated and strict enforcement of laws such as disturbance of official execution or compensation claims for expenses of execution by proxy must be carried out and intervention by the third parties must be intercepted. Mobilization of manpower by security companies shall be limited to people with prior registration who have acquired and finished qualification and education by security business law and before putting them on actual sites, it shall be obliged that execution plan with clear written records of working location, mission, and work rules must be submitted in advance to police station in charge and also they must be controlled to follow laws and statutes such as uniform and equipments. In addition, personal criminal responsibility for violent actions must be clearly stipulated and advanced securing soundness of security companies such as limits of service contracts with records of accidents is required. Order placement behaviors of special organizations under the pretext of rehabilitation business must be eradicated and companies with capability and strong intention of observation of laws must be able to receive orders by intercepting chains of contracts and sub-contracts. Issues of improvement countermeasure of social problem, living, and compensation including rights of residence and environment are excluded from the discussion.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.5_6
• /
• pp.307-318
• /
• 2003

In this paper, we design and construct a TMO object group that provides the guaranteed real-time services in the distributed object computing environments, and verify execution power of its model for the correct distributed real-time services. The TMO object group we suggested is based on TINA's object group concept. This model consists of TMO objects having real-time properties and some components that support the object management service and the real-time scheduling service in the TMO object group. Also TMO objects can be duplicated or non-duplicated on distributed systems. Our model can execute the guaranteed distributed real-time service on COTS middlewares without restricting the specially ORB or the of operating system. For achieving goals of our model. we defined the concepts of the TMO object and the structure of the TMO object group. Also we designed and implemented the functions and interactions of components in the object group. The TMO object group includes the Dynamic Binder object and the Scheduler object for supporting the object management service and the real-time scheduling service, respectively The Dynamic Binder object supports the dynamic binding service that selects the appropriate one out of the duplicated TMO objects for the clients'request. And the Scheduler object supports the real-time scheduling service that determines the priority of tasks executed by an arbitrary TMO object for the clients'service requests. And then, in order to verify the executions of our model, we implemented the Dynamic Binder object and the Scheduler object adopting the binding priority algorithm for the dynamic binding service and the EDF algorithm for the real-time scheduling service from extending the existing known algorithms. Finally, from the numerical analyzed results we are shown, we verified whether our TMO object group model could support dynamic binding service for duplicated or non-duplicated TMO objects, also real-time scheduling service for an arbitrary TMO object requested from clients.

• Journal of Korean Philosophical Society
• /
• v.145
• /
• pp.351-380
• /
• 2018

In every society, citizens must decide how to punish criminals, uphold the virtue of justice, and preserve the security of the community. In doing so, the members of society must ask themselves how they will punish those who carry out the most abhorrent of crimes. Many common responses to such a question is that death is an acceptable punishment for the most severe crimes. But to draw some theoretical distinction between a crime that deserves incarceration and a crime that is so heinous that it deserves capital punishment is subject to three errors. First, what possible line could be drawn? To decide on a particular number of deaths or to employ any standard would be arbitrary. Second, the use of a line would trivialize and undermine the deaths of those whose murderers fell below the standard. Third, any and all executions still are unjust, as the State should not degrade the institution of justice and dehumanize an individual who, although he or she has no respect for other human life, is still a living person. Simply put, all murders are heinous, all are completely unacceptable, and deserve the greatest punishment of the land; however, death as punishment is inappropriate. Also, while this article arrives at the conclusion that the death penalty is an inappropriate form of punishment, I have not offered an acceptable alternative that would appease those who believe capital offenders deserve a punishment that differs in its quality and severity. This is a burden that, admittedly, I am unable to meet. I finally conclude that the death penalty is unjustified retribution. This is the only claim that can effectively shift the intellectual paradigms of the participants in the debate. The continued use of the death penalty in society can only be determined and influenced by the collective conscience of the members of that society. As stated at the outset of this article, it is this essentially moral conflict regarding what is just and degrading that forms the backdrop for the past changes in and the present operation of our system of imposing death as a punishment for crime.

• (The)Study of the Eastern Classic
• /
• no.49
• /
• pp.393-430
• /
• 2012

In this paper, Bowen's family therapy from the perspective of the theory, narrative analysis of Korean novels, three Regis - tration Subsection.Bowen's description of the individual's behavior is causing problems within the family of anxiety and self-differentiation using two variables. The home if problems or conflicts expressed in these works, the figures showed that the undifferentiated ego at the center of the problem. Undifferentiated ego character felt extreme anxiety when their alienation from the relationship of the family-oriented jeokjangja Undifferentiated ego to relieve anxiety and to consolidate their position in the family relationship, so people were strongly united with each other. Sohyunseongnok, Chossisamdaerok series structures and patterns of a series of domestic problems occur, "mother and son, self-differentiation self undifferentiated undifferentiated ego and self-differentiation mother son, mother and self-ego undifferentiated undifferentiatedcan be subdivided into the son '.Established a symbiotic relationship between them and the U.S. established the presence of a pattern, healer, depending on the deployment method depends narrative. And is divided accordingly, self-determination and to the Son, a son, a son to be born again through repentance of the execution. Depending on the presence or absence healer than what was described on the deployment structure differs. Undifferentiated ego and self undifferentiated mother son family therapist within the family, the problem is solved. Son, a son to repent and be born again, and that caused the problem. Ego Undifferentiated mother and son self-differentiation, undifferentiated ego and self-differentiation mother son home my healer in the absence son committed suicide and executions each tragedy occurred. Personal level, but occurred at home conflicts or problems about this when analyzing the Three-generation stories of the Joseon Dynasty, by applying the theory of Bowen's Family Therapy view dimension in the relationship between family were. Toughness or desire of any one individual, but serious conflicts and problems within the family, the institution of the family itself is the root cause was. And was able to reveal aspects of narrative flow, depending on the presence or absence of family therapists vary significantly depending on his role in the rest of the family comfort and peace determines whether the Three-generation stories of the Joseon Dynasty, received an important narrative of men and axis formation. In a gauze-like situation of this problem in the Three-generation stories of the Joseon Dynasty, a personal desire or toughness in confined without the dimension of the entire family. And extrinsic psychological approach against the background of the wall in the main narrative of the sufferings of women of Korean novels, approached significance.

• Journal of the Daesoon Academy of Sciences
• /
• v.43
• /
• pp.67-102
• /
• 2022

The purpose of this study is to analyze the human rights found in the North Korean Constitution and their core problem by focusing on elements of human rights suggested by Daesoon Jinrihoe's doctrine of Haewon-sangsaeng (解冤相生 the Resolution of Grievances for Mutual Beneficence). Haewon-sangsaeng is seemingly the only natural law that could resolve human resentment lingering from the Mutual Contention of the Former World while leading humans work for the betterment of one another. Haewon-sangsaeng, as a natural law, includes the right to life, the right to autonomous decision-making, and duty to act according to human dignity (physical freedom, the freedom of conscience, freedom of religion, freedom of speech, freedom of press, etc.), the right to equal treatment in one's social environment, and the right to ensure the highest level of health through treatment. The North Korean Constitution does not have a character as an institutional device to guarantee natural human rights, the fundamental principle of the Constitution, and stipulates the right of revolutionary warriors to defend dictators and dictatorships. The right to life is specified so that an individual's life belongs to the life of the group according to their socio-political theory of life. Rights to freedom are stipulated to prioritize group interests over individual interests in accordance with the principle of collectivism. The right to equality and the right to health justify discrimination through class discrimination. The right to life provided to North Koreans is not guaranteed due to the death penalty system found within the North Korean Criminal Code and the Criminal Code Supplementary Provisions. The North Korean regime deprives North Koreans of their right to die with dignity through public executions. The North Korean regime places due process under the direction of the Korea Worker's Party, recognizes religion as superstition or opium, and the Korea Worker's Party acknowledge the freedoms of bodily autonomy, religion, media, or press. North Koreans are classified according to their status, and their rights to equality are not guaranteed because they are forced to live a pre-modern lifestyle according to the patriarchal order. In addition, health rights are not guaranteed due biased availability selection and accessibility in the medical field as well as the frequent shortages of free treatments.