• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• Journal of the Korean Institute of Intelligent Systems
• /
• v.9 no.4
• /
• pp.420-425
• /
• 1999

The maximum demand controller is an electrical equipment installed at the consumer side of power system for monitoring the electrical energy consumed during every integrating period and preventing the target maximum demand (MD) being exceeded by disconnecting sheddable loads. By avoiding the peak loads and spreading the energy requirement the controller contributes to maximizing the utility factor of the generator systems. It results in not only saving the energy but also reducing the budget for constructing the natural base facilities by keeping thc number of generating plants ~ninimumT. he conventional MD controllers often bring about the large number of control actions during the every inteyating period and/or undesirable loaddisconnecting operations during the beginning stage of the integrating period. These make the users aviod the MD controllers. In this paper. fuzzy control technique is used to get around the disadvantages of the conventional MD control system. The proposed MD controller consists of the predictor module and the fuzzy MD control module. The proposed forecasting method uses the SOFM neural network model, differently from time series analysis, and thus it has inherent advantages of neural network such as parallel processing, generalization and robustness. The MD fuzzy controller determines the sensitivity of control action based on the time closed to the end of the integrating period and the urgency of the load interrupting action along the predicted demand reaching the target. The experimental results show that the proposed method has more accurate forecastinglcontrol performance than the previous methods.

• The Journal of Korean Association of Computer Education
• /
• v.22 no.1
• /
• pp.87-98
• /
• 2019

It is easy to assume that contradictions are logically incorrect or empty sets that have no solvability. This dilemma, which can not be done, is difficult to solve because it has to solve the contradiction hidden in it. Paradoxically, therefore, contradiction resolution has been viewed as an innovative and creative problem-solving. TRIZ, which analyzes the solution of the problem from the perspective of resolving contradictions, has been used for people rather than computers. The Butterfly model, which analyzes the problem from the perspective of solving the contradiction like TRIZ, analyzed the type of contradiction problem using symbolic logic. In order to apply an appropriate concrete solution strategy for a given contradiction problems, we designed the Butterfly algorithm based on decision making tree. We also developed a visualization tool based on Python tkInter to find concrete solution strategies for given contradiction problems. In order to verify the developed tool, the third grade students of middle school learned the Butterfly algorithm, analyzed the contradiction of the wooden support, and won the grand prize at an invention contest in search of a new solution. The Butterfly algorithm developed in this paper systematically reduces the solution space of contradictory problems in the beginning of problem solving and can help solve contradiction problems without trial and errors.

• Journal of Environmental Impact Assessment
• /
• v.28 no.2
• /
• pp.141-151
• /
• 2019

Korea has passed the Act on the Integrated Control of Pollutant-Discharging Facilities in 2015, and the integrated environmental management under the BAT standard is underway. To summarize the nature of integrated environmental management, it is the regulation by the integration of the management of the multi-pollutant source and the technical standard of BATs. In general, in environmental economics, regulation-based on technical standards are known to be inefficient. This paper attempts to evaluate the efficiency of BAT standards from an economic point of view. A simple multi-pollutant model demonstrates that the inefficiency of the environmental tax with imperfect information in a single pollutant situation is amplified under multi-pollutant conditions. The simultaneous introduction of BAT and IPPC can be partially explained by this logic. It is also highlighted by the strengthening of BAT standards by EU, as a countermeasure to the potential deterioration of air quality caused by the change of effective environmental taxes accompanying the fuel and emission price changes.

• Management & Information Systems Review
• /
• v.38 no.2
• /
• pp.83-103
• /
• 2019

Supply chain management(SCM) requires efforts to search for methods for mutual growth with partner companies and to maintain continuous cooperative relations in order to gain a competitive edge. Because information competencies play a big role within the supply chain, it is essential to examine the relationship of information sharing and partnership quality that can affect information competency. In order to maintain continuous business relations between partner companies, it is necessary to identify the obstacles with partner companies resulting from the imbalance of power within a supply chain and to take on a strategic approach for effectively managing such obstacles. Therefore, there is a significant need to discuss strategic approach methods to enable the logic of mutual growth through the CSV that is worth learning from the partner company and the attributes of non-mediated power. CSV will be reviewed from various aspects as a new management paradigm in the future. This study aims at suggesting a continuous growth model for companies by solving social problems through the integration of CSV and the concept of non-mediated power to advance the information competencies of SCM. A total of 142 copies of survey forms for SCM Implementation Companies were using the PLS structural equation modeling for an analysis, and the following are the findings. Results of this study showed that both CSV and non-mediated power had significant impact on information sharing and partnership qualities, and the conclusion that it is possible to enhance information competency through information sharing and partnership quality. Based on this, this study proposes the implication that it is necessary to elevate awareness of CSV and non-mediated power as variables for the coexistence of SCM participating companies.

