• East Asian mathematical journal
• /
• v.25 no.3
• /
• pp.399-413
• /
• 2009

Whitehead's philosophy is evaluated as an applicable philosophy and an accurate, logical explanation system about the world through mathematics. Whitehead's ideological development can be divided into mathematical research, critical consciousness about sciences and philosophical exploration. Although it is presented as a whole unified conceptual framework to understand nature and human beings which is based on modern mathematics and physics in the 20th century, Whitehead's philosophy has not been sufficiently understood and evaluated about the full meaning and mathematics educational values. In this paper, we study relations of Whitehead's philosophy and the mathematical education. Moreover, we study implicity of mathematical education.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.613-616
• /
• 2008

그리드는 분산된 이기종 자원을 활용하는 컴퓨팅 패러다임으로 초기 그리드 자원을 활용하기 위한 표준으로 OGSA(Open Grid Service Architecture)가 제안되었다. 글로버스 툴킷3은 사용자가 OGSA에 표준에 맞게 그리드를 구성할 수 있는 기능을 제공했다. 하지만 그 이후 웹 서비스 표준의 발전에 따라 그에 맞는 새로운 표준인 WSRF(Web Service Resource Framework)가 정의 되었고, 현재 WSRF 표준에 따라서 GT4가 개발되어 발표된 상황이다. 이에 본 논문에서는 기존의 OGSA 표준에 맞게 구축된 그리드 정보검색 서비스들을 WSRF 표준에 맞도록 새로운 표준 인터페이스를 정립하고, OGSA-DAI(Data Access & Integration) 컴포넌트를 통한 데이터 관리 기능을 추가함으로써 새로운 그리드 정보검색 서비스 프로토타입을 정의하고자 한다.

• Journal of KIBIM
• /
• v.14 no.1
• /
• pp.11-21
• /
• 2024

This study is about a case of web application development using representative commercial BIM platform-linked APIs from Autodesk and Bentley Systems. The development method was aimed at application development using Autodesk's Forge API and Bentley System's iTwin API. The specific development content was limited to the Model Viewer, Issues, and File Transfer API, and the administrator's site. The first research result is that parts with different internal configurations of commercial platforms were independently modularized and developed, and the common front-end was unified. The second research result is that a web front-end technology, was used to visualize 3D models using the viewer API, and the possibility of additional application expansion was discovered.

• Journal of Legislation Research
• /
• no.54
• /
• pp.303-343
• /
• 2018

In 2013 a new era for EU patent law system was launched. The creation of the EU patent with unitary effect and the establishment of the Unified Patent Court established a new legal framework on substantive patent protection and patent litigation in Europe. This year the EU Patent Package would become a reality. It includes a regulation on a unitary patent, a regulation on the translation regime and an international Agreement on the Unitary Patent Court. In contrast to the classical European patent, the post-grant life of unitary patent will be governed by the newly created unified patent court and it will have unitary effect. In this article, I highlight the effect of the unitary patent and the jurisdiction of the unified patent court over unitary patents (and 'traditional' patents granted under the EPC that are not opted-out) for actions in relation to patent infringement or to revocation of a European patent and to licences of right. This article explores on the one hand the relation between national patent, the classical European patent and EU patent with unitary effect and on the other hand the relation of unified patent court to the Brussels $I^{bis}$ Regulation. Particular attention is paid to the institutional changes created by the unitary patent package abd the new supplementary forum that enables the UPC to hear disputes involving defendants from third States that relate to an infringement of a European patent and give rise to damage inside as well as outside the Union. Furthermore on the perspective North-east Asia this essay examines the lessons from the experiences of EU patent package.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.105-113
• /
• 2006

In this paper we propose wear-UCAM, which is a toolkit for context-aware application model in wearable computing. As the rapid developments of mobile technologies and relevant technologies, the interests in wearable computer also become indispensible in both academic and industrial fields. However, there are few research activities on the application framework or toolkit for wearable computing. Hence, we suggest wear-UCAM as the development toolkit for wearable computing applications, where we focus on how to collect relevant user context, manage it, and provide services based on the recognized context. The proposed wear-UCAM includes the abstraction of context processing as well as independence among sensors and services with other components. For the sake of rapid prototyping of the proposed toolkit, we utilize PDA with wireless LAN as a wearable computer. The detail explanation of the implementation and its discussion are presented in this paper.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.

