• Journal of Korea Spatial Information System Society
• /
• v.1 no.2 s.2
• /
• pp.99-113
• /
• 1999

The role of a GIS as a tool for a national information infrastructure can best be fulfilled once GIS standards are implemented. In this paper, we have identified what the contents of GIS standards in other countries are, and what should be the future direction for implementing a nation's GIS standards. Based on a detailed review on GIS standards in the USA, Australia, Japan and the United Kingdom, we derived the following: (1) A nations's GIS standards should include both geographic information content standards and geographic information service standards: (2) A nation's GIS standards should be a profile of ISO GIS standards: (3) Each GIS standards should be developed on the bassis of the Entity-Relationship Model using Unified Modeling Language: and (4) Experts in GIS should pay much more attention on studies on GIS service standardization. As for building the national GIS Standards for Korea, we recommend both GIS Content Standards and GIS Service Standards be simultaneously developed. GIS Content Standards include geographic feature content standard, feature classification standard, portrayal standard, rules for application standards, spatial reference model and terminology. GIS Service Standards include standards for data sharing such as metadata standard and transfer standard, quality standard, quality principle and portrayal standards.

• Journal of Oral Medicine and Pain
• /
• v.26 no.3
• /
• pp.189-204
• /
• 2001

본 연구는, 기존의 나열식 분류체계의 문제점을 극복할 수 있는 GRAIL을 이용하여 두경부의 해부학적 구조물들 및 구강 악안면 영역의 주요 질병들과 관련된 치의학 개념들의 모델을 구축한 뒤, 완성된 치의학 개념 모델이 두경부의 해부학적 구조물들 및 구강 악안면 영역의 주요 질병들을 잘 표현할 수 있는지와 기존의 GRAIL 모델이 지닌 특징에 잘 부합하는지를 평가하고자 시행되었다. 서울대학교 치과병원 내원 환자 중 포괄적인 치과 치료 병력을 지닌 환자 150명의 치과 의무기록을 내용별로 분석하고, 각종 치의학 교과서와 기존의 의학용어 분류체계에서도 모델 구축에 필요한 치의학 용어를 선택하였다. 이들 자료를 바탕으로, GRAIL 모델 구축을 진행하고 구축된 모델을 평가할 수 있는 소프트웨어 프로그램인 'KnoME'에서 치의학 개념 모델을 구축하고 평가하여, 다음과 같은 결론을 얻었다. 1. 환자 150명의 치과 의무기록을 내용별로 분석한 결과, 우선적으로 모델 구축이 필요한 치의학 용어로는, 해부학적 구조물의 경우 치아, 치은, 악관절, 입술, 턱, 혀 등의 순서로 나타났으며, 구강악안면 영역의 병소에서는 치아 우식증, 치주염, 치은염, 악관절 장애, 매복 지치, 치경부 마모 등의 순서로 나타났다. 2. GRAIL을 이용하여 치아, 치주조직, 구강점막조직, 치아 우식증, 치수 및 치근단 병소, 치주질환, 구강점막질환의 모델 구축을 시행한 결과, 치의학 개념간의 다양한 관계가 대다수 잘 표현되었다. 그러나, 구강 악안면 영역의 해부학적 구조물에 대한 공간 정의의 한계성과 구강 악안면 질환의 진행 양상에 있어서 표현의 어려움이 관찰되었다. 이러한 부분은 GRAIL을 치의학 분야에 적용할 때, 극복해야 할 한계로 나타났다. 3. 치의학 개념들에 관한 다양한 질의를 시행한 후 그 응답 내용을 평가한 결과, 완성된 모델 내에서 치의학 개념의 자동적인 분류가 이루어 졌으며, 다양한 목적의 검색이 가능하였다. 이와 같은 사실로 미루어 보아서, 완성된 모델은 기존의 GRAIL 모델의 특성에 잘 부합되는 것으로 생각되었다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.800-815
• /
• 2009

Recently, Web services based service-oriented architecture is widely used to integrate effectively various applications distributed on the networks. In the service-oriented architecture BPEL as a standard modeling language for the business processes provides the way to integrate various services provided by applications. Over the past few years, some types of studies have been made on testing compatibility of services and on discriminating and tracing of the business processes in the services composition. Now a lot of studies about the services composition with BPEL are going on. However there were few efforts to solve the problems caused by the services composition. Especially, there is no effort to evaluate whether a composite service is reliable and whether it is robust against to exceptional situations. In this paper, we suggest a test framework and a testing method for robustness of the composite service written in WS-BPEL. For this, firstly we extract some information from the BPEL process and the participant services. Next, with the extracted information we construct the virtual testing environment that generates various faults and exceptional cases which may be raised within the real services. Finally the testing work for robustness of a composite service is performed on the test framework.

• Steel and Composite Structures
• /
• v.34 no.5
• /
• pp.681-698
• /
• 2020

