• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1556-1559
• /
• 1987

In this paper, a new state assignment method is proposed for the implementation of the area-effective control part. Introducing the, concept of adjacency matrix to control table generated by SDL(Symbolic Description Language) hardware compiler, a state assignment method is proposed with which minimal number of flip flops and effective number of product terms can be obtained to accomplish the area-effective implementation. Also, with substituting the assigned code to state transition table, boolean equations are obtained through 2-level logic minimization. Proposed algorithm is programmed in C-language on VAX-750/UNIX and b efficiency is shown by the practical example.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.10
• /
• pp.73-80
• /
• 1995

In this paper, a synthesis tool using matrix operations for designing multi-level Reed Muller circuits is described which has been named as MRM (Multi-level Reed Muller Minimizer). The synthesis method which uses matrix operations has advantages in effectively minimizing chip area, delay optimization and fault detection capability. However, it uses only truth-table type maps for inputs, synthesizing only small circuits. To overcome the weakness, our method accepts two-level description of a logic function. Since the number of cubes in the two-level description is small, the input matrix becomes small and large circuits can be synthesized. To convert two-level representations into multi-level ones, different input patterns are extracted to make a map which can be fed to the matrix operation procedure. Experimental results show better performance than previous methods. The matrix operation method presented in this paper is new to the society of Reed Muller circuits synthesis and provides solid mathematical foundations.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.332-335
• /
• 1995

A simple and effective method for improving Euclidean norm condition number for chemical processing system is presented. The singular value sensitivities of Freudenberg et al. (1982) is used to estimate the behavior of singular values of process transfer function matrix when design parameter is changed, then the condition number can be calculated straightforwardly. The method requires explicit dependencies of each transfer function matrix elements on design parameters. These dependencies can be obtained either by symbolic differentiation in the form of explicit function of design parameters, or by numerical perturbation studies for units with large and complicated models. Gerschgorin-type lower bound for minimum singular value is introduced to detect the large divergencies near singular point due to linearity of sensitivities. The case studies are performed to show the efficiency of the proposed method.

• International Journal of Control, Automation, and Systems
• /
• v.1 no.4
• /
• pp.431-443
• /
• 2003

This paper presents an efficient method to evaluate the performance of an extended stochastic Petri net by simple algebraic operations. The reachability graph is derived from an extended stochastic Petri net, and then converted to a timed stochastic state machine, using a semi-Markov process. The n-th moments of the performance index are derived by algebraic manipulations with each of the n-th moments of transition time and transition probability. For the derivation, three reduction rules are introduced on the transition trajectories in a well-formed regular expression. Efficient computation algorithms are provided to automate the suggested method. The presented method provides a proficient means to derive both the numerical and the symbolic solutions for the performance of an extended stochastic Petri net by simple algebraic manipulations.

• Journal of Computing Science and Engineering
• /
• v.8 no.2
• /
• pp.65-77
• /
• 2014

To address the problem of multi-target retrieval (MTR) of remote sensing images, this study proposes a new object-level feature representation model. The model provides an enhanced application image representation that improves the efficiency of MTR. Generating the model in our scheme includes processes, such as object-oriented image segmentation, feature parameter calculation, and symbolic image database construction. The proposed model uses the spatial representation method of the extended nine-direction lower-triangular (9DLT) matrix to combine spatial relationships among objects, and organizes the image features according to MPEG-7 standards. A similarity metric method is proposed that improves the precision of similarity retrieval. Our method provides a trade-off strategy that supports flexible matching on the target features, or the spatial relationship between the query target and the image database. We implement this retrieval framework on a dataset of remote sensing images. Experimental results show that the proposed model achieves competitive and high-retrieval precision.

• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.4
• /
• pp.103-111
• /
• 2003

