• Title/Summary/Keyword: formal language

Search Result 314, Processing Time 0.023 seconds

A Study on the Design Characteristics of Technology in the Institute Facilities - Focused on the Modern Institute Facilities - (테크놀로지에 의한 건축형태 표현특성에 관한 연구 - 현대의 연구소 건축을 중심으로 -)

  • Kim Hwan-Sik;Lee Jeong-Soo;Song Yong-Ho
    • Korean Institute of Interior Design Journal
    • /
    • v.14 no.3 s.50
    • /
    • pp.139-146
    • /
    • 2005
  • This paper focuses on the response of architectural form to the technological characteristics in the institute facilities. For this, we study the meaning of technology in the aspect of physical, formal and social concepts and their architectural expression and sort by grouping through analyzing 27 cases of foreign current Institute facilities. Conclusions can be summarized as followings: 1) Vocabulary of technology in physical concept is presented by the environmental control through the experimental surface such as louver and glazing and the independent exposed equipment. 2) Vocabulary of technology in physical concept is presented using the machine like aesthetics by exposing the structural members and designing the exterior form using dynamical images. 3) The expression of social meaning in technology is presented by standardization, parts assembling through mass production system, the unit material for expression of today's industrial society. The expressions of technological language in the institute facilities are used not only one vocabulary but comprehensive ones.

Business Collaboration Support for Offshore Software Development

  • Moriyasu, Takashi;Zu, Guowei;Tsuji, Hiroshi
    • Industrial Engineering and Management Systems
    • /
    • v.9 no.3
    • /
    • pp.275-284
    • /
    • 2010
  • Offshore software development (OSD) is international business collaboration. OSD projects often encounter intercultural and inter-linguistic problems disturbing the projects. Business documents are formal media of information and knowledge for OSD. While OSD documents should convey common understanding of the OSD products, the documents may contain unsuitable expressions which draw misunderstanding of the required products and offensive issues for the collaboration. Intercultural and inter-linguistic differences cause mistakes and inappropriate expressions. OSD from Japan to China is the largest in Asia, and Japanese language is often used in OSD documents. Large similarity is found between Japanese and Chinese in their languages, while many differences exist even for the same word. The similarity induces to write unsuitable expressions for both sides of OSD. To introduce risks for OSD projects caused by unsuitable or inappropriate expressions in OSD documents, we propose to apply a proofreading system of Japanese documents for OSD. Japanese consignor uses the system to refine OSD documents written by Japanese engineers for Chinese readers, and Chinese consignee uses it to refine Japanese documents written by Chinese Engineers as derivatives of OSD projects. Effectiveness of applying the proofreading system is discussed for actual projects.

ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES

  • Dehlinger, Josh;Dugan, Joanne Bechta
    • Nuclear Engineering and Technology
    • /
    • v.40 no.5
    • /
    • pp.365-374
    • /
    • 2008
  • Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

Extraction of Information for Executable Code Generation to Formal Specification (정형명세에 대한 실행코드 생성을 위한 정보 추출)

  • Ko, Hyun;Lee, Moon-Kun;Lee, Yon-Sik
    • Annual Conference of KIPS
    • /
    • 2001.10a
    • /
    • pp.355-358
    • /
    • 2001
  • 본 논문은 순환공학 환경에서 실시간 시스템 개발 및 검증을 위한 실행코드 생성기 구현과정에서 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 정형명세와 명세분석을 통해 생성된 SRL(Software Representation Language) 코드로부터 실행코드로의 변환을 위해 필요한 정보들을 명세하고 이들의 추출 방법을 제시한다. ATM정형기법을 적용하여 실시간 시스템 개발 및 검증을 위해서는 시스템 명세도구나 명세분석을 위한 분석기, 코드 생성기, 검증기 등과 같은 자동화 도구의 개발이 요구된다. 따라서, 본 논문에서는 순환공학 환경에서의 실시간 시스템의 효율적 개발 및 검증을 위하여 사용될 실행코드 생성기 구현을 위하여, 특정 물리적 환경에서의 실시간 시스템을 명세한 DoME/ATM 스크립트 코드에 대한 SRL 코드로의 변환 시 필요한 정보들을 추출하고, 이를 기반으로 SRL 분석기와 SRL 파스트리 생성기를 이용한 Ada 실행코드로의 변환 시 필요한 실행코드 모듈구조 및 실행구문, 코드 실행 우선순위 결정 둥과 같은 관련된 정보들의 추출 방법을 제시한다.

  • PDF

