• Journal of Information Technology Applications and Management
• /
• 제14권2호
• /
• pp.117-127
• /
• 2007

Using an exchange standard, we can design an open architecture for the interchange of decision models and data. XML (eXtensible Markup Language) provides a general framework for creating such a standard. Although XML -based model representation languages such as OOSML were proposed, they are partly limited in expression capability, flexibility, generality, etc. This paper proposes a new method for expressing and sharing decision models and data based on XBRL (eXtensible Business Reporting Language), which is a XML language specialized in business reporting. We have developed a XBRL taxonomy for decision models with the concepts and relationships of a representative modeling framework, SM (Structured Modeling). The method allows for expressing data as well as decision models in a consistent and flexible manner. Diverse dependencies between components of SM models can also be affluently expressed.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1994년도 하계학술대회 논문집 A
• /
• pp.337-341
• /
• 1994

This paper describes an effort to develop a simulator of Active Power Filter (APF) by three dimentional(3-D) space current co-ordinate. System current is represented by 3-D vector composed of three current components - active, reactive and distorted. %THD (%Total Harmonics Distortion) can be converted to height-angle of system current vector and power factor can be defined on 3-D space current co-ordinate without loss of generality. Current of APF and power system can be analyzed by 3-D visualization of current vector trajectory. So, the computer simulation results show that the proposed method by 3-D space current co-ordinate make up for disadvantages of performance evaluation on time / frequency domain.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2000년도 춘계학술대회 발표논문집
• /
• pp.213-222
• /
• 2000

In present study, a stochastic model is developed for the low cycle fatigue life prediction and reliability assessment of 316L stainless steel under variable multiaxial loading. In the proposed model, fatigue phenomenon is considered as a Markov process, and damage vector and reliability are defined on every plane. Any low cycle fatigue damage evaluating method can be included in the proposed model. The model enables calculation of statistical reliability and crack initiation direction under variable multiaxial loading, which are generally not available. In present study, a critical plane method proposed by Kandil et al., maximum tensile strain range, and von Mises equivalent strain range are used to calculate fatigue damage. When the critical plane method is chosen, the effect of multiple critical planes is also included in the proposed model. Maximum tensile strain and von Mises strain methods are used for the demonstration of the generality of the proposed model. The material properties and the stochastic model parameters are obtained from uniaxial tests only. The stochastic model made of the parameters obtained from the uniaxial tests is applied to the life prediction and reliability assessment of 316L stainless steel under variable multiaxial loading. The predicted results show good accordance with experimental results.

• Nuclear Engineering and Technology
• /
• 제32권1호
• /
• pp.17-33
• /
• 2000

A mechanistic model based on wall-attached bubble coalescence, previously developed by the authors, was extended to predict a vow high critical heat flux (CHF）in highly subcooled flow boiling, especially for high mass flux and small tube diameter conditions. In order to take into account the enhanced condensation due to high subcooling and high mass velocity in small diameter tubes, a mechanistic approach was adopted to evaluate the non-equilibrium flow quality and void fraction in the subcooled water flow boiling, with preserving the structure of the previous CHF model. Comparison of the model predictions against highly subcooled water CHF data showed relatively good agreement over a wide range of parameters. The significance of the proposed CHF model lies in its generality in applying over the entire subcooled flow boiling regime including the operating conditions of fission and fusion reactors.

• 동력기계공학회지
• /
• 제11권1호
• /
• pp.70-75
• /
• 2007

Heat transfer coefficient and fin efficiency of a heat exchanger dispersed in the microelement of control volume were predicted with various flow patterns, conditions and material properties. A computational program was developed by using the method of efficiency-NTU(Number of transfer unit). The modelling was applied to heat exchangers, also was integrated in power pack cooling system in an armored vehicle. The compatibility and the generality were proved by comparing the prediction values with the test results. The developed program may be useful for the design of the cooling system in an armored vehicle.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2007년도 정기 학술대회 논문집
• /
• pp.571-576
• /
• 2007

This study presents stiffness-based optimal design to control quantitatively lateral drift of frame-shear wall structures subject to seismic loads. To this end, lateral drift constraints are established by introducing approximation concept that preserves the generality of the mathematical programming and can efficiently solve large scale problems. Also, the relationships of sectional properties are established to reduce the number of design variables and resizing technique of member is developed under the 'constant-shape' assumption. Specifically, the methodology of dynamic displacement sensitivity analysis is developed to formulate the approximated lateral displacement constraints. The 12 story frame-shear wall structural models is considered to illustrate the features of dynamic stiffness-based optimal design technique proposed in this study.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제43권4호
• /
• pp.381-390
• /
• 2004

In this study, we conceptualized the ‘preformal proof’, which is a transitive level of proof from the experimental and inductive justification to the formalized mathematical proof. We investigated concrete features of the preformal proof in the historico-genetic and the didactical situations. The preformal proof can get the generality of the contents of proof, which makes a distinction from the experimental proof. And we can draw a distinction between the preformal and formal proof, in point that the preformal proof heads for the reality-oriented objects and does not use the formal language.

• International Journal of Contents
• /
• 제5권3호
• /
• pp.57-64
• /
• 2009

Korea has relied on top down development method, in which companies, research and education institutions move into the industrial complexes established by the government. However, to improve local competitiveness, the paradigm is shifting from the government initiated industrial complex to the clusters based on the cooperative network of the region. Representative case is 'Samcheok-si Fire & Emergency industry cluster construction project' that begun in 2007. AHP technique analysis results on first-stage showed that priority was on policy and network elements, and the results of second-stage analysis show that priority was on Policy incentives to internationalize the cluster and strengthen link,. Cluster branding, Sharing of organizational culture to cope with changes in environment, Creation of group learning culture. The subject of this research is limited to Samcheok-si's the Fire and Emergency Industry cluster formation project. Therefore, the research area and standard should be expanded to increase generality in further researches.

• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1449-1461
• /
• 2019

Face sketch synthesis plays an important role in public security and digital entertainment. In this paper, we present a novel face sketch synthesis method via local similarity and nonlocal similarity regularization terms. The local similarity can overcome the technological bottlenecks of the patch representation scheme in traditional learning-based methods. It improves the quality of synthesized sketches by penalizing the dissimilar training patches (thus have very small weights or are discarded). In addition, taking the redundancy of image patches into account, a global nonlocal similarity regularization is employed to restrain the generation of the noise and maintain primitive facial features during the synthesized process. More robust synthesized results can be obtained. Extensive experiments on the public databases validate the generality, effectiveness, and robustness of the proposed algorithm.

• 한국철도학회논문집
• /
• 제6권1호
• /
• pp.66-72
• /
• 2003

Railway sign(graphic sign, diagraphics) designs require good recognition with universality to transmit accurate and speedy information as they connect people around the station and other transport systems. An important point of signs is how to design and deliver the contents to the viewers as a communication service tools. It needs to establish design guidelines with standardization and unified system to show their contents and images clearly like common language with visuality, attractivity and generality. These requisites are important for both aesthetics legibility and unified standards to maximize the effectiveness of pictograms for the use of the general public, who require systematic suggestion and management.