• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.23 no.6 s.165
• /
• pp.931-942
• /
• 1999

This paper develops a 3 DOF vehicle model which includes lateral, roll and yaw motion to study a 4WS vehicle. The model is used for the simulation of a 4WS vehicle behavior, and to derive a control algorithm for rear wheel steering. This paper uses a feedforward plus feedback control scheme to compute a rear wheel steering angle. The feedforward control scheme for computing the first rear wheel steering angle uses a gain which is acquired by multiplying a proper value on a gain to maintain a zero sideslip angle. The feedback control scheme for computing the second rear wheel steering angle uses fuzzy logic and model following control scheme. A linear 2 DOF model is used as a reference model for model following control, and is derived from the developed 3 DOF model by neglecting sprung mass roll motion. A reference state variable is yaw rate, and is computed using the linear 2 DOF model. J-turn and lane change maneuver simulation are performed to show the effectiveness of the developed control scheme. The simulation results show that the 4WS vehicle with the developed control scheme has much better performance in yaw rate, lateral acceleration, roll angle, and sideslip angle than the 2WS vehicle. Also, the results show that the performance of the developed control is close to the one of an optimal control which assumes all states are perfect.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.3
• /
• pp.139-145
• /
• 2017

The purpose of this study is to establish a predictive causal model of codependency that is a main issue of family problem on the base of Triple ABC-X model which is a kind of family stress model. For the purpose of this study, we reviewed the concept and characteristics of codependency, affecting factors of codependency, and then reviewed the basic concept and logic of Triple ABC-X Model as theoretical viewpoint for the purpose of establishing a predictive causal model of codependency. We established it through examining main variables of codependency from Triple ABC-X Model. Main ingredients of the predictive causal model include boundary ambiguity, internal working model, internal and external locus of control, self-regard, social support, individual maladjustment etc. We established a predictive model of codependency basing on logic inferences among the variables. This study is expected to be used basic data to introduce some implications and for hereafter research.

• Structural Engineering and Mechanics
• /
• v.16 no.6
• /
• pp.713-730
• /
• 2003

This paper contains the results of the study on the development of fracture and crack propagation in quasi-brittle materials, such as concrete or rocks, using the Discrete Element Method (DEM). A new discrete element numerical model is proposed as the basis for analyzing the inelastic evolution and growth of cracks up to the point of gross material failure. The model is expected to predict the fracture behavior for the quasi-brittle material structure using the elementary aggregate level, the interaction between aggregate materials, and bond cementation. The algorithms generate normal and shear forces between two interfacing blocks and contains two kinds of contact logic, one for connected blocks and the other one for blocks that are not directly connected. The Mohr-Coulomb theory has been used for the fracture limit. In this algorithm the particles are moving based on the connected block logic until the forces increase up to the fracture limit. After passing the limit, the particles are governed by the discrete block logic. In setting up a discrete polygon element model, two dimensional polygons are used to investigate the response of an assembly of different shapes, sizes, and orientations with blocks subjected to simple applied loads. Several examples involving assemblies of particles are presented to show the behavior of the fracture and the failure process.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.8 no.1
• /
• pp.197-227
• /
• 1997

The main purpose of this study is ① to settle and to analyze the classification of the Internet Search Engine comparitively, and ② to build the compatible model of Internet Search Engine classification in order to seek information on the Internet resources. specially in the branch of the Computers and Internet areas. For this study, four Internet Search Engine (Excite, 1-Detect, Simmany, Yahoo Korea!), Inspec Classification and two distionaries were used. The major findings and result of analysis are summarized as follows : 1. The basis of the classification is the scope of topics, the system logic, the clearness, the efficiency. 2. The scope of topics is analyzed comparitively by the number of items from each Search Engine. In the result, Excite is the most superior of the four 3. The system logic is analyzed comparitively by the casuality balance and consistency of the items from each Search Engine. In the result, Excite is the most superior of the four 4. The clearness is analyzed comparitively by the clearness and accuracy of items, the recognition of the searchers. In the result, Excite is the most superior of the four. 5 The efficiency is analyzed comparitively by the exactness of indexing and decreasing the effort of the searchers. In the result, Yahoo Korea！ is the most superior of the four. 6 The compatible model of Internet Search Engine classification is estavlished to uplift the scope of topics, the system logic, the clearness, and the efficiency. The model divides the area mainly based upon the topics and resources using‘bookmark’and‘shadow’concept.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1422-1427
• /
• 2006

