• 한국수학사학회지
• /
• 제2권1호
• /
• pp.9-27
• /
• 1985

Islam toot a great interest in the utility sciences such as mathematics and astronomy as it needed them for the religious reasons. It needeed geometry to determine the direction toward Mecca, its holiest place: arithmetic and algebra to settle the dates of the festivals and to calculate the accounts lot the inheritance; astronomy to settle the dates of Ramadan and other festivals. Islam expanded and developed mathematics and sciences which it needed at first for the religious reasons to the benefit of all mankind. This thesis focuses upon the golden age of Islamic culture between 7th to 13th century, the age in which Islam came to possess the spirit of discovery and learning that opened the Islamic Renaissance and provided, in turn, Europeans with the setting for the Renaissance in 14th century. While Europe was still in the midst of the dark age of the feudal society based upon the agricultural economy and its mathematics was barey alive with the efforts of a few scholars in churches, the. Arabs played the important role of bridge between civilizations of the ancient and modern times. In the history of mathematics, the Arabian mathematics formed the orthodox, not collateral, school uniting into one the Indo-Arab and the Greco-Arab mathematics. The Islam scholars made a great contribution toward the development of civilization with their advanced the development of civilization with their advanced knowledge of algebra, arithmetic and trigonometry. the Islam mathematicians demonstrated the value of numerals by using arithmetic in the every day life. They replaced the cumbersome Roman numerals with the convenient Arabic numerals. They used Algebraic methods to solve the geometric problems and vice versa. They proved the correlation between these two branches of mathematics and established the foundation of analytic geometry. This thesis examines the historical background against which Islam united and developed the Indian and Greek mathematics; the reason why the Arabic numerals replaced the Roman numerals in the whole world: and the influence of the Arabic mathematics upon the development of the modern mathematics.

• Journal of Information Processing Systems
• /
• 제3권2호
• /
• pp.43-53
• /
• 2007

The use of agent paradigm in today's applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execution environment; while hosts aim at preventing the execution of potentially malicious code. In general, hosts support the migration of agents through the provision of an agent server and managing the activities of arriving agents on the host. Numerous studies have been conducted to address the security concerns present in the mobile agent paradigm with a strong focus on the theoretical aspect of the problem. Various proposals in Intrusion Detection Systems aim at securing hosts in traditional client-server execution environments. The use of such proposals to address the security of agent hosts is not desirable since migrating agents typically execute on hosts as a separate thread of the agent server process. Agent servers are open to the execution of virtually any migrating agent; thus the intent or tasks of such agents cannot be known a priori. It is also conceivable that migrating agents may wish to hide their intentions from agent servers. In light of these observations, this work attempts to bridge the gap from theory to practice by analyzing the security mechanisms available in Aglet. We lay the foundation for implementation of application specific protocols dotted with access control, secured communication and ability to detect tampering of agent data. As agents exists in a distributed environment, our proposal also introduces a novel security framework to address the security concerns of hosts through collaboration and pattern matching even in the presence of differing views of the system. The introduced framework has been implemented on the Aglet platform and evaluated in terms of accuracy, false positive, and false negative rates along with its performance strain on the system.

• 한국전산구조공학회논문집
• /
• 제29권3호
• /
• pp.209-218
• /
• 2016

최근 신재생 에너지 중 하나인 풍력발전에 대한 관심이 증가하고 있다. 풍력발전은 토지구입비, 소음문제에 자유로운 해상풍력으로 추세가 옮겨가고 있으며 이를 위한 연구개발이 전 세계적으로 활발히 이루어지고 있다. 그러나 해상에 위치한 풍력발전을 위한 설계기준은 국내, 국외 모두 없는 실정이다. 이 점을 고려하여 국내, 국외의 구조설계기준인 도로교 설계기준, 항만 및 어항 설계기준, DNV OS를 참고하여 다중 파일기초 콘크리트 지지구조물(MCF)의 내진해석을 수행하여 결과를 비교하였다. 또한 시간에 의한 효과를 확인하기 위하여 시간이력 해석 또한 수행되었다. 부가질량법(Added-mass method)을 사용하여 물과 구조의 상호작용을 고려하였고 물의 유무에 따라 구조물의 반응을 비교하였다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2004년도 춘계학술발표회
• /
• pp.113-120
• /
• 2004

