• 제목/요약/키워드: proof-error

검색결과 83건 처리시간 0.022초

Generation of Coherent Sub-Terahertz Carrier with Phase Stabilization for Wireless Communications

  • Yoshimizu, Yasuyuki;Hisatake, Shintaro;Kuwano, Shigeru;Terada, Jun;Yoshimoto, Naoto;Nagatsuma, Tadao
    • Journal of Communications and Networks
    • /
    • 제15권6호
    • /
    • pp.569-575
    • /
    • 2013
  • In this paper, we present a photonic approach for generating highly stable coherent sub-terahertz (THz) signals for wireless communications. As proof-of-concept we transmit data at 100 GHz carrier frequency using on-off keying modulation and heterodyne detection. The sub-THz carrier signals are generated by photo-mixing two optical carrier signals at different frequencies, extracted from an optical frequency comb. We introduce a novel system to stabilize the phase of the optical carrier signals. Error-free transmission is successfully achieved up to a bit rate of 8.5 Gbit/s at 100 GHz.

Enhancing the Accuracy for the Open-loop Resolver to Digital Converters

  • Karabeyli, Fikret Anil;Alkar, Ali Ziya
    • Journal of Electrical Engineering and Technology
    • /
    • 제13권1호
    • /
    • pp.192-200
    • /
    • 2018
  • In this study, improvements for error correction, speed, position, and rotation calculation algorithms have been proposed to be used in resolver to digital conversion (RDC) systems. The proposed open-loop system drives the resolver and uses the output signals of the resolver signal to estimate the real time position, the instant speed, and the rotation count with high resolution and accuracy even at high speeds and noise. The proposed solution implements strong features of both closed and open loop based systems while eliminating their weak points. The improvements proposed is resistant to noise owing to digital FIR filter and data averaging techniques. The implementation used for proof of concept is implemented on a hardware using an FPGA and configurable to be used by any resolver.

ON THE SEMILOCAL CONVERGENCE OF A NEWTON-TYPE METHOD OF ORDER THREE

  • Argyros, Ioannis K.;Hilout, Said
    • 한국수학교육학회지시리즈B:순수및응용수학
    • /
    • 제17권1호
    • /
    • pp.1-27
    • /
    • 2010
  • Wu and Zhao [17] provided a semilocal convergence analysis for a Newton-type method on a Banach space setting following the ideas of Frontini and Sormani [9]-[11]. In this study first: we point out inconsistencies between the hypotheses of Theorem 1 and the two examples given in [17], and then, we provide the proof in affine invariant form for this result. Then, we also establish new convergence results with the following advantages over the ones in [17]: weaker hypotheses, and finer error estimates on the distances involved. A numerical example is also provided to show that our results apply in cases other fail [17].

Simple P-I diagram for structural components based on support rotation angle criteria

  • Kee, Jung Hun;Park, Jong Yil
    • Advances in concrete construction
    • /
    • 제10권6호
    • /
    • pp.509-514
    • /
    • 2020
  • In the preliminary design phase of explosion-proof structures, the use of P-I diagram is useful. Based on the fact that the deformation criteria at failure or heavy damage is significantly larger than the yield deformation, a closed form solution of normalized P-I diagram is proposed using the complete plastic resistance curve. When actual sizes and material properties of RC structural component are considered, the complete plasticity assumption shows only a maximum error of 6% in terms of strain energy, and a maximum difference of 9% of the amount of explosives in CWSD. Thru comparison with four field test results, the same damage pattern was predicted in all four specimens.