In order to estimate the power consumed by an embedded microprocessor during an execution of software, we measure and utilize the current consumed by the processor during the execution of each instruction. In this paper, we measure and analyse the current consumed by the microprocessor adc16s310 during the execution of arithmetic and logic instructions, and propose a power estimation model which estimates the current for all instruction executions precisely by using a small numbers of current measurements. The proposed model can estimate the current with an average 0.34% error by using only 5.84% of total current measurements for arithmetic and logic instructions of the processor.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2435-2446
• /
• 1998

In this paper. We describe a dataflow model for efficient execution of a functional logic language and a method of translation a functional logic language into a dataflow graph. To explore parallelism and intelligent backtracking, we us model in which clause and function are represented as independent dataflow graph. The node denotes basic actions to be performed when the clause and function are executed. The dataflow mechanism allows an operation to be executed as soon as all its operands are available. Since the operations can never be executed earlier, a dataflow model is an excellent base for increasing execution speed. We did decrease a delay time with concurrent execution of dependency analysis and subgoal.

• Korean Journal of Cognitive Science
• /
• v.1 no.2
• /
• pp.347-360
• /
• 1989

Retearches on epistemology for artificial intelligence have started quite recently.Recently,Konolige made a contribution to epistemology by proposing a deduction model based on an efficieit modal logic for a proof mechanism for belief.In this thesis,a unified and generalized proof mechanism for the epistemic logic using a formal system called a View is pesented.In addition,the algorithm to adapt the theorem prover according to the given rule schema,which charncterizes the deduction model of the epistemic logic,is constructed. With this algorlthm,multiple agents having different rule schemas can co-exist in the proposed system. The soundness and completeness of the proposed proof mechanism is proved and a simple theorem prover is implemented to demonstrate the usefulness and practilcality.

• The Journal of Asian Finance, Economics and Business
• /
• v.7 no.7
• /
• pp.279-291
• /
• 2020

This study aims to develop the concept of innovation models with the marketing channel construct approach, marketing innovation, product segmentation, and customer insight; as well as improvements to the theory of resource-based combined with the method of service-dominant logic. This study approach is based on quantitative descriptive conducted with three stages of testing scenarios. The first test is the mapping of the innovation model construct through testing the validity and reliability with the moderation of customer orientation variables. The second scenario examines the relationship of influence between the independent variables on the dependent variable of 29 hypothetical analysis equation modeling. The unit of analysis was conducted on 497 SMEs involved in the food and beverage sectors, with the criteria being SMEs must have a rating of 4-5 points on the Go-Food applications software. The results shown that: 1) the construct used to develop an innovative model both directly and via moderation is positive and significant; 2) Through a complicated relationship that involves all components of the variable, it outlines a positive and significant effect except for the path of analysis (μ5). The theoretical and managerial implications state that the service-dominant logic approach and resource-based view theory have extreme reliability and interrelations.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.18 no.10
• /
• pp.791-799
• /
• 2006

The fault diagnosis technologies may be applied in order to decrease the energy consumption and the maintenance cost of an air-conditioning system. In this paper, a fault diagnosis algorithm was developed by using a neural no-fault model and a dual fuzzy logic. Five different faults, such as the compressor valve leakage, the liquid line blockage, the condenser fouling, the evaporator fouling, and the refrigerant leakage of an air-conditioning system, were considered. The fault diagnosis algorithm was tested by using a fault simulation facility. Test results showed that the algorithm developed for this study was effective to detect and diagnose various faults. Therefore, this algorithm may be practically used for the fault diagnosis of an air-conditioning system.

• Nuclear Engineering and Technology
• /
• v.54 no.1
• /
• pp.310-317
• /
• 2022

The mass attenuation coefficient is the primary physical parameter to model narrow beam gamma-ray attenuation. A new machine learning based approach is proposed to model gamma-ray shielding behavior of composites alternative to theoretical calculations. Two fuzzy logic algorithms and a neural network algorithm were trained and tested with different mixture ratios of vanadium slag/epoxy resin/antimony in the 0.05 MeV-2 MeV energy range. Two of the algorithms showed excellent agreement with testing data after optimizing adjustable parameters, with root mean squared error (RMSE) values down to 0.0001. Those results are remarkable because mass attenuation coefficients are often presented with four significant figures. Different training data sizes were tried to determine the least number of data points required to train sufficient models. Data set size more than 1000 is seen to be required to model in above 0.05 MeV energy. Below this energy, more data points with finer energy resolution might be required. Neuro-fuzzy models were three times faster to train than neural network models, while neural network models depicted low RMSE. Fuzzy logic algorithms are overlooked in complex function approximation, yet grid partitioned fuzzy algorithms showed excellent calculation efficiency and good convergence in predicting mass attenuation coefficient.