• 컴퓨터교육학회논문지
• /
• 제10권1호
• /
• pp.89-96
• /
• 2007

교육평가에서 이원분류표는 B.S.Bloom이 제안한 것으로서 학생들을 위한 수업목표를 확인하고 결정하는데 유용하여 학교 현장에서 평가를 위한 기준으로 널리 사용되고 있다. 그런데, 교과 내용이나 각 학교의 교육적 환경이 다르기 때문에 여러 형식의 이원분류표가 사용되고 있다. XML(extensible markup language) 문서에서는 문서의 구조, 내용, 그리고 외양을 나타내는 프리젠테이션이 각각 분리되어 있어서 체계적인 문서 구조와 변형된 여러 양식을 요하는 이원분류표의 작성에 적합하다. 본 논문에서는 이원분류표를 위한 DTD(data type definition)를 설계하였다. 또한, 이원분류표 XML 문서 및 프리젠테이션을 위한 XSL(extensible stylesheet language)의 예시와 활용 방안을 제시하였다. 제안된 DTD는 교육 평가와 관련된 다양한 응용에 유용하게 쓰일 수 있을 것으로 기대된다.

• 한국정보처리학회논문지
• /
• 제6권6호
• /
• pp.1520-1531
• /
• 1999

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

• 한국CDE학회논문집
• /
• 제21권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.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제53권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.

• 한국정보처리학회논문지
• /
• 제2권2호
• /
• pp.254-263
• /
• 1995

본 논문은 파이프라인 방식의 ASIC 데이타 경로를 제어하기 위한 무어 및 밀리식 의 시간 정지형 콘트롤러에 관한 연구이다. 조건분기(conditional branches)를 가진 데이타흐름도로 부터 무어 및 밀리식의 유한상태기(finite state machine) 콘트롤러 를 합성하는 방법을 소개한다. 콘트롤 합성은 콘트롤 명세서의 작성과 유한상태기의 합성으로 구성된다. 콘트롤 명세서를 작성하기 위한 과정들을 통해 상태표(state table)의 형태로 표현되는 유한상태기의 내역이 작성된다. 이 유한상태기를 여러 가지 다른 방식의 분할 과정과 축소화 과정을 거쳐 최소 면적을 가진 콘트롤러가 합성된다. 실험을 통해 두가지 콜트롤 방식의 특성을 비교하며 또한 두 모델의 비용과 성능의 영향 관계를 보여준다.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2002년도 춘계학술대회 논문집
• /
• 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.

• 한국도로학회논문집
• /
• 제15권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.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 추계학술대회논문집A
• /
• 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.

• 한국농공학회지
• /
• 제39권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1998년도 창립기념 춘계학술대회 논문집
• /
• 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