HYBRIDIZABLE DISCONTINUOUS GALERKIN METHOD FOR ELLIPTIC EQUATIONS WITH NONLINEAR COEFFICIENTS

  • MINAM, MOON
    • Journal of the Korean Society for Industrial and Applied Mathematics
    • /
    • 제26권4호
    • /
    • pp.244-262
    • /
    • 2022
  • In this paper, we analyze the hybridizable discontinuous Galerkin (HDG) method for second-order elliptic equations with nonlinear coefficients, which are used in many fields. We present the HDG method that uses a mixed formulation based on numerical trace and flux. Under assumptions on the nonlinear coefficient and H2-regularity for a dual problem, we prove that the discrete systems are well-posed and the numerical solutions have the optimal order of convergence as a mesh parameter. Also, we provide a matrix formulation that can be calculated using an iterative technique for numerical experiments. Finally, we present representative numerical examples in 2D to verify the validity of the proof of Theorem 3.10.

Analysis of DDS Sampling Method and Harmonic Composition

  • Zhi-lai Zhang;Shao-jun Jiang;Li-li Liang
    • Journal of Information Processing Systems
    • /
    • 제19권2호
    • /
    • pp.164-172
    • /
    • 2023
  • Through theoretical proof and algorithm design, this paper numerically demonstrates that the three sampling methods of DDS are equivalent in amplitude-frequency characteristics. Depending on theoretical analysis, the article obtains the conclusion that 2 points are optimal when sampling at 2, 3, and 4 points. Built on the data results, this paper obtains the fractional form of the amplitude and phase of the DDS sampled signal; in addition, this paper also obtains the design parameters of the DDS post-stage filter. It also gives a control method for the calculation error when addressing this issue.

FEM 시뮬레이션을 이용한 임펠러의 구조 안전성 평가 (The Evaluation of Structural Safety of Impeller Using FEM Simulation)

  • 정종윤
    • 산업경영시스템학회지
    • /
    • 제43권4호
    • /
    • pp.41-47
    • /
    • 2020
  • As modern industries are highly being developed, it is required that mechanical parts have to be manufactured with a high precision. In order to have precise parts, error-free designs have to be done before manufacturing with accuracy. For this intention being fulfilled, a mechanical analysis is essential for design proof. Nowadays, FEM simulation is a popular tool for verifying a machine design. In this paper, an impeller, being utilized in a compressor or an oil mixer as an actuator, is studied for an evaluation. The purpose of this study is to present a safety of an impeller for a proof of its mechanical stability. A static analysis for stress, strain, and deformation within a regular usage is examined. This simulation test shows 357.26×106 Pa for maximum equivalent stress and 0.207mm for total deformation. A fatigue test is carried to provide durability and its result shows that minimum safety factor is 3.2889, which guarantees that it runs without a fatigue failure in 106 cycles. The natural frequencies for the impeller is ranged from 228.09Hz to 1,253.6Hz for the 1st to the 6th mode. Total deformations at these natural frequencies are shown from 6.84mm to 12.631mm. Furthermore, Campbell diagram reveals that a critical speed is not found throughout regular rotational speeds. From the test results for the analysis, this paper concludes that the suggested impeller is proved for its mechanical safety and good to utilize at industries.

병원감염 사건에서 증명책임 완화에 관한 입법적 고찰 - 개정 독일민법을 중심으로 - (Legislative Study on the Mitigation of the Burden of Proof in Hospital Infection Cases - Focusing on the revised Bürgerliches Gesetzbuch -)

  • 유현정
    • 의료법학
    • /
    • 제16권2호
    • /
    • pp.159-193
    • /
    • 2015
  • 병원감염 사례에 관한 판결의 주류적 태도는 병원감염 발생으로 인한 손해의 분담을 사실상 환자 측에 전가하는 문제가 있다고 판단되므로, 손해의 공평 타당한 분담을 그 지도 원리로 하는 손해배상제도의 이념에 비추어 환자 측의 증명책임을 대폭 완화하기 위한 방법을 강구할 필요성이 있다. 이와 관련하여 진료계약을 민법상 전형계약으로 규정하고, 병원감염과 같은 의료 측이 전적으로 지배할 수 있었던 경우에는 일반적 진료상 위험이 실현된 때 진료자의 오류가 추정된다고 명문으로 과실추정규정을 둔 독일민법을 검토하였다. 진료계약은 매우 빈번하고 광범위하게 일반 국민의 실생활에서 체결되고 있으며, 그로 인한 분쟁도 다양하게 발생하고 있으므로, 진료계약을 독일과 같이 민법의 전형계약으로 규정함으로써 계약 내용과 분쟁 발생 시 증명책임 등에 관해 규율할 필요성이 있다. 병원감염 사건의 경우 법률에 의해 과실을 추정하고, 병원감염 예방을 위한 노력을 철저히 시행한 기관에 한하여 병원감염 사고로 인한 손해가 발생한 경우 그 비용을 지원하도록 사회보험을 통한 제도적 보완이 필요하다고 생각되며, 향후 이에 관한 면밀한 연구와 검토가 요구된다.

  • PDF

