• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.1011-1020
• /
• 2008

The problem of finding Cramer rule for solutions of some restricted linear equation Ax = b has been widely discussed. Recently Wang and Qiao consider the following more general problem AXB = D, $R(X){\subset}T$, $N(X){\supset}\tilde{S}$. They present the solution of above general restricted matrix equation by using generalized inverses and give an explicit expression for the elements of the solution matrix for the matrix equation. In this paper we re-consider the restricted matrix equation and give an equivalent matrix equation to it. Through the equivalent matrix equation, we derive condensed Cramer rule for above restricted matrix equation. As an application, condensed determinantal expressions for $A_{T,S}^{(2)}$ A and $AA_{T,S}^{(2)}$ are established. Based on above results, we present a method for computing the solution of a kind of restricted matrix equation.

• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.5
• /
• pp.624-629
• /
• 1998

Evolutionary computation techniques can solve search problems using simulated evolution based on the ‘survival of the fittest’. Recently, the genetic programming (GP) which evolves computer programs using the genetic algorithm was introduced. In this paper, the genetic programming technique is used in order to design a rule based controller consisting of condition-action rules for an unknown system. No a priori knowledge about the structure of the controller is needed. Representation of a solution, functions and terminals in GP are analyzed, and a method of constructing a fuzzy logic controller using the obtained rule based controller is described. A simulation example using a nonlinear system shows the validity and efficiency of the proposed method.

• Structural Engineering and Mechanics
• /
• v.3 no.2
• /
• pp.145-162
• /
• 1995

A damped trapezoidal rule method for numerical time-integration is presented, and its application in analyses of dynamic response of damped structures is discussed. It is shown that the damped trapezoidal rule method has features that make it an attractive approach for applications in dynamic analyses of structures. Accuracy and stability analyses are developed for the damped single-degree-of-freedom systems. Error analyses are also performed for the Newmark beta method and compared with the damped trapezoidal rule method as a basis for discussion of the relative merits of the proposed method. The procedure is fully explicit and easy to implement. However, since the method is an explicit method, it is conditionally stable. The methodology is applied to several example problems to illustrate its strengths, limitations and inherent simplicity.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1054-1057
• /
• 1993

A direct method of fuzzy inference and a fuzzy algorithm with learning function are applied to the steam generator level control of nuclear power plant. The fuzzy controller by use of direct inference can control the steam generator in the entire range of power level. There is a little long response time of fuzzy direct inference controller at low power level. The rule base of fuzzy controller with learning function is divided into two parts. One part of the rule base is provided to level control of steam generator at low power level (0%∼30% of full power). Response time of steam generator level control at low power level with this rule base is shown generator level control at low power level with this rule base is shown to be shorter than that of fuzzy controller with direct inference.

• Journal of the military operations research society of Korea
• /
• v.26 no.1
• /
• pp.125-144
• /
• 2000

Occasionally, there are combat situations which one or both forces can´t terminate the combat using selected combat termination rule according to given relationship between ratio of attrition rate coefficient and threshold values. In this study, we classify the situations that one or both forces can´t terminate the combat with selected combat termination rule into four conditions. Condition${\circled1}$ is the situation which both Blue and Red can terminate the combat using all selected combat termination rules. condition${\circled2}$ and condition${\circled3}$ are those which neither Blue or Red can terminate the combat using selected proportional decision rule, and condition${\circled4}$ is that which both Blue and Red can´t terminate the combat using selected proportional decision rule. We analyze the effect of combat termination rules on parity number, final combat power, and combat durations for each conditions. Also, we propose the method to apply the analyzed effect of combat termination rules to combat analysis.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.10a
• /
• pp.174-174
• /
• 1998

• Nuclear Engineering and Technology
• /
• v.26 no.3
• /
• pp.355-366
• /
• 1994

The USNRC issued a revised ECCS rule that allows the use of best estimate computer codes for safety analysis. The rule also requires an estimation of uncertainty in calculated system response when applying the best estimate computer codes. A practical realistic evaluation methodology to evaluate the ECCS performance that satisfies the requirements of the ECCS rule has been developed and this paper describes the application of new realistic evaluation methodology to large break LOCA for, the demonstration of the new methodology. The computer code RELAP5/MOD3/KAERI, which was improved from RELAP5/MOD3.1, was used as the best estimate code in the application. The uncertainty of the code was evaluated by assessing several separate and integral effect tests, and for the application to actual plant Kori 3 & 4 was selected as the reference plant. Response surfaces for blowdown and reflood PCTs were generated from the results of the sensitivity analyses and probability distribution functions were established by random sampling or Monte-Carlo method for each response surface. Final uncertainties were quantified at 95% probability level and safety margins for large break LOCA were discussed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.2
• /
• pp.488-494
• /
• 2013

For the activeness and autonomy of a sensor network, the efficient migration method of a mobile agent and the consistent naming services are the required components of a sensor network. Accordingly, this paper presented the implementation of backward migration of an active rule mobile agent applying the naming method based on RMI that used the meta_table including the informations about the components of a sensor network. This study implemented based on the extension of the forward migration[12], and the results of the various experiments present the efficacy of mobile agent middleware system and the possibility of constructing efficient sensor network application environment. And, the results of this study are able to enhance the adaptability on dynamic changes of environment in sensor network application development.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.3 no.2
• /
• pp.133-137
• /
• 2003

Various bioinformatics tools for biological data processing have been developed and most of them are available in public. Most bioinformatics works are carried out by a composite application of those tools. Several integration approaches have been proposed for easy use of the tools. This paper proposes a new multi agent system to integrate bioinformatics tools in the perspective of workflow since the composite applications of tools can be regarded as workflows. For the easy integration, the proposed system employs wrapper agents for existing tools, uses XML-based messages in the inter-agent communication, and agents are supposed to extract necessary information from the received messages. This allows new tools to be easily added on the integration framework. The proposed method allows various control structures in workflow definition and provides the progress monitoring capability of the on-going workflows. In particular, agents in this system have the rule-based architecture which allows the defined rule set to be a special role agent. This feature provides fast and flexible agent development to aid in managing the complexity of bioinformatics application. This system has been partially implemented and has been proven to be a viable implementation for workflow-based bioinformatics tool integration.

• Journal of Arbitration Studies
• /
• v.14 no.1
• /
• pp.29-60
• /
• 2004

Recently stand-by credits are using as surety devices in various global business transactions including sale of goods. Stand-by credits have lots of merits but simultaneously have high possibility of improper demand by the beneficiary due to the characteristics of the documents required. So so-called fraud rule has developed as a solution to the improper demand in letter of credit transactions. And the actual way of the fraud rule is the injunction by the competent court. The purpose of this article is to examine the applicability of the injunction in stand-by credit transactions by means of case studies. For this purpose, the author examined the concept of the injunction, necessity of the injunction in stand-by credit transactions and the cases of injunction granted and injunction denied. Firstly, the courts have legal standard of the application of injunction due to the legislation of the relative articles in the United Nations Convention on Independent Guarantees and Stand-by Letters of Credit and the Uniform Commercial Code. Secondly, the courts have taken a negative attitude granting injunction in order to observe the independence principle. Thirdly, the courts have a tendency to grant injunction when the demand has no conceivable basis and the applicant will suffer irreparable injury without injunction. Finally, like the saying 'prevention is the best cure', the applicant always pays attention with reasonable care before improper demand by the beneficiary.