• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.29-39
• /
• 2012

As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A${\otimes}$B shows two processes, A and B, carried out one after another. A&B is linked to an internal indeterminate, allowing an observer to select either A or B. A${\oplus}$B is an external indeterminate, and as such, an observer knows that either A or B holds true, but does not know which process will be true. A ${\wp}$ B signifies parallel computation of process A and process B; linear negative exhibits synchronization, that is, in order for the process A to be carried out, both A and $A^{\bot}$ have to be accomplished simultaneously. Since the field of linear logic is not very active in Korea at present, this paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.

• The Pure and Applied Mathematics
• /
• v.14 no.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
• /
• v.22 no.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
• /
• v.12 no.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
• /
• v.20 no.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.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.19 no.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%.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.37 no.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
• /
• v.4 no.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.

• The Mathematical Education
• /
• v.47 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.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.