• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.43
• /
• pp.163-174
• /
• 1997

Development of control model and system for AMS (Automated Manufacturing Systems) has long been interested by researchers. Presented in the paper is a systematic approach to constructing a Petri-nets(PNs) model of AMS and method for design a graphical model of a AMS by using a new modeling tool which is called PNs. So, the procedure of modeling in the AMS is the same as current practice of AMS design and is based on the IOM (Integrated Object-oriented Modeling) paradigm. An AMS, which consists of various machine groups, can produce machine parts in different physical dimensions and lot size. To model such a system, the method which utilizes Sub-PNs are proposed. This enables the models according to part routings. The machine group which causes bottleneck is obtained and modified to relieve the problem. By iterating these steps which consist of modelling, simulation, and performance evaluation, an AMS can e obtained which satisfies the required manufacturing conditions. Finally, the implementation issues of PN modeling are addressed. The approach is the IOM from PN modeling by Sub-PNs and the other is a development of IOM tool for the performance evaluation of AMS.

• Communications of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.157-161
• /
• 2007

Let G be a p-mixed abelian group with semi-complete torsion subgroup $G_t$ such that G is splitting or is of torsion-free rank one, and let R be a commutative unitary ring of prime characteristic p. It is proved that the group algebras RG and RH are R-isomorphic for any group H if and only if G and H are isomorphic. This isomorphism relationship extends our earlier results in (Southeast Asian Bull. Math., 2002), (Proc. Amer. Math. Soc., 2002) and (Bull. Korean Math. Soc., 2005) as well as completely settles a problem posed by W. May in (Proc. Amer. Math. Soc., 1979).

• Proceedings of the KIEE Conference
• /
• 2000.07c
• /
• pp.2044-2046
• /
• 2000

A system to monitor the ion mass and charge-state as well as plasma potential value during plasma source ion implantation (PSII) has been developed. It was tested with 30-kV PI3D setup using alternatively hot cathode do (HC) and inductively coupled RF (ICP) discharge sources. The design and performance of the system will be described, and experimental results in nitrogen and argon plasmas produced by modular HC-ICP source will be discussed.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2684-2686
• /
• 2000

This paper describes a preliminary study on a modeling technique for control performance evaluation of asynchronous TMR(Triple Modular Redundancy) controller. Hybrid system modeling is applied to TMR controller performance evaluation and mixed logical dynamical system description is used to model the behavior of majority voter in the controller. Windup and bumpless transfer problems in redundancy controls are also mentioned.

• Honam Mathematical Journal
• /
• v.32 no.1
• /
• pp.177-192
• /
• 2010

We study the concepts of congruent number problems and elliptic curves. We research the structure of the group of elliptic curves and find out a method of the computation of L($E_n$, 1) and L'($E_n$, 1) by using SAGE program. In this paper, we obtain the first few congruent numbers for n ${\leq}$ 2500.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.2047-2069
• /
• 2015

The coset diagrams are composed of fragments, and the fragments are further composed of circuits at a certain common point. A condition for the existence of a certain fragment ${\gamma}$ of a coset diagram in a coset diagram is a polynomial f in ${\mathbb{Z}}$[z]. In this paper, we answer the question: how many polynomials are obtained from the fragments, evolved by joining the circuits (n, n) and (m, m), where n < m, at all points.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.2015-2018
• /
• 2005

In this paper, we are willing to prepare the reasonable optimization, Combinatorial Optimization and Genetic Algorithm. Thus we define position status of end-effect (or terminative link module) using promised form, (G, M(G), A(G), and so on.). For this preparing step, the reorganizing procedure of Link and Joint Module is necessary, like as enumerating the kinematically identical assembly group of several links and joints. Thus, we draw a G, directed graph in a first step. Because, directed graph contains the path information between adjacent Link Module and Joint Module. From the directed graph,G, we can incite the Incidence Matrix, M(G). The incidence matrix, M(G), contains the contact information of the Link (Joint) Module and the type of Link (Joint). At the end of this paper, we generalize the modular information as a matrix form, A(G). From this matrix, we can make a population of assembly status. That is the finial output of this paper.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.4
• /
• pp.249-254
• /
• 2009

The today's decision making tasks in globalized business and manufacturing become more complex, and ill-defined, and typically multiaspect or multi-discipline due to many influencing factors. The requirement of obtaining fast and reliable decision solutions further complicates the task. Intelligent decision support system (DSS) currently exhibit wide spread applications in business and manufacturing because of its ability to treat ill-structuredness and vagueness associated with complex decision making problems. For multi-dimensional decision problems, generally an optimum single DSS can be developed. However, with an increasing number of influencing dimensions, increasing number of their factors and relationships, complexity of such a system exponentially grows. As a result, software development and maintenance of an optimum DSS becomes cumbersome and is often practically unfeasible for real situations. This paper presents a technically feasible approximation of an optimum DSS through decreasing its complexity by a modular structure. It consists of multiple DSSs, each of which contains the homogenous knowledge's, decision making tools and possibly expertise's pertaining to a certain decision making dimension. Simple, efficient and practical integration mechanism is introduced for integrating the individual DSSs within the proposed overall DSS architecture.

• International Journal of High-Rise Buildings
• /
• v.3 no.1
• /
• pp.21-33
• /
• 2014

The tied braced frame (TBF) system was developed to achieve uniform seismic inelastic demand along the height of multi-storey eccentrically braced steel frames. A modular tied braced frame (M-TBF) configuration has been recently proposed to reach the same objective while reducing the large axial force demand imposed on the vertical tie members connecting the link beams together in TBFs. M-TBFs may however experience variations in storey drifts at levels where the ties have been removed to form the modules. In this paper, the possibility of reducing the discontinuity in displacement response of a 16-storey M-TBF structure by introducing energy dissipating (ED) devices between the modules is examined. Two M-TBF configurations are investigated: an M-TBF with two 8-storey modules and an M-TBF with four 4-storey modules. Three types of ED devices are studied: friction dampers (FD), buckling restrained bracing (BRB) members and self-centering energy dissipative (SCED) members. The ED devices were sized such that no additional force demand was imposed on the discontinuous tie members. Nonlinear response history analysis showed that all three ED systems can be used to reduce discontinuities in storey drifts of M-TBFs. The BRB members experienced the smallest peak deformations whereas minimum residual deformations were obtained with the SCED devices.

• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.1
• /
• pp.77-102
• /
• 2017

As an analogy of $Poincar{\acute{e}}$ series in the space of modular forms, T. Ono associated a module $M_c/P_c$ for ${\gamma}=[c]{\in}H^1(G,R^{\times})$ where finite group G is acting on a ring R. $M_c/P_c$ is regarded as the 0-dimensional twisted Tate cohomology ${\hat{H}}^0(G,R^+)_{\gamma}$. In the case that G is the Galois group of a Galois extension K of a number field k and R is the ring of integers of K, the vanishing properties of $M_c/P_c$ are related to the ramification of K/k. We generalize this to arbitrary n-dimensional twisted cohomology of the ring of integers and obtain the extended version of theorems. Moreover, some explicit examples on quadratic and biquadratic number fields are given.