• 한국경영과학회지
• /
• 제23권4호
• /
• pp.11-20
• /
• 1998

This paper deals with a mathematical model and an algorithm for the problem of determining k most vital arcs in the shortest path problem. First, we propose a 0-1 integer programming model for finding k most vital arcs in shortest path problem given the ordered set of paths with cardinality q. Next, we also propose an algorithm for finding k most vital arcs ln the shortest path problem which uses the 0-1 Integer programming model and shortest path algorithm and maximum flow algorithms repeatedly Malik et al. proposed a non-polynomial algorithm to solve the problem, but their algorithm was contradicted by Bar-Noy et al. with a counter example to the algorithm in 1995. But using our algorithm. the exact solution can be found differently from the algorithm of Malik et al.

• 한국철도학회논문집
• /
• 제2권2호
• /
• pp.1-5
• /
• 1999

Based on the development of designed technology for aluminum carbody. the prototype aluminum carbody has been constructed. All extrusion profiles required for the carbody has been produced and their quality has also been proven. For sound construction. welding technology to join aluminum extrusion profiles has been developed and jigs for precise assembly of blocks have been made. The aluminum carbody for urban subway train has been completed with the required chamber being set and the welding deformations being constrained by jigs. The safety of the carbody structure has also been proven by the static load test. And also, painting technology has been developed and the surface of the carbody has been pre-treated and painted. The developed technology to construct the aluminum carbody can be used in mass production of aluminum cars ordered by domestic and foreign customers.

• Bulletin of the Korean Chemical Society
• /
• 제34권12호
• /
• pp.3790-3794
• /
• 2013

Molecular dynamics simulations were performed to study the structure and stability of a nanoscale self-assembled monolayer (SAM) of alkanethiol on a gold (111) surface. The tilt angle and orientational order of the alkyl chains in the SAM island were examined by systematically varying the size of the island. The chain length dependence of the SAM island was examined by considering alkanethiols containing 12, 16, 20, and 24 carbon atoms. The minimum diameter of SAM islands made from 1-tetracosanethiol, 1-ecosanethiol, 1-hexadecanethiol and 1-dodecanethiol were 2.29, 1.9, 4.7 and 4.76 nm, respectively. These set the ultimate resolution that can be patterned by soft nanolithography. As the length of alkanethiol increases, the SAM islands became more ordered in both orientation and conformation of the alkyl chains.

• ETRI Journal
• /
• 제39권1호
• /
• pp.13-20
• /
• 2017

A method is proposed for scheduling sensor accesses to the shared network in a networked control system. The proposed method determines the access order in which the sensors are granted medium access through minimization of the state estimation error covariance. Solving the problem by evaluating the error covariance for each possible ordered set of sensors is not practical for large systems. Therefore, a convex optimization problem is proposed, which yields approximate yet acceptable results. A state estimator is designed for the augmented system resulting from the incorporation of the optimally chosen communication sequence in the plant dynamics. A car suspension system simulation is conducted to test the proposed method. The results show promising improvement in the state estimation performance by reducing the estimation error norm compared to round-robin scheduling.

• 호남수학학술지
• /
• 제28권2호
• /
• pp.185-196
• /
• 2006

A scheme based on the cryptography for enforcing multilevel security in a system where hierarchy is represented by a partially ordered set was first introduced by Akl et al. But the key generation algorithm of Akl et al. is infeasible when there is a large number of users. In 1985, MacKinnon et al. proposed a paper containing a condition which prevents cooperative attacks and optimizes the assignment in order to overcome this shortage. In 2005, Kim et al. proposed key management systems for multilevel security using one-way hash function, RSA algorithm, Poset dimension and Clifford semigroup in the context of modern cryptography. In particular, the key management system using Clifford semigroup of imaginary quadratic non-maximal orders is based on the fact that the computation of a key ideal $K_0$ from an ideal $EK_0$ seems to be difficult unless E is equivalent to O. We, in this paper, show that computing preimages under the bonding homomorphism is not difficult, and that the multilevel cryptosystem based on the Clifford semigroup is insecure and improper to the key management system.

• 정보기술과데이타베이스저널
• /
• 제3권1호
• /
• pp.97-108
• /
• 1996

In this paper we obtain several function defined on finite partially ordered sets(posets) which may indicate constraints of comparability on sets of teams(tasks, etc.) for which evaluation is computationally simple, a relatively rare condition in graph-based algorithms. Using these functions a set of numerical coefficients and associated distributions obtained from a computer simulation of certain families of random graphs is determined. From this information estimates may be made as to the actual linearity of complicated posets. Applications of these ideas is to all areas where obtaining rankings from partial information in rational ways is relevant as in, e.g., team_, scaling_, and scheduling theory as well as in theoretical computer science. Theoretical consideration of special and desirable properties of various functions is provided permitting judgment concerning sensitivity of these functions to changes in parameters describing (finite) posets.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제21권2호
• /
• pp.113-120
• /
• 2014

In this paper, we first show that for any space X, there is a ${\sigma}$-complete Boolean subalgebra of $\mathcal{R}$(X) and that the subspace {${\alpha}{\mid}{\alpha}$ is a fixed ${\sigma}Z(X)^{\sharp}$-ultrafilter} of the Stone-space $S(Z({\Lambda}_X)^{\sharp})$ is the minimal basically disconnected cover of X. Using this, we will show that for any countably locally weakly Lindel$\ddot{o}$f space X, the set {$M{\mid}M$ is a ${\sigma}$-complete Boolean subalgebra of $\mathcal{R}$(X) containing $Z(X)^{\sharp}$ and $s_M^{-1}(X)$ is basically disconnected}, when partially ordered by inclusion, becomes a complete lattice.

• Kyungpook Mathematical Journal
• /
• 제47권4호
• /
• pp.473-480
• /
• 2007

In this paper we define prime right ideals of semirings and prove that if every right ideal of a semiring R is prime then R is weakly regular. We also prove that if the set of right ideals of R is totally ordered then every right ideal of R is prime if and only if R is right weakly regular. Moreover in this paper we also define prime subsemimodule (generalizing the concept of prime right ideals) of an R-semimodule. We prove that if a subsemimodule K of an R-semimodule M is prime then $A_K(M)$ is also a prime ideal of R.

• East Asian mathematical journal
• /
• 제27권5호
• /
• pp.557-564
• /
• 2011

In 2007, Huang and Zhang [1] introduced a cone metric space with a cone metric generalizing the usual metric space by replacing the real numbers with Banach space ordered by the cone. They considered some fixed point theorems for contractive mappings in cone metric spaces. Since then, the fixed point theory for mappings in cone metric spaces has become a subject of interest in [1-6] and references therein. In this paper, we consider some fixed point theorems for generalized nonexpansive setvalued mappings under suitable conditions in sequentially compact cone metric spaces and complete cone metric spaces.

• 수산경영론집
• /
• 제36권3호
• /
• pp.25-35
• /
• 2005

This paper analyzes urban residents' preference on blue tourism using a survey data. The result show that even thought urban resident are unaware of blue tourism, people who have experienced blue tourism set a high value on it. Urban Resident tend to buy services of lodging, fisheries goods purchase about blue tourism, when they hope to blue tourism. These results indicate that there is a lot of potential demand for blue tourism. The results of this paper could be an important information to develop the blue tourism.