RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제
      • 좁혀본 항목 보기순서

        • 원문유무
        • 음성지원유무
        • 원문제공처
          펼치기
        • 등재정보
          펼치기
        • 학술지명
          펼치기
        • 주제분류
          펼치기
        • 발행연도
          펼치기
        • 작성언어
        • 저자
          펼치기

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • SCOPUSKCI등재
      • 멀티코어 기반 어플리케이션 운용을 위한 데스크탑 가상화 구성 및 성능 분석

        박준용,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.

      • KCI등재

        프레게의 칸토르 비판 - 수학적 실천과 수학의 적용

        박준용,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.

      • KCI우수등재
      • KCI우수등재

        겨울철 강제환기식 돈사 내 온실가스 (CH<sub>4</sub>, N<sub>2</sub>O) 배출 특성 연구

        박준용 ( Park Junyong ),정민웅 ( Jung Minwoong ),조광곤 ( Jo Gwanggon ),장유나 ( Jang Yu-Na ) 한국농공학회 2021 한국농공학회논문집 Vol.63 No.4

        The emission characteristics and emission factors were determined by measuring the concentration of methane (CH4) and nitrous oxide (N<sub>2</sub>O), the amount of ventilation, etc. in the two fattening rooms which have the same environment in winter. As a result of monitoring, the average concentration of CH<sub>4</sub> and N<sub>2</sub>O was 20.7-26.7 ppm and 1.4-1.6 ppm. The average temperature inside the room was measured at 20.0-21.4℃, and the average ventilation was 1345.4-1567.3 ㎥/h. The daily emission of CH<sub>4</sub> for the first 30 days showed a constant emission of 3.6-8.2 g/d/㎡/pig, but thereafter, the emission increased rapidly. The daily emission of N<sub>2</sub>O was 0.7-1.3 g/d/㎡/pig, showing stable emission during the test period, and relatively insignificant emission compared to the emission of CH4. After repeated test, it was confirmed that there was no significant difference between the two rooms. As a result, the CH<sub>4</sub> 6 . 21 g /d/㎡/pig and N<sub>2</sub>O 1.02 g/d/㎡/pig average emission for each room was derived.

      • KCI등재

        양의 비율로서 실수

        박준용 ( Jun Yong Park ) 한국논리학회 2011 論理硏究 Vol.14 No.3

        밥 헤일은 최근 추상화 원리에 기초한 실수이론을 제안하였다. 그 이론에서 실수는 양의 비율로 간주되고, 양의 비율의 동일성은 유독소스에게서 유래된 비율 원리에 의해 설명된다. 그가 실수를 양의 비율로 정의하는 이유는 산수 개념의 정의는 그런 개념의 보편적 적용 가능성에 알맞게 이루어져야 한다는 프레게의 요구를 그가 만족시키려 하기 때문이다. 이 글에서 나는 실수적용에 대한 헤일의 설명이 왜 프레게 제한을 만족시키기 힘든지 보이고, 대안이 될 만한 설명을 제안한다. 나는 먼저 양 개념에 대한 그의 설명과 양의 영역에 관한 그의 약정 사이에 어떤 간격이 있고, 이 때문에 실수 적용에 대한그의 설명에 어려움이 생긴다는 것을 보인다. 다음으로 나는 어떤 종류의 양들에나 적용될 수 있는 새로운 비율 원리를 제안하고, 그 원리는 양의 비율로서실수들이 보편적으로 적용가능한 이유를 적합하게 설명해 준다고 주장한다. 마지막으로 나는 양의 측정 절차를 검토한 후, 실수의 성공적 적용을 위해 우리가 전제해야 할 원리들을 제시한다. Bob Hale recently proposed a theory of real numbers based on abstraction principles. In his theory, real numbers are regarded as ratios of quantities and the criteria of identities of ratios of quantities are given by an Eudoxan ratio principle. The reason why Hale defines real numbers as ratios of quantities is that he wants to satisfy Frege`s requirement that arithmetical concepts should be defined to be adequate for their universal applicability. In this paper I show why Hale`s explanation of applications of real numbers fails to satisfy Frege`s requirement, and I propose an alternative explanation. At first I show that there are some gaps between his explanation of the concept of quantity and his stipulation of domains of quantities, and that those gaps give rise to some difficulties in his explanation of applications of real numbers. Secondly I introduce a new ratio principle which can be applied to any kinds of quantities, and I argue that it allows us an adequate explanation of the reason why real numbers as ratios of quantities can be universally applicable. Finally I enquire into some procedures of the measurement of quantities, and I propose some principles which we should presuppose in order to successfully apply real numbers to the measurement of quantities.

      • KCI등재

        모형론적 논리적 귀결과 논리상항

        박준용 ( Jun Yong Park ) 한국논리학회 2014 論理硏究 Vol.17 No.1

        셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다. Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think thatsince her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

      • KCI우수등재

        유도결합형 Ar / CH₄ 플라즈마를 이용한 ITO의 식각 특성에 관한 연구

        박준용(Joon-Yong Park),김현수(Hyeon-Soo Kim),권광호(Kwang-Ho Kwon),김곤호(Gon-Ho Kim),염근영(Geun-Young Yeom) 한국진공학회(ASCT) 1999 Applied Science and Convergence Technology Vol.8 No.4(2)

        본 실험에서는 고밀도 플라즈마를 이용하여 디스플레이 소자에서 투명 전도막으로 사용되고 있는 ITO(indium tin oxide)의 건식 식각 특정에 관하여 조사하였으며 이들의 식각 반응을 플라즈마 진단 및 표면분석 장비를 이용하여 관찰하였다. Ar 분위기에서 적정량의 CH₄ 첨가시 플라즈마 상에서 생성된 H, CH₃ 라디칼에 의한 반응성 증가에 의해서 ITO의 식각 속도는 증가하였으나 과다 첨가시 CH₃에 의한 hydrocarbon 계열의 폴리머(polymer) 형성의 증가로 인하여 식각 속도는 감소하였다. 또한 source power 및 바이어스 전압의 증가에 따라 ITO 식각 속도는 증가하나 하부층(SiO₂, Si₃N₄4)과의 선택비는 감소하였다. 공정 압력을 증가시킬 경우 20 mTorr 까지는 ITO의 식각 속도가 약간 증가를 보였으나 그 이상의 압력 증가는 식각 속도를 감소시켰다. XPS 분석으로부터 Ar분위기에서 CH₄ 가스를 과다하게 첨가시킬 경우 ITO 표면 위에 hydrocarbon 계통의 폴리머로 추측되는 잔류물을 관찰하였으며 이것이 ITO 및 하부층의 식각에 영향을 미치는 것으로 예측되었다. In this study, high-density plasma etching characteristics of ITO (indium tin oxide) films used for transparent electrode in display devices were investigated. Plasma diagnostic and surface analysis tools were used to understand etch reaction mechanism. The etch rate of ITO was increased by the increase of reactive radicals such as Hand CH₃ with the addition of moderate amount of CH₄ to Ar. However, the addition of excess amount of CH₄ decreased possibly due to the increased polymer formation on the ITO surface being etched. The increase of source power and bias voltage increased ITO etch rates but it decreased selectivities over underlayers (SiO₂, Si₃N₄). The increase of working pressure up to 20 mTorr also increased ITO etch rates, however the further increased of the pressure decreased ITO etch rates. From the analysis of XPS, a peak related to the polymer of hydrocarbon was observed on the etched ITO surface especially for high CH₄ conditions and it appears to affect ITO etch rates.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