• Title/Summary/Keyword: Formal Methods

Search Result 529, Processing Time 0.026 seconds

The Study of Discourse Markers (담화표시어 연구)

  • Kim, Jong-Hee
    • English Language & Literature Teaching
    • /
    • v.9 no.2
    • /
    • pp.133-149
    • /
    • 2003
  • As the world becomes a global village, national conferences become more frequent, and the language of choice to mediate the exchange of information is English. Accordingly, the purpose of this research is to find several methods to prepare L2 students for English communication at conferences. Various studies about discourse markers can be found in this study. Discourse markers are indicators of fluency in spoken language, and indicators of improvement from features of spoken English to more typical forms of formal writing. In this study the presentation styles of native speakers and Asian non-native speakers are compared, and the difference between efficient and non-efficient speakers at conferences are discussed. As a study of conference English teaching and learning method, this research targets suggestion and application of discourse markers for L2 speakers. As a result, the fact that discourse markers are very important in effective writing and conference English is found and accordingly we can see that developing the ability to use discourse markers in writing and speaking are essential for L2 speakers.

  • PDF

State-of-practice and State-of-Art for the Project Cycle Time Reduction

  • Hong, Tae Hoon
    • Architectural research
    • /
    • v.7 no.2
    • /
    • pp.69-79
    • /
    • 2005
  • There are no formal decision tools or guidelines to assist owners and contractors in choosing delivery systems and project strategies that would allow for a radical reduction in project cycle time - from the preplanning phase through project start up. Therefore, it is important to identify the state-of-practice and the state-of-art on methods of achieving radical reduction defined as a reduction of 25% or more in overall project cycle time. A comprehensive literature review, three questionnaire surveys, and the seven case studies were conducted and the data obtained from them were analyzed to establish the state-of-practice and state-of-art for project cycle time reduction techniques.

Development of a Structural Optimal Design Code Using Response Surface Method Implemented on a CAD Platform (반응표면법을 이용한 구조물 최적설계 프로그램의 개발)

  • Yeom, Kee-Sun;Huh, Jae-Sung;Kwak, Byung-Man
    • Proceedings of the KSME Conference
    • /
    • 2001.06c
    • /
    • pp.580-585
    • /
    • 2001
  • A response surface method(RSM) is utilized for structural optimization and implemented on a parametric CAD platform. Once an approximation of the performance function is made, no formal design sensitivity analysis is necessary. The approximation gives the designer the sensitivity information and furthermore intuition on the performance functions. The scheme for the design of experiment chosen for the RSM has a large influence on the accuracy of converged solutions and the amount of computation. The D-optimal design criterion as implemented in this paper is found efficient for the structural optimization. The program is developed on a parametric CAD platform and tested using several shape design problems of such as a torque arm and a belt clip. It is observed that the RSM used provides a faster convergence than other approximation methods for design sensitivity.

  • PDF

Overview of Internet-based checking for machine tools with a variant CNC environment (서로 다른 CNC 환경을 갖는 공작기계의 인터넷 기반 점검)

  • 김동훈;김선호;김경돈;김찬봉;고광식
    • Proceedings of the Korean Society of Machine Tool Engineers Conference
    • /
    • 2004.04a
    • /
    • pp.329-334
    • /
    • 2004
  • This paper proposes Internet-based checking scheme for machine-tools with a variant CNC. Checking points defined in this research are classified into two categories such as structured point and operational point. The formal includes the vibration of bearing, temperature of spindle unit and another periodical management. And the latter includes oil checking, clamp locking/unlocking and machining on/off status. Through this research, for the global management of variant CNC machines interspersed with CAC and OAC in manufacturing system, the suitable environment for Internet-based checking of variant CNC machines was designed and the checking methods for CAC and OAC machines were compared with each other.

  • PDF

On Modeling and Analyzing Signaling Pathways with Inhibitory Interactions Based on Petri Net

  • Li, Chen;Suzuki, Shunichi;Ge, Qi-Wei;Nakata, Mitsuru;Matsuno, Hiroshi;Miyano, Satoru
    • Proceedings of the Korean Society for Bioinformatics Conference
    • /
    • 2005.09a
    • /
    • pp.348-353
    • /
    • 2005
  • In this paper we discuss the formulation and the analysis of a signaling pathway by Petri nets. In order to explicitly and formally describe the molecular mechanisms and pathological characteristics of signaling pathways, we propose a new modeling method to construct signaling pathways on the basis of formal representation of Petri net. Our proposed extended algorithm effectively finds basic enzymic components of signaling pathways by employing T-invariants of Petri nets with considering the origination leading to an occurrence of inhibition functions than existing methods. An application of the proposed algorithm is given with the example of Interleukin-1 and Interleukin-6 signaling pathways.

  • PDF

A study on the standardization of Noise Filter drawings (노이즈 필터 도면 표준화 방안에 관한 연구)

  • Lee, JiHyeog
    • Journal of Korean Society for Quality Management
    • /
    • v.46 no.3
    • /
    • pp.379-396
    • /
    • 2018
  • Purpose: The purpose of this study was to propose a standard form of noise filter drawing, which is widely used in the field of weapon systems, to define the essential specification which is not standardized at the existing drawings and to employ the reference for manufacturing and qualification test. Methods: To do that, it identifies the improvements to analyze 19 noise filter drawings, studies the principle of noise filtering to find the essential part of the spec. and reviews the MIL-STD-220C and KS IEC 60939, which is the widely used as a formal spec. pertaining to the noise filter. Throughout the study, a standard form is developed to standardize the attenuation characteristics and find eight crucial metrics to specify the noise filter. Results: The results of this study are as follows; The standardized drawings can be used as the qualification test of the item and the manufacturing and engineering documents to make the noise filter, which are also applicable to the reference document to review KDS(Korea Defense Standard) drawings.

