• Journal of the Korea Computer Graphics Society
• /
• v.22 no.4
• /
• pp.11-19
• /
• 2016

In this paper, we propose an automatic segmentation method of renal parenchyma on abdominal CT image using graph-cuts with shape constraint based on multi-probabilistic atlas. The proposed method consists of following three steps. First, to use the various shape information of renal parenchyma, multi-probabilistic atlas is generated by cortex-based similarity registration. Second, initial seeds for graph-cuts are extracted by maximum a posteriori (MAP) estimation and renal parenchyma is segmented by graph-cuts with shape constraint. Third, to reduce alignment error of probabilistic atlas and increase segmentation accuracy, registration and segmentation are iteratively performed. To evaluate the performance of proposed method, qualitative and quantitative evaluation are performed. Experimental results show that the proposed method avoids a leakage into neighbor regions with similar intensity of renal parenchyma and shows improved segmentation accuracy.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.19 no.5
• /
• pp.589-595
• /
• 2010

This paper presents a reliability-based shape optimization (RBSO) using the evolutionary structural optimization (ESO). An actual design involves uncertain conditions such as material property, operational load, poisson's ratio and dimensional variation. The deterministic optimization (DO) is obtained without considering of uncertainties related to the uncertainty parameters. However, the RBSO can consider the uncertainty variables because it has the probabilistic constraints. In order to determine whether the probabilistic constraint is satisfied or not, simulation techniques and approximation methods are developed. In this paper, the reliability-based shape design optimization method is proposed by utilization the reliability index approach (RIA), performance measure approach (PMA), single-loop single-vector (SLSV), adaptive-loop (ADL) are adopted to evaluate the probabilistic constraint. In order to apply the ESO method to the RBSO, a sensitivity number is defined as the change of strain energy in the displacement constraint. Numerical examples are presented to compare the DO with the RBSO. The results of design example show that the RBSO model is more reliable than deterministic optimization.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.2
• /
• pp.17-27
• /
• 1995

We propose a framework for representing and processing uncertain knowledge on the basis of constraint satisfaction. A system of equations and/or inequalities can be considered as a set of constraints that should be solved, and each constraint in the set is transformed into a corresponding logical formula which can be solved through a constraint solving program. Most of rule-based systems, for instance, use a simple probabilistic theory in order to maintain uncertain knowledge, therefore uncertain knowledge can be represented and processed in the constraint satisfaction program quite efficiently.

• Journal of the Korean Society of Industry Convergence
• /
• v.23 no.5
• /
• pp.799-807
• /
• 2020

This paper deals with identification of probabilistic design using reliability based robust optimization in structure design of automatic salt collector. The thickness sizing variables of main structure member in the automatic salt collector were considered the random design variables including the uncertainty of corrosion that would be an inevitable hazardousness in the saltern work environment. The probabilistic constraint functions were selected from the strength performances of the automatic salt collector. The reliability based robust optimum design problem was formulated such that the random design variables were determined by minimizing the weight of the automatic salt collector subject to the probabilistic strength performance constraints evaluating from reliability analysis. Mean value reliability method and adaptive importance sampling method were applied to the reliability evaluation in the reliability based robust optimization. The three sigma level quality was considered robustness in side constraints. The probabilistic optimum design results according to the reliability analysis methods were compared to deterministic optimum design results. The reliability based robust optimization using the mean value reliability method showed the most rational results for the probabilistic optimum structure design of the automatic salt collector.

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.323-324
• /
• 2008

In this paper, we present performance comparison of two methods to localize multiple robots. One is extended Kalman filter and the other is constraint propagation technique. Extended Kalman filter is conventional probabilistic method which gives the sub-optimal estimation rather than guarantee any boundary for true position of robot. In case of constraint propagation, it can give a boundary containing true robot position value. Especially, we deal with cooperative localization problem in outdoor environment for multiple robots equipped with GPS, gyro meter, wheel encoder. In simulation results, we present strength and weakness for localization methods based on extend Kalman filter and constraint propagation technique.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.40 no.6
• /
• pp.551-561
• /
• 1991