Grouting works in fractured rocks have been performed to reinforce the underground and/or to block ground water flow at the foundation site of dam, bridge and so on. For the efficient grouting design, a prior knowledge of the fracture pattern of underground area to be grouted in very important. For the practical use, aperture sizes of open fractures that will be filled up with grouting materials will be kind of valuable information. Thus, the main purpose of this study is to develop a new technique (so called "GenFT") enable to form a three dimensional image of fracture aperture density distribution from Televiewer data. For this, the study is to focus on dealing with (1) estimating aperture size of each fracture automatically from Televiewer time image, (2) mapping extension of fracture planes on a given section, (3) evaluating aperture density distribution on the section by using both aperture size and fracture face mapping result of each fracture, (4) developing an algorithm that can transfer the previous results to any arbitrary(vertical and/or horizontal) section around the borehole. Since 3D imaging means "a strategy used to form an image of arbitrarily subdivided 2D sections with aperture density distribution", it will help avoid ambiguities of fracture pattern interpretation and hence will be of practical use not only for the design and assessment of grouting works but also for various engineering works. Examples of fields experiments are illustrated. It would seem that this technique might lead to reflecting future trend in underground survey.

• 한국CDE학회논문집
• /
• 제19권4호
• /
• pp.347-355
• /
• 2014

IFC converters and viewers, applicable in the construction field, are being actively developed while, in the civil engineering field, IFC schemata are being developed. To prove the IFC schema grammatically, the existing ISO 10303 30s' pre-processors and post-processors may be used. However, to visually prove the IFC model, the existing commercial 3D modeling software should be converted into the IFC schema of civil engineering field, and a viewer is needed to view it. Thus, this study developed a IFC converter and viewer prototype system to apply BIM in the road field. To express the road line, LandXML was analyzed, and IFC suitable for expressing shapes in the road field was designed. Also, an IFC suitable for bridges with focus on representative bridge structures such as abuts, piers and decks was designed. Further, a converter was developed using AutoCAD's Civil3D and Revit's 3rdp party tools, and software was also developed designed to combine each converted IFC model into one IFC. In addition, a viewer designed to view IFC in the road field was developed to prove the converted IFC. Eight major verification and examination items were selected and used in testing the converted model, and it was confirmed that the viewer normally viewed the IFC schema in the road field. The proposed IFC converter is expected to be used as a visual IFC verification tool in the road field.

• 대한토목학회논문집
• /
• 제33권2호
• /
• pp.397-407
• /
• 2013

교량 건설에 있어서 사용 재료의 개발과 새로운 형식을 개발하는 기술이 발달하였다. 그러나 대부분의 기술 개발은 현장 타설 및 재료비 절감을 위한 공법에 치중하고 있다. 이러한 현장 타설의 경우 주변 환경 피해와 주변 민원을 야기할 뿐만 아니라 날씨에 큰 영향을 받는 단점을 가지고 있다. 이러한 단점을 극복하기 위해서 공기 단축을 위한 공법 개발이 증대되고 있는 실정이다. 이 방법이 조립식 공법이다. 대부분의 조립식 건설공법은 상부구조에 위주이며, 이에 반해서 하부구조는 매우 미미하다. 선행 연구자들은 내부 구속 중공 CFT 기둥을 이용하여 조립식 기둥을 제시하였으며, 상세 요소로 기둥 세그먼트 접합부, 기초접합부, 기둥-코핑 접합부, 조립식 코핑부가 개발되어졌다. 본 연구에서는 기존에 개발된 방법을 적용하여 조립식 ICH CFT 모델의 실험체를 제작하여 내진성능을 분석하였다. 실험체는 기둥 접합방법에 따라서 몰탈주입법과 보강재 보강법으로 2개가 제작되었으며, 실험 모델이 지진 하중을 받을 경우의 파괴 및 거동 특성을 다양한 방법으로 분석하였다.

• STI Policy Review
• /
• 제3권2호
• /
• pp.92-110
• /
• 2012

An active policy role is suggested for collaboration that will enhance national level Science and Technology (S&T) capabilities. In contrast, some studies see a limited role of policy support for collaborative S&T research at the individual level (including research groups or institutional levels) due to their self-organizing nature. Two views on S&T collaboration look at different levels but existing research largely ignores the context of developing countries. This paper shows how S&T collaborations between Brazil and Korea have developed over the past two decades. The paper indicates the gaps between initiation and the actual establishment of collaborative research at national and individual levels, differences in the focus areas of research, differences in resources and project planning, and the nature of collaborations. Collaborative research activities at the national level were initiated before the individual level but activated later than the individual level; in addition, the focus areas of research were laid down earlier at the national level with individual collaborations focused on different areas. Project types remained different at each level (i.e. top-down and bottom-up) or with a slightly changing mix. This study suggests appropriate policy measures (such as the timely and effective information collection of activities at different levels and proactive coordination) that could reduce the gaps in the timing and alignment of research areas. This paper also alludes to an evolutionary model to develop S&T collaboration among developing countries.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.853-860
• /
• 2001

