• 대한기계학회논문집A
• /
• 제26권9호
• /
• pp.1727-1735
• /
• 2002

The usage of beam scanning type laser marker is rapidly increasing in the field of semiconductor equipment. A device called ″beam adjuster″ is employed to adjust the visible diode laser, which points the marking position for various setting. The device is very sensitive to manufacturing tolerance and assembly condition. Axiomatic approach has been applied to the design of the device. An existing design is analyzed based on the Independence Axiom. The existing design is found to violate the axiom. Two new designs are proposed to satisfy the Independence Axiom. The Information Axiom is utilized to evaluate the designs. A design is selected to have the minimum information content. The significance of this research is that a full cycle of axiomatic design is applied to a real engineering product.

• 대한수학회지
• /
• 제60권5호
• /
• pp.987-998
• /
• 2023

It is shown that every continuum-wise expansive C¹ generic vector field X on a compact connected smooth manifold M satisfies Axiom A and has no cycles, and every continuum-wise expansive homoclinic class of a C¹ generic vector field X on a compact connected smooth manifold M is hyperbolic. Moreover, every continuum-wise expansive C¹ generic divergence-free vector field X on a compact connected smooth manifold M is Anosov.

• 대한기계학회논문집A
• /
• 제20권4호
• /
• pp.1333-1346
• /
• 1996

As the automation system in manufacturing field works more efficientely, the automation scheme is applied to many areas. In order to reduce the entire manufacturing, cost the design process must be automated. However, design process is so complicated, it is very difficult to construct the design automation system. The axiomatic approach to design provides a general theoretical framework for all design fields, including mechanical design. The key concepts of axiomatic design are : the existence of domains, the characteristic vectors within the domains that can be decomposed into hierarchies through zigzagging between the domains, and the design axioms. Using this approach, the glass bulb design process was analyzed and the design automation software was developed. Through menu display, a user can select or furnish the design input and generate the drawing with ease.

• East Asian mathematical journal
• /
• 제28권2호
• /
• pp.135-158
• /
• 2012

The ideals of the rings of integers are used to induce rational number system as operators(=group homomorphisms). We modify this inducing method to be effective in teaching rational numbers in secondary school. Indeed, this modification provides a nice model for explaining the equality property to define addition and multiplication of rational numbers. Also this will give some explicit ideas for students to understand the concept of 'field' efficiently comparing with the integer number system.

• East Asian mathematical journal
• /
• 제28권2호
• /
• pp.159-172
• /
• 2012

