• 제목/요약/키워드: proving

검색결과 1,023건 처리시간 0.028초

쉬프트와 덧셈을 이용한 DCT 알고리듬 (A DCT Algorithm using shift and Additions)

  • 정화자;김상중;정기현;김용득
    • 한국통신학회논문지
    • /
    • 제18권6호
    • /
    • pp.773-778
    • /
    • 1993
  • 영상처리분야에서 많이 이용되고 있는 이산(離散) 코사인 변환(DCT : Discret Cosine Transform) 처리를 위하여 쉬프트와 덧셈으로 곱셈연산을 대체한 새로운 방법을 제안한다. 제안한 방법을 사용하여 DCT 및 IDCT(Inverse DCT)를 거쳐 재생된 영상은 화질(畵質)의 열화(劣畵)를 육안(肉眼)으로 감지(感知)할 수 없을 정도였으며, PSNR(Peak to peak signal to noise gration) 값도 모두 35dB 이상으로서 본 제안의 우수성이 입증되었다.

  • PDF

EMPIRICAL DESIGN FOR SMALL CONTAINER SHIPS

  • Lee Kwi Joo;Joa Soon Won;Sarath E.S.;Park Na Ra
    • 한국해양공학회:학술대회논문집
    • /
    • 한국해양공학회 2004년도 학술대회지
    • /
    • pp.85-89
    • /
    • 2004
  • The paper presents a summary of the multidisciplinary/optimization method for the preliminary design of container feeder vessel. The current scenario in the ship building industry highly focuses on container ship design and construction proving the inherent demand in maritime industry. The design accomplishes the outer circle of the design spiral giving stress in areas of Hull Form Design, Resistance & Propulsion. Empirical relations, model test results, data from built ships, class rules and latest market demands stood as the criteria for the design. Optimization of the design as per the owners requirement. class rules, and the trade route selected are the major challenges met with. Strength. reliability, structural safety and stability have been incorporated in compromising standards.

  • PDF

Revisiting the Bradley-Terry model and its application to information retrieval

  • Jeon, Jong-June;Kim, Yongdai
    • Journal of the Korean Data and Information Science Society
    • /
    • 제24권5호
    • /
    • pp.1089-1099
    • /
    • 2013
  • The Bradley-Terry model is widely used for analysis of pairwise preference data. We explain that the popularity of Bradley-Terry model is gained due to not only easy computation but also some nice asymptotic properties when the model is misspecified. For information retrieval required to analyze big ranking data, we propose to use a pseudo likelihood based on the Bradley-Terry model even when the true model is different from the Bradley-Terry model. We justify using the Bradley-Terry model by proving that the estimated ranking based on the proposed pseudo likelihood is consistent when the true model belongs to the class of Thurstone models, which is much bigger than the Bradley-Terry model.

모델 참조 제어 방법에 의한 새로운 마찰 보상 방법 (New friction compensation method by model reference approach)

  • 마진석;이무영;변승완
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
    • /
    • pp.492-495
    • /
    • 1997
  • Integral type system is that a system is represented by a proper rational function. In this paper, novel control scheme based on model reference approach is proposed for integral type system. The proposed scheme compensates various undesirable effects of the system. In especially, the proposed scheme applied to DC servo control system, analyzed its control characteristic. Performances of the proposed system show excellent control characteristics; complete compensation of the undesirable nonlinear friction and load viscous, For proving realistic validities, LOS(Line Of Sight) stabilization system which has typically many nonlinear effects is experimented. After executing the computer simulation in "MATLAB", then the results are compared with the experiments. The results are very similar in theoretical study and the proposed control scheme is successfully verified. verified.

  • PDF

Boundary Control of an Axially Moving Belt System in a Thin-Metal Production Line

  • Hong, Keum-Shik;Kim, Chang-Won;Hong, Kyung-Tae
    • International Journal of Control, Automation, and Systems
    • /
    • 제2권1호
    • /
    • pp.55-67
    • /
    • 2004
  • In this paper, an active vibration control of a translating steel strip in a zinc galvanizing line is investigated. The control objectives in the galvanizing line are to improve the uniformity of the zinc deposit on the strip surfaces and to reduce the zinc consumption. The translating steel strip is modeled as a moving belt equation by using Hamilton’s principle for systems with moving mass. The total mechanical energy of the strip is considered to be a Lyapunov function candidate. A nonlinear boundary control law that assures the exponential stability of the closed loop system is derived. The existence of a closed-loop solution is shown by proving that the closed-loop dynamics is dissipative. Simulation results are provided.

Colloidal Synthesis of Octahedral Shaped PbSe Nanocrystals from Lead Oleate and Se : Temperature Effect

  • Gokarna, Anisha;Jun, Ki-Won;Khanna, P.K.;Baeg, Jin-Ook;Seok, Sang-Il
    • Bulletin of the Korean Chemical Society
    • /
    • 제26권11호
    • /
    • pp.1803-1806
    • /
    • 2005
  • Formation of octahedral shaped PbSe quantum dots at higher synthesis temperature is being reported in this paper. The synthesis includes the reaction between lead oleate and trioctylphosphine selenide under inert gas conditions to produce PbSe. TEM, SEM, XRD and EDS were used to characterize the samples. The SEM exhibited the formation of spherical shaped nanocrystals at temperature below 140 ${^{\circ}C}$ and octahedral shaped nanoparticles at higher temperatures. Moreover, the TEM also showed the well resolved (111) lattice fringes proving that the nanocrystals were crystalline in nature. Synthesis of highly pure PbSe nanocrystals was another interesting aspect of this research.