The Denavit-Hartenberg symbolic notation provides the framework for the convenient and systematic method for the robot manipulator kinematics, but is limited its use to the lower pair mechanism or to the single loop mechanisms. The Sheth-Uicker notation is its revised and generalized version to be extended fur the entire domain of the link mechanism including the higher pairs. This paper proposes the method that uses the Sheth-Uicker notation fur the robot kinematics modeling. It uses the instantly coincident coordinate system and the closed loop chain fur the coordinate transformation. It enables us to model the velocity kinematics of the robot that has the complex structures such as the ternary links and the wheels in a systematic and rational way. As an implementation of the proposed method, the Jacobian matrices were obtained for not only the robot with two legs and a torso, but a manipulator on a mobile platform.

• Journal of the Korean housing association
• /
• v.17 no.6
• /
• pp.55-63
• /
• 2006

The purpose of this study is to investigate the change of kitchen in a single detached house in Jeonju city after 70's. Oral life history method which has 12 women's personal narratives and 17 women's personal narratives with written reports was used as a research method of this study. The results of the study were obtained as follows: 1) It was beginning about late 1970 year that heating system and cooking place were separated in a house. 2) Many kitchens were reconstructed for indoor stand-up work place from late 1970's to the early 1980's. 3) There were major factors such as heating system, cooking fuel, and work center in the change of kitchen in old houses. 4) The kitchen toward the center with a living room was appeared in the floor plan of modem house after 1990's. The symbolic words of the indoor kitchen that work for women were 'warmness' and 'convenience'.

• Structural Engineering and Mechanics
• /
• v.22 no.2
• /
• pp.151-167
• /
• 2006

A p-version of the finite element method in conjunction with the modeling dynamic method using the arc-length stretch deformation is considered to determine the bending natural frequencies of a cantilever flexible plate mounted on the periphery of a rotating hub. The plate Fourier p-element is used to set up the linear equations of motion. The transverse displacements are formulated in terms of cubic polynomials functions used generally in FEM plus a variable number of trigonometric shapes functions representing the internals DOF for the plate element. Trigonometric enriched stiffness, mass and centrifugal stiffness matrices are derived using symbolic computation. The convergence properties of the rotating plate Fourier p-element proposed and the results are in good agreement with the work of other investigators. From the results of the computation, the influences of rotating speed, aspect ratio, Poisson's ratio and the hub radius on the natural frequencies are investigated.

• East Asian mathematical journal
• /
• v.16 no.2
• /
• pp.251-266
• /
• 2000

The problem of solution uniqueness to the task of determining unknown parameters of mathematical models from input-output observations is studied. This problem is known as structural identifiability problem. We offer a new approach for testing structural identifiability of linear state space models. The approach compares favorably with numerous methods proposed by other authors for two main reasons. First, it is formulated in obvious mathematical form. Secondly, the method does not involve unfeasible symbolic computations and thus allows to test identifiability of large-scale models. In case of non-identifiability, when there is a set of solutions to the task, we offer a method of computing functions of the unknown parameters which can be determined uniquely from input-output observations and later used as new parameters of the model. Such functions are called parametric functions capable of estimation. To develop the method of computation of these functions we use Lie group transformation theory. Illustrative example is given to demonstrate applicability of presented methods.

• Journal of the Korean Society of Costume
• /
• v.55 no.2 s.92
• /
• pp.45-57
• /
• 2005

The creative fashion design is the technique which ran be obtained through the structural analysis of the relationship between principle, element-combination and idea-expression. In the research, as the results of theoretical survey of design structure and idea-expression, the structural and subjective designs are classified and defined: a. the structural design is analyzed with the existing examples based on the combinational Idea-expression of the O.C.L method, and b. the subjective design is also analyzed connecting the real examples to Cordon method, Synetic method, Association method, and expansive idea-expression-method obtained by the Experiences of Geometrical Combinations. The research can be summarized as follows: 1. The creative fashion design which emphasizes the geometrical structure utilizes the modification method whirh combines the shapes and constructs extraordinary structural beauty coming from the complex structural principle, that is, emphasis and balance. 2. The creative fashion design which emphasizes specific subjects utilizes the modification method which mimics representative and plastic resemblances and constructs symbolic structural beauty coming from the simple structural principle, that is, material elements.