In all Mathematics I Textbooks(Kim, S. H., 2010; Kim, H. K., 2010; Yang, S. K., 2010; Woo, M. H., 2010; Woo, J. H., 2010; You, H. C., 2010; Youn, J. H., 2010; Lee, K. S., 2010; Lee, D. W., 2010; Lee, M. K., 2010; Lee, J. Y., 2010; Jung, S. K., 2010; Choi, Y. J., 2010; Huang, S. K., 2010; Huang, S. W., 2010) in high schools in Korea these days, it is written and taught that for a positive real number $a$, $a^{\frac{m}{n}}$ is defined as $a^{\frac{m}{n}}={^n}\sqrt{a^m}$, where $m{\in}\mathbb{Z}$ and $n{\in}\mathbb{N}$ have common prime factors. For that situation, the author shows his opinion that the definition is not well-defined and $a^{\frac{m}{n}}$ must be defined as $a^{\frac{m}{n}}=({^n}\sqrt{a})^m$, whenever $^n\sqrt{a}$ is defined, based on the field axiom of the real number system including rational number system and natural number system. And he shows that the following laws of exponents for reals: $$\{a^{r+s}=a^r{\cdot}a^s\\(a^r)^s=a^{rs}\\(ab)^r=a^rb^r$$ for $a$, $b$>0 and $s{\in}\mathbb{R}$ hold by the completeness axiom of the real number system and the laws of exponents for natural numbers, integers, rational numbers and real numbers are logically equivalent.

• 한국공간구조학회논문집
• /
• 제11권3호
• /
• pp.125-135
• /
• 2011

본 연구에서는 morphogenesis 기법의 L-system 모델을 사용하여 대공간 구조물의 형태 생성 방안을 제공하고자 한다. 이와 같은 L-system 모델은 일반적으로 식물의 성장 과정을 시각화하기 위해 적용되어 왔으나 본 연구는 이를 건축 분야에 적용하기 위한 프로세스가 제안된다. L-system 모텔은 크게 문자열 생성 단계와 문자열 분석 단계로 구성되어 있다. 문자열 생성 단계에서는 초기문자열로부터 최종 문자열을 생생하며, 문자열을 생성하기 위해서는 alphabet, axiom 및 rule에 대한 정의가 필요하다. 또한 문자열 해석 단계에서는 문자열의 의미 부여에 따라 다양하게 해석될 수 있다. 특히 다양한 적용 예제를 통해 대공간 구조물의 형태 생성 모델을 구현한다.

• 한국정밀공학회지
• /
• 제21권5호
• /
• pp.166-173
• /
• 2004

Axiomatic Design has been developed as a general design framework during past two decades and TRIZ has been developed for a design tool over 50 years. Axiomatic design is quite excellent in that the design should be decoupled. When a design matrix is established, the characteristics of the design are identified concerning the coupling properties. If the design is coupled, a decoupling process should be found. However, axiomatic design does not specifically indicate how to decouple. In this paper, a design method is developed to use TRIZ in the decoupling process. The decoupling ideas are extracted from the substance field analysis and various methods in TRIZ. The mettled is applied applied to the conceptual design of a beam splitter for the laser marker and the results are analyzed.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권4호
• /
• pp.1360-1388
• /
• 2021

Shipbuilding and repairing enterprise has the characteristics of many hazards and accidents. Therefore, the safety management ability of shipbuilding and repairing MIS (management information system) must be effectively guaranteed. The verification on safety management is the necessary measure to ensure and improve the safety management ability of MIS. Safety verification can not only increase the safety of MIS, but also make early warning of potential risks in management to avoid the accidents. Based on the authoritative standards in the field of safety in shipbuilding and repairing enterprise, this paper applied modeling and verification method based on ontology to safety verification of MIS, extracted the concepts and associations from related safety standards to construct axiom set to support safety verification on MIS of shipbuilding and repairing enterprise. Then, this paper developed the corresponding safety ontology modeling and verification tool-SOMVT. By the application and comparison of two examples, this paper effectively verified the safety of MIS to prove the modeling method and the SOMVT can improve the safety of MIS in a much more effective and stable way to traditional manual analysis.

• 정보과학회 논문지
• /
• 제43권7호
• /
• pp.812-819
• /
• 2016

본 논문에서는 기존의 영상분할에서 발생하는 초기값 배정문제와 영상분할 가능여부를 확인할 수 있는 방법에 대한 이론적 근거를 분석하고 제시한다. 본 논문의 앞 부분에서는 위상수학의 이론에 근거한 수학적 논증을 바탕으로 적절한 초기값 배정의 대한 위상적 근거와 방법론을 제시한다. 이어서 위상수학의 분리공리 이론에 근거하여 영상이 영역 분할되기 위한 최소의 위상조건을 확인하고 해당 조건을 이용하여 영상분할을 위해 사용된 모델의 유효성을 검증하는 방법론을 제시한다. 즉, 본 논문은 기존의 통계적 분석과 달리, 위상적 분석을 통해 영상 영역 분할의 수학적 근거를 제시한 것에 그 특징이 있다. 마지막으로 기존의 가우시안 랜덤 필드 모델 기반 영상 분할에 본 논문에서 제시한 이론과 방법론을 적용하여 가우시안 랜덤 필드 모델의 유효성을 확인한다.