• Title/Summary/Keyword: proof-error

Search Result 83, Processing Time 0.028 seconds

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
    • /
    • v.15 no.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
    • /
    • v.13 no.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
    • The Pure and Applied Mathematics
    • /
    • v.17 no.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
    • /
    • v.10 no.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
    • /
    • v.26 no.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
    • /
    • v.19 no.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.

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

  • Jung, Jong Yun
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.43 no.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 - (병원감염 사건에서 증명책임 완화에 관한 입법적 고찰 - 개정 독일민법을 중심으로 -)

  • Yoo, Hyun Jung
    • The Korean Society of Law and Medicine
    • /
    • v.16 no.2
    • /
    • pp.159-193
    • /
    • 2015
  • Owing to causes such as population aging, increased use of various medical devices, long-term hospitalization of various patients with reduced immune function such as cancer, diabetes, and organ transplant patients, and the growing size of hospitals, hospital infections are continuing to increase. As seen in the MERS crisis of 2015, hospital infections have become a social and national problem. In order to prevent damage due to such hospital infections, it is necessary to first strictly implement measures to prevent hospital infections, while, on the other hand, providing proper relief of damage suffered due to hospital infections. However, the mainstream attitude of judicial precedents relating to hospital infection cases has been judged to in fact shift responsibility over damages due to hospital infections on the patient. In light of the philosophy of the damage compensation system, whose guiding principle if the fair and proper apportionment of damages, there is a need to seek means of drastically relaxing the burden of proof on the patient's side relative to conventional legal principles for relaxing the burden of proof, or the theory of de facto estimation. In relation to such need, the German civil code (Burgerliches Gesetzbuch), which defines contracts of medical treatment as typical contracts under the civil code, and has presumption of negligence provisions stipulating that, in cases such as hospital infections which were completely under the control of the medical care providers, if risks in general medical treatment have been realized which cause violations of the life, body, or health of patients, error on the part of the person providing medical care is presumed, was examined. Contracts of medical treatment are entered into very frequently and broadly in the everyday lives of the general public, with various disputes owing thereto arising. Therefore, it is necessary to, by defining contracts of medical treatment as typical contracts under the civil code, regulate the content of said contracts, as well as the proof of burden when disputes arise. If stipulations in the civil code are premature as of yet, an option may be to regulate through a special act, as is the case with France. In the case of hospital infection cases, it is thought that 'legal presumption of negligence' relating to 'negligence in the occurrence of hospital infections,' which will create a state close to equality of arms, will aid the resolution of the realistic issue of the de facto impossibility of remedying damages occurring due to negligence in the process of occurrence of hospital infections. Also, even if negligence is presumed by law, as the patient side is burdened with proving the causal relationships, such drastic confusion as would occur if the medical care provider side is found fully liable if a hospital infection occurs may be avoided. It is thought that, alongside such efforts, social insurance policy must be improved so as to cover the expenses of medical institutions having strictly implemented efforts to prevent hospital infections in the event that they have suffered damages due to a hospital infection accident, and that close future research and examination into this matter will be required.

  • PDF

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

  • Seo, Ji-Su;Ryu, Sung-Rim
    • Communications of Mathematical Education
    • /
    • v.26 no.1
    • /
    • pp.85-108
    • /
    • 2012
  • The comprehensive implication in justification activity that includes the proof in the elementary school level where the logical and formative verification is hard to come has to be instructed. Therefore, this study has set the following issues. First, what is the mathematical justification type shown in the Number and Operations, and Geometry? Second, what are the errors shown by students in the justification process? In order to solve these research issues, the test was implemented on 62 third grade elementary school students in D City and analyzed the mathematical justification type. The research result could be summarized as follows. First, in solving the justification type test for the number and operations, students evenly used the empirical justification type and the analytical justification type. Second, in the geometry, the ratio of the empirical justification was shown to be higher than the analytical justification, and it had a difference from the number and operations that evenly disclosed the ratio of the empirical justification and the analytical justification. And third, as a result of analyzing the errors of students occurring during the justification process, it was shown to show in the order of the error of omitting the problem solving process, error of concept and principle, error in understanding the questions, and technical error. Therefore, it is prudent to provide substantial justification experiences to students. And, since it is difficult to correct the erroneous concept and mistaken principle once it is accepted as familiar content that it is required to find out the principle accepted in error or mistake and re-instruct to correct it.

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
    • /
    • v.7 no.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).