• Journal of the Korean Geographical Society
• /
• v.48 no.6
• /
• pp.929-943
• /
• 2013

This paper examines the evaluation and categorization of national heritage 'Myeongseung(scenic places)' from the viewpoint of world heritage concept and its criteria. This study focuses on Myeongseung because the author thinks it implies the unique human-nature relationships that have been evolved in Korean Peninsula, and then draws some pending problems with the evaluation of those heritage. Formerly, the paper discusses theoretically the outcome and point at issue on concept, criteria, evaluation of world heritage, and then proposes three issues on the evaluation and categorization of national heritage 'Myeongseung': first, the establishment of basic concept for evaluation of heritage; second, the building of unified criteria list to cover both natural and cultural heritage; and third, the reorganization of categories for the advanced registration and management. Especially, the author emphasizes that it is necessary rather to extend actively the world heritage concept than to regard it as a fixed framework.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.8
• /
• pp.1970-1976
• /
• 2009

It is more emphasized on the software architecture recently, as the scale of a software becomes huge and the need of the software management becomes more dynamic. Software architecture is a representation of structures of software framework just like the blueprint of building architecture. In order to describe software components and their relationships accurately and entirely, software architecture is documented in some different views, by using of modeling tools. UML(Unified Modeling Language) is a software modeling tool recently used for documentation of software and as well as software architecture. Nevertheless, what we have to agree with is that UML is not easy to use and its standard changed continuously. And also the documentation with UML is found some burden because of its difficulties in learning and using. This inconvenience enforces us to purchase and use commercial tool for UML. The study introduces the architecture views refined from 4+1 Views for architecture design and shows how to represent architecture views for software architecture. Especially, we simplifies UML diagrams for the purpose of focusing on architecture views and facile manipulation. At the end, we add the evaluation on the refined architecture views as well as refined UML diagram.

• Journal of Korea Society of Industrial Information Systems
• /
• v.29 no.2
• /
• pp.69-80
• /
• 2024

In this paper, we studied a discrete-time queuing system that operates under a mixed situation of D-policy and T-policy, one of the representative server control policies in queuing theory. A single server serves customers arriving by Bernoulli arrival process on a first-in, first-out basis(FIFO). If there are no customers to serve in the system, the server goes on vacation and returns, until the total service time (i.e., total amount of workload) of waiting customers exceeds predetermined workload threshold D. The operation of the system covered in this study can be used to model the efficient resource utilization of mobile devices using secondary batteries. In addition, it is significant in that the steady state waiting time and system sojourn time of the queuing system under a flexible mixed control policy were derived within a unified framework.

• International Journal of Highway Engineering
• /
• v.7 no.4 s.26
• /
• pp.49-56
• /
• 2005

The effect of modified asphalts is evaluated by simple comparison of a single parameter (i.e., tensile strength, stiffness, etc.) between modified asphalt mixture and unmodified mixture. The use of a single parameter to evaluate the effect of modified asphalt must be questioned. Rather, a single unified framework that accounts for changes in key mixture properties is needed to effectively evaluate the modified asphalt mixtures. This study used a new performance-based fracture parameter as a single unified framework, the Energy Ratio (ER), for quantifying the effect of modified asphalts oil the fracture resistance of mixtures. The Energy Ratio was then used as a performance criterion for calculating the construction cost of two modified asphalt pavements (SBS and Crumb Rubber) and unmodified asphalt pavement. The results showed that the Energy Ratio of SBS modified asphalt was higher than those of crumb rubber and unmodified asphalt. Cost analyses indicated that the construction cost of the AC layer would be reduced by up to 24% by SBS modification. Based on the results, the Energy Ratio is capable of evaluating the effect of modified mixtures, and may form the basis of a promising fracture criterion for performance-based thickness design in asphalt pavements.