수와 연산.도형 영역에서 초등 3학년 학생들의 수학적 정당화 유형에 관한 연구 (A Study on the Types of Mathematical Justification Shown in Elementary School Students in Number and Operations, and Geometry)

  • 서지수;류성림
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제26권1호
    • /
    • pp.85-108
    • /
    • 2012
  • 본 연구의 목적은 도형 영역과 수와 연산 영역에서 나타나는 초등학교 3학년 학생들의 정당화 유형에 대한 반응과 오류 유형을 검사하여 학생들의 정당화 지도에 대한 시사점을 제공하는 것이다. 연구 결과는 다음과 같다. 첫째, 수와 연산 영역에서 학생들은 정당화 유형 검사지를 해결함에 있어서 경험적 정당화 유형과 분석적 정당화 유형을 고루 사용했다. 둘째, 도형 영역에서는 분석적 정당화에 비해 경험적 정당화 비율이 높게 나타났는데, 경험적 정당화와 분석적 정당화의 비율이 고루 나타난 수와 연산 영역과의 차이가 있었다. 셋째, 정당화 과정에서 발생한 학생들의 오류를 분석해 본 결과 풀이과정 생략의 오류, 개념 및 원리의 오류, 문항 이해의 오류, 기술적 오류의 순으로 나타났다. 따라서 특히 도형 영역에서는 학생들에게 경험적 정당화는 물론이고 분석적 정당화에 대한 경험을 많이 제공할 필요가 있다. 또한 학생들의 오개념 및 잘못 이해하고 있는 원리를 정확하게 파악하여 재지도할 필요가 있겠다.

Development of a New Personal Magnetic Field Exposure Estimation Method for Use in Epidemiological EMF Surveys among Children under 17 Years of Age

  • Yang, Kwang-Ho;Ju, Mun-No;Myung, Sung-Ho;Shin, Koo-Yong;Hwang, Gi-Hyun;Park, June-Ho
    • Journal of Electrical Engineering and Technology
    • /
    • 제7권3호
    • /
    • pp.376-383
    • /
    • 2012
  • A number of scientific researches are currently being conducted on the potential health hazards of power frequency electric and magnetic field (EMF). There exists a non-objective and psychological belief that they are harmful, although no scientific and objective proof of such exists. This possible health risk from ELF magnetic field (MF) exposure, especially for children under 17 years of age, is currently one of Korea's most highly contested social issues. Therefore, to assess the magnetic field exposure levels of those children in their general living environments, the personal MF exposure levels of 436 subjects were measured for about 6 years using government funding. Using the measured database, estimation formulas were developed to predict personal MF exposure levels. These formulas can serve as valuable tools in estimating 24-hour personal MF exposure levels without directly measuring the exposure. Three types of estimation formulas were developed by applying evolutionary computation methods such as genetic algorithm (GA) and genetic programming (GP). After tuning the database, the final three formulas with the smallest estimation error were selected, where the target estimation error was approximately 0.03 ${\mu}T$. The seven parameters of each of these three formulas are gender (G), age (A), house type (H), house size (HS), distance between the subject's residence and a power line (RD), power line voltage class (KV), and the usage conditions of electric appliances (RULE).