• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.29B no.1
• /
• pp.18-25
• /
• 1992

In this paper, a rule checker which aids in composing a consistent knowledge base by checking redundancies and inconsistencies in a knowledge base is proposed. The proposed algorithm checks the rules by representing the rule connections as a network . The standard model of the rules adapted in this algorithm is in the Conjunctive Normal Form which includes NOT's, and rules of conventional expert system can be checked by converting them into the standard form by a rule form at converter. When compared with Ginsberg's KB-reducer which is conceptually most similar to the proposed algorithm among existing methods,it is shown by a computer simulation that with 360 rules, the checking time is three times faster and the rate increased as the number of rules increased, but the total memory requirement of the proposed agorithm is 1.2 times larger. The proposed algorithm has further advantages in that it can check circular rule chains and can find the paths of the redundant and inconsistent rules.

• Journal of Radiation Protection and Research
• /
• v.10 no.2
• /
• pp.89-95
• /
• 1985

An alternative estimator for dose equivalent was derived. The original LET distribution concept was transformed into a charged particle fluence spectrum concept along with the definition of an average quality factor named slowing-down averaged quality factor by adopting the continuous slowing down approximation. With the alternative estimator, the dose equivalent delivered into a receptor located in a given radiation field can be directly and conveniently estimated in a Monte Carlo procedure. The slowing-down averaged quality factors for the energy range below 10 MeV were evaluated and tabulated for the charged particles which may be generated from the interactions of neutron with the nuclei composing soft tissue.

• Advances in aircraft and spacecraft science
• /
• v.2 no.3
• /
• pp.233-248
• /
• 2015

Frame structures have been traditionally represented as an assembling of components, these last described within the beam theory framework. In the case of frames involving complex components in which classical beam theory could fail, 3D descriptions seem the only valid route for performing accurate enough analyses. In this work we propose a framework for frame structure analyses that proceeds by assembling the condensed parametric rigidity matrices associated with the elementary beams composing the beams involved in the frame structure. This approach allows a macroscopic analysis in which only the condensed degrees of freedom at the elementary beams interfaces are considered, while fine 3D parametric descriptions are retained for local analyses.

• Journal of Fisheries and Marine Sciences Education
• /
• v.17 no.3
• /
• pp.373-382
• /
• 2005

The aim of this study is to analyze critically the meaning of 'good instruction'. In this article, the researchers emphasized the activities of teaching and learning as two essential elements of good instruction. The antecedent studies on good instruction have limitations in that they regarded good instruction as an instrument rather than valuable activity itself. This study consisted of three parts. Firstly, the researchers tried to clarify the meaning of good instruction underlying antecedent studies on instruction. Secondly, the researchers tried to analyze characteristics of good insturction suggested by antecedent studies. Thirdly, the researchers attempted to define a new meaning of good instruction. A new meaning of good instruction should be defined in accordance with characteristics of three commonplaces composing instruction such as teaching activity, learning activity and good interactions between teacher and learner. Good instruction can be defined as followings. Good instruction means an instructional activity which can change the student's meanings of experience as a result of interactions among teacher, learner, and educational materials.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.14 no.24
• /
• pp.7-13
• /
• 1991

Recently, in FMS composing of various automatic equipments, the machines with lower operating costs, and with higher operating costs and replacement costs resulting from deterioration have been appearing successively as a result of rapidly advances in technology. "Control Limit Policy" [1] by using Markov decision policy, a kind of optimal economic replacement decision, well reflects and represents this environment. In this paper, it is reviewed that the decision method of the forecasted replacement alternatives in planning horizon under technological advances is derived. The proposed method is applied to a numerical example and some characteristics are examined by sensitivity. It is clarified that the method is relatively insensitive to changes of parameters at the present decision. decision.

• The Pure and Applied Mathematics
• /
• v.2 no.2
• /
• pp.115-126
• /
• 1995

