• The Korean Journal of Applied Statistics
• /
• v.27 no.6
• /
• pp.909-922
• /
• 2014

This paper reviews Bayesian inference with inequality constraints. It focuses on ⅰ) comparison of models with various inequality/equality constraints on parameters, ⅱ) multiple tests on equalities of parameters when parameters are under inequality constraints, ⅲ) multiple test on equalities of score parameters in models for contingency tables with ordinal categorical variables.

• International Journal of Aeronautical and Space Sciences
• /
• v.6 no.2
• /
• pp.17-22
• /
• 2005

As one of validation tool for attitude determination system, we have used various constraints using priori information which is known through base vector set up. However these conventional constraints cannot guarantee validity in terms of final solutions such as Euler angle. So we suggest attitude boundary concept to verify the final attitude solution on the flying airplane, it is based on the combination of velocity based attitude estimation technique and ambiguity resolution. we can say it can check invalid solution effectively at just one epoch without repeatability test of resolved cycle ambiguity. In this paper we show that the suggested constraint can effectively reject incorrectly resolved cycle ambiguity the conventional constraints have missed.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1999.10a
• /
• pp.135-142
• /
• 1999

Plate girder bridges for tile Korean high-speed railway are optimally designed. Static and dynamic constraints are all considered. The design variables are the thicknesses and the lengths of the plates that are used to form I-shaped main girders with variable cross-sections. And the objective function is tile steel weight of a main girder. A C++ based design program is developed; this program interfaces with a FORTRAN based optimization program ADS. From the results of optimal design for various span lengths, it is observed that the deck vertical acceleration is one of the most important constraints in a special range of tile span length. Front a parametric study, sensitivity of the optimal design to static as well as dynamic constraints are presented.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• pp.156-165
• /
• 1998

This paper proposes a systematic design methodology for the Takagi-Sugeno(TS) model based fuzzy control system with guaranteed stability and additional constraints on the closed-loop pole location. These combined two objectives are formulated as a system of LMIs(Linear Matrix Inequalities). Since LMIs intrinsically reflect constraints, they tend to offer more flexibility for combining various constraints on the closed-loop system. To demonstrate the usefulness of the proposed design methodology it is applied to the requlation problem of a nonlinear magnetic bearing system. Simulation results show that the proposed LMI-based design methodology yields not only maximized stability boundary but also the desired transient responses.

• The KIPS Transactions:PartD
• /
• v.13D no.2 s.105
• /
• pp.191-198
• /
• 2006

Many enterprises have introduced workflow to enhance work efficiency and support effective work processes in their various work environments. Recently, Business Process Management(BPM), an extension of workflow, is spotlighted in enterprise software markets Although woklflow plays an important role in Business Process Managements, researches in workflow are mostly concentrated on temporal constraints which finds exact execution sequences for complicated jobs. On that reason, majority of workflow scheduling has concentrated on modeling of various resources which should be handled and the interest for workflow scheduling under constraints related to resources is rather unsatisfactory In this paper we presents the Transformation Template based on Concurrent Transaction Logic(CTR) which is suitable for scheduling workflows with resource allocation constraints, and the logical framework. The Transformation Template consists of a Workflow Transformation Template and a Constraint Transaction Template. Especially the Transformation Template can be conveniently used to logically represent new workflows under the existing resource allocation constraints.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2006.06a
• /
• pp.382-389
• /
• 2006

Developing context awareness service In these day, It demands high security in context awareness service. So GEO-RBAC that provide user assignment of spatial role, assignment of permission, role schema, role instance and spatial role hierarchy to context awareness service is access control model to perfect in context awareness service. But GEO-RBAC is not considering temporal constraints that have to need context awareness environment. Consequently this paper improves the flexibleness of GEO-RBAC to consider time and period constraints notion and the time of GTRBAC that presents effective access control model. also we propose GEO-RBAC to consider temporal constraints for effective access control despite a various case.

• Journal of the Society of Naval Architects of Korea
• /
• v.46 no.3
• /
• pp.362-371
• /
• 2009

Shipbuilding is a typical 'build to order' industry. It has a business model that generates revenues from building various ships and offshore products in accordance with owner's requirements at each production stage. Under uncertainty in shipping market, it is very essential for the shipbuilder to prepare the fast and competitive decision for product portfolio strategy in order to maximize contribution margin by exploiting production facilities and constraints. In this study, we introduce the unique decision supporting methodology for the optimal product portfolio sets based on Theory of Constraints(TOC). This methodology is established by adopting the concept of Drum Buffer Rope(DBR) in constraints planning and Throughput Accounting (TA) in management accounting of TOC. In addition, Decision Supporting System(DSS) is implemented. This DSS system provides a throughput estimator with reflecting the cost structure of shipbuilding industry and a resource simulator built on heuristic algorithms to operate major constraint-resources in shipyard such as dock, quay and pre-erection area etc. Several examples are presented to show that the proposed methodology and system can effectively support the strategic decision-making process of a global shipbuilding company.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.4 no.3
• /
• pp.267-280
• /
• 2012

An approximate method based on an assumed mode method has been presented for the free vibration analysis of a rectangular plate with arbitrary edge constraints. In the presented method, natural frequencies and their mode shapes of the plate are calculated by solving an eigenvalue problem of a multi-degree-of-freedom system matrix equation derived by using Lagrange's equations of motion. Characteristic orthogonal polynomials having the property of Timoshenko beam functions which satisfies edge constraints corresponding to those of the objective plate are used. In order to examine the accuracy of the proposed method, numerical examples of the rectangular plates with various thicknesses and edge constraints have been presented. The results have shown good agreement with those of other methods such as an analytic solution, an approximate solution, and a finite element analysis.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.17 no.1
• /
• pp.185-201
• /
• 2023

Grant-free random access (GFRA) can reduce the access delay and signaling cost, and satisfy the short transmission packet and strict delay constraints requirement in internet of things (IoT). IoT is a major trend in the future, which is characterized by the variety of applications and devices. However, most existing studies on GFRA only consider a single type of device and omit the effect of access delay. In this paper, we study GFRA in multicell massive multipleinput multiple-output (MIMO) systems where different types of devices with various configurations and requirements co-exist. By introducing the backoff mechanism, each device is randomly activated according to the backoff parameter, and active devices randomly select an orthogonal pilot sequence from a predefined pilot pool. An analytical approximation of the average spectral efficiency for each type of device is derived. Based on it, we obtain the optimal backoff parameter for each type of devices under their delay constraints. It is found that the optimal backoff parameters are closely related to the device number and delay constraint. In general, devices that have larger quantity should have more backoff time before they are allowed to access. However, as the delay constraint become stricter, the required backoff time reduces gradually, and the device with larger quantity may have less backoff time than that with smaller quantity when its delay constraint is extremely strict. When the pilot length is short, the effect of delay constraints mentioned above works more obviously.

• 한국전산유체공학회:학술대회논문집
• /
• 2010.05a
• /
• pp.55-59
• /
• 2010

Aerodynamic design optimization of rotor airfoil has been performed with advanced design method for improved aerodynamic characteristics of ONERA airfoils as a baseline. A multiple response surface method is used to consider various consider various constraints in rotor airfoil design. Airfoil surface and mean camber line are modified using various shape functions. Numerical simulations are performed using KFLOW, a Navier-Stokes solver with shear stress transport turbulence model. The present design method provides favorable configurations for the high performance rotor airfoil. Resulting optimized air foils give better aerodynamic performance than the baseline airfoils.