H. P. Berlage's Modern in The Amsterdam Exchange - The Amsterdam Exchange and H. P. Berlage's Villa Project between 1892 and 1896 - (암스테르담 거래소에서 보이는 근대성에 관한 연구 - 베를라헤의 빌라 프로젝트가 암스테르담의 거래소의 디자인에 미친 영향에 관하여 -)

  • Kang Tae-Woong
    • Korean Institute of Interior Design Journal
    • /
    • v.15 no.3 s.56
    • /
    • pp.14-23
    • /
    • 2006
  • As a proto-modernist work the Amsterdam Exchange has been regarded as a specimen of Structural Rationalist's architecture. Because of its ma]or steel structure, use of geometry, and reminiscence of Gothic the designer of the building was labeled by Kenneth Frampton as one of the apostles of Viollet le Duc. The architect was Hendrick Petrus Berlage. Contrary to above Nicolaus Pevsner claimed that Berlage's architectural discourse was 'Anti-Rational' because of its anachronistic formal language, Expressionism. In terms of structure Berlage's idea is rational, whilst formally 'Anti-Rational'. These polarised view points were due to the legacies of Modern Architecture that was controled by hegemonic figures in terms not only of practical field but of historiography. The hegemonic figures wanted to see Berlage as what they wanted to see. With this idea, this paper is one of endeavours to collect fragmented history in the early modern architecture. The Amsterdam Exchange has a long term story until the opening. Without understanding the story we have to withhold an evaluation of Berlage's architecture.

The Direction for Fashion Merchandising Education (패션 머천다이징 교육(敎育) 방향(方向))

  • Chun, Hei-Jung
    • Journal of Fashion Business
    • /
    • v.4 no.1
    • /
    • pp.87-96
    • /
    • 2000
  • Merchandiser continue to play an important role in the exchange process by providing products for consumption. Merchandisers must still understand customer demands, analyze sale trends, select and present salable products. However, due to the competitive pressures in the apparel industry and the innovations required under QR business systems, the demands placed on merchandisers are changing. The purpose of this study is to present of the direction for fashion merchandising education. The direction for fashion merchandising are education summarized as follows; 1) Merchandising technology is the systematic application of information technology and Telecomunications to planning, developing, and presenting product lines in ways that reflect social and cultural value. Statistic Methods are developed and used to analyze data arising from a wide variety of applications. 2) Merchandising technology is to practise the technical and economic aspects of apparel production. Analysis of specific apparel manufacturing and management issues such as efficient manufacturing methods. 3) Merchandising technology is to forecast fashion trend according to consumer preference. Culture influences what people purchase and how those items are used forecasting fashion trend. 4) Merchandising technology is to practise communication skills used in formal and informal organization including interviews in particular language suited to their own business and professionnal careers. 5) Merchandising technology is to planning merchandise budgets and merchandise assortments based on more diverse forms of information. 6) Merchandising technology is to use techniques related hardware and software. 7) Merchandising technology is to learn participate in internship programs.

  • PDF

Using Online IT-Industry Courses in Computer Sciences Specialists' Training

  • Yurchenko, Artem;Drushlyak, Marina;Sapozhnykov, Stanislav;Teplytska, Alina;Koroliova, Larysa;Semenikhina, Olena
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.11
    • /
    • pp.97-104
    • /
    • 2021
  • The authors provide characteristics of the open educational platforms, classification and quantitative analysis regarding the availability of IT courses, teaching language, thematic directions on the following platforms: Coursera, EdX, Udemy, MIT Open Course Ware, OpenLearn, Intuit, Prometheus, UoPeople, Open Learning Initiative, Open University of Maidan (OUM). The quantitative analysis results are structured and visualized by tables and diagrams. The authors propose to use open educational resources (teaching, learning or research materials that are in the public domain or released with an intellectual property license that allows free use, adaptation, and distribution) for organization of independent work; for organization of distance or correspondence training; for professional development of teachers; for possibility and expediency of author's methods dissemination in the development of their own courses and promoting them on open platforms. Post-project activities are considered in comparing the courses content of one thematic direction, as well as studying the experience of their attending on different platforms.

