• 한국수학사학회지
• /
• 제25권3호
• /
• pp.29-39
• /
• 2012

선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제14권4호
• /
• pp.335-354
• /
• 2007

In this paper, we define an analogue of generalized Wiener measure and investigate its basic properties. We define (${\hat}It{o}$ type) stochastic integrals with respect to the generalized Wiener process and prove the ${\hat}It{o}$ formula. The existence and uniqueness of the solution of stochastic differential equation associated with the generalized Wiener process is proved. Finally, we generalize the linear filtering theory of Kalman-Bucy to the case of a generalized Wiener process.

• Communications for Statistical Applications and Methods
• /
• 제22권6호
• /
• pp.625-637
• /
• 2015

We develop a Bayesian clustering procedure based on a Dirichlet process prior with cluster specific random effects. Gibbs sampling of a normal mixture of linear mixed regressions with a Dirichlet process was implemented to calculate posterior probabilities when the number of clusters was unknown. Our approach (unlike its counterparts) provides simultaneous partitioning and parameter estimation with the computation of the classification probabilities. A Monte Carlo study of curve estimation results showed that the model was useful for function estimation. We find that the proposed Dirichlet process mixture model with cluster specific random effects detects clusters sensitively by combining vague edges into different clusters. Examples are given to show how these models perform on real data.

• Industrial Engineering and Management Systems
• /
• 제12권1호
• /
• pp.2-8
• /
• 2013

Uncertainty theory is a branch of mathematics based on normolity, duality, subadditivity and product axioms. Uncertain process is a sequence of uncertain variables indexed by time. Canonical Liu process is an uncertain process with stationary and independent increments. And the increments follow normal uncertainty distributions. Uncertain differential equation is a type of differential equation driven by the canonical Liu process. Stability analysis on uncertain differential equation is to investigate the qualitative properties, which is significant both in theory and application for uncertain differential equations. This paper aims to study stability properties of linear uncertain differential equations. First, the stability concepts are introduced. And then, several sufficient and necessary conditions of stability for linear uncertain differential equations are proposed. Besides, some examples are discussed.

• Journal of Mechanical Science and Technology
• /
• 제20권7호
• /
• pp.1089-1097
• /
• 2006

The market demand of display devices is drastically increasing in the information technology age. The research on OLED (Organic Light Emitting Diodes) display with the luminescence in itself is being more paid attention than LCD (Liquid Crystal display) with the light source from the back. The vapor deposition process is most essential in manufacturing OLED display. The temperature distribution of the linear cell in this process is closely related to securing the uniformity of organic materials on the substrate. This work analyzed the temperature distribution depending on the intervals between the crucible and the heating band as well as on the amount of the heat flux from the heating band. Moreover, the roles of the water jacket and the configuration of the cover within the linear cell were examined through the temperature analysis for six configurations of the linear cell. Under the above temperature analysis, the variations in the intervals and the amount of the heat flux were considered to have an effect on building the uniform temperature distribution within the crucible. It is predicted that the water jacket and the adequate configuration of the cover will prevent the blowout and clogging phenomena, respectively. The results can be used as the fundamental data for designing the optimal linear cell.

• 한국기계가공학회지
• /
• 제19권6호
• /
• pp.23-28
• /
• 2020

A non-linear vibration isolation system composed of a non-linear spring and a linear damper was presented in a previous study. The advantage of the proposed isolator is the simple structure of the system. When the base of the isolator is harmonically excited, the response component of the mass at the excitation frequency was approximated using three different methods: linear approximation, harmonic balance, and higher-order frequency response functions (FRFs). The method using higher-order FRFs produces significantly more accurate results compared with the other methods. The error between the exact and approximate responses does not increase monotonously with the excitation amplitude and is less than 2%.

• 한국경영과학회지
• /
• 제37권4호
• /
• pp.67-72
• /
• 2012

In this paper a new method of handling linear constraints for the genetic algorithm is suggested. The method is designed to maintain the feasibility of offsprings during the evolution process of the genetic algorithm. In the genetic algorithm, the chromosomes are coded as the vectors in the real vector space constrained by the linear constraints. A method of handling the linear constraints already exists in which all the constraints of equalities are eliminated so that only the constraints of inequalities are considered in the process of the genetic algorithm. In this paper a new method is presented in which all the constraints of inequalities are eliminated so that only the constraints of equalities are considered. Several genetic operators such as arithmetic crossover, simplex crossover, simple crossover and random vector mutation are designed so that the resulting offspring vectors maintain the feasibility subject to the linear constraints in the framework of the new handling method.

• Journal of Multimedia Information System
• /
• 제4권2호
• /
• pp.57-64
• /
• 2017

Numerous software vulnerabilities have been found in the popular operating systems. And recently, robust linear behaviors in software vulnerability discovery process have been noticeably observed among the many popular systems having multi-versions released. Software users need to estimate how much their software systems are risk enough so that they need to take an action before it is too late. Security vulnerabilities are discovered throughout the life of a software system by both the developers, and normal end-users. So far there have been several vulnerability discovery models are proposed to describe the vulnerability discovery pattern for determining readiness for patch release, optimal resource allocations or evaluating the risk of vulnerability exploitation. Here, we apply a linear vulnerability discovery model into Windows operating systems to see the linear discovery trends currently observed often. The applicability of the observation form the paper show that linear discovery model fits very well with aggregate version rather than each version.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제47권4호
• /
• pp.437-445
• /
• 2008

On the basis of the meaning and general process of geometric proof through transformation concept and understanding the geometric properties of linear transformation, this study showed that the centroid of geometrical figure and certain properties of a parabola and an ellipse in school mathematics can be explained as a conservative properties through linear transformation. From an educational perspective, this is a good example of showing the process of how several existing individual knowledge can be reorganized by a mathematical concept. Considering the fact that mathematical usefulness of linear transformation can be revealed through an invariable and conservation concept, further discussion is necessary on whether the linear transformation map included in the former curriculum have missed its point.

• 대한수학회보
• /
• 제40권4호
• /
• pp.715-722
• /
• 2003

A functional central limit theorem is obtained for a stationary linear process of the form $X_{t}=\;{\Sigma_{j=0}}^{\infty}a_{j}{\epsilon}_{t-j}, where {${\in}_{t}$｝is a strictly stationary associated sequence of random variables with $E_{{\in}_t}{\;}={\;}0.{\;}E({\in}_t^2){\;}<{\;}{\infty}{\;}and{\;}{a_j}$ is a sequence of real numbers with (equation omitted). A central limit theorem for a stationary linear process generated by stationary associated processes is also discussed.