• Journal of KIBIM
• /
• v.12 no.3
• /
• pp.30-38
• /
• 2022

Railway is compsed in various components, such as subgrade, track bed, sleeper, rail, and overhead line, on a linear space. Therefore, comprehensive work for various design standards and guidelines is required when designing a railway facility. For this reason, much time and effort are required to review the relevant design standards and guidelines. While, automatic legal check system for BIM models has been developed in the architectural engineering, it has not been developed in the railway engineering. This study reviews the korean design standard and the korean code for railway engineering, and suggests some rule items of logical information. Comparing the suggested rule items to the railway BIM library, items of logical information and additional attribute information are obtained. The analysis results of railway design standards and BIM library presented in this study would be utilized for defining rule-set items that is essential for development of the automatic legal check system for railway BIM models.

• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.87-94
• /
• 2008

Message races should be detected for debugging effectively message-passing programs because they can cause non-deterministic executions of a program. Previous tools for detecting message races report that message races occur in every receive operation which is expected to receive any messages. However message races might not occur in the receive operation if each of messages is transmitted through a different logical communication channel so that their incorrect detection makes it a difficult task for programmers to debug programs. In this paper we suggest a tool, MPIRace-Check, which can exactly detect message races by checking the concurrency between send/receive operations, and by inspecting the logical communication channels of the messages. To detect message races, this tool uses the vector timestamp to check if send and receive operations are concurrent during an execution of a program and it also uses the message envelop to inspect if the logical communication channels of transmitted messages are the same. In our experiment, we show that our tool can exactly detect message races with efficiency using MPI_RTED and a benchmark program. By detecting message races exactly, therefore, our tool enables programmers to develop reliable parallel programs reducing the burden of debugging.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.3
• /
• pp.177-188
• /
• 2013

The construction industry consists of various and massive architectural information as an architectural process includes a variety of design stages with cooperation of many disciplines. Particularly, architectural information is generated and managed through the life cycle of a building, from conceptual design stage to the construction and maintenance. A Building Information Model (BIM) serves as a shared knowledge resource for information about a facility forming a reliable basis for decisions during its life-cycle from inception onward. BIM technology accomplished quantitative development being utilized in various disciplines. However, it is necessary to develop environment and requirement for qualitative improvement of BIM based project. Particularly, requirement is very important for architectural design evaluations. The purpose of this study is to develop and apply of quality control check-list for improving the quality of architectural design in BIM environments. To achieve this purpose, the authors have investigated case study for open BIM data quality control (software, guideline and application case) and classified quality control targets according to physical/logical quality control and data quality. In addition, the authors have defined open BIM based quality control process and developed quality control check-list. Finally, the authors have developed automatic quality check system using requirements for efficient quality control based on open BIM.

• Journal of The Korean Association For Science Education
• /
• v.17 no.1
• /
• pp.75-83
• /
• 1997

The purpose of this study was to determine the strategies that middle school students used in solving problems concerning density and solubility. These were compared in the aspects of problem contexts for 42 students of varying logical reasoning ability, spatial ability, and learning approach. A coding scheme used consists of five categories: reading & organization, production, errors, evaluation, and strategy. Students' protocols were analyzed after intercoder agreement had been established to be .95. The results were as follows: 1. Students had more difficulties in reading and organizing the problems in everyday contexts than in scientific contexts. Students at the concrete-operational stage and / or surface approach were more likely to have difficulties in reading and organizing the problems than those at the formal-operational stage and / or deep approach. 2. Students tended to split up the solubility problems into sub-problems and to solve the density problem in everyday contexts in random manner. These were significantly correlated with the test scores concerning logical reasoning ability, spatial ability, and learning approach at the .1 level of significance. 3. Major errors in solving the density problems were to disregard the given information or generated and to use inappropriate information. Many errors in solving the solubility problems were found to be executive errors. The strategy to use the information given appropriately was positively related to students' logical reasoning ability, spatial ability, and learning approach. 4. More evaluation strategies were found in everyday contexts. Their strategies to grasp the meaning of answers and to check the math were significantly related to students' logical reasoning ability. 5. Students used the random trial-and-error strategy more than the systematic strategy and the systematic trial-and-error strategy, especially in everyday contexts. The strategies used by the students were significantly related to students' logical reasoning ability, spatial ability, and learning approach.