• The Journal of Korean Philosophical History
• /
• no.58
• /
• pp.139-160
• /
• 2018

'Gyeokmulchiji' (格物致知), coming to knowledge based on the investigation of things) is a starting point for any study and politics of Confucianism. Much emphasis was placed on the conception of 'Gyeokchi' as a root of every learning and adminstration in the early Joseon period. As Confucianism established itself as a salient value system of the government, a mighty change and paradigm shift happened in its governmental system which had depended upon Buddhism up to that time. Thus, Confucian statecraft also stood out. Daehakyeonui (大學衍義) was preached as a model of regal learning and politics in the governmental agon, and its conceptual starting point was 'Gyeokchi.' The various interpretations and arguments about this concept shows the process in which Zhu Xi NeoConfucianism was deepened into Neo-Confucianism of Joseon's own. This conception reached the essence of 'Li' beyond the problem of cognitive subject and object, and provided a watershed which divided Giho (畿湖) and Yeongnam (嶺南) schools. Confucian method of study, which incorporates knowledge and practice, has great implications for our times when there are many voices of concern over humanities. The enhancement of universities and humanities is much needed to adjust the direction and pace of scientific technology, which is now entirely left with the logic of market. Accordingly, it is quite urgent for us to examine our object of learning again, which should integrate 'Sugi' (修己, cultivating oneself) with 'Chi-in' (治人, governing others), and knowledge with practice.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.37 no.6
• /
• pp.172-177
• /
• 2023

In order to deduce the pathogenic factor(PF) diagnosis logic of underlying in pattern identification of Korean medicine, 2,072 cases of DSOM(Diagnosis System of Oriental Medicine) data from May 2005 to April 2022 were collected and analyzed by means of decision tree model(DTM). The entire data were divided into training data and validation data at a ratio of 7:3. The CHAID algorithm was used for analysis of DTM, and then validity was tested by applying the validation data. The decision rules of items and pathways determined from the diagnosis data of Qi Deficiency, Blood Deficiency, Yin Deficiency and Yang Deficiency Pathogenic Factor of DSOM were as follows. Qi Deficiency PF had 7 decision rules and used 5 questions: Q124, Q116a, Q119, Q119a, Q55. The primary indicators(PI) were 'lack of energy' and 'weary of talking'. Blood deficiency PF had 7 decision rules and used 6 questions: Q113, Q84, Q85, Q114, Q129, Q130. The PI were 'numbness in the limbs', 'dizziness when standing up', and 'frequent cramps'. Yin deficiency PF had 3 decision rules and used 2 questions: Q144 and Q56. The PI were 'subjective heat sensation from the afternoon to night' and 'heat sensation in the limbs'. Yang deficiency PF had 3 decision rules and used 3 questions: Q55, Q10, and Q102. The PI were 'sweating even with small movements' and 'lack of energy'. Conclusively, these rules and symptom information to decide the Qi·Blood·Yin·Yang Deficiency PF would be helpful for Korean medicine diagnostics.

• Journal of Chest Surgery
• /
• v.36 no.8
• /
• pp.545-558
• /
• 2003

Adult respiratory distress syndrome (ARDS) is of particular interest because of its severity of the associated lung injury and its high mortality. However, the pathophysiologies of ARDS in infant and childhood groups are still not well clarified inspite of many previous investigations. To investigate the time course of pathophysiology of ARDS in infant and childhood groups, this study was designed with experimental endotoxin-induced ARDS model using young rabbits (8 week-old). Material and Method: Rabbits were divided into the control group (n=8) and the endotoxin-treated group (n=32). The endotoxin group was subdivided into 4 groups by the sampling times as 3, 6, 12 and 24 hr-groups (G- $E_{3,6,12,24,}$ each n=8). The experimental ARDS was made by a bolus injection of endotoxin (Escherichia coli serotype 055 : B5, 0.50 mg/kg) via rabbit ear vein. For evaluation of the hematologic and inflammatory markers, and superoxide dismutase (SOD) concentrations, the blood samples were taken from the heart. The bronchoalveolar lavage fluid (BALF) were obtained for analysis of the leukocytes and protein concentration. With biopsy of the lung, histopathologic changes of the lung were also evaluated. Result: In the endotoxin groups, significant leukopenia (owing to pancytopenia) occurred in 3 and 6-hr groups, which was followed by significant leukocytosis (owing to neutrophilia) in the 12 and 24-hr groups (p<0.05). Serum levels of tumor necrosis factor-$\alpha$ (TNF-$\alpha$) and interleukin-1 $\beta$ (IL-1 $\beta$) in the endotoxin groups were higher than those of control group (p<0.05). Serum levels of superoxide dismutase (SOD) of G- $E_{3}$ and G- $E_{6}$ were higher than those of control group, whereas those of G- $E_{12}$ were lower than those of control groups (p<0.05). Total leukocyte counts and protein con-centrations in BALF were significantly elevated in the endotoxin groups compared to the control group (p < 0.05). The hemorrhagic pattern of BALF showed occurred in the endotoxin groups. The endotoxin groups (in G- $E_{6}$) had severe infiltration of inflammatory cells (lymphocyte and monocyte) in the pulmonary interstitium and parenchyma, migrations of neutrophil and eosinophil into alveolar spaces and interstitial widening, which are the evidences of acute lung injury. In the endotoxin groups, there were significant positive correlations between the BALF findings and the immunologic markers (TNF-$\alpha$, IL-1$\beta$, SOD) (p<0.05). Conclusion: Severe acute lung injury occurred in all the endotoxin-treated rabbits. The pathophysiologic findings were so progressive until 6-hr by time dependant pattern, and then recovered slowly, Variable hematologic, immuno-logic, and pathologic factors were well correlated in the development and progression of endoxin-induced lung injury. The pathophysiologic responses were sensitive and rapid in young rabbit Young rabbit seemed to be a useful experimental animal model for infant and childhood groups.roups.

