• 대한안전경영과학회지
• /
• 제13권4호
• /
• pp.9-16
• /
• 2011

Modern systems become more complex and the demand for systems safety goes up sharply. Thus, the proper handling of the safety requirements in the systems design is getting greatly increased attention these days. Hazard analysis has been one of the active areas of research in connection with systems safety. In this paper, we study a subject on how the hazard analysis results can be incorporated in the systems design. To this end we set up a goal on how to systematically generate safety requirements that should reflect hazard analysis results and be implemented in the systems design and development. To do so, we first review the process for systems design and suggest the associated Model. Then the process and results of hazard analysis are analyzed and Modeled particularly with emphasis on the safety data. The resulting data Model incorporating both the hazard analysis and system life cycle is used in the generation of safety requirements. Based on the developed data Model, the generation of the requirements, the construction of requirements DB, and the change management later on is demonstrated through the use of a computer-aided software tool.

• 한국농공학회논문집
• /
• 제57권5호
• /
• pp.101-111
• /
• 2015

Establishment of appropriate data in certain formats is essential for agricultural water cycle analysis, which involves complex interactions and uncertainties such as climate change, social & economic change, and watershed environmental change. The main objective of this study was to develop web-based Data processing and Model linkage Techniques for Agricultural Water-Resource analysis (AWR-DMT). The developed techniques consisted of database development, data processing technique, and model linkage technique. The watershed of this study was the upper Cheongmi stream and Geunsam-Ri. The database was constructed using MS SQL with data code, watershed characteristics, reservoir information, weather station information, meteorological data, processed data, hydrological data, and paddy field information. The AWR-DMT was developed using Python. Processing technique generated probable rainfall data using non-stationary frequency analysis and evapotranspiration data. Model linkage technique built input data for agricultural watershed models, such as the TANK and Agricultural Watershed Supply (AWS). This study might be considered to contribute to the development of intelligent watercycle analysis by developing data processing and model linkage techniques for agricultural water-resource analysis.

• 산경연구논집
• /
• 제6권3호
• /
• pp.5-8
• /
• 2015

Purpose - This article's aim is to examine how the utilization of existing and future decision-support systems will lead to a change in the auditing process. Research design, data, and methodology - An information system is a special decision-support system that combines information obtained from various sources and communicates among them to help in assessing appropriate complex financial decisions. This paper analyzes techniques such as data and text mining as components of decision-support systems to be used in the auditing process. Results - We present views about how existing decision-support systems will lead to a change in audits. Auditors, who currently collect significant data manually, will in the future move towards management through complex decision-support systems. Conclusions - Although some internal audit functions are integrated into systems of continuous monitoring, the use of such systems remains limited. Thus, instead of multiple decision-support systems, a unified decision-support system can be deployed for this that includes sensors integrated within a company in different contexts (e.g., production, sales, and accounting) that continually monitors violations of controls, unusual patterns, and unusual transactions.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.40-46
• /
• 1993

In this paper, we design a multirate controller for a given multirate sampled-data system which has a periodic output measurement scheme. A sufficient condition for maintaining observability in multirate sampled-data systems is given first. The design strategy for disturbance rejection is proposed. The proposed controller has IMC structure, and can be deomposed into a disturbance estimator and the inverse of fast plants.

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2008년도 Asian Magnetics Conference
• /
• pp.294.1-294.1
• /
• 2008

• Journal of Information Technology Applications and Management
• /
• 제12권1호
• /
• pp.125-140
• /
• 2005

Nowadays, we have many embedded systems which store and process multimedia data. For multimedia systems using hard disks as storage media such as DVR, existing file systems are not the right choice to store multimedia data in terms of cost. performance and reliability. In this study we designed a reliable file system with very high performance for embedded multimedia applications. The proposed file system runs with quite simple disk layout to reduce time to initialize and to recover after power failures, uses a large data block to speed up the sequential accesses, incorporates a time-based indexing scheme to improve the time-based random accesses and boosts reliability by backing up the important meta data on a small NVRAM. We implemented the file system on a Linux-based DVR and verified the performance by comparing with existing file systems.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권12호
• /
• pp.6057-6078
• /
• 2018

Smart home systems provide a safe, comfortable, and convenient living environment for users, whereby users enjoy featured home services supported by the data collected and generated by smart devices in smart home systems. However, existing smart devices lack sufficient protection in terms of data security and privacy, and challenging security and privacy issues inevitably emerge when using these data. This article aims to address these challenging issues by proposing a private blockchain-based access control (PBAC) scheme. PBAC involves employing a private blockchain to provide an unforgeable and auditable foundation for smart home systems, that can thwart illegal data access, and ensure the accuracy, integrity, and timeliness of access records. A detailed security analysis shows that PBAC could preserve data security against various attacks. In addition, we conduct a comprehensive performance evaluation to demonstrate that PBAC is feasible and efficient.

• Asia pacific journal of information systems
• /
• 제7권3호
• /
• pp.167-180
• /
• 1997

Data semantics is an well recognized issue in areas of information systems research. It provides indispensable information for management of data, It describes what data mean, how they are created, where they can be applied to, to name a few. Because of these diverse nature of data semantics, it has been described from different perspectives of formalization. This article proposes to formalize data semantics by the processes that data are created or transformed, A scheme is proposed to describe the structure that data are created and transformed, which is called Bill of Data. Bill of Data is a directed graph, whose leaves are primary input data and whose internal nodes are output data objects produced from input data objects. Using Bill of Data, algorithms are developed to compare data semantics.

• 한국기계가공학회지
• /
• 제19권9호
• /
• pp.59-70
• /
• 2020

Three-dimensional (3D) design data is used for various purposes throughout the life cycle of a plant construction project. Plant 3D CAD systems support 3D modeling based on specs-catalogs, which contain data that are used for different purposes such as design, procurement, production, and handover. Therefore, it is important to share the spec-catalog data in the 3D design model with other application systems. Sharing this data thus requires a system that extracts spec-catalog data from plant 3D CAD systems and converts them into neutral model data. In this paper, we analyze equipment spec-catalog data of plant 3D CAD systems and, based on these analyses, define the data structure for neutral spec-catalog data. We subsequently propose a procedure that translates native spec-catalog data to neutral model data and develop a prototype system that performs this operation. The proposed method is then experimentally validated for the test spec-catalog data.

• 환경영향평가
• /
• 제2권2호
• /
• pp.73-83
• /
• 1993

Increasing concern for the environment in Korea has led to the demand that major policies and large-scale development projects be subjected to detailed impact assessment. This paper reports on the state of data related to the prediction of the environmental impact (EIA) to emphasize the importance of data quality. Environmental impact statements (EIS) consulted with the Ministry of Environment of Korea were analyzed from 1981 through 1992. Many of assessors used existing data and collected supplementary data from field survey. Most of the results of EIA are presented directly or summarized on maps and as graphics. For the national purpose, large source of quality-controlled data such as atmospheric data have been developed, However, there are the deficiency in data to analyze the impact of human activity, and data gaps and incompatibilities among systems. Consequently, the development of data bank systems including computer database and remotely-sensed satellite data is required to improve the quality of data which are relevant to EIA. The data bank system should be organized meaningfully in minimum time with a least cost, and measurement standards must be made explicit. Geographical information systems (GIS) are applicable to the graphic presentation or to the impact prediction model.