• The Journal of Information Systems
• /
• v.5
• /
• pp.21-41
• /
• 1996

Linear programming has become an important tool in decision-making of modern business management. This remarkable growth can be traced to the pioneering efforts of many individuals and research organizations. The popular using of personal computers make it very easy to process those complicated linear programming models. Furthermore advanced linear programming software packages assist us to solve L.P. models without any difficult process. Even though the advanced L.P. professional packages, the needs of more detailed deterministic elements for business decisions have forced us to apply dynamic approaches for more resonable solutions. For the purpose of these problems applying to the "Mathematica" packages which is composed of mathematic tools, the simplex processes show us the flexible and dynamic decision elements included to any other professional linear programming tools. Especially we need proper dynamic variables to analyze the shadow prices step by step. And applying SAS(Statistical Analysis System) packages to the L.P. problems, it is also one of the best way to get good solution. On the way trying to the other L.P. packages which are prepared for Spreadsheets i.e., MS-Excel, Lotus-123, Quatro etc. can be applied to linear programming models. But they are not so much useful for the problems. Calculating simplex tableau is an important method to interpret L.P. format for the optimal solution. In this paper we find out that the more detailed and efficient techniques to interpret useful software of mathematica and SAS for business decision making of linear programming. So it needs to apply more dynamic technique of using of Mathematica and SAS multiple software to get more efficient deterministic factors for the sophiscated L.P. solutions.

• Journal of KIISE:Software and Applications
• /
• v.36 no.2
• /
• pp.153-160
• /
• 2009

As size of ontology has been increased more and more, the descriptions in the ontologies become more complicated, Therefore finding and modifying unsatisfiable concepts is hard work in ontology construction process, Minerva is an ontology reasoner which detects unsatisfiable concepts automatically and infers subsumption relation between concepts in ontology, Most description logic based ontology reasoners (including Minerva) work using tableaux algorithm, Because tableaux algorithm is very costly, ontology reasoners need various optimization methods, In this paper, we propose optimizing methods to reduce execution time of tableaux algorithm based ontology reasoner. Proposed methods were applied to Minerva which was developed as preceding study result. In consequence the new version Minerva shows high performance.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.1 no.1
• /
• pp.9-25
• /
• 1991

This tutorial paper has been written for biologists, physicians or beginners in fuzzy sets theory and applications. This field is introduced in the framework of medical diagnosis problems. The paper describes and illustrates with practical examples, a general methodology of special interest in the processing of borderline cases, that allows a graded assignment of diagnoses to patients. A pattern of medical knowledge consists of a tableau with linguistic entries or of fuzzy propositions. Relationships between symptoms and diagnoses are interpreted as labels of fuzzy sets. It is shown how possibility measures (soft matching) can be used and combined to derive diagnoses after measurements on collected data. The concepts and methods are illustrated in a biomedical application on inflammatory protein variations. In the case of poor diagnostic classifications, it is introduced appropriate ponderations, acting on the characterizations of proteins, in order to decrease their relative influence. As a consequence, when pattern matching is achieved, the final ranking of inflammatory syndromes assigned to a given patient might change to better fit the actual classification. Defuzzification of results (i.e. diagnostic groups assigned to patients) is performed as a non fuzzy sets partition issued from a "separating power", and not as the center of gravity method commonly employed in fuzzy control. It is then introduced a model of fuzzy connectionist expert system, in which an artificial neural network is designed to build the knowledge base of an expert system, from training examples (this model can also be used for specifications of rules in fuzzy logic control). Two types of weights are associated with the connections: primary linguistic weights, interpreted as labels of fuzzy sets, and secondary numerical weights. Cell activation is computed through MIN-MAX fuzzy equations of the weights. Learning consists in finding the (numerical) weights and the network topology. This feed forward network is described and illustrated in the same biomedical domain as in the first part.

• Journal of Science of Art and Design
• /
• v.11
• /
• pp.79-108
• /
• 2007

"Printing is an Art of reproduction & a Technique of However printing has extended its limitation from a genre of reproduction itself and now it stands on the turning point as an art such as painting or sculpture which expresses artist's originality. Early Printing has had relations in depth with press printing in terms of information recording, preservation, and transmission. It was acknowledged value in a way of information satisfaction different from how it is valued as a pure art today. But, later printing has transferred its function from a mean of reproduction to pure art due to the development of printing skills and photography invention. It can be said that the concept of modern printing is taking over its genealogy as a creative work not as just printing. Also its expression capability is widen to dimensional printing and high-tech multimedia from original tradition techniques. As we discussed above, modern painting is very open to various changes. This modern painting aspect can be seen as an extended interpretation of 'board' concept. This dissertation raises a question why monotype and monoprint couldn't secure its position in printing history in spite of numerous artists' tryouts in its way. Monotype and monoprint fundamentally based on intaglio technique in its history. Yet, its systematic study hasn't been worked out. This is because of the lack of recognition of monotype and monoprint's originality as printing. Especially in monoprint, it has known as an early stage in copperplate printing process which is an attempt to solve the technique limitation or trial work for edition. Likewise the reason why monotype and monoprint remains at the edge of printing border ambiguously is because of conceptual, technical characteristics which are against traditional printing. In traditional printing, the concept of board is important as a method of reproduction. Different from the fact, monotype and monoprint accept the form of medium 'board' conceptually out of limited condition as mentioned. Thus monotype and monoprint hasn't stand out for several reasons until late 20th century when it started come out to public as people starts to have interests that works from famous artists are actually based on monotype and monoprint. This dissertation likes to step into the monotype and monoprint theoretically which is not well known in domestic and try to study the meaning of monotype and monoprint as a printing medium which is also hasn't been considered sincerely. For this study the process follow as below. First, look into how monotype and monoprint has a concept and history. Next, check differences through comparison with traditional printing and how printing can be understood in what aspects at the same time. After, verify how monotype and monoprint have influence on the acceptance of extended concept of 'board'. This study will show the expressional possibility of monotype and monoprint which has already known as 'tableau printing' in today's situation where adventurous experiments of printing medium are going on with the development of technology.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.764-773
• /
• 2008

The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.