• The Journal of Korean Association of Computer Education
• /
• v.10 no.1
• /
• pp.89-96
• /
• 2007

Two-way specification table for educational objectives proposed by B.S.Bloom, which is useful in reviewing and determining the objectives of instructions, is widely used in schools. However, differences in subject matters and school environments require various types of two-way specification table. Extensible markup language (XML) can be effectively applied for two-way specification table for educational objectives because it is well structured and the content of an XML document can be separated from its presentation. In this paper, the document type definition (DTD) for two-way specification table was designed. An example of XML document and XSL style sheet for the table were also presented. Furthermore, applications of the designed DTD were discussed. It is expected that the proposed DTD can be useful to various applications related to education assesment.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.1
• /
• pp.31-41
• /
• 2016

Building Information Modeling (BIM) has been adopted in variety domain of construction industry. In this circumstances, interest of BIM model quality has been increased. In many countries, automated building code checking system by Industry Foundation Classes (IFC) has been developed and studied to use web based building permission systems. IFC is international standard of BIM format. However, the data structure of IFC does not include all of objects and properties about national building codes. In this paper, we developed the information specification between IFC data structure and national building code to increase interoperability. First, we drew the criteria from literature review to analyze the building code. And then, we analyzed building code and sorted objects and properties for automated building code checking. After that we made mapping table between the sorted data and IFC specification. Using the mapping table, we developed pre-specification about building codes information that does not exist in IFC specification. And the defined information can be used to develop the BIM modeling guide and national building permission system. The pre-specification support increasing the interoperability between user and automated building code checking system. Increasing thee interoperability makes improvement accuracy and reliability about result of automated building code checking.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.6
• /
• pp.453-456
• /
• 2004

Due to the bandwidth and storage limitations medical images are needed to be compressed before transmission and storage. DICOM (Digital Imaging and Communications in Medicine) specification, which is the medical images standard, provides a mechanism for supporting the use of JPEG still image compression standard. In this paper, we explain a method for compressing medical images by PEG standard and propose two methods for JPEG compression. First, because medical images differ from natural images in optical feature, we propose a method to design adaptively the quantization table using spectrum analysis. Second, because medical images have higher pixel depth than natural images do, we propose a method to design Huffman table which considers the probability distribution feature of symbols. Simulation results show the improved performance compared to the quantization table and the adjusted Huffman table of JPEG standard.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.254-263
• /
• 1995

In this paper we discuss Moore and Mealy-model Time-stationary control schemes of pipelined data paths of Application Specific, Integrated Circuits (ASICs). We developed a method to synthesize both a Moore and a Mealy-style Finite State Machine(FSM) controller specifications given a pipelined data path with conditional branches. The control synthesis task consists of the generation of control specification and the FSM synthesis. The control specification procedure generates a FSM specification in the form of a state table. The different partitioning schemes are applied to each FSM controller so as to minimize the total area. Experimental results show the characteristics of the two different control styles and the effects of these two models on cost and performance.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2002.04a
• /
• pp.284-289
• /
• 2002

In this paper, we develop a six-axes machining center tool(MCT) and CAD/CAM system based RAD Tool Program. The MCT consists of two mechanical parts, i.e., a X-Y-Z Cartesian coordinate typed MCT and a parallel-typed tilting table. Kinematics and singularity are accomplished to design the parallel-typed tilting table, and RAD Tool Program Is developed for the six-axes MCT, which requires the commands of position as well as orientation for machining of complex shape. In RAD Tool, the CAD/CAM system has a tool path generator, NC code generator and a graphic simulator. This paper designs the parallel-typed tilting table to meet the desired specification and presents the results of CAD/CAM system based RAD Tool Program.

• International Journal of Highway Engineering
• /
• v.15 no.1
• /
• pp.47-56
• /
• 2013

PURPOSES: This study is to evaluate a ground water level effect on frost heaving in road pavements. METHODS: The effects of water table on frost heaving in pavement systems were evaluated from the mechanical analysis using FROST program. The input parameters and boundary conditions were determined by considering climates, pavement sections, and material properties specially subgrade soil types in Korea. RESULTS: When the water table located above the freezing depth, amount of frost heaving caused by freezing the water in pavement itself was big enough to damage in pavement system, although pavement system consists of fully non-frost-susceptible materials with sufficient thickness of anti-freezing layer. The amount of frost heaving was decreased rapidly with increasing the distance between the water table and freezing depth. CONCLUSIONS: It was concluded that there is no engineering problems related with frost heaving in practical sense when the distance between freezing depth and water table is over 1.5m for having subgrade soils less than 50% of #200 sieve passing to meet specification on quality control in Korea.

• Proceedings of the KSME Conference
• /
• 2001.11a
• /
• pp.734-739
• /
• 2001

In this paper, we develop a six-axes machining center tool(MCT) and CAD/CAM system. The MCT consists of two mechanical parts, i.e., a X-Y-Z Cartesian coordinate typed MCT and a parallel-typed tilting table. Kinematics and singularity are accomplished to design the parallel-typed tilting table, and CAD/CAM system is developed for the six-axes MCT, which requires the commands of position as well as orientation for machining of complex shape. The CAD/CAM system has a tool path generator, a NC code generator and a graphic simulator. This paper designs the parallel-typed tilting table to meet the desired specification and presents the results of tool path, NC code and graphic simulation.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.39 no.2
• /
• pp.86-94
• /
• 1997

For the efficient operation and maintenance( 0 & M), irrigation facilities were graded on the basis of their indices related to the 0 & M condition and the characteristics of reservoirs managed by Farmland Improvement Association(FIA) were examined. The results obtained are summarized as follows : 1. Characteristics of reservoirs include effective storage capacity, irrigation area, basin area, height and length of bank. Each characteristic is scored by the principle component analysis method. Variables which compose one index are categorized on the basis of their unit and each variable is scored so that the score of each unit sums to 100 for each index. 2. The Optimum MAnagement System of Irrigation Facilities(OMASIF) for Pyoungtaek area was developed by connecting general data of the irrigation facilities to image data. The database system is divided into three tables; LookUp Table, Facility Table, and Image Table. Image Table is again divided into five sub-tables, Image Table, Construction Cost Table, Acreage Table, 0 & M Cost Table, and Specification Table. 3. The evaluating criteria for the 0 & M of irrigation facilities can be established using the OMASIF. Irrigation facilities evaluated as poor state by the criteria should be repaired.

• Proceedings of the KSR Conference
• /
• 1998.05a
• /
• pp.427-435
• /
• 1998

In this paper will be presented an algorithm for designing of a railway interlocking table which is a document describing the functional specification of the interlocking device. The ability to produce an interlocking table has been handed down in the signalling engineers society. And the signalling engineer makes the most of his expertise to produce an interlocking table. But, the expertise has not yet been organized into technical system, the core of the expertise is a hard nut to crack. Therefore, we analyze into signal engineering expertise, and propose a generalization of interlocking notion. Also, an algorithm is drawn up based on a train route setting principle to solve practical and general problems by computer And the performance of the algorithm is evaluated for test program based on AutoCAD technology. The evaluation result shows that it can be utilized as the effective algorithm for computer control of the signalling system as interlocking device, that it improved in safety