• International Journal of Computer Science & Network Security
• /
• v.23 no.8
• /
• pp.159-167
• /
• 2023

Objective: • To detect black hole and warm hole attacks in wireless sensor networks. • To give a solution for energy depletion and security breach in wireless sensor networks. • To address the security problem using strategic decision support system. Methods: The proposed stackelberg game is used to make the spirited relations between multi leaders and multi followers. In this game, all cluster heads are acts as leaders, whereas agent nodes are acts as followers. The game is initially modeled as Quadratic Programming and also use backtracking search optimization algorithm for getting threshold value to determine the optimal strategies of both defender and attacker. Findings: To find optimal payoffs of multi leaders and multi followers are based on their utility functions. The attacks are easily detected based on some defined rules and optimum results of the game. Finally, the simulations are executed in matlab and the impacts of detection of black hole and warm hole attacks are also presented in this paper. Novelty: The novelty of this study is to considering the stackelberg game with backtracking search optimization algorithm (BSOA). BSOA is based on iterative process which tries to minimize the objective function. Thus we obtain the better optimization results than the earlier approaches.

• Journal of Practical Engineering Education
• /
• v.15 no.2
• /
• pp.321-330
• /
• 2023

In this paper, we propose a method of automatically creating an ontology by extracting various relationships between terms necessary for constructing an ontology of a specific domain. The extracted relationship is constructed as an ontology by encoding it into an axiomatic set in the structure of the ontology. To solve efficiently, we represent the search space of the set as an integer programming problem, and we reduce the matrix by using a simple reduction that eliminates rules that are not very helpful for optimization. In conclusion, this paper proposes a way to generalize patterns using given data, reduce search space while maintaining useful patterns, and automatically generate efficient ontology using extracted relationships by applying algorithms composed of structured ontology.

• Journal of Korea Society of Industrial Information Systems
• /
• v.6 no.3
• /
• pp.107-114
• /
• 2001

This paper describes Connected Digit Recognition with Considering Acoustic Feature in Korea. The recognition rate of connected digit is usually lower than word recognition. Therefore, speech feature parameter and acoustic feature are employed to make robust model for digit, and we could confirm the effect of Considering. Acoustic Feature throughout the experience of recognition. We used KLE 4 connected digit as database and 19 continuous distributed HMM as PLUs(Phoneme Like Units) using phonetical rules. For recognition experience, we have tested two cases. The first case, we used usual method like using Mel-Cepstrum and Regressive Coefficient for constructing phoneme model. The second case, we used expanded feature parameter and acoustic feature for constructing phoneme model. In both case, we employed OPDP(One Pass Dynamic Programming) and FSA(Finite State Automata) for recognition tests. When appling FSN for recognition, we applied various acoustic features. As the result, we could get 55.4% recognition rate for Mel-Cepstrum, and 67.4% for Mel-Cepstrum and Regressive Coefficient. Also, we could get 74.3% recognition rate for expanded feature parameter, and 75.4% for applying acoustic feature. Since, the case of applying acoustic feature got better result than former method, we could make certain that suggested method is effective for connected digit recognition in korean.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.10 no.1
• /
• pp.89-102
• /
• 2010

Future uncertainty on water demand caused by future climate condition and water consumption leads a difficulty to determine the reservoir operation rule for supplying sufficient water to users. It is, thus, important to operate reservoirs not only for distributing enough water to users using the limited water resources but also for preventing floods and drought under the unknown future condition. In this study, the reservoir storage is determined in the first stage when future condition is unknown, and then, water distribution to users and river stream is optimized using the available water resources from the first stage decision using 2-stage stochastic linear programming (2-SLP). The objective function is to minimize the difference between target and actual water storage in reservoirs and the water shortage in users and river stream. Hedging rule defined by a precaution against severe drought by restricting outflow when reservoir storage decreases below a target, is also applied in the reservoir operation rule for improving the model applicability to the real system. The developed model is applied in a system with five reservoirs in the Han River basin, Korea to optimize the multi-reservoir system under various future water demand scenarios. Three multi-purposed dams - Chungju, Hoengseong, and Soyanggang - are considered in the model. Gwangdong and Hwacheon dams are also considered in the system due to the large capacity of the reservoirs, but they are primarily for water supply and power generation, respectively. As a result, the water demand of users and river stream are satisfied in most cases. The reservoirs are operated successfully to store enough water during the wet season for preparing the coming drought and also for reducing downstream flood risk. The developed model can provide an effective guideline of multi-reservoir operation rules in the basin.

• Journal of Korea Water Resources Association
• /
• v.54 no.6
• /
• pp.443-452
• /
• 2021

