http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
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-youg ) 한국동서철학회 2017 동서철학연구 Vol.0 No.86
나는 이 논문에서 공리이론에 관한 힐버트의 메타이론적 증명에 대한 프레게의 평가를 검토한다. 나는 이에 대해 널리 주장되는 해석을 거부하고 다음 두 주장이 참이라는 것을 보이려 한다. 첫째로 프레게는 힐버트가 하려던 일은 애초에 문장형식으로서 공리들 사이의 상호 무모순성 및 독립성을 증명하려는 것이었고, 힐버트는 이 일에 성공하였다고 생각하였다. 둘째로 프레게는 힐버트의 메타이론적 연구를 논리학의 가치있는 발전으로 높이 평가하였지만, 특수과학으로서 유클리드 기하학의 공리들 사이의 무모순성이나 독립성을 보이는 것으로 간주되어서는 안 된다고 생각하였다. In this paper, I reconsider Frege’s evaluations of Hilbertian metatheoretic proofs of axiomatic theories. I try to show the following two theses in opposition to what many commentators assert: (1) Frege thought not only that Hilbert regarded his metatheoretic proofs as being purported to show the mutual consistency and independence of axioms of his formal theories, and but also that he succeeded in it. (2) Although Frege admitted that Hilbert’s metatheoretic investigation made a valuable contribution to logic, he rejected the alleged thesis that Hilbert’s proof had shown the mutual independence of axioms of Euclidean geometry as a special science.
TV 기반 상거래(TV Home-Shopping, T-Commerce)의 품질 속성 분석을 통한 소비자 만족도 증대요인 분석
박준용(Joonyong Park),신민수(Minsoo Shin) 한국전자거래학회 2016 한국전자거래학회지 Vol.21 No.2
최근 디지털 방송 서비스가 확산되면서 TV 기반 상거래 시장이 성장하고 있다. 그러나 기존연구의 경우, TV 홈쇼핑과 T-Commerce 각각에 관한 연구만이 존재하며, 각각의 연구 역시 소비자의 만족을 높이기 위한 속성에 대한 연구가 부족한 실정이다. 이에 따라 본 연구는 TV기반 상거래를 통해 소비자의 만족을 증대시킬 수 있는 품질 속성을 분석함으로써, 앞으로 나아가야 할 방향에 대해 제시하고자 한다. 우리는 이를 위해 TV 홈쇼핑 및 T-Commerce의 특징을 선행연구를 통하여 선정하였고, 이를 기반으로 KANO 모델과 ASC를 기반으로 TV기반 상거래의 고객 품질 속성의 만족도를 분석하였다. Recently, digital broadcasting service is growing as a TV-based commerce market spread. However, in previous studies, many researchers studied TV home shopping and T-Commerce separately each other, and there is little research on the attribute to increase the satisfaction of consumers. In this study, we analyzed the attribute to increase satisfaction of consumer using TV-based commerce, and we propose to the direction to move forward. We selected characteristics of TV home shopping and T-Commerce through previous studies, and analyzed satisfaction of customers with quality attributes of TV-based commerce using KANO model and ASC(Average Satisfaction Coefficient).