• Kyungpook Mathematical Journal
• /
• v.45 no.3
• /
• pp.405-411
• /
• 2005

We use a congruence relation on deductive systems of a Hilbert algebra H, to define a uniform structure on H and investigate the corresponding topology.

• The KIPS Transactions:PartD
• /
• v.9D no.2
• /
• pp.227-234
• /
• 2002

When processing a query in a conventional database systems, a set of facts or tuples are usually returned as an answer. This also applies to object -oriented database where a set of objects is returned. Deductive database systems, however, provide the opportunity to obtain the answer of a query as a set of formulas, thereby reduce the costs to process the query, and represent its "intensional answers" in a more compact way independently of the database state. In this paper, by introducing rules info the object-oriented database systems and integrating the intensional query processing of deductive database systems into talc object-oriented database systems, we make it possible not only to answer incomplete queries which are not able to be answered in conventional object-oriented database systems, but also to express the answer-set abstractly as the names of classes, which provides us better understanding of the answer.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.4 no.1
• /
• pp.28-37
• /
• 1993

The future Personal Communication Service(PCS) is the total personal information communication service to satisfy the importance of information in a highly information - oriented society. Compared with the conventional communication method, it is necessary to provide considerable intelligence to the commu- nication network in order to implement the PCS which guarantees the mobility of each individual. Consequen- tly, the PCS needs a fast large database system which stores the information of each individual. To achieve this goal, this paper presents the parallel implementation of deductive database systems as a main - memory database system.

• Journal of radiological science and technology
• /
• v.22 no.1
• /
• pp.13-20
• /
• 1999

This study is to calculate the exposed radiation dose using Bit method, NDD calculation method and monogram method without dosimeter. In addition, we can calculate the radiation dose from x-ray film density as a film badge. The authors examined the entrance skin dose from $2{\sim}3$ intercostal chest x-ray film density. We also studied the relationship between film density and equivalent dose in the each screen film system under the different radiation quality and the poor geometry condition of grid ratio. As results, we established the deductive method to define the entrance skindose from chest x-ray film density. The error range was found in the range $-13%{\sim}+l7%$ for between deductive entrance skindose and the $2{\sim}3$ intercostal chest x-ray film density to actual detective radiation dose with dosimeter.

• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.219-232
• /
• 2004

We study relationships between closure operators and BL-algebras. We investigate the properties of closure operators and BL-homomorphisms on BL-algebras. We show that the image of a closure operator on a BL-algebra is isomorphic to a quotient BL-algebra.

• Korean Journal of Remote Sensing
• /
• v.3 no.2
• /
• pp.115-119
• /
• 1987

After the introduction of the topologically structured geographic information system(GIS) with relational DBMS, the attribute data can be handled without considering locational data. By utilzing of the characteristic of the relational DBMS, it can be used as an expert system building tool in GIS. The relational DBMS of the GIS furnishes the data needed to perform deductive functions of the expert system, and the rule based approach provides the decision rules. Therefore, rule based approach with the expert judgement can be easily combined with relational DBMS.

• International conference on construction engineering and project management
• /
• 2011.02a
• /
• pp.556-560
• /
• 2011

Players of construction projects proceed with each work process by information gathering, modification and communication. Due to the complex and long-span lifecycle projects increased, it became more important to grasp this mechanism for the successful project performance in construction project. Hence, most project information management systems or knowledge management systems equip information retrieval system. There are two logic to infer the meaning of retrieval target; inductive reasoning and deductive reasoning. The former is based on metadata explaining the target and the later is based on relation between data. To infer the information flow, it is necessary to define the correlation between players and work processes. However, most established information retrieval systems are based on index search system and it is not focused on correlation between data but data itself. Thus, this research aims to research on process of information flow retrieval system for large-scale construction projects.

• Asia pacific journal of information systems
• /
• v.4 no.2
• /
• pp.3-34
• /
• 1994

In this paper we describe a new data modeling language we call $O^{2}LDM$. $O^{2}LDM$ incorporates features from object-oriented and logic approaches. In $O^{2}LDM$ there is a rich collection of objects organized in a type hierarchy. It is possible to compose queries that involve field selection, function application and other constructs which transcend the usual, strictly syntactic, matching of PROLOG. We give the features of $O^{2}LDM$ and motivate its utility for conceptual modeling. We have a prototype implementation for the language, which we have written in ML. In this paper we describe an executable semantics of the deductive process used in the language. We work some examples to illustrate the expressive power of the language, and compare $O^{2}LDM$ to PROLOG.

• Journal of Korea Multimedia Society
• /
• v.21 no.9
• /
• pp.1099-1109
• /
• 2018

Most of the automotive electronic systems are equipped with control software. ISO 26262 standard has been published to prevent unreasonable risk due to E/E system malfunction. And many automotive companies apply ISO 26262 for safe series product. In ISO 26262 standard, the product quality improves through deductive and inductive safety analysis in all processes including system and software development phase. However, there are few studies on software safety analysis than systems. In the paper, we study the software FMEA(Failure Mode Effect Analysis) technique for product quality of vehicular embedded software. And we propose an effective guideline of software FMEA as EPB industrial practice.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.3
• /
• pp.95-103
• /
• 2007

Existing human resources dispatch systems face various limits for managing increasing information derived from the work-place as it required much time managing the basic data created at the work-place and the data input methods are complicated. This study focuses on how to solve the above mentioned problems by utilizing the cellular phone system, which provides vital connection between the organizations using the dispatched human resources and the resources. The study offers building of a necessary work history data base and its management through development of a mobile human resources dispatch system. In order to optimally place the given resources, the system utilizes deductive analytical process. Utilizing the intelligent, deductive analytical process in properly planning the placing of the right human resources to do the job will result satisfaction in human resources dispatch and management.