• Journal of Distribution Research
• /
• v.17 no.2
• /
• pp.1-28
• /
• 2012

I. Introduction : The purpose of this study is to test empirically hypothetical causality among constructs used in previous studies to build the model of relational market behavior on customers' participation and consumer-brand relationship after introducing theories of relationship marketing, loyalty program, consumer-brand relationship, customers' participation in service marketing as previous studies with regard to relational market behavior, which Bagozzi(1995) and Peterson(1995) commented on constructs and definition suggested by Sheth and Parvatiyar (1995). For this purpose, loyalty program by the service provider, customers' participation and consumer-brand relationship as preceding variables explain relational market behavior defined by Sheth and Parvatiyar(1995). This study proposes that loyalty program as a tool of relationship marketing will be effective in that consumers' participation in marketing relationship results in a narrow range of choice(Sheth and Parvatiyar, 1995) because consumers think that their participation motive result in benefits(Peterson, 1995). Also, it is proposed that the quality of consumer-brand relationship explain the performance of relationship as well as the intermediary effect because the loyalty program could be evaluated based on relationship with customers. We reviewed the variables with regard to performance of relationship based on relation maintain in marketing literature, and then tested our hypotheses related to several performance variables including loyalty and intention of relation maintain based on the previous studies and constructs(Bendapudi and Berry, 1997 ; Bettencourt, 1997 ; Palmatier, Dant, Grewal and Evans, 2006 ; You Jae Yi and Soo Jin Lee, 2006). II. Study Model : Analyses about hypothetical causality were proceeded. The marketing effect of loyalty program on relational market behavior was empirically tested in study regarding a service provider. The research model in according to the path hypotheses (loyalty program ${\rightarrow}$ customers' participation ${\rightarrow}$ consumer-brand relationship ${\rightarrow}$ relational market behavior and loyalty program ${\rightarrow}$ consumer-brand relationship, and loyalty program ${\rightarrow}$ relational market behavior and customers' participation ${\rightarrow}$ consumer-brand relationship, and customers' participation ${\rightarrow}$ relational market behavior) proceeded as an activity for customer relation management was suggested. The main purpose of study is to see if relational market behavior could be brought as a result of developing relationship between consumers and a corporate into being stronger and more valuable when a corporate or a service provider try aggressively to build the relationship with customers (Bettencourt, 1997; Palmatier, Dant, Grewal and Evans, 2006; Sheth and Parvatiyar, 1995). III. Conclusion : The results of research into the membership fitness club, one of service areas with high level of customer participation (Bitner, Faranda, Hubbert and Zeithaml, 1997; Chase, 1978; Kelley, Donnelly, Jr. and Skinner, 1990) are as follows: First, causalities in according to path hypotheses were tested, after the preceding variables affecting relational market behavior and conceptual frame were suggested. In study, all hypotheses were supported as expected. This result confirms the proposition suggested by Sheth and Parvatiyar(1995), who claimed that intention of consumer and corporate to participate in marketing relationship brings high level of marketing productivity. Also, as a corporate or a service provider try aggressively to build relationship with customers, the relationship between consumers and a corporate can be developed into stronger and more valuable one (Bettencourt, 1997; Palmatier, Dant, Grewal and Evans, 2006). This finding supports the logic of relationship marketing. Second, because the question regarding the path hypothesis of consumer-brand relationship ${\rightarrow}$ relational market behavior are still at issue, the further analyses were conducted. In particular, there existed the mediating effects of consumer-brand relationship toward relational market behavior. Also, multiple regressions were conducted to see if which one strongly influences relational market behavior among specific question items with regard to consumer-brand relationship. As a result, the influence between items composing consumer-brand relationship and ones composing relational market behavior was different. Among items composing consumer-brand relationship, intimacy was an influence of sustaining relationship, word of mouth, and recommendation, intimacy and interdependence were influences of loyalty, intimacy and self-connection were influences of tolerance and advice. Notably, commitment among items measuring consumer-brand relationship had the negative influence with relational market behavior. This means that bringing relational market behavior is not consumer-brand relationship without personal commitment, but effort to build customer relationship like intimacy, interdependence, and self-connection. This finding confirms the results of Breivik and Thorbjornsen(2008). They reported that six variables composing the quality of consumer-brand relationship have higher explanation in regression model directly affecting performance of consumer-brand relationship. As a result of empirical analysis, among the constructs with regard to consumer-brand relationship, intimacy(B=0.512), interdependence(B=0.196), and quality of partner(B=0.153) had the effects on relation maintain. On the contrary, self-connection, love and passion, and commitment had little effect and did not show the statistical significance(p<0.05). On the other hand, intimacy(B=0.668) and interdependence(B=0.181) had the high regression estimates on word of mouth and recommendation. Regarding the effect on loyalty, explanation level of the model was high(R2=0.515), intimacy(0.538), interdependence(0.223), and quality of partner(0.177) showed the statistical significance(p<0.05). Furthermore, intimacy(0.441) had the strong effect as well as self-connection(0.201) and interdependence (0.163) had the effect on tolerance and forgive. And these three variables showed effects even on advice and suggestion, intimacy(0.373), self-connection(0.270), interdependence (0.155) respectively. Third, in study with regard to the positive effect(loyalty program ${\rightarrow}$ customers' participation, loyalty program ${\rightarrow}$ consumer-brand relationship, loyalty program ${\rightarrow}$ relational market behavior, customers' participation ${\rightarrow}$ consumer-brand relationship, customers' participation ${\rightarrow}$ relational market behavior, consumer-brand relationship ${\rightarrow}$ relational market behavior), the path hypothesis of customers' participation ${\rightarrow}$ consumer-brand relationship, was supported. The fact that path hypothesis of customers' participation ${\rightarrow}$ consumer-brand relationship was supported confirms assertion by Bitner(1995), Fournier(1994), Sheth and Parvatiyar(1995) about consumer relationship to participate in marketing relationship.