최근의 객체지향 소프트웨어개발에서는 설계 및 유지보수와 관련된 많은 문제점들을 해결하기 위하여 클래스를 재설계하거나 클래스계층구조를 재구성하는 등 객체지향 소프트웨어에 대한 일련의 재이용 및 재구성기법이 사용되고 있다. 본 논문에서는 클래스계층구조의 재구성에 관한 정형적인 이론을 제공함으로써 클래스계층구조의 재구성에 관하여 보다 수월하게 이해하고 적용할 수 있도록 하였다. 구체적으로 본 논문에서는 객체지향 소프트웨어의 개발에 있어서 주요 골격이 되는 클래스계층구조를 평탄화시킨 형태로 정의한 평탄화된 클래스계층구조를 소개하고, 임의의 클래스계층구조를 평탄화된 형태로 변형시키기 위한 알고리즘을 제안하였다. 클래스계층구조를 평탄화함으로써 클래스계층구조상의 계승 및 집약관계가 각 인스턴스들에게 어떻게 사상되는가를 수월하게 파악할 수 있으며, 주어진 클래스계층구조로부터 생성가능한 객체를 그대로 유지보존할 수 있는 평탄화된 형태의 새로운 클래스계층구조를 구축할 수 있다. 평탄화된 클래스계층구조는 클래스계층구조를 재구성하여 객체지향 소프트웨어를 점증적으로 변화 발전시키거나 재이용함에 있어서 기초를 제공하는 등 중요한 역할을 수행한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권1호
• /
• pp.240-263
• /
• 2021

One of the biggest challenges that the software industry is facing today is to create highly efficient applications without affecting the quality of healthcare system software. The demand for the provision of software with high quality protection has seen a rapid increase in the software business market. Moreover, it is worthless to offer extremely user-friendly software applications with no ideal security. Therefore a need to find optimal solutions and bridge the difference between accessibility and protection by offering accessible software services for defense has become an imminent prerequisite. Several research endeavours on usable security assessments have been performed to fill the gap between functionality and security. In this context, several Multi-Criteria Decision Making (MCDM) approaches have been implemented on different usability and security attributes so as to assess the usable-security of software systems. However, only a few specific studies are based on using the integrated approach of fuzzy Analytic Network Process (FANP) and Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) technique for assessing the significant usable-security of hospital management software. Therefore, in this research study, the authors have employed an integrated methodology of fuzzy logic, ANP and TOPSIS to estimate the usable - security of Hospital Management System Software. For the intended objective, the study has taken into account 5 usable-security factors at first tier and 16 sub-factors at second tier with 6 hospital management system softwares as alternative solutions. To measure the weights of parameters and their relation with each other, Fuzzy ANP is implemented. Thereafter, Fuzzy TOPSIS methodology was employed and the rating of alternatives was calculated on the foundation of the proximity to the positive ideal solution.

• 한국지반공학회논문집
• /
• 제23권7호
• /
• pp.99-104
• /
• 2007

심층혼합처리공법은 항만기초, 토류벽구조, 차수벽 및 가시설, 그리고 거축기초와 교량기초 등에서 다양하게 사용되어오고 있다. 이 공법은 지반개량을 통한 침하방지와 안정성확보를 위한 지반강도를 확보하기 위해 시멘트와 혼화제를 현장토와 혼합하는데 있어서 가장 효율적이고 경제적이어야 한다. 본 연구에서는 교반날개의 각도, 교반속도 등에서 다양한 교반조건을 적용하여 실내실험을 수행하였다. 실내실험은 현장 타설장비를 1:8 비율로 축소하여 제작하였다. 최적의 교반조건을 도출하기 위하여 다양한 교반조건에 따른 심층혼합처리 개량체의 강도를 분석하였다. 연구결과, 심층혼합처리공법의 교반조건은 개량체의 강도와 형상에 아주 큰 영향을 미치고 있음을 확인하였다.