• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.20
• /
• pp.113-127
• /
• 2003

In some legal systems property passes at the time of the conclusion of the contract. In other legal systems property passes at some later time such as the time at which the goods are delivered to the buyer. It was not regarded possible to unify the rule on this point nor was it regarded necessary to do so since rules are provided by this CISG for several questions linked, at least in certain legal systems, to the passing of property. Even though the CISG rules that it does not govern the passing of property in the goods sold, it does not exclude completely the effect which the contract may have on the property in the goods sold. Problems that under some domestic systems are decided by reference to the "property" concept are governed by specific provisions of the CISG. First of All, the CISG(Arts. 41 and 42) deals with seller's obligation to the buyer that the goods be free of third party claims. Moreover, Article 45 gives a buyer the right to require the seller to deliver goods that the seller wrongfully withholds. Secondly, Article 81(2) gives a seller the right to claim restitution of goods for which the buyer fails to pay. Domestic law must respect these rights as between the seller and buyer; if such rights between the parties prevail over the claims of creditors or other third parties under domestic law, domestic tribunals should give the same effect to rights established by the CISG. Thirdly, the right to sell the goods arises where there has been an unreasonable delay by the party in taking possession of them or in taking them back(Article 88).

• Journal of KIISE:Software and Applications
• /
• v.34 no.6
• /
• pp.530-538
• /
• 2007

Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.4
• /
• pp.1-8
• /
• 1999

In the logic where we study the principle and method of human, the binary logic with the proposition which has one-valued property that it can be assigned the truth value 'truth'or 'false'. Although most of the traditional binary logic which was drawn by human includes fuzziness hard to deal with, the knowledge for expressing it is not precise and has less degree of credit. This study uses multi-valued logic in order to slove the problem above that .When compared with the data processing ability of the binary logic, Multi-valued logic has an at a high speed. Therefore the Inference can be possible by minimization multi-valued logic in stead of using the information stead of using the information system based on the symbolic binary logic.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.6
• /
• pp.125-134
• /
• 2009

A biological data acquisition based on web has emerged as a powerful tool for allowing scientists to interactively view entries form different databases, and to navigate from one database to another molecular-biology database links. In this paper, the biological conceptual model is constructed hybrid biological data model to represent interesting entities in the data sources to applying navigation rule property for each biological data source based on four biological data integrating layers to control biological data. When some user's requests for application service are occurred, we can get the data from database and data source via web service. In this paper, we propose a query processing model and execution structure based on integrating data layers that can search information on biological data sources.

• Journal of Welding and Joining
• /
• v.20 no.2
• /
• pp.116-124
• /
• 2002

The fatigue life is predicted on tensile-shear spot weldment made from Al-Mg alloy sheet with thickness of 0.8mm using Mitchell's method and uniform material law by $B{\ddot{a}}umel$ and Seeger based on local strain approach. The fatigue properties of critical HAZ region are estimated from the tensile property using simple hardness method. To predict the fatigue life of spot weldment, the local stresses and strains at the potential critical region are estimated by Neuber's rule. The predicted fatigue life based on uniform material law using HAZ's material properties provides good results within a factor of 3, conservatively.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.1111-1116
• /
• 1993

In this study, we discuss the design of the expert system for the scheduling of the FMC(Flexible Manufacturing Cell) consisting of the several versatile machines. Due to the NP property, the scheduling problem of several machine FMC is very complex task. Thus we proposed the two heuritstic shceduling algorithms for solving the problem and constituted the algorithm based of solving the problem and constituted the algorithm base of ISS(Intelligent Scheduling System) using them. By the rules in the rule base, the best alternative among various algorithms in algorithm base is selected and applied in controlling the FMC. To show the efficiency of ISS, the scheduling output of ISS and the existent dynamic dispatching rule were tested and compared. The results indicate that the ISS is superior to the existent dynamic dispatching rules in various performance indexes.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.513-515
• /
• 1999

In this paper, Neuro-Fuzzy controller which has the characteristic of Fuzzy control and artificial Neural Network is designed A fuzzy rule to be applied is selected automatically by the allocated neurons. The neurons correspond to Fuzzy rules which are created by the expert. In order to adaptivity, the more precise modeling is implemented by error back propagation learning of adjusting the link-weight of fuzzy membership function in Neuro-fuzzy controller. The more classified fuzzy rule is used to include the property of Dual mode Method. To test the effectiveness of the algorithm designed above the experiment for DC servo motor with variable load as variable load plant is implementation.

• Proceedings of the KSME Conference
• /
• 2000.04a
• /
• pp.399-404
• /
• 2000

Functionally graded materials(FGMs) involve dual-phase graded layers in which two different constituents are mixed continuously and functionally according to a given volume fraction. For the analysis of their thermo-mechanical response, conventional homogenized methods have been widely employed in order to estimate equivalent material properties of the graded layer. However, such overall estimations are insufficient to accurately predict the local behavior. In this paper, we compare the thermo-elastic behaviors predicted by several overall material-property estimation techniques with those obtained by discrete analysis models utilizing the finite element method, for various volume fractions and loading conditions.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.51 no.2
• /
• pp.48-54
• /
• 2002

In this study, a neuro-fuzzy controller which has the characteristic of fuzzy control and artificial neural network is designed. A fuzzy rule to be applied is automatically selected by the allocated neurons. The neurons correspond to fuzzy rules are created by an expert. To adapt the more precise model is implemented by error back-propagation learning algorithm to adjust the link-weight of fuzzy membership function in the neuro-fuzzy controller. The more classified fuzzy rule is used to include the property of dual mode method. In order to verify the effectiveness of the proposed algorithm designed above, an operating characteristic of a DC servo motor with variable load is investigated.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1996.10a
• /
• pp.327-332
• /
• 1996

Rough Set theory suggested by Pawlak has a property that it can describe the degree of relation between condition and decision attributes of data which don't have linguistic information. In this paper, by using this ability of rough set theory, we define a occupancy degree which is a measure can represent a degree of relational quantity between condition and decision attributes of data table. We also propose a method that can find an optimal fuzzy rule table and membership functions of input and output variables from data without linguistic information and examine the validity of the method by modeling data generated by fuzzy rule.