• Management Science and Financial Engineering
• /
• v.7 no.2
• /
• pp.1-11
• /
• 2001

Gouveia and Pires (European Journal of Operations Research 112(1999) 134-146) have proposed four extended formulations having precedence variables as extra variables and characterized the projections of three of the four formulations into the natural variable space. In Gouveia and Pires (Discrete Applied Mathematics 112 (2001)), they also have introduced some other extended formulations with the same extra variables and conjectured that the projection of one of the proposed formulations is equivalent to the one proposed by Dantzig, Fulkerson, and Johnson (Operations Research 2(1954) 393-410). In this paper, we provide a unifying framework based on which we give alternative proofs on the projections of three extended formulations and new proofs on those of two formulations appeared in Gouveia and Pires(1999, 2001).

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.868-871
• /
• 1995

In order to remain competitive, a manufacturing company needs to maintain the optimal condition of its manufacturing system. Machine tools as an important element of a manufacturing system comprises complex mechanical as well as electronic components. Therefore, diagnosing the troubles of machine tools is a tricky process which requires a lot of experience and knowledge. Since providing machine tool users with necessary services at the right time is very difficult and expensive, a remote diagnosis system is to be regarded as a good alternative,with which users can diagnose and fix the machine troubles. This paper presents a framework for a remote machine tool diagnosis system using the world wide web technology and backward reasoning expert system.

• International Journal of Contents
• /
• v.12 no.1
• /
• pp.6-13
• /
• 2016

Since the importance of eco-friendly architecture is rapidly increasing, BIM receives significant attention as an alternative that would derive the practical results and apply the design values of eco-friendly design elements to the architectural design process. Therefore, this study establishes an Integrated Design System based on Green BIM by applying the eco-friendly design values logically and systemically. The study also proposes practical case studies to examine the possibility of application. As a result, the framework of Green based Integrated Design System(gbIDS) and a prototype of Web-based gbIDS were developed to improve the working environment of small architectural firms.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.295-309
• /
• 2020

Loop transversal codes take an alternative approach to the theory of error-correcting codes, placing emphasis on the set of errors that are to be corrected. Hitherto, the loop transversal code method has been restricted to linear codes. The goal of the current paper is to extend the conceptual framework of loop transversal codes to admit nonlinear codes. We present a natural example of this nonlinearity among perfect single-error correcting codes that exhibit efficient domination in a circulant graph, and contrast it with linear codes in a similar context.

• International Journal of Aeronautical and Space Sciences
• /
• v.15 no.2
• /
• pp.113-122
• /
• 2014

The objective of the paper is to clarify a methodology based on the use of the existing component mode synthesis methods for the case of two damped substructures which are coupled through a linking viscoelastic flexible substructure and for which the structural modes with free geometrical interface are used for each main substructure. The proposed methodology corresponds to a convenient alternative to the direct use either of the Craig-Bampton method applied to the three substructures (using the fixed geometric interface modes) or of the flexibility residual approaches initiated by MacNeal (using the free geometric interface modes). In opposite to a geometrical interface which is a topological interface on which there is a direct linkage between the degrees of freedom of substructures, we consider a physical flexible interface which exists in certain present technologies and for which the general framework linear viscoelasticity is used and yields a frequency-dependent damping and stiffness matrices of the physical flexible interface.

• Journal of information and communication convergence engineering
• /
• v.7 no.2
• /
• pp.87-91
• /
• 2009

Over the past several years both licensed and unlicensed services and devices have enjoyed extensive growth in the wireless marketplace. In some urban areas in the Kazakhstan, the penetration rate of licensed cellular and PCS services is more than 60%. Similarly, the use of unlicensed wireless local area network technologies has grown significantly as these systems have been deployed in homes, offices, and 'hot spots' in restaurants, hotels, public meeting areas, etc. As more services are wirelessly enabled and as technologies continue to evolve, the demand for new spectrum for commercial services will also continue to increase. Thus, the appropriate regulatory models for future spectrum allocations will continue to be debated throughout the wireless industry.

• ETRI Journal
• /
• v.38 no.2
• /
• pp.397-404
• /
• 2016

In group-oriented applications, it is often required to verify a group of signatures/messages. The individual verification of signed messages in such applications comes at a high cost in terms of computations and time. To improve computational efficiency and to speed up the verification process, a batch verification technique is a good alternative to individual verification. Such a technique is useful in many real-world applications, such as mail servers, e-commerce, banking transactions, and so on. In this work, we propose a new, efficient identity-based signature (IDS) scheme supporting batch verifications. We prove that the proposed IDS scheme and its various types of batch verifications is tightly related to the Computational Diffie.Hellman problem under a random oracle paradigm. We compare the efficiency of the proposed scheme with related schemes that support batch verifications.

• Journal of Arbitration Studies
• /
• v.25 no.3
• /
• pp.135-154
• /
• 2015

The European Union has adopted the ADR Directive and ODR Regulation in 2013 with the purpose to strengthen the e-commerce within the EU. Not covered by these legislations is the trade in the B2B sector. The author examines the question of whether online ADR under the currently applicable legal framework would be possible in Germany. At the center of his review is the possibility of an arbitration clause which refers exclusively to an online ADR scheme, may be included in the General Terms and Conditions of an online trader.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.3
• /
• pp.208-215
• /
• 2016

The lithography hotspot detection process is crucial for semiconductor design development process. But, the lithography hotspot detection using optical simulation method takes much time and it slowdown the layout design development cycle. Though the geometry based approach is introduced as an alternative, it still revealed low detection performance and sophisticated framework. To solve this problem, we introduce a deep convolutional neural network based hotspot detection method. Our method made better results in ICCCAD 2012 dataset. To reach this score, we used lots of technical effort to improve the result in addition to just utilizing the nature of convolutional neural network. Inspection region reduction, data augmentation, DBSCAN clustering helped our work more stable and faster.

• Asia pacific journal of information systems
• /
• v.5 no.1
• /
• pp.52-85
• /
• 1995

This paper develops a new approach to dealing with qualitative reasoning processes involved in managerial decisions, drawing upon choice strategies that have been developed within the general framework of multi-criteria decision making. Issues such as choices under uncertainty and preference formulation are addressed. An MCDM DSS intended to assist in high-level management decisions must focus on helping the decision maker to properly define the problem by providing a structure to it and to dynamically evaluate the alternative courses of action. A conceptual architecture is developed and presented to propose a general model for designing decision support systems specifically designed to assist in MCDM in a managerial context. A commercial loan approval judgment case is described to illustrate the real-world situation where decisions are made under fuzziness and usually require a high degree of intuition and subjective judgment. Development of a prototype system intended to partially represent application of the architecture is described.