• 한국안광학회지
• /
• 제9권1호
• /
• pp.117-124
• /
• 2004

본 논문에서는 한국인 안구의 영상자료를 가지고 실안에 유사한 광학적 성능을 갖는 모형안을 설계하였다. 설계 시 활용된 한국인 안구의 임상자료로는 기존에 조사 되어진 젊은 사랑의 정시안 임상자료를 가지고, 그 평균값을 구하여 기초 설계 제원으로 삼았다. 설계 목표로는 구연수차와 비점수차가 실안과 유사한 성능을 갖도록 설정하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 A
• /
• pp.554-556
• /
• 2005

Distribution Automation System (DAS) will provide supervision and remote control of switches and reclosers such as pole pounted switches and pad-mounted switchgears on high voltage distribution line. Kepco had developed basic function such as remote monitoring, remote control, remote measuring and remote setting at first. As a next step, Kepco has been developed diverse application programs such as single line diagram drawing program, relay coordination program, feeder reconfiguration program, over load elimination program, bad data detection program, section load management program, fault processing program and so on. Kepco is examining to develop more powerful functions for special specification of foreign distribution automation system. This paper explains what is the target for overseas DAS market.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 추계학술대회 논문집 전력기술부문
• /
• pp.111-113
• /
• 2006

Substation automation is one of the key issues for the enhancement of the power industrial foundation. IEC 60850 is an international standard specifying communication network and systems in substation. It supports interchangeability and interoperability of equipments from different vendors. ACSI(Abstract communication service interface) specifies basic communication structure for substation and IEDs. It supports communication as well as various services without proper protocols. For actual communication, MMS(Manufacturing Message Specification : ISO 9506) is used to map ACSI services. Solutions for the development of communication driver based don IEC 61850 are proposed in this paper.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.453-458
• /
• 2001

A mobile agent is an autonomous software agent capable of moving from one computer to another while performing its tasks. We view the agent as a discrete event system in the view of its computation and communication. This paper presents a methodology far modeling and simulation of such a mobile agent system as a discrete event system. The methodology is based on the Mobile Discrete Event System Specification (MDEVS) formalism and the associated simulation environment AgentSim which are previously developed by the authors. Within the methodology an atomic model represents dynamics of a mobile agent; a coupled model is modeled as mobile agent servers for representation of structural changes between atomic agents. Being based on the object-oriented environment the modeling methodology exploits inheritance of basic classes AtomicModel and CoupledModel provided by AgentSim.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2014년도 춘계 학술논문 발표대회
• /
• pp.126-127
• /
• 2014

At construction sites, due to the reason of inconvenience and difficulties of producing and using curing equipment and when it comes to measuring compression strength of the actual structure, strength of structure concrete according to general standards which are suggested in concrete standard specification are assessed. However, this method does not consider various variables of the sites such as kinds concretes and sizes of frame works so that it is not easy to measure proper curing period and strength. Thus, this study reviews description of strength development according to In-situ temperature system and analyzes and compares properties of strength development of the existing curing methods such as sealing curing so that it provides basic materials for period of removal of molds.

• Journal of Communications and Networks
• /
• 제2권1호
• /
• pp.18-34
• /
• 2000

The evolution of mobile communications is inducting several new issues belonging to the system engineering disciplines. this paper tires to underline some of the most important problems staring room the novel requirements and the application characteristics expected for Third Generation Mobile System. Based on these new service peculiarities. the radio resource control and the architectural solutions to be chosen for the Mobile core network are becoming key issues to be investigated for the forthcoming configurations. Particularly. the service acceptance control and the perspective of integration with the IP (internet Protocol) context are of great importance for the definition of the radio control functions and the specification of the switching and nobility control features respectively．The paper presents some basic considerations on the cellular planning issues arising in W-CDMA ( wideband -code division Multiple access) systems. by underlying the most significant innovative elements that are to be introduced in the planning process form the mobile operator viewpoint..

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 C
• /
• pp.1789-1791
• /
• 2001

Recently, Water Blocking Conductor have been used to basic specification at the EHV XLPE Cable, GlobalIy. The area of Middle East have need of severe test condition than existing the Water Penetration Test, specially. In this paper, compare with and investigate the Water Penetration Test's each standard, describes the development Water Blocking Conductor in the high water-pressure for the EDF HN 33-S-51's Water Penetration Test passing.

• ETRI Journal
• /
• 제20권1호
• /
• pp.96-112
• /
• 1998

The patentability of computer program has been discussed because of its deviation from the traditional definition of a patent. The relativities of computer programs to hardware are classified to measure the relative patentability of computer programs in this paper. It can be seen through the patentability analysis that the change in patentability basically follows an exponent part of the function is a damping factor that determines a patentability degree or trend. The basic patentability of computer programs is revealed when the damping factor value is 1, and a statistical patent specification, an appropriate expression of applicability and substantiality of computer programs is needed to acquire a patent right.

• 한국복합재료학회:학술대회논문집
• /
• 한국복합재료학회 2002년도 추계학술발표대회 논문집
• /
• pp.193-197
• /
• 2002

Polyurethane casting wing fairings included in F-5E/F 15% spar kit are to be installed on aircraft wing surfaces and used for compensating the changes of the aerodynamic configuration by the leading edge extension fairings. These fairing are mandatory items in repairing wing areas and was imported from foreign supplier with long term delivery and high cost. Accordingly, local manufacturing is necessary to get rid of above disadvantages such as long term delivery and high cost. Basic properties test of specimen to be developed and part's requirements after localization was taken and its values were similar or higher when comparing with the original's even in low temp test at -55C. Casting mold process was used to manufacture the polyurethane fairings and its demensional stability ＆ physical condition was proper and met to the related specification and drawing's requirements