• The Mathematical Education
• /
• v.21 no.3
• /
• pp.13-14
• /
• 1983

(1) The direct product (equation omitted) $E_{I}$ of BCK-algebras $E_{I}$, (i=1, 2, 3, …, n), is a BCK-algebra. (2) Let E be a BCK-algebra and $A_1$, $A_1$, …, $A_{n}$ ideals of E. Define a mapping (equation omitted) by the rule f($\chi$)=( $A_1$$\chi$, $A_2$$\chi$, …, $A_{n}$$\chi$). Then f is a homomorphism.ism.ism.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.22 no.1
• /
• pp.28-33
• /
• 1985

A modified directed product graph (DPGm) is proposed for the numerator of the network functions of a given non-reciprocal network. By this, the numerator can be obtained topologically and systematically without the sign rule of the Mason's formula and without the change of topological prcperties of the net work throughout the processes. And by taking the subgraph of the DPGm for each vertex, a number of cancelling terms can be removed mechanically from the DPGm beforehand and there(ore the above can be acquired more simply and rapidly.

• Journal of Information Technology Services
• /
• v.10 no.3
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• IE interfaces
• /
• v.12 no.3
• /
• pp.468-479
• /
• 1999

Lean production system can be defined as customer(product)-oriented production system with small lot size and flow-shop layout based on the JIT(Just-in-time) principles. In this paper, we introduce a case example of implementation of the Lean product ion system for manufacturing line of electronic component which has both machine processes and manual jobs. We also investigate the issues of implementing the Lean production system with the viewpoints of layout design scheme and JIT management rules. In the layout design, we propose the cell-line which has flow-shop layout with small lot size. In the management rules, the superior cell rule is applied in order to boost the needs of kaisen up. As the results of implementing the Lean production system, production lead time is decreased from 5 days to 1.5 days and also productivity and quality level arc surprisingly increased.

• Journal of Korean Institute of Industrial Engineers
• /
• v.24 no.1
• /
• pp.137-144
• /
• 1998

Block stacking, which involves the storage of unit loads in stacks within storage rows, is typically used in traditional warehouses to achieve a high space utilization at a low investment cost. In this paper, assuming that the demand size from a customer is an i.i.d. random variable, we develop a probabilistic block stacking storage model and its algorithm for a singles product, which minimizes the time-overage floor space requirement under an (s, S) inventory policy and the violation of the FIFO lot rotation rule only in a single partially-occupied row.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.30 no.4
• /
• pp.117-130
• /
• 2005

It is effective and desirable for a proper customer relationship management or marketing to focus on the specific customers rather than a number of non specific customers. This study forecasts the prospective purchasers with high probability to purchase a specific product. Artificial Neural Network( ANN) can classily the characteristics of the prospective purchasers but ANN has a limitation in comprehending of outputs. ANN is integrated into IRANN with IR of decision tree program C5.0 to comprehend and analyze the outputs of ANN. We compare and analyze the accuracy of ANN, IR, and IRANN each other.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.3
• /
• pp.363-368
• /
• 2014

During the fierce competition among the companies, improvement of logistics center managing efficiency is importantly recognized. Among them, studies on improvement of picking work process on about 55% of logistics center managing costs are continuously conducted. And, most of studies focus on analysis on strengths and weaknesses of picking method performable on the stage of logistics center design, etc, so the purposes of this research are to define load location rule by product releasing frequency in logistics managing environment based on conveyer and suggest expected effects by simulation analyzing method to improve picking managing efficiency.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2004.04a
• /
• pp.48-53
• /
• 2004

As many organizations are searching for ways to compete more effectively in today's market environment. Image of Product is become the most important fact to improve their competition. The objectives of this paper are to provide an overview of PDM(Purchasing Decision Factor) and to discuss how to measure it more efficiently. This study develops a conceptual 'relation model of the purchasing decision factor', which identifies only performance based measurement, and proposes Fuzzy Measuring Method which uses the Fuzzy rule based algorithm to adept survey to date sets.

• The Journal of Society for e-Business Studies
• /
• v.4 no.1
• /
• pp.21-36
• /
• 1999

Using user monitoring techniques on web, marketing decision makers in cyber shopping malls can gather customer behavior data as well as sales transaction data and customer profiles. In this paper, we present a marketing rule extraction technique for customer behavior analysis in cyber shopping malls, The technique is an application of market basket analysis which is a representative data mining technique for extracting association rules. The market basket analysis technique is applied on a customer behavior log table, which provide association rules about web pages in a cyber shopping mall. The extracted association rules can be used for mall layout design, product packaging, web page link design, and product recommendation. A prototype cyber shopping mall with customer monitoring features and a customer behavior analysis algorithm is implemented using Java Web Server, Servlet, JDBC(Java Database Connectivity), and relational database on windows NT.

• Journal of the Korean Society for Railway
• /
• v.7 no.4
• /
• pp.406-411
• /
• 2004

BOM(Bill of Materials) is a listing or description of raw materials, parts, and assemblies that define a product. In order to evaluate the performance of proposed BOM management system, which is very important to maintenance information system of urban transit. We develop component based BOM data and rule-set to design data structure that is mutually independent and integrated efficiently. It divides data whit management interface using component technology. The component based master BOM have advantage in database size and flexibility. Flexibility is measured as the number of updating records in accordance with added new product or engineering change. In database size, component based BOM is the best. we develop master BOM management system in web environment.