스펙트럼차에 기초한 LSP 추출방법 (An LSP Extraction Method Based on the Spectral Difference)

  • 김홍국
    • 한국음향학회:학술대회논문집
    • /
    • 한국음향학회 1993년도 학술논문발표회 논문집 제12권 1호
    • /
    • pp.253-258
    • /
    • 1993
  • In this paper, we propose a new method to extract the line spectrum pair (LSP) frequencies. When speech signal is analyzed by the autocorrelation method, the spectral difference in the logarithmic spectra of the model at steps p and p-1 oscillates. There are p-1 frequency points where the values of the spectral dfference take on either maximum or minimum between 0 and half sampling frequency. We show that these frequencies are excatly the LSP frequencies of order p-1, which can be found by searching the frequencies where the spectral difference reaches either maxima or minima. also, the LSP frequencies of order p can be obtained from this spectral difference. In this case, we derive the expression governing the pth order LSP frequencies. The efficient search for finding the LSP frequencies of order p can be done by proving the property that the LSP frequencies of order p and p-1 are interlaced with each other.

  • PDF

유연한 수학적 사고에 의한 개념의 동치성 비교 - 사례 연구 -

  • 이병수
    • East Asian mathematical journal
    • /
    • 제27권4호
    • /
    • pp.381-389
    • /
    • 2011
  • The flexible mathematical thinking - the ability to generate and connect various representations of concepts - is useful in understanding mathematical structure and variation in problem solving. In particular, the flexible mathematical thinking with the inventive mathematical thinking, the original mathematical problem solving ability and the mathematical invention is a core concept, which must be emphasized in all branches of mathematical education. In this paper, the author considered a case of flexible mathematical thinking with an inventive problem solving ability shown by his student via real analysis courses. The case is on the proofs of the equivalences of three different definitions on the concept of limit superior shown in three different real analysis books. Proving the equivalences of the three definitions, the student tried to keep the flexible mathematical thinking steadily.

Theorema 시스템을 응용한 TI-92 메뉴얼 생성기 개발 (Development of a TI-92 Manual Generator Based on the Theorema System)

  • 전영국
    • 컴퓨터교육학회논문지
    • /
    • 제5권3호
    • /
    • pp.79-87
    • /
    • 2002
  • 알고리즘을 컴퓨터로 구현하여 수식 입력에 대한 출력을 과정없이 보여주는 프로그램이 컴퓨터 대수 시스템이다. 이 시스템에 연역적 추론을 자동화하는 과정을 수행하는 자동 연역 시스템을 결합하는 시도로 구현된 것이 Theorema 시스템이다. 오스트리아의 RISC 연구소에서 개발된 이 시스템은 Mathematica의 rewriting 기법을 사용하여 구현되었는데, 계산과 문제 해결, 증명을 할 수 있는 모드를 지원하고 있다. 본 논문에서는 계산 모드의 Theorema 언어를 구사하여 TI-92 그래픽 계산기에 탑재된 Derive 시스템의 일부를 시뮬레이션한 결과를 토대로 TI-92 메뉴얼을 Mathematica notebook의 형태로 생성하는 도구를 개발한 내용을 소대한다. 또한, 이렇게 하여 생성된 매뉴얼이 자바 서브릿을 통하여 웹기반 학습용 인터페이스로 연계되는 일련의 과정을 제시한다.

  • PDF

세라믹 PTC 서미스터의 정온발열특성을 이용한 탐사기는 온열부츠 (Functional Pyrogenic Boots for Proving by Self-Controlled Fixed-temperature Heat-generation Property of Semiconduction Ceramic PTC Termistor)

  • 소대화;임병재
    • 한국동굴학회:학술대회논문집
    • /
    • 한국동굴학회 2005년도 후반기 학술발표대회
    • /
    • pp.69-77
    • /
    • 2005
  • 비 직선적 정(+) 저항온도계수 특성을 갖은 PTC thermistor눈 전이온도(큐리점) 부근에서 온도변화에 대하여 극히 큰 저항 값의 변화를 나타내는 산화물계반도체 저항기(또는 발열체)로써, 일반적으로 반도체의 온도-저항 특성과 같이 상온영역에서 온도의 상승과 함께 부성저항 특성을 나타내어 감소하다가, 온도가 점점 증가하여 큐리점 부근에 도달하면 저항이 급격히 증가하는 독특한 특성을 갖는다. Perovskite 구조의 BaTiO$_3$를 주성분으로 미량의 Dopant를 첨가하여 도전성을 갖게 한 N형 반도체의 일종으로, 저항-온도 특성, 전류-전압 특성, 전류감쇄 특성 등을 이용하여 과전류 보호회로, 히터, TV 소자회로(degausser) 모터기동회로, 온도센서, 정온발열기기 등으로 널리 사용된다. 본 연구는 큐리점 부근의 급격한 저항변화 현상과 결정입계의 전위장벽 형성 및 그에 따른 정온발열 기능의 상관성으로부터 정온발열 탐사기능 온열부츠 제작 용 PTC 부픔소재의 응용성을 조사하였다.

  • PDF