Let A be the class of univalent functions f(z)=z＋${\alpha}$$_2$z$^2$＋${\alpha}$$_3$z$^3$＋…(1.1) which are analytic in the unit disk $\Delta$= {z：│z│＜1}. Let S＊(p) be the subclass of A composing of functions which are starlike of order $\rho$. A function f(z) belonging to the class A is said to be starlike of order $\rho$ ($\rho$(equation omitted) 0) if and only if z$\^$-l/ f(z) (equation omitted) 0 (z$\in$$\Delta$) and (equation omitted (1.2).(omitted)

• Proceedings of the Microbiological Society of Korea Conference
• /
• 2000.10a
• /
• pp.92-99
• /
• 2000

In this study biofuel cell is classified into 5 generation fuel cell system based on structural and structural difference. I optionally named the biofuel cell with electron mediators prototype, that with electrochemical active bacterium 2nd generation, that with modified electrode with NR 3rd generation, that with catalytic active electrode 4th generation, and that using air as a catholyte instead of ion selective membrane and cathode, respectively. The electricity production was compared among 5 types biofuel cell and was confirmed to be $50-100\%$ higher in 4th and 5th generation than in 1st to 3rd generation.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2004.11a
• /
• pp.105-108
• /
• 2004

In general, the nonlinear behavior of composite structures composing of steel and concrete is analyzed on the basis of the assumption of the perfect bond actions in steel-concrete interface in which the interface slip or separation is not allowed. The assumption is based on the fact that the full interface bond behavior is provided with the mechanical connectors of studs. However, since the number and spacing of the studs are determined by the stress resultants calculated in the interface area, the interface analysis is required to evaluate the stress resultants. This paper describes the nonlinear steel-concrete interface behavior considering the two interface failure mechanisms of slip and separation. Elastoplastic constitutive relation is developed. thru the formulation framework using the two energy dissipation mechanisms. As the result, the steel plate push-out tests sandwitched between concrete blocks are analyzed and compared with the test results with which the good agreements are observed.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.11a
• /
• pp.957-960
• /
• 2006

In order to predict the accumulated damages by cyclic freeze-thaw, a regression analysis by the Response Surface Method (RSM) is used. RSM has merits when the other probabilistic simulation techniques can not guarantee the convergence of probability of occurrence or when the others can not differentiate the derivative terms of limit state functions, which are composed of random design variables in the model of complex system or the system having higher reliability. For composing limit state function, the important parameters for cyclic freeze-thaw-deterioration of concrete structures, such as water to cement ratio, entrained air pores, and the number of cycles of freezing and thawing, are used as input parameters of RSM. The predicted results of relative dynamic modulus and residual strains after 300 cycles of freeze-thaw for specimens show very good agreements with the experimental results. The RSM result can be used to predict the probability of occurrence for designer specified critical values. Therefore, it is possible to evaluate the life cycle management of concrete structures considering the accumulated damages by the cyclic freeze-thaw by the use of proposed prediction method.

• The Korean Journal of Ecology
• /
• v.21 no.5_3
• /
• pp.723-733
• /
• 1998

Restoration to improve the ecological quality of Mt. Nam was explored in a viewpoint of restoration in both landscape and ecosystem levels. A restoration plan in landscape level was based on the result on the land-use pattern in Mt. Nam including its surrounding area and that in ecosystem level on the ecological quality of each landscape element. A plant to construct the green network, which extending from Mt. Nam to the Han river through the Yongsan family park and through the Eungbong urban park was prepared as a restoration project in landscape level to improve the ecological quality of Mt. Nam as an ecological park. On the other hand, a plan for restoration and creation of biotop as a restoration project in ecosystem level was also prepared to improve the ecological quality of each green area consisting green network. Green areas composing green network include keystone green area (Mt. Nam), green stations (Yongsan family park, Eungbong urban park, and the han river citizen's park), and green pathway (or ecological corridor) connecting those green areas.