The paper addresses contribution to the modeling and optimization of major machinability parameters (cutting force, surface roughness, and tool wear) in finish dry hard turning (FDHT) for machinability evaluation of hardened AISI grade die steel D₃ with PVD-TiN coated (Al₂O₃-TiCN) mixed ceramic tool insert. The turning trials are performed based on Taguchi's L₁₈ orthogonal array design of experiments for the development of regression model as well as adequate model prediction by considering tool approach angle, nose radius, cutting speed, feed rate, and depth of cut as major machining parameters. The models or correlations are developed by employing multiple regression analysis (MRA). In addition, statistical technique (response surface methodology) followed by computational approaches (genetic algorithm and particle swarm optimization) have been employed for multiple response optimization. Thereafter, the effectiveness of proposed three (RSM, GA, PSO) optimization techniques are evaluated by confirmation test and subsequently the best optimization results have been used for estimation of energy consumption which includes savings of carbon footprint towards green machining and for tool life estimation followed by cost analysis to justify the economic feasibility of PVD-TiN coated Al₂O₃+TiCN mixed ceramic tool in FDHT operation. Finally, estimation of energy savings, economic analysis, and sustainability assessment are performed by employing carbon footprint analysis, Gilbert approach, and Pugh matrix, respectively. Novelty aspects, the present work: (i) contributes to practical industrial application of finish hard turning for the shaft and die makers to select the optimum cutting conditions in a range of hardness of 45-60 HRC, (ii) demonstrates the replacement of expensive, time-consuming conventional cylindrical grinding process and proposes the alternative of costlier CBN tool by utilizing ceramic tool in hard turning processes considering technological, economical and ecological aspects, which are helpful and efficient from industrial point of view, (iii) provides environment friendliness, cleaner production for machining of hardened steels, (iv) helps to improve the desirable machinability characteristics, and (v) serves as a knowledge for the development of a common language for sustainable manufacturing in both research field and industrial practice.

• Structural Engineering and Mechanics
• /
• v.72 no.5
• /
• pp.643-652
• /
• 2019

Protection of cultural heritage and carrying it to the future are at the top of the significant topics of research and implementation in engineering in the 21st century. There are several historical structures in the district of Ahlat located in the east of Turkey on the Lake Van Basin that has harbored many civilizations. Some of such works are the gravestones that are found in the Ahlat Seljuk Cemetery, which is the oldest and largest cemetery in the district. This study firstly provides information about the Ahlat Seljuk Cemetery and the gravestones found in it. Observation-based structural analyses were carried out on these gravestones that are found in this area that are known to have belonged to different civilizations based on their physical and constructional characteristics. These stones were built out of Ahlat stone as single pieces. Information is provided on the damages that have occurred on the gravestones in time and their causes. In general, losses of mass, abrasions, separations, collapses and calcifications due to natural conditions, as well as vegetative formations, were observed in the gravestones. To provide an example of other gravestones within the context of the study, the gravestone that is known to belong to the person named Nureddin Ebu Hasan was selected. As a result of the modeling that was carried out for this gravestone by using the finite elements method, modal analyses were carried out. With these analyses, for the gravestone, period, effective mass participation rates and stress values were calculated. The stress values that were obtained in this study were compared to the material safety stress values that were obtained in previous studies. Additionally, QR code application was created for the gravestone that was selected as an example in the study, and information on this gravestone was transferred to an electronic environment. The QR code application includes different language options, visuals of the gravestone and information on the gravestone. The QR application was also supported with a video of the cemetery where the gravestone is located. With this application, access to information about gravestones will be possible by using tablets and smartphones. With a QR code to be created for each gravestone, these gravestones will obtain identity cards.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Proceedings of the Speleological Society Conference
• /
• 1995.09a
• /
• pp.39-44
• /
• 1995

