http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 박준용(Park, Jun-yong) (검색결과 338 건)
- 무료
- 기관 내 무료
- 유료
-
1996년도 제35차 대한소화기학회 추계학술대회 / 일반연제 : 위장관 ; 대장암의 선별법으로서 분변내 잠혈검사의 비교 - 대장암의 조기진단 방법에 관한 연구 제1보 -
박준용,이오영,한동수,손주현,윤병철,최호순,함준수,이민호,기춘석,박경남,박일규 ( J . Y . Park,O . Y . Lee,D . S . Han,J . H . Sohn,B . C . Yoon,H . S . Choi,J . S . Hahm,M . H . Lee,C . S . Kee,K . N . Park,I . K . Park ) 대한소화기학회 1996 대한소화기학회지 Vol.28 No.1
-
멀티코어 기반 어플리케이션 운용을 위한 데스크탑 가상화 구성 및 성능 분석
박준용,Park, Junyong 한국정보통신학회 2022 한국해양정보통신학회논문지 Vol.26 No.10
최근 VDI(Virtual Desktop Infrastructure)가 오피스 업무 환경뿐만 아니라 고사양의 멀티코어 기반 어플리케이션을 사용하는 워크로드에도 많이 사용되면서 VDI에 대한 실시간성과 안정성에 대한 요구 사항이 증대되고 있다. 그에 따라 VDI에서 원격접속에 사용되는 디스플레이 프로토콜과 가상머신의 성능 최적화 또한 중요성이 높아졌다. 본 논문에서는 멀티코어 기반 어플리케이션 운용을 위한 데스크탑 가상화 구성을 위해 두 가지를 제안한다. 첫 번째는 멀티 프로세싱으로 인한 고부하 상황에서 최적의 성능을 가진 디스플레이 프로토콜의 코덱 구성을 제안한다. 두 번째는 가상머신 간 CPU 경합 시 스케쥴링 지연을 줄이기 위한 가상 CPU 스케쥴링 최적화 방안을 제안한다. 시험 결과 Blast Extreme의 H.264 코덱이 가장 좋고 안정적인 프레임을 보여줬으며 스케쥴링 최적화를 통해 가상 CPU의 스케쥴링 성능이 개선됨을 확인하였다. Recently, as Virtual Desktop Infrastructure(VDI) is widely used not only in office work environments but also in workloads that use high-spec multi-core-based applications, the requirements for real-time and stability of VDI are increasing. Accordingly, the display protocol used for remote access in VDI and performance optimization of virtual machines have also become more important. In this paper, we propose two ways to configure desktop virtualization for multi-core-based application operation. First, we propose a codec configuration of a display protocol with optimal performance in a high load situation due to multi-processing. Second, we propose a virtual CPU scheduling optimization method to reduce scheduling delay in case of CPU contention between virtual machines. As a result of the test, it was confirmed that the H.264 codec of Blast Extreme showed the best and stable frame, and the scheduling performance of the virtual CPU was improved through scheduling optimization.
-
-
-
-
박준용,Park, Jun-Yong 한국수학사학회 2009 Journal for history of mathematics Vol.22 No.3
프레게의 논리주의는 흔히 19 세기 후반의 산수화 운동을 잇는 수론 내의 발전사례로 간주된다. 그러나 실수 해석학 내의 그의 실제 작업을 고려해 볼 때 이런 견해를 받아들이기란 쉽지 않다. 그래서 그의 논리주의는 당대의 수학적 실천과는 유리된 철학적 프로그램에 불과했다고 간혹 주장되곤 했다. 이 논문에서 나는 이두 견해가 근거 없는 편견에 의존하고 있고, 그런 편견은 당대의 수학적 실천의 맥락 내에서 프레게 논리주의가 갖는 이론적 지위를 오해한 데서 비롯한 것임을 보일것이다. 첫째로 나는 칸토르의 실수 정의와 이에 대한 프레게의 비판을 검토할 것이다. 이에 근거해서 나는 프레게의 목표는 양의 비율을 순수 논리적으로 정의하는 것이었음을 보일 것이다. 둘째로 나는 프레게 논리주의의 수학적 배경을 고찰할 것이다. 이를 기초로 나는 실수 해석학에 대한 그의 견해는 예상외로 정교하다는 것을 보일 것이다. 프레게는 바이어슈트라스나 칸토르와는 달리 보편적 적용 가능성을 갖는 실수 해석학에 도달하려 하는 반면, 전통적 견해를 고수하는 대부분의 수학자들과 달리 실수 해석학을 확립할 때 기하학적 고찰에 결코 의지하지 않으려 한다. 셋째로 나는 프레게가 이 두 측면 - 기하학으로부터 독립성 및 보편적 적용가능성 - 을 논리학 자체의 특징으로 간주하였고, 논리주의에 따라 그것을 산수학 자체의 특징으로 간주하였다고 주장한다. 그리고 나는 실수가 양의 비율이라는 그의 견해는 수들의 본성이 다양한 맥락에서 수들이 하는 공통된 역할 내에서 이해되어야 한다는 그의 방법론적 원칙으로부터 유래하였다는 것, 그리고 그는 그런 식의 정의 없이는 수의 보편적 적용 가능성도 적합하게 설명될 수 없다고 생각했다는 것을 보일 것이다. Frege's logicism has been frequently regarded as a development in number theory which succeeded to the so called arithmetization of analysis in the late 19th century. But it is not easy for us to accept this opinion if we carefully examine his actual works on real analysis. So it has been often argued that his logicism was just a philosophical program which had not contact with any contemporary mathematical practices. In this paper I will show that these two opinions are all ill-founded ones which are due to the misunderstanding of the theoretical place of Frege's logicism in the context of contemporary mathematical practices. Firstly, I will carefully examine Cantorian definition of real numbers and Frege's critiques of it. On the basis of this, I will show that Frege's aim was to produce the purely logical definition of ratios of quantities. Secondly, I will consider the mathematical background of Frege's logicism. On the basis of this, I will show that his standpoint in real analysis was much subtler than what we used to expect. On the one hand, unlike Weierstrass and Cantor, Frege wanted to get such real analysis that could be universally applicable. On the other hand, unlike most mathematicians who insisted on the traditional conceptions, he would not depend upon any geometrical considerations in establishing real analysis. Thirdly, I will argue that Frege regarded these two aspects - the independence from geometry and the universal applicability - as those which characterized logic itself and, by logicism, arithmetic itself. And I will show that his conception of real numbers as ratios of quantities stemmed from his methodological maxim according to which the nature of numbers should be explained by the common roles they played in various contexts to which they applied, and that he thought that the universal applicability of numbers could not be adequately explicated without such an explanation.
-
-
-
박준용(Park, Jun-Yong) 새한철학회 2021 哲學論叢 Vol.105 No.3
나는 이 글에서 기하학에 관한 프레게의 견해를 재구성한다. 이를 바탕으로 다음 세 논제를 입증하고자 한다. (1) 프레게의 수학철학은 산수의 논리학으로의 환원과 더불어 비직관적 기하학 이론의 유클리드 기하학으로의 환원 두 종류의 인식론적 환원 프로그램을 포함한다. (2) 유클리드 이론으로의 환원 방식은 두 종류가 있는데, 하나는 사영기하학 및 공간량 이론의 경우처럼 그 이론의 인식적 본성을 보존하기 위해 논리적 추상화 원리에 의존하는 환원이다. 그리고 (3) 다른 하나의 환원 방안은 이론들 사이의 구조적 동형성에 근거하는 환원으로서, 「기하학의 기초 II」(1906)에서 그가 제안한 참인 사고 내용들 사이의 상호 독립성 논증 방안은 비유클리드 기하학을 논리적 구조의 동형성에 의존해서 유클리드 기하학으로 환원하는 방안을 일반화한 것이다. In this paper, I try to reconstruct Frege’s conception of geometry. On the basis of this reconstruction, I try to settle the following three theses: (1) Frege’s euclideanism is a kind of reductionsm which is to purport to reduce geometrical knowledge into intuitive knowledge, as his logicism is to purport to reduce arithmetical knowledge into logical knowledge. (2) In this reductionism, geometrical principles such as ones of geometrical quantities and ones of projective geometry should be logically deduced from principles of euclidean geometry and explicit definitions by means of euclidean concepts. And (3) if we carefully reflect on the method which he proposed as a means of proving the mutual independence of true thoughts in his “On the Foundations of Geometry: Second Series”(1906), we can recognize that the method is a generalization of some method by which we could reduce non-euclidean principles into euclidean principles on the basis of a structural isomorphism.
-
전동 수퍼차저 장착 48V 마일드 하이브리드 차량의 과급 특성을 고려한 동력분배 최적화
박준용(Junyong Park),박태호(Taeho Park),이형철(Hyeongcheol Lee) 한국자동차공학회 2017 한국자동차공학회 학술대회 및 전시회 Vol.2017 No.11
Recently, as global emission regulation is reinforced, researches about efficiency of powertrain like hybrid system and engine downsizing have been studied to improve fuel efficiency. Especially, various researches about 48V mild hybrid system are studied and the application of electric supercharger to the 48V mild hybrid system is also considered as a solution of insufficient engine power occurred by engine downsizing. However, an excessive operation of the electric supercharger could require additional charge of a battery causing fuel efficiency decrement. Therefore, the optimization process between improvement of powertrain performance and fuel efficiency is necessary. To solve this problem, Dynamic Programming is used as an optimization method of power distribution in the electric supercharger applied P0 type 48V mild hybrid vehicle.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
