• 제목/요약/키워드: Axiom A

Search Result 148, Processing Time 0.27 seconds

Development of an Automatic Pipe-cutting Machine by Axiomatic Approach (공리적 접근을 통한 자동 가스절단기의 개발)

  • Sin, Chang-Ho;Jeong, Jin-Tae
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.26 no.9
    • /
    • pp.1866-1873
    • /
    • 2002
  • The pipe-cutting machine developed in this study is a portable device used to cut a steel pipe. The machine, which is attached to the steel pipe by magnetic force, is moving around the pip e using four wheels. It also works for straight cutting of a steel plate. For the higher precision and labor time reduction, the automation of a pipe-cutting process is needed. However, it is not easily achieved because of vibrations and the loss of track. It is also found that the problems of the automation arise from the coupling of the functional requirements for the pipe-cutting machine. So, it is very difficult io solve the problems by a conventional design method. To overcome the difficulties the new design process for the pipe-cutting machine is established by axiomatic approach in this paper. Based on the Independence Axiom design process, a new product is designed and manufactured. Finally, it is verified by experiments that the performance of the automatic pipe-cutting machine is improved

Stiffness and Elasticity of the Masticatory and Facial Expression Muscles in Patients with the Masticatory Muscle Pain (저작근통 환자에서 저작근 및 안면표정근의 경도와 탄성도 평가)

  • Kim, Yeon-Shin;Kim, Ki-Suk;Kim, Mee-Eun
    • Journal of Oral Medicine and Pain
    • /
    • v.34 no.3
    • /
    • pp.317-324
    • /
    • 2009
  • This study aimed to assess stiffness and elasticity of the masticatory muscle in the patients with the masticatory muscle pain using a tactile sensor and to investigate whether the masticatory muscle pain affects the facial expression muscles. From those who visited Department of Oral Medicine in Dankook University Dental Hospital, 27 patients presenting with unilateral muscle pain and tenderness in the masseter muscle (Ms) were selected (mean age: $36.4{\pm}13.8$ years). Exclusion criterion was those who also had temporomandibular joint (TMJ) disorders or any neurological pain. Muscle stiffness and elasticity for the muscles of mastication and facial expression was investigated with the tactile sensor (Venustron, Axiom Co., JAPAN) and the muscles measured were the Ms, anterior temporal muscle (Ta), frontalis (Fr), inferior orbicularis oculi (Ooci), zygomaticus major (Zm), superior and inferior orbicularis oris (Oors, Oori) and mentalis (Mn). t-tests was used to compare side difference in muscle stiffness and elasticity. Side differences were also compared between diagnostic groups (local muscle soreness (LMS) vs myofascial pain syndrome (MPS) and between acute (< 6M) and chronic ($\geq$ 6M) groups. This study showed that Ms and Zm at affected side exhibited significantly increased stiffness and decreased elasticity as compared to the unaffected side.(p<0.05) There was no significant difference between local muscle soreness and myofascial pain syndrome groups and between acute and chronic groups. The results of this study suggests that masticatory muscle pain in Ms can affect muscle stiffness and elasticity not only for Ms but also for Zm, the facial expression muscle.

Shadow Detection Using Linearity of Shadow Brightness from a Single Natural Image (단일 자연영상에서 그림자 밝기의 선형성을 이용한 그림자 검출)

  • Hwang, Dong-Guk;Park, Jong-Cheon;Jun, Byoung-Min
    • The KIPS Transactions:PartB
    • /
    • v.15B no.6
    • /
    • pp.527-532
    • /
    • 2008
  • This paper proposes a novel approach to shadow detection from a single natural image regardless of orientation and type of light sources. This approach is based on the assumption that shadow brightness changes linearly, and the axiom that a region cast shadow on is darker than that not having shadow under the same environment. Firstly, candidates for shadow are extracted by preprocessing. Then, they are quantized to replace the similar values with a representative value because of the more quantization steps of a pixel brightness, the higher linear independency among the neighboring pixels. Finally, shadows are detected according to linear independency of shadow brightness based on the assumption. The experimental results showed the proposed approach can robustly detect umbra as well as self-shadow and penumbra cast on a single-colored background.

Design of Automobile Seat for Regulations using Axiomatic Design (공리적 설계에 의한 안전기준을 만족하는 자동차용 시트 설계)

  • Kang Byung-Soo;Jeong a-young;Shin Moon-Kyun;Park Gyung-jin
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.13 no.3
    • /
    • pp.24-34
    • /
    • 2005
  • The automobile seat must satisfy various safety regulations for the passenger's safety. In many design practices, each component is independently designed by concentrating on a single related regulation. However, since multiple regulations can be involved in a seat component, there may be design confliction among the various safety regulations. Therefore, a new design methodology is required to effectively design an automobile seat. The axiomatic approach is employed for considering multiple regulations. The Independence Axiom is used to define the overall flow of the seat design. Functional requirements (FRs) are defined by safety regulations and components of the seat are classified into groups which yield design Parameters (DPs). The classification is carried out to have independence in the FR-DP relationship. Components in a DP group are determined by using orthogonal away of the design of experiments (DOE). Numerical analyses are utilized to evaluate the safety levels by using a commercial software system for nonlinear transient finite element analysis.

Ontology-Based Knowledge Framework for Product Life cycle Management (PLM 지원을 위한 온톨로지 기반 지식 프레임워크)

  • Lee Jae-Hyun;Suh Hyo-Won
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.23 no.3 s.180
    • /
    • pp.22-31
    • /
    • 2006
  • This paper introduces an approach to an ontology-based knowledge framework for product life cycle management (PLM). Participants in a product life cycle want to share comprehensive product knowledge without any ambiguity and heterogeneity. However, previous knowledge management approaches are limited in providing those aspects. Therefore, we suggest an ontology-based knowledge framework including knowledge maps, axioms and specific knowledge far domain. The bottom level, the axiom, specifies the semantics of concepts and relations of knowledge so that ambiguity of the semantics can be alleviated. The middle level is a product development knowledge map; it defines the concepts and the relations of the product domain common knowledge and guides engineers to process their engineering decisions. The middle level is then classified further into more detailed levels, such as generic product level, specific product level, product version level, and product item level for PLM. The top level is specialized knowledge fer a specific domain that gives the solution of a specific task or problem. It is classified into three knowledge types: expert knowledge, engineering function knowledge, and data-analysis-based knowledge. This proposed framework is based on ontology to accommodate a comprehensive range of unambiguous knowledge for PLM and is represented with first-order logic to maintain a uniform representation.

Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS

  • Koo, Seo-Ryong;Son, Han-Seong;Seong, Poong-Hyun
    • Nuclear Engineering and Technology
    • /
    • v.31 no.2
    • /
    • pp.157-171
    • /
    • 1999
  • In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

  • PDF

A Study on Operating eCRM using Axiom Design (공리설계를 이용한 eCRM 운영방안에 관한 연구)

  • 양광모;박재현;강경식
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2001.11a
    • /
    • pp.65-71
    • /
    • 2001
  • With ever-change and increasingly competitive business environments, firms strive to employ a variety of marketing strategies and execution in order to survive in the market. Such effects would be paid off in the right way only when management of the firms perform marketing activities focusing on long term effectiveness, which would drive company profits up and keep them for long. Demands of customers are being changed and varied. And in this circumstance, it become a main issue of management that the company should produce and sell products according to the customer demands. With these trends, each company has been concentrating effects on generalization of product development technique and distinction of service lot customer In this result with the advantage of mass marketing and database marketing have been drawing attentions from company. Also the internet connected around the world completely diminished the limit of time and distance and company have enveloped keen competition out of each nation and continent in the world market. To fulfill these demands of customer, they need a concept of eCRM(Web based Customer Relationship Management), and go from selling products and services, or gathering customer requests, up to the phase of solving customer's problem by real time or Previous action. With the help of Internet, the frequency and speed of the problem solving has improved greatly.

  • PDF

A Novel Varactor Diodeless Push-Push VCO with Wide Tuning Range (바렉터 다이오드를 이용하지 않은 광대역 Push-Push 전압제어 발진기)

  • Lee Moon-Que;Moon Seong-Mo;Min Sangbo
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.16 no.4 s.95
    • /
    • pp.345-350
    • /
    • 2005
  • An X-band push-push VCO for low cost applications is proposed. The designed push-push oscillator achieves a wide tuning range in the X-band by the collector bias tuning instead of extra varactor diodes. The measurement shows a wide tuning bandwidth of $900\;\cal{MHz}\;from\;10.9\;\cal{GHz}\;to\;11.8\;\cal{GHz}$ with a drain bias voltage varying from 4 to 9 V, excellent fudamental suppression of $-30\;\cal{dBc}$ and good phase noise of $-115\;\cal{dBc/Hz}\;@\;1\;\cal{MHz}$ offset.

A Study on eCRM Operation of Apparel Industry Using Axiom Design (공리설계 적용 의류업의 eCRM 운영 방안 연구)

  • 박재현;양광모;강경식
    • Journal of the Korea Safety Management & Science
    • /
    • v.3 no.4
    • /
    • pp.123-133
    • /
    • 2001
  • With ever-change and increasingly competitive business environments, firms strive to employ a variety of marketing strategies and execution in order to survive in the market. Such effects would be paid off in the right way only when management of the firms perform marketing activities focusing on long term effectiveness, which would drive company profits up and keep them for long. Demands of customers are being changed and varied. And in this circumstance, it become a main issue of management that the company should produce and sell products according to the customer demands. With these trends, each company has been concentrating effects on generalization of product development technique and distinction of service for customer. In this result with the advantage of mass marketing and database marketing have been drawing attentions from company. Also the internet connected around the world completely diminished the limit of time and distance and company have enveloped keen competition out of each nation and continent in the world market. To fulfill these demands of customer, they need a concept of eCRM(Web based Customer Relationship Management), and go from selling products and services, or gathering customer requests, up to the phase of solving customer's problem by real time or previous action. With the help of internet, the frequency and speed of the problem solving has improved greatly.

  • PDF

Incorporation of Fuzzy Theory with Heavyweight Ontology and Its Application on Vague Information Retrieval for Decision Making

  • Bukhari, Ahmad C.;Kim, Yong-Gi
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.11 no.3
    • /
    • pp.171-177
    • /
    • 2011
  • The decision making process is based on accurate and timely available information. To obtain precise information from the internet is becoming more difficult due to the continuous increase in vagueness and uncertainty from online information resources. This also poses a problem for blind people who desire the full use from online resources available to other users for decision making in their daily life. Ontology is considered as one of the emerging technology of knowledge representation and information sharing today. Fuzzy logic is a very popular technique of artificial intelligence which deals with imprecision and uncertainty. The classical ontology can deal ideally with crisp data but cannot give sufficient support to handle the imprecise data or information. In this paper, we incorporate fuzzy logic with heavyweight ontology to solve the imprecise information extraction problem from heterogeneous misty sources. Fuzzy ontology consists of fuzzy rules, fuzzy classes and their properties with axioms. We use Fuzzy OWL plug-in of Protege to model the fuzzy ontology. A prototype is developed which is based on OWL-2 (Web Ontology Language-2), PAL (Protege Axiom Language), and fuzzy logic in order to examine the effectiveness of the proposed system.