Surrealistic Characteristics Expressed in Ignasi Monreal's Fashion Illustrations -Focusing on the 2018 S/S Gucci Hallucination Collection- (이그나시 몬레알(Ignasi Monreal)의 패션 일러스트레이션에 나타나는 초현실주의적 특성 -2018 S/S Gucci Hallucination 컬렉션을 중심으로-)

  • Son, Ju Hee;Chun, Jaehoon
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.46 no.3
    • /
    • pp.407-423
    • /
    • 2022
  • Fashion illustration is a language that expresses the inspirational imagination of designers. Like fashion, illustration reflects and records the social and cultural phenomena of the time. In this context, Ignasi Monreal's fashion illustration shows the characteristics that reveal modern people's ways of thinking and their desires. This study analyzed work by Ignasi Monreal in 'Gucci Hallucination' of 2018 S/S to examine the characteristics of his new painting style and the messages his fashion illustration aims to convey. He tried to harmonize his surrealistic digital illustrations of Greek mythology with Gucci items. As a result of this study, the characteristics of Monreal's illustration works were divided into two main categories: formal aspects (similarity of composition or subject and use of dépaysement techniques), and content aspects (expression of a mythical surreal being). These qualities differentiate Monreal's fashion illustration from that of other artists. In addition, his works on the myth of Icarus not only express the desires of modern people but also convey social satirical messages.

Development of Standardized Korean Plant Ontology for International Harmonization of Environmental and Ecological Knowledge Bases (환경·생태 지식베이스의 국제적 조화를 위한 한국형 표준 식물 온톨로지 개발)

  • Eunjeong Ju;Hunjoo Lee
    • Journal of Environmental Health Sciences
    • /
    • v.49 no.4
    • /
    • pp.201-209
    • /
    • 2023
  • Background: To describe domain knowledge consistently and precisely, the establishment of a controlled vocabulary, a so-called ontology, is essential. Internationally, the plant ontology (PO) in the ecology field has been developed for the anatomy and developmental stages of plants in English, Spanish, and Japanese, but there is no Korean version of the PO due to a lack of knowledge on standardization for Korean plants. Objectives: We aimed to establish a Korean plant ontology with core PO architectures. Methods: The latest ontology web language (OWL)-formatted raw version of the PO was collected from the PO consortium site. A formal workflow process and OWL file-handing tools for efficient Korean content development were conducted and executed. Results: The macro- and micro-perspective frameworks of the PO were presented by analyzing the upper model and the internal OWL-leveled physical structure, respectively. We developed and validated Korean knowledge content for a total of 1,957 classes included in the PO and transplanted them into an ontology modeling system. Conclusions: A Korean plant ontology was established for international harmonization through improved compatibility and data exchangeability with multilingual environmental and ecological knowledge bases.

Spoken-to-written text conversion for enhancement of Korean-English readability and machine translation

  • HyunJung Choi;Muyeol Choi;Seonhui Kim;Yohan Lim;Minkyu Lee;Seung Yun;Donghyun Kim;Sang Hun Kim
    • ETRI Journal
    • /
    • v.46 no.1
    • /
    • pp.127-136
    • /
    • 2024
  • The Korean language has written (formal) and spoken (phonetic) forms that differ in their application, which can lead to confusion, especially when dealing with numbers and embedded Western words and phrases. This fact makes it difficult to automate Korean speech recognition models due to the need for a complete transcription training dataset. Because such datasets are frequently constructed using broadcast audio and their accompanying transcriptions, they do not follow a discrete rule-based matching pattern. Furthermore, these mismatches are exacerbated over time due to changing tacit policies. To mitigate this problem, we introduce a data-driven Korean spoken-to-written transcription conversion technique that enhances the automatic conversion of numbers and Western phrases to improve automatic translation model performance.