• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.43 no.1
• /
• pp.91-98
• /
• 2023

Since risks occurring in construction projects can have a significant impact on schedules and costs, there have been many studies on this topic. However, risk analysis is often limited to only certain construction situations,and experience-dependent decision-making is therefore mainly performed. Data-based analyses have only been partially applied to safety and contract documents. Therefore, in this study, cluster analysis and a Word2Vec algorithm were applied to formal documents that contain important elements for contractors or clients. An initial classification of document content into six types was performed through cluster analysis, and 157 occurrence types were subdivided through application of the Word2Vec algorithm. The derived terms were re-classified into five categories and reviewed as to whether the terms could develop into potential construction risk factors. Identifying potential construction risk factors will be helpful as basic data for process management in the construction industry.

• Journal of the Korean Institute of Rural Architecture
• /
• v.10 no.1
• /
• pp.83-92
• /
• 2008

This study aims to examine the perceptual features of street buildings, which affect the urban scape, and establish design guidelines by types of buildings. According to this purpose, this study conducted document research, field survey through site visits and questionnaire survey for each subject. The field survey was carried out to study the exterior form characteristics of street buildings, and images of the streetscape in Gyeongju. For the questionnaire survey, the preference of 33 architecture-related people on the formal constituents of street buildings was investigated. The results of the document research, field survey and questionnaire survey were put together to elaborate the design guideline for urban street facade in historical city.

• KIISE Transactions on Computing Practices
• /
• v.21 no.9
• /
• pp.596-603
• /
• 2015

A concept network is an essential knowledge base for semantic search engines, personalized search systems, recommendation systems, and text mining. Recently, studies of extending concept representation using external ontology have been frequently conducted. We thus propose a new way of building 3-dimensional text model-based concept networks using the world knowledge-level Wikipedia ontology. In fact, it is desirable that 'concepts' derived from text documents are defined according to the theoretical framework of formal concept analysis, since relationships among concepts generally change over time. In this paper, concept networks hidden in a given document collection are extracted more reasonably by representing a concept as a term-by-document matrix.

• Journal of KIISE:Software and Applications
• /
• v.30 no.10
• /
• pp.894-903
• /
• 2003

Though XML is widely used, it is still hard for end users to write XML documents. A lot of XML documents are data-centric documents which have formal data format. Even novices can easily write the data-centric XML documents if they use form-based GUIs. In this paper, we introduce a new method for generating form-based XML editor for data-centric XML documents automatically and an XML editor generator called XED. The DTD consists of sequence, choice, and repetition, and this structure can be represented with Document Decomposition Graph(DDG). XED allows users to generate an XML editor by applying the presentation rules to DDG. It also permits users to modify generated editor through changing editor`s GUI properties with direct manipulation.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.3
• /
• pp.251-258
• /
• 2007

With the increase of a web service technology, a new access control mechanism has developed for XML documents. As a result, as legacy access control systems, access control systems has become an active research topic. In this paper, we propose a methodology to translate access control policies for XML documents into formal specification language CSP. To do this, first, we introduce a method to translate a hierarchical access to XML documents using XPath language into CSP process algebra. Second, we explain a method to represent a XML schema as a formal model like automata. Third, we present a method for representing the semantics of access control policies such as the scope of rules and confliction resolution into a process algebra language. Finally, a CSP specification example of an XML schema and path expressions aye shown to illustrate the validity of our approach.

• The Journal of Society for e-Business Studies
• /
• v.8 no.3
• /
• pp.87-105
• /
• 2003

Business Process Management (BPM) is an emerging trend of managing business process life cycles and integrating heterogeneous systems . Recently, BPM is considered as an essential element for automation of complex business processes involving many companies, particularly for those in an e-Business environment. In such an environment, it is very important for each business partner to trace history of resources. However, it has been a difficult problem for Workflow Management Systems(WFMSs) to support management of resource changes because of limited storage, complex process structure, and absence of formal change model. In this paper. a new framework is proposed, which can support change management for documents, one of core resources of business process. Under a traditional WFMSs framework, all workflow components belong to either build-time or run-time function, and executions of workflow processes are performed by the two functions . To manage changes of documents while process executing. a new framework with additional component modules are required. A version control method is introduced for the purpose of managing document changes. The proposed method includes five models for document structure, process structure, association between process and document, version management, and efficient version storage. A prototype system is developed to demonstrate the effectiveness of the proposed models.

• 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.

• International Journal of Computer Science & Network Security
• /
• v.22 no.5
• /
• pp.303-311
• /
• 2022

Through our study, bill of exchange is defined as a written document that contains an order from the drawer directed to the drawee during which the predetermined amount must be paid within a certain time period or on sight. The research begins with an examination of how it was founded, the parties involved, and the organizer's formal conditions. Then, it discusses how to negotiate a bill of exchange through endorsement along with the different types of endorsement and its ramifications. The research concludes by elucidating the bill of exchange impact on the business community, since it decreases commercial conflicts and enables merchants to benefit from, circulate, and recycle their debts without being damaged by debts collection delays.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1082-1092
• /
• 1996

The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.

• The Journal of Korean Medical History
• /
• v.26 no.2
• /
• pp.149-160
• /
• 2013

King Sunjong was the 27th King and the last King in the Joseon Dynasty. He lived an unhappy life as the prince and the King of perishing country. At the age of 22, He witness the death of his mother Queen Myeongseong by Japanese assassin. He has a weak constitution and have many diseases. He get varicella(水痘) in infancy, and suffered from smallpox(紅疫) at 6, and catched the measles(天然痘) at 12. At the age of 25, Having drunk the coffee that contained opium(阿片), he had bloody excrement(血便) and lose the 18 teeth. The Symptoms that appeared frequently at adult age are indigestion(滯症), diarrhea(泄瀉), trophedema(足部浮腫), odontopathy(齒科疾患) etc. This indigestion(滯症) and diarrhea(泄瀉) are occurred by gastroenteropathy(胃腸病). This odontopathy(齒科疾患) is the aftereffect from having 18 false teeth. We assume that this trophedema(足部浮腫) is occurred by cardiac disease(心臟病) and renal disease(腎臟病). The chronic diseases of King Sunjong are gastroenteropathy(胃腸病), renal disease(腎臟病), cardiac disease(心臟病), rheumatism. We assume that the immediate cause of his death is the aggravation of the renal disease(腎臟病) and cardiac disease(心臟病). The medical treatments for him are hardly included in "Formal Records of the Joseon Dynasty(朝鮮王朝實錄)" which is the prime governmental document. Many royal doctors in court used the traditional Korean medicine, but western doctors from Japan often treated him by medical techniques such as injection(注射), consperg(散藥), liquid medicine(水藥).