On the principle of the permanence of equivalent forms (형식불역의 원리에 관한 소출)

  • 이승우
    • School Mathematics
    • /
    • v.4 no.3
    • /
    • pp.463-481
    • /
    • 2002
  • In this paper, I review the historical background of "the principle of the permanence of equivalent forms" and sum- marize properties of "the principle of the permanence of equivalent forms" as a kind of heuristic. 1 think that "the principle of the permanence of equivalent forms" can be used effectively for student's discovery of the algebraic structure. There are three ways of using "the principle of the permanence of equivalent forms" in extending number system - an extension on the base of set theory(SMSC), the formal or axiomatic extrapolation and the inductive-extrapolatory method. All those three methods are mixed up and being used potentially at various levels in current Korean text books. "The principle of the permanence of equivalent forms" is used most effectively in the subject of the exponent. 1 try to present a situation that makes the students find more general definition and cultivate their desirable attitudes for the mathematics in the process of extending the exponent through summarizing the debate between Goel & Robillard(1997) and Tirosh S, Even(1997).

  • PDF

The Design and Decoration of Danish Folk Storage Furniture -In Reference to painting Decoration- (덴마크 민속 수납가구의 디자인과 장식 -채색장식기법을 중심으로-)

  • 최정신
    • Korean Institute of Interior Design Journal
    • /
    • no.17
    • /
    • pp.157-165
    • /
    • 1998
  • This study aimed to identify characteristics of design and decoration of Danish peasant furniture especially painted storage furniture used during the 18-19th century before modern design movement of Internationalism prevailed all over the world. Owing to the fact that Danish peasant furniture were made of available conifer around the farms painting method was preferred to carving. Remoted from main land of western and southern Europe Scandinavian countries longed to imitate their Baroque style architecture and furniture made of marble of hard woods. Painting method was adopted to disguise cheap wood so that it looked like expensive or exotic materials such as marble oak metal granite etc. what they could not afford to buy. Eventually they evolved unique materials equipments and methods for imitation painting in order to decorate folk storage furnitures as well as formal architecture : palaces churches and other official buildings,. Marbling clouds marbling graining stencil spatter painting trompe-I'oeil were common to imitate stones or hard woods. Strong and bright colors had good combination together with dull colors on the Danish peasant painted furniture.

  • PDF

A Formal Description and Analysis of 2-beolsik Hangul Input Methods (두벌식 한글 입력 방식의 정형적인 기술과 분석)

  • Kim, Yongmook;Kim, Kuk
    • 한국어정보학회:학술대회논문집
    • /
    • 2016.10a
    • /
    • pp.27-32
    • /
    • 2016
  • 한글 입력 방식은 글쇠배열과 더불어 추가적인 낱자들을 입력하기 위한 결합 규칙이라는 형태로 정의할 수 있다. 그런데 이 규칙을 토대로 입력 방식을 실제로 구현해 보면 겹낱자를 결합하거나 음절이 바뀌는 과정에서 모호성 같은 문제가 발생할 수 있다. 초성과 종성을 문맥에 따라 구분해야 하는 두벌식, 모바일 환경처럼 매우 적은 글쇠, 수십 종류의 낱자들을 조합해야 하는 옛한글이라는 조건이 더해지면 입력 방식을 기술하고 분석하는 난이도가 더욱 높아진다. 본 논문에서는 한글 낱자의 결합 규칙을 대결합과 소결합으로 구분해서 기술하는 체계를 제안하며, 이를 토대로 입력 방식의 예상 동작을 분석해 주는 프로그램을 소개하였다. 그리고 모바일용 삼성 천지인과 KT 나랏글 한글 입력 방식을 동일 프로그램으로 기술하고 분석한 결과를 제시하였다.

  • PDF

A Study on the Dom-Ino system and Proportion in Le Corbusier′s Houses (Le Corbusier의 주거건축에 나타나는 Dom-Ino시스템과 비례체계에 관한 연구)

  • Cho Sung-Hyun;Kim Chul-Kyu
    • Journal of the Korean housing association
    • /
    • v.15 no.4
    • /
    • pp.107-115
    • /
    • 2004
  • The purpose of this paper is to study on the architectural value in Dom-Ino system. Dom-Ino system by Le Corbusier is a structural system for effective production in terms of physical reproductivity and a modeling system from the view of formal composition. It creates planar grid with a fixed ratio, manipulates the user group, and becomes the basic construction method. Form comes out of geometrical proportion system, and grid-based plan provides regularity and order to elevation planning. Production requires standardization. Indoor space is maintained by uniformed and integrated service facilities. Dom-Ino system was a transitional step of the Modulor system which was created by Le Corbusier in 1945 and composes of and equivalent proportional system. The fact that the numerical proportion system is the one of appropriate design methods implys a progressive concept that architectural configurations are controlled by the technology of that time. And also the system is one of the object type of Corbusier's housing architecture.