The authors obtained the discrete hedging rule for a reservoir's water supply operation by applying mixed-integer programming to save more water by earlier rationing of water supply for a drought period. The 'water supply adjustment guide' is the current operational method applied to the multipurpose reservoirs, and it was derived by a simulation method. Applying the two rules to the Hapcheon multipurpose dam's reservoir simulations with the inflow record from 2003 to 2018, the water supply deficit occurred for the long drought from 2015 to 2018. Especially, the no water supply or intermittent water supply persisted for the second half of 2017. The water supply adjustment guide had the 'normal water supply recovery threshold on storage,' which resulted in the water supply being unavailable in July 2017; then, the water supply suspension occurred until January 2018, when the reservoir storage was greater than the normal water supply recovery threshold. Despite the storage increasing due to the inflow of water into the reservoir, the suspension occurrence needs to be improved in practice. The current water supply adjustment guide and the discrete hedging rule for a reservoir's water supply operation are useful and realistic as the reservoir operation guide, which shows the concept of reducing water supply during the drought phase as scientific figures. However, to improve the reservoir simulation results, which do not provide any or intermittent water for several months, it is necessary to increase the current water supply reduction for drought phases.

• The KIPS Transactions:PartB
• /
• v.10B no.6
• /
• pp.599-610
• /
• 2003

The Web plays an important role as information source and most Web applications are document-centric. A document implies an intention of its own designer, which can be utilized actively in automation of business processes. Through an understanding of an intrinsic nature of a document function, we can see a document as an executable computer program in a special case. For this approach, we propose an active document model that is composed of form, knowledge base, rules, and queries. For reusability and interoperability of a document, each component of the proposed model is uniformly represented in XML. The proposed active document not only plays a passive role in providing user interfaces, but also is a document that a machine can infer and process with reading a procedure of document processing and business rules intended by document designers. Through this approach, document can interact with machines and can cooperate with other applications. For applicability of our active document, we show a case study for the processing of purchase orders in a B2B e-Commerce system. This paper is expected to provide the framework of accelerating the development of intelligent applications through our approach regards form document as a computer program. In short, the proposed active document contains knowledge representation and processing method, consequently our document will play an important role in providing a concept of document of pursuing in Semantic Web.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.416-425
• /
• 1999

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.

• Science of Emotion and Sensibility
• /
• v.22 no.4
• /
• pp.15-30
• /
• 2019

The reduction of traffic accidents is a primary potential benefit of autonomous vehicles (AVs). However, the prevalence of AVs also arouses a key question: to what extent should a human wrest control back from AVs? Specifically, in an unavoidable situation of emergency, should an AV be able to decide between the safety of its own passengers and endangered pedestrians? Should AV programming include well-accepted decision rules about actionsto take in hypothetical situations? The current study (N = 103) examined individual/situational variables that could perform critical decision-making roles in AV related traffic accidents. The individual variable of attitudes toward AVs was assessed using the Self-driving Car Acceptance Scale. To investigate situational influences on decisional processes, the study's participants were assigned to one of two groups: the achievement value was activated in one group and the benevolence value was triggered in the other through the use of a sentence completion task. Thereafter, participants were required to indicate who should be protected from injury: the passengers of the concerned AV, or endangered pedestrians. Participants were also asked to record the extent to which they intended to buy an AV programmed to decide in favor of the greater good according to Utilitarian principles. The results suggested that participants in the "achievement value: driver perspective" groupexpressed the lowest willingness to sacrifice themselves to save several pedestrians in an unavoidable traffic accident. This group of participants was also the most reluctant to buy an AV programmed with utilitarian rules, even though there were significant positive relationships between members' acceptance of AVs and their expressed intention to purchase one. These findings highlight the role of the decisional processes involved in the "achievement value" pertaining to AVs. The paper finally records the limitations of the present study and suggests directions for future research.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.15 no.6
• /
• pp.2026-2036
• /
• 1991

An expert system is developed which can diagnose the causes and remedies of the failures of power transmission gears. The basic components of the expert system are knowledge base, inference engine, and working memory. The knowledges in knowledge base are classified into the knowledges for determining the failure types and for diagnosis of causes and remedies of the failures. The former is represented hierarchically into the main category of eleven groups by rules and the sub category of twenty four groups by facts, while the later is represented by facts according to the each group of knowledges. In the inference engine some considerations are implemented, i.e., the backward chaining method and depth first search to determine the category of the failures, the meta-knowledges to shorten the search space, the certainty factor to evaluate the reliability of result, and the unification strategy to diagnose the causes and remedies of the failures. The working memory is established to hold the results during inference temporarily. In addition, knowledge acquisition facility, explanation facility, and user interface are included for the usefulness of user. This expert system is written with the PROLOG programming language on IBM-PC compatible computer operated by MS-DOS and be executed alone.

• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.29-39
• /
• 2012

As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A${\otimes}$B shows two processes, A and B, carried out one after another. A&B is linked to an internal indeterminate, allowing an observer to select either A or B. A${\oplus}$B is an external indeterminate, and as such, an observer knows that either A or B holds true, but does not know which process will be true. A ${\wp}$ B signifies parallel computation of process A and process B; linear negative exhibits synchronization, that is, in order for the process A to be carried out, both A and $A^{\bot}$ have to be accomplished simultaneously. Since the field of linear logic is not very active in Korea at present, this paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.