http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 박성헌(Sung Hun Park) (검색결과 7 건)
- 무료
- 기관 내 무료
- 유료
-
-
시간적 논리와 도달성 그래프를 사용한 네트워크 프로토콜 검증법에 대한 비교 분석
박지헌(Ji Hun Park),박성헌(Sung Hun Park) 한국정보과학회 1990 정보과학회논문지 Vol.17 No.2
시간에 의존하게 되는 Computer network protocol을 나타내기 위해서 state transition system을 나타내기 위한 표기법을 사용한다. Protocol의 특성을 나타내고 증명하기 위한 이 표기법은 linear-time temporal logic을 기초로 한다. 이러한 특성에 대한 증명은 작은 갯수의 추론법칙들을 이용할 수 있다. Protocol 검증에 대한 다른 방법은 reachability graph를 이용하는 것이다. 이 방법을 이용한 검증은 reachability graph를 조사해 봄으로써 쉽게 행해질 수 있다. 이 논문에서는 위의 두가지 방법이 temporal logic을 이용한 방법을 중심으로 비교 분석되며, 왜 temporal logic을 이용한 검증 방법 또한 비 실용적인지 보여준다. In modeling tune-dependent computer network protocol construction, we use a notation for specifying state transition systems This notation for specifying and proving protocol properties are based on the linear-time temporal logic Proofs of properties presented by a protocol designer can be checked by applying a small set of inference rules. Another method of protocol verification is using the reachability graph of all possible state transitions. The verification is straight-forward by examining reachability graph. In this paper, above two approaches used in the protocol verification are analyzed and compared, with emphasis on temporal logic approach, to show why it is also hard to verify computer network protocol with temporal logic approach.
-
-
박성헌,김훈,박세환,최현호,박광채 조선대학교 에너지.자원신기술연구소 1997 에너지·자원신기술연구소 논문지 Vol.19 No.2
Since services in ATM networks are very various and the characteristic of traffic from services is very different from each one, shared buffer mechanism, that shares only one buffer, cannot satisfy QoS, requirement for traffics. Furthermore, it has more difficulty in controlling composite cells in buffer when large ATM switch is implemented. In this paper, we propose cell service scheduling of separated routing allocation mechanism that allocates respective, independent buffer to cells with same traffic characteristic according to priority. We analyzed its performance using computer simulation. Then, we obtained cell loss probability changing buffer size and weighted value, when cell service scheduling is done by unsymmetrical round-robin depending on weighted value that is allocated to respective buffer.
-
Basic upper lip thickness에 따른 교정치료 후 입술 이동량의 차이
박선형,박성헌,조영문,김정훈 대한치과교정학회 2002 대한치과교정학회지 Vol.32 No.5
교정치료 후 연조직의 변화가 나타난다. 특히, 하안면부위에 많은 변화를 일으키게 되며, 대표적으로 입술은 치아이동량의 60∼70%정도 이동한다고 알려져 있다. 하지만, 이동량은 개인마다 그 양상이 다양하다. 본 연구는 환자의 입술두께에 따라 연조직이동양상에 차이가 있는지 여부를 조사하는데 그 목적이 있다. 발치를 동반한 교정치료를 받은 성인환자를 대상으로 basic upper lip thickness에 따라 환자를 분류한 결과, 두께가 얇은 군(group 1)에서 치료 후 연조직 변화에 영향을 미치는 요인으로는 mentolabial angle와 하순의 변화간에 음의 상관관계를 보였다. 두께가 평균인 군(group 2)에서 상순의 변화에 영향을 미치는 요소로는 상악전치의 변화, 하악전치의 변화, 하순의 변화, nasolabial angle의 변화로 나타났으며, 하순의 변화에 영향을 미치는 요소로는 상순의 변화, 상악전치의 변화, 하악전치의 변화로 나타났다. 두께가 두꺼운 군(group 3)에서는 상순, 하순의 변화는 전치위치의 변화나 연조직변화와는 관련없음으로 관찰되었다. After orthodontic treatment, there are several changes in soft tissue porfile. Changes appear at lower anterior facial profile area, especially upper and lower lip. But there are many individual variations in the pattern of changes. So, this study was conducted to find out that the basic upper lip thickness could be one of the factors that could influence the treatment results. The samples were composed of 43 adult patients who had their 4 first premolars extracted. Groups were classified by their basic lip thickness. In group 1(thin upper lip group), there was negative relationship between mentolabial angle and lower lip change. In group 2(average lip thickness group), upper lip change was related to upper incisor change, lower incisor change, lower lip change and nasokabial angle change. And lower lip change was related to upper lip change, upper incisor change, lower lip change. In group 3(thick upper lip group), there was no relation between both lip change and other variables.
-
A SLAM Ⅱ Simulation of Optimal Shuttle Scheduling
Park, Sung-Hun 울산대학교 1983 연구논문집 Vol.14 No.1
본 논문에서는 두 지역간에 승객을 수송하는 왕복교통체계의 운영계획문제를 다른다. 왕복교통체계는 두 개의 terminal과 한정된 승객을 수송할 수 있는 유한한 차량들고 이루어진다. 차량의 운행은 각 terminal에서 서로 독립적으로, 일정한 간격 혹은 대기행렬의 길이에 따라 이루어진다. 각 terminal에 도착하는 승객의 도착간격시간이 지수분포를 따르며 두 지역사이의 승객수송시간은 uniform distribution을 한다. 최적운영계획은 승객의 평균대기시간, 차량의 사용도, 각 차량의 좌석이용도를 고려하여 결정한다. 각 운영계획에 대한 분석은 SLAM Ⅱ 모의실험언어를 이용하였다. This paper studies the operating policies of a two-station shuttle system consisting of a fleet of finite size and vehicles of finite capacity which transport passengers between two terminals (each terminal having dispatching control). Passengers arrives at either station according to independent negative exponential processes, and dispatching decisions are made on the basis of fixed-time intervals or queue lengths (grater than zero). The objective is minimization of a total opportunity cost function defined by passenger waiting time, nonutilization of vehicles, and unused passenger seats. The travel time is probabilistic with known distribution and mean. This paper shows by SLAM Ⅱ discrete event simulation techniques that optimal values for any or all of the three parameters (fleet size, vehicle capacty, dispatching interval)can be empirically determined by sensitivity analysis. This simulation model can be adapted to a wide variety of other problems of the shuttle-system.
-
User Interface for Data Base Management System
Park, Sung-Hun 成均館大學校 韓國産業硏究所 1993 韓國經濟 Vol.19 No.2
UIMS의 연구결과를 DBMS의 사용자 인터페이스 개발에 적용하면서 여러 UIMS의 연구 방향을 평가하고 가장 효과적인 UIMS를 선택한다. 선택된 UIMS, structure Editor Generator(SEG)를 이용하여 여러 DBMS 사용자 인터페이스(확장된 포옴과 QBE)를 개발하므로써 SEG 선택의 타당성을 보인다. SEG의 그래픽으로의 확장에 따른 문제점에 대해 고찰한다. This paper applies the result of UIMS(user interface management system) research to building user interfaces for DBMS. Through this process, we evaluate the current research directions of UIMS and select the most potential approach of UIMS research, structure editor generator(SEG). SEG is used to build extended Form interface for DBMS and simulate QBE interface. The extension of SEG into graphics is discussed.
DBpia
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