$\bigcirc$ 동굴생물은 식물과 동물, 미생물로 크게 구분되지만 태양광선이 완전히 차단된 동굴내 환경에서는 동굴 동물들이 주종을 이루고 있다. $\bigcirc$ 동굴내의 동물에 관한 연구는 1966년 고씨동굴, 용담굴을 시발로 고수굴, 천동굴, 노동굴, 백룡글, 대이굴, 환선굴 등 강원도내에 분포하는 동굴 중 약 30% 정도는 동물을 포함한 생물상이 조사되었다. $\bigcirc$ 강원도의 동굴동물로서 확인된 것은 9강 30목 141종이며 강별로는 곤충강이 9목 50종 주형강이 4목 49종 갑각강이 6목 18종의 순으로 우세하고 목별로는 거미목이 15과 39종, 톡토기목이 7과 20종, 딱정벌레목이 8과 15종으로 우세한 편이다(남, 1987). $\bigcirc$ 동굴생물에 관한 연구는 육상생태계와 격리된 환경에서 생리, 생태적 적응을 통한 종의 분화나 유전, 진화문제를 추구하며 지하생태계와 육상생태계의 생물적인 유연관계 규명에 중요한 분야로 인정되며 아울러 독특한 특성을 지닌 동굴생물의 생존을 위한 방안과 노력이 일부동굴의 개방 및 개발에 앞서 더욱 구체적으로 모색되고 증대되어야 한다. $\bigcirc$ 동굴환경의 주요 특성은 첫째 햇빛에 차단되어 암흑상태이며, 둘째 내부습도가 높고 기온이나 수온의 년중변화가 심하지 않고, 셋째 먹이연쇄에 필수적인 영양공급원이 제한되어 있다. 따라서 광합성작용으로 성장하는 녹색식물은 태양광선이 유입되는 곳이나 인공조명시설 지역을 제외한 곳에서는 서식이 불가능하고 대형동물이나 초식동물은 생존이 어렵다. $\bigcirc$ 동굴내에는 환경에 적응하는 종들만이 서식할 수 있고 이들을 생태적 특성에 따라 세가지로 구분 할 수 있다. 환경적응 요인으로는 광도, 습도, 온도 영양공급원과 섭식장소, 수중생물의 경우는 특히 수온, 수량 영양원등이다.(중략). 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$)로 그리고 [-wh] 의미의 겹의문사는 중복된 발은을 지닌 한 단어로 ([W]$_{XO}$

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.1
• /
• pp.57-68
• /
• 1993

In this paper, we describe a multiprocessor system using the HiPi bus with pended protocol and multiple cache memories, and evalute the performance of the multiprocessor system in terms of processor utilization for various cache coherence protocols. The HiPi bus is delveloped as the shared bus of TICOM II which is a main computer system to establish a nation-wide computing network in ETRI. The HiPi bus has high data transfer rate, but it doesn't allow cache-to-cache transfer. In order to evaluate the effect of cache-to-cache transfer upon the performance of system and to choose a best-performed protocol for HiPi bus, we simulate as follows: First, we analyze the performance of multiprocessor system with HiPi bus in terms of processor utilizatIOn through simulation. Each of cache coherence protocol is described by state transition diagram, and then the probability of each state is calculated by Markov steady state. The calculated probability of each state is used as input parameters of simulation, and modeling and simulation are implemented and performed by using SLAM II graphic symbols and language. Second, we propose the HiPi bus which supports cache-to-cache transfer, and analyze the performance of multiprocessor system with proposed HiPi bus in terms of processor utilization through simulation. Considered cache coherence protocols for the simulation are Write-through, Write-once, Berkely, Synapse, Illinois, Firefly, and Dragon.

• Journal of Internet Computing and Services
• /
• v.14 no.4
• /
• pp.35-42
• /
• 2013

Nowadays many tasks are performed using the Web. Accordingly, many web-based application systems with various and complicated functions are being requested. In order to develop such web-based application systems efficiently, object-oriented analysis and design methodology is used, and Java EE(Java Platform, Enterprise Edition) technologies are used for its implementation. The security issues have become increasingly important. For such reasons, Java EE provides mechanism related to security but it does not provide interconnections with object-oriented analysis and design methodology for developing web application system. Consequently, since the security method by Java EE mechanism is implemented at the last step only, it is difficult to apply constant security during the whole process of system development from the requirement analysis to implementation. Therefore, this paper suggests an object-oriented analysis and design methodology emphasized in the security for secure web application systems from the requirement analysis to implementation. The object-oriented analysis and design methodology adopts UMLsec, the modeling language with an emphasis on security for the requirement analysis and system analysis & design with regard to security. And for its implementation, RBAC (Role Based Access Control) of servlet from Java EE technologies is used. Also, the object-oriented analysis and design methodology for the secure web application is applied to online banking system in order to prove its effectiveness.

• School Mathematics
• /
• v.7 no.2
• /
• pp.139-168
• /
• 2005

The purpose of this study is to investigate children's informal knowledge of the fractional multiplication and to develop a teaching material connecting the informal and the formal knowledge. Six lessons of the pre-teaching material are developed based on literature reviews and administered to the 7 students of the 4th grade in an elementary school. It is shown in these teaching experiments that children's informal knowledge of the fractional multiplication are the direct modeling of using diagram, mathematical thought by informal language, and the representation with operational expression. Further, teaching and learning methods of formalizing children's informal knowledge are obtained as follows. First, the informal knowledge of the repeated sum of the same numbers might be used in (fractional number)$\times$((natural number) and the repeated sum could be expressed simply as in the multiplication of the natural numbers. Second, the semantic meaning of multiplication operator should be understood in (natural number)$\times$((fractional number). Third, the repartitioned units by multiplier have to be recognized as a new units in (unit fractional number)$\times$((unit fractional number). Fourth, the partitioned units should be reconceptualized and the case of disjoint between the denominator in multiplier and the numerator in multiplicand have to be formalized first in (proper fractional number)$\times$(proper fractional number). The above teaching and learning methods are melted in the teaching meterial which is made with corrections and revisions of the pre-teaching meterial.