http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 박명환 (검색결과 324 건)
- 무료
- 기관 내 무료
- 유료
-
-
박명환,방기석,최진영,이정아,한상용,Park, Myung-Hwan,Bang, Ki-Seok,Choi, Jin-Young,Lee, Jeong-A,Han, Sang-Yoong 한국정보과학회 2000 정보과학회 컴퓨팅의 실제 논문지 Vol.15 No.11
본 논문에서는 가상 프로토타입핑의 주요 명세 언어인 Statechart 명세를 프로세스 알제브라의 일종인 ACSR(Algebra of Communicating Shared Resources)로 변환하는 규칙을 제안한다. Statechart는 사용하기 편리하고 이해하기 쉬운 명세 언어이지만 수학적인 semantics의 정의가 되어 있지 않아 명세의 정확성을 검증하기가 매우 어렵다. Statechart 명세를 ACSR로 바꾸게 되면 Statechart에 수학적인 semantics를 주게 되고 VERSA를 이용하여 Statechart 명세를 수학적으로 검증할 수 있게 된다. 따라서, 두 언어의 장점, 즉 Statechart의 편리함과 ACSR의 정확성을 모두 얻을 수 있다. In this paper, we give a formal semantics for Statechart via a translation into Algebra of Communicating Shared Hesources(ACSR). Statechart is a very rich graphical specification language, which is suitable to specify complicated reactive systems. However, the incorporation of graph into specification and rich syntax makes Statechart semantics very complicated and ambiguous. Thus, it is very difficult to verify the correctness of Statechart specifications. Also, we propose the formal verification method for Statechart specifications by showing equivalence relation between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.
-
M&S를 활용한 두 개의 군 부대간 네트워크 트래픽 용량 분석
박명환,유승훈,설현주 한국군사과학기술학회 2019 한국군사과학기술학회지 Vol.22 No.3
Modeling and Simulation(M&S) has widely been used in various areas such as industry, academy and military. Especially, military have used the technology for acquisition, training, and combat assessment. In this paper, we introduce our experience using M&S technique to analyze the network traffic amount and packet delay time between two military bases. For this, we modeled the current network configuration of the military bases and simulated the model with NS-3 tool. The result provided us for an insight regarding the required network performance between two bases.
-
가상현실 및 증강현실 기술을 기반 한 교육·훈련 체계 개발 방향 설정에 관한 연구
박명환,이상수,전기석,설현주 한국군사과학기술학회 2019 한국군사과학기술학회지 Vol.22 No.4
The purpose of this study is to develop a method of applying AR(Augmented Reality)/VR(Virtual Reality) to educational and training systems from a comprehensive perspective, rather than applying AR/VR technology to specific education and training systems. We suggested whether to apply AR or VR technology to education and training system, the level of application of technology when constructing using AR/VR technology, and the criteria of priority among many education and training systems. To do this, we presented the framework of application of AR/VR technology, the evaluation criteria for selecting priority of education and training system applying AR/VR, and the systematic procedure for utilization of developed method. This study is significant in that it has developed a method to determine the direction of systematic AR/VR technology application for all education and training systems operated by the military or organization. This is expected to contribute to the overall efficiency of the organization in terms of economical utilization of the limited budget as well as the various benefits of utilizing basic AR/VR technology.
-
Analysis of the M/G/I Queueing System with Repair Travel
박명환 漢城大學校 1990 論文集 Vol.14 No.1
본 논문은 고객의 도착이 Posson process를 따르고 서비스 시간의 분포가 일반적인 분포(지수 분포 이외의 분포)를 따르는 대기행렬(Queueing System)에 있어서 Server가 일정한 규칙에 따라서 휴가(Vacation)를 다녀오는 M/G/1 Queue vacation 모형에 대한 분석을 다루고 있다. 본 논문에서 다룬 모형의 휴가원칙은 Server가 일정 수의 고객(Customer)을 서비스 한 후에만 오직 한번의 휴가를 다녀오는 것이다. 이제까지 다루어졌던 모형중 가장 유사한 모형은 참고자료 중의 Takagi가 다룬 E-limited service model로 그 모형에서는 server가 일정수의 고객에 대한 서비스를 완료하거나 서비스해야 할 고객이 없을 경우에 휴가를 떠나며 만일 돌아왔을때 고객이 없으면 다시 휴가를 떠나는 원칙을 채택하고 있다. 본 논문에서는 적절한 Markov point를 설정하여 System의 상태를 분류한후 궁극적으로 고객의 평균 대기시간을 구하였다. 원래 본 논문은 일정 지역에 Emergency System의 장비의 배치 및 장비의 보수를 위한 정비본부의 배치에 관한 분석의 한 단계로서 필요한 대기 행렬모형의 분석을 그 동기로 하였으며 새로운 휴가 대기모형의 분석을 시도하였다는 데 의미를 부여할 수 있다.
-
朴明煥,李準逸 대구보건대학 1996 대구보건대학 論文集 Vol.16 No.-
The X-ray quality of continuous X-ray beam depends upon the half value layer which varies according to the geometric conditions, filtration thickness, and the amount of tube voltage(kVp). We compared inverter type X-ray apparatus with conventional single phase 2 peak and three phase 12 peak apparatus in the following aspects X- ray quality in various thickness of added filter with different kVp. The X-ray quality of single phase 2 peak X-ray generator showed increase to added filter and tube voltage. The half value layer is increased the thicker the filter and the higher the kVp. The X-ray quality of inverter type and three phase 12 peak showed increase as compared against of single phase 2 peak X-ray generator.
-
박명환 강남대학교 (강남사회복지학교)사회사업학과 1991 社會事業論集 Vol.14 No.1
사회.경제적 여건의 급격한 변화로 인한 국민생활의 새로운 장애, 곤란, 모순 및 신체적.정신적 위기현상을 극복하기 위한 사회복지 욕구가 증대되고 있어 이러한 수요에 효과적으로 대응하기 위해 사회복지서비스 체계의 합리적 편성과 통합이 필요한 단계에 와 있다.^1) 또한 핵가족화로 인하여 가족규모가 축소되고, 불가항력적인 자기결핍과 현대사회가 안고 있는 사회구조적 결핍으로 인한 빈곤, 실업, 질병 등의 문제는 가족내에서의 대응이 어려워지고 있어 한 가족내의 책임이 아닌 사회, 나아가 국가의 책임으로까지 진전되고 있다.^2)
-
-
-
자율주행 시대의 Car Entertainment 서비스
박명환 한국방송·미디어공학회 2020 방송과 미디어 Vol.25 No.3
인공지능(AI)과 연산능력의 발전에 따라 자율주행은 가까운 미래에 완전한 모습으로 우리들 앞에 나타날 것이다. 자율주행 시대의 자동차는 단순한 이동 수단이 아니라, 이동하는 개인 집과 같이 휴식과 여가 생활을 즐길 수 있는 공간이다. 다시 말해서 자율주행으로 말미암아 차량에서 늘어난 여가 생활은 미디어 시청으로 이어지고, 이는 기존의 스마트 폰이 아닌 AR(Agument Reality)기술과 파노라마 스크린 기술 성장과 동반하여 개인 공간 천체를 이용한 몰입된 미디어 시청이 될 것이다. 본 문서는 자율주행 시대에 걸맞는 새로운 미디어 시청에 필요한 환경분석과 기술적 요구사항을 언급하고자 한다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