• Korean journal of communication and information
• /
• v.46
• /
• pp.511-555
• /
• 2009

Media-related regulations can be classified into two categories; regulations of individual media contents and regulations regarding the entry to and withdrawal from a certain field. In this dissertation, ownership regulations are regarded as legal and political measures so as to prevent the monopoly and oligopoly of public opinion, and to secure its diversity. Every country has its own regulation model according to its particular media environment. Korea too is obliged to actively respond to its environmental changes, at the same time vitalizing the media industry and protecting consumers' rights and interests. Strong political intentions to protect the public interest is necessary when it comes to media regulation policies, especially in the circumstances that public interest is an industrial priority. As the convergence of broadcasting and telecommunications is leading to a major shift in the media industry, the regulation of cross-media ownership is an issue involving potential conflicts among media-owners, non-governmental organizations and the authorities concerned, depending on their various viewpoints regarding the media industry. In this paper, an attempt was made to search necessity of redefining 'public interest', which is the logic behind the restriction of cross-media ownership, and to reconceptualize issues on the centralization and diversity of media. First, an examination of the actual conditions of newspaper companies was carried out in order to reinvestigate domestic cross-media ownership issues, which is represented by the cross-ownership issue of newspapers and broadcasting stations. Next, the dilemma of policies stimulated by the fusion of media was discussed based on cross-media ownership restrictions, and the need for efficient conflict control was suggested. Finally, proposals on the independency and public confidence of media-related policy-making authorities, the rationalization of regulation models, an itemized discussion on cross-media ownership regulation issues, the elaboration of measures for a balanced development among media were made. It could be found that a number of foreign countries were still facing challenges to prevent monopoly and oligopoly of the public opinion and the industry. A solution to settle disagreements about the dilemma of the media industry, including the cross-media ownership regulation issues, must be arranged on the grounds of 'mutual respect of public interest and industrial interest', In Korea, an ease on the ownership regulations adapting to the change in the media industry may be considered, however the softening of the cross-media ownership regulations must be approached with the utmost care. Paradoxically Relieving cross-media ownership regulations may be considered the foundation of a richer field of journalism, where there is no need for concern over the monopoly and oligopoly of public opinion.