• International conference on construction engineering and project management
• /
• 2013.01a
• /
• pp.426-432
• /
• 2013

The construction industry consists of various and massive architectural information as an architectural process includes a variety of design stages with cooperation of many disciplines. Particularly, architectural information is generated and managed through the life cycle of a building, from conceptual design stage to the construction and maintenance. A Building Information Model (BIM) serves as a shared knowledge resource for information about a facility forming a reliable basis for decisions during its life-cycle from inception onward. BIM technology accomplished quantitative development being utilized in various disciplines. However, it is necessary to develop environment and requirement for qualitative improvement of BIM based project. Particularly, requirement is very important for architectural design evaluations. The purpose of this study is to develop and apply of quality control requirement for improving the quality of architectural design in open BIM environments. To achieve this purpose, the authors have investigated case study for open BIM data quality control (software, guideline and application case) and classified quality control targets according to physical/logical quality and data quality. In addition, the authors have defined open BIM based quality control process and developed quality control requirements. Finally, the authors have developed rule based quality check system using requirements for efficient quality control based on open BIM.

• Journal of information and communication convergence engineering
• /
• v.5 no.4
• /
• pp.369-373
• /
• 2007

RFID systems large volume of data, it can lead to slower queries. To achieve better query performance, we can partition into active and some nonactive data. In this paper, we propose two approaches of partitioning for efficient query support. The one is average period plus delta partition and the other is adaptive average period partition. We also present the system architecture to manage active data and non-active data and logical database schema. The data manager check the active partition and move all objects from the active store to an archive store associated with an average period plus data and an adaptive average period. Our experiments show the performance of our partitioning methods.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.4
• /
• pp.138-144
• /
• 1989

In this paper, a new method is proposed to remove the logical redundancy for the gate-level circuit optimization. In this method, only the fanout-branch signals in the circuits, not all the signals, are examined for redundancy. When a signal is determined to be nonredundant, other nonredundant signals are found out by the efficient procedure, using only the informations which are generated in the course of the redundancy-check. In order to avoid the re-examination of a signal for redudancy, a heuristic method is proposed to determine the redundancy-checking order of signals. The proposed method is heuristic, based on the VLSI test theory. It is much faster than other methods, since it does not reexamine a signal for redundancy.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.10a
• /
• pp.257-260
• /
• 1997

Bluetooth is the most promising network paradigm which ca open the new area in the information technology. Especially, bluetooth can link all the electrical products and PCs(Personal Computer) to cellular phone or PDA. In this paper, the data from ECU which are gathered by scanner are communicated between tow PCs using the bluethooth modules. The acquired data are ECU's self diagnosis signal and sensor output signal. Self diagnosis signals are very important to check the ECU's state and sensor output signals. Using these data, the possibility of wireless communication with ECU is developed and verified. Protocol stack of bluetooth is L2CAP through HCI and wireless communication software of ECU's signal is developed using VC++ in Windows 98 environment.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.28B no.5
• /
• pp.404-410
• /
• 1991

In this paper,a network interface unit of token-passing bus network and its driving software are implemented based on Mini-MAP. This network interface unit performs the function of MAC layer which is responsible for transmission and reception of frames as well as the management of logical ring. The driving software performs the management of data buffer and the report of errors, if ocoured, to the higher layer. Motorola MC68824 of is used as a TBC(Token Bus Controller) and Intel80186 as a CPU for network interface unit. The operation of network interface unit is verified by self-test which checks the functioning of TBC and CPU. In addition each module of driving software is tested to check the functions regarding transmission and reception of frames.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.4
• /
• pp.859-868
• /
• 2018

Previous research related to recovering deleted data in database has been mainly based on transaction logs or detecting and recovering data using original source files by physical collection method. However there was a limit to apply if the transaction log does not exist in the server or it is not possible to collect the original source file because a database server owner does not permit stopping the database server because of their business loss or infringement at the scene. Therefore it is necessary to examine various collection methods and check the recoverability of the deleted data in order to handling the constraints of evidence collection situation. In this paper we have checked an experiment that the recoverability of deleted data in the original database source according to logical and physical collection methods on digital forensic investigation of Microsoft SQL Server database.