The probabilistic generation simulation plays a key role in power system expansion and operational planning especially for the calculation of expected energy, loss of load probaility and unserved energy expected. However, it is crucial to develop a probabilistic generation simulation algorithm which gives sufficiently precise results within a reasonable computation time. In a previous paper, we have proposed an efficent method using Fast Hartley Transform in convolution process for considering the thermal and nuclear units. In this paper, a method considering the scheduling of pumped-storage plants and hydro plants with energy constraint is proposed. The method also adopts FHT techniques. We improve the model to include multi-state and multi-block generation. The method has been applied for a real size model system.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.5
• /
• pp.243-254
• /
• 2005

Soft real-time applications such as multimedia feature highly variable processor requirements and probabilistic guarantees on deadline misses, meaning that each task in the application meets its deadline with a given probability. Thus, for such soft real-time applications, a system designer may want to improve the system utilization by allocating to each task a processor time less than its worst-case requirement, as long as the imposed probabilistic timing constraint is met. In this case, however, we have to address how to schedule jobs of a task that require more than (or, overrun) the allocated processor time to the task. In this paper, to address the overrun problem, we propose an overrun control method, which probabilistically controls the execution of overrunning jobs. The proposed overrun control method probabilistically allows overrunning jobs to complete for better system utilization, and also probabilistically prevents the overrunning jobs from completing so that the required probabilistic timing constraint for each task can be met. In the paper, we show that the proposed method outperforms previous methods proposed in the literature in terms of the overall deadline miss ratio, and that it is possible to synthesize the scheduling parameters of our method so that all tasks can meet the given probabilistic timing constraints.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.19 no.5
• /
• pp.637-644
• /
• 2010

This paper presents a reliability-based shape optimization (RBSO) using the growth-strain method. An actual design involves uncertain conditions such as material property, operational load, Poisson's ratio and dimensional variation. The purpose of the RBSO is to consider the variations of probabilistic constraint and performances caused by uncertainties. In this study, the growth-strain method was applied to shape optimization of reliability analysis. Even though many papers for reliability-based shape optimization in mathematical programming method and ESO (Evolutionary Structural Optimization) were published, the paper for the reliability-based shape optimization using the growth-strain method has not been applied yet. Growth-strain method is applied to performance measure approach (PMA), which has probabilistic constraints that are formulated in terms of the reliability index, is adopted to evaluate the probabilistic constraints in the change of average mises stress. Numerical examples are presented to compare the DO with the RBSO. The results of design example show that the RBSO model is more reliable than deterministic optimization. It was verified that the reliability-based shape optimization using growth-strain method are very effective for general structure. The purpose of this study is to improve structure's safety considering probabilistic variable.

• Proceedings of the KIEE Conference
• /
• 2004.11b
• /
• pp.297-300
• /
• 2004

This paper proposes a method for choosing the best composite power system expansion plan considering probabilistic reliability criterion. The proposed method was modeled as the minimization of the investment budget (economics) for constructing new transmission lines subject to not only deterministic(demand constraint) but also probabilistic reliability criterion(LOLE) with considering the uncertainties of the system elements. This is achieved by modeling the power system expansion problem as an integer programming one. The method solves for the optimal strategy using a probabilistic theory based branch and bound method that utilizes a network flow approach and the maximum flow-minimum cut set theorem. Although the proposed method is applied to a simple sample study, the test results demonstrate a fact that the proposed method is suitable for solving the power system expansion planning problem subject to practical uncertainties for future.

• Composites Research
• /
• v.26 no.1
• /
• pp.29-35
• /
• 2013

Composite sandwich structure can improve the specific bending stiffness significantly and save the weight nearly 30 percent compared with the composite laminates. However, it has more inherent uncertainties of the material property caused by manufacturing process than metals. Therefore, the reliability-based probabilistic design approach is required. In this paper, the PMS(Probabilistic Margin of Safety) is calculated for the simplified fuselage structure made of composite sandwich to provide the probabilistic reasonable evidence that the classical design method based on the safety factor cannot ensure the structural safety. In this phase, the probability density function estimated by CMCS(Crude Monte-Carlo Simulation) is used. Furthermore, the RBDO(Reliability-Based Design Optimization) under the probabilistic constraint are performed, and the RBDO-MPDF(RBDO by Moving Probability Density Function) is proposed for an efficient computation. The examined results in this paper can be helpful for advanced design techniques to ensure the reliability of structures under the uncertainty and computationally inexpensive RBDO methods.