• Title/Summary/Keyword: division by zero

Search Result 339, Processing Time 0.033 seconds

Error Recovery Script of Immunity Debugger for C# .NET Applications

  • Shinde, Rupali;Choi, Min;Lee, Su-Hyun
    • Journal of Information Processing Systems
    • /
    • v.15 no.6
    • /
    • pp.1438-1448
    • /
    • 2019
  • We present a new technique, called VED (very effective debugging), for detecting and correcting division by zero errors for all types of .NET application. We use applications written in C# because C# applications are distributed through the internet and its executable format is used extensively. A tool called Immunity Debugger is used to reverse engineer executable code to get binaries of source code. With this technique, we demonstrate integer division by zero errors, the location of the error causing assembly language code, as well as error recovery done according to user preference. This technique can be extended to work for other programming languages in addition to C#. VED can work on different platforms such as Linux. This technique is simple to implement and economical because all the software used here are open source. Our aims are to simplify the maintenance process and to reduce the cost of the software development life cycle.

Correlation between Capacitance and Structure-optical Properties of Semiconductor with Zero Leakage Current (누설전류 Zero인 반도체 물질의 구조적 광학적 특성과 전도성과의 상관성)

  • Yun, Tae Hwan;Oh, Teresa
    • Journal of the Semiconductor & Display Technology
    • /
    • v.14 no.3
    • /
    • pp.27-31
    • /
    • 2015
  • It was the electrical properties of ZnS treated by the annealing in a vaccum and an atmosphere conditions to reseached the leakage current effect of semiconductor devices. Most samples were shown the non-linear with unipolar properties, but the ZnS annealed at $100^{\circ}C$ in a vaccum was only observed no leakage current in a range of -20 V< voltage < 15 V. The crystallinity of ZnS with no leakage current was improved and optical property was also improved. Because the ambipolar characteristics and low leakage currents originated from the extension effect of a depletion width by electron-hole combination in the depletion layer.

Development of Wave by Wave Analysis Program using MATLAB (MATLAB을 이용한 개별파 분석 프로그램 개발)

  • Choi, Hyukjin;Jeong, Shin Taek;Cho, Hong Yeon;Ko, Dong Hui;Kang, Keum Seok
    • Journal of Korean Society of Coastal and Ocean Engineers
    • /
    • v.29 no.5
    • /
    • pp.239-246
    • /
    • 2017
  • In case of observing only wave height and period in the field, various wave characteristics are mainly calculated by wave by wave analysis method. In this paper, an wave by wave analysis program using MATLAB language is developed. It is possible to perform a function such as 1) correction for mean water level, 2) calculation for zero crossing time, 3) calculation for individual wave height, 4) time interval by using zero upcrossing and downcrossing method. The applicability of the developed program to the data of 0.2 second interval observed by using the WaveGuide Radar installed on HeMOSU-1 was examined. Tidal level variation removal and zero crossing time estimation were determined by linear or quadratic interpolation. It was judged that the Goda method was appropriate for calculating individual wave height, and the method proposed in this study seems to be improved through subsequent research. Due to the fineness of the sample, it can be seen that characteristics of representative waves are different from the results calculated by zero upcrossing and downcrossing method.

Zero-anaphora resolution in Korean based on deep language representation model: BERT

  • Kim, Youngtae;Ra, Dongyul;Lim, Soojong
    • ETRI Journal
    • /
    • v.43 no.2
    • /
    • pp.299-312
    • /
    • 2021
  • It is necessary to achieve high performance in the task of zero anaphora resolution (ZAR) for completely understanding the texts in Korean, Japanese, Chinese, and various other languages. Deep-learning-based models are being employed for building ZAR systems, owing to the success of deep learning in the recent years. However, the objective of building a high-quality ZAR system is far from being achieved even using these models. To enhance the current ZAR techniques, we fine-tuned a pretrained bidirectional encoder representations from transformers (BERT). Notably, BERT is a general language representation model that enables systems to utilize deep bidirectional contextual information in a natural language text. It extensively exploits the attention mechanism based upon the sequence-transduction model Transformer. In our model, classification is simultaneously performed for all the words in the input word sequence to decide whether each word can be an antecedent. We seek end-to-end learning by disallowing any use of hand-crafted or dependency-parsing features. Experimental results show that compared with other models, our approach can significantly improve the performance of ZAR.

Dielectric Properties of $BaTiO_3$ Layer with Zero Shrinkage By Glass Infiltration (Glass Infiltration에 의한 무수축 $BaTiO_3$ Layer의 유전특성)

  • Jang, Ui-kyeong;Shin, Hyo-Soon;Yeo, Dong-Hun;Kim, Jong-Hee
    • Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
    • /
    • 2007.06a
    • /
    • pp.271-271
    • /
    • 2007
  • LTCC 소재는 glass/ceramic composite로 구성된다. LTCC 소재에 embedding 되는 고유전율 소재 또한 이와 같은 소재설계를 통하여 무수축 접합이 가능할 것으로 판단된다. 그러나 이에 대한 연구결과가 보고된바 없고 몇몇 $Al_2O_3$의 infiltration에 대한 무수축 소성 관련 선행 연구를 바탕으로 고유전율 소재인 $BaTiO_3$의 무수축 소성이 연구되는 것이 필요한 시점이다. 따라서 본 연구는 저온에서의 glass infiltration에 의한 무수축 $BaTiO_3$ layer의 저온소성특성 및 유전특성을 평가하였다. 실험결과 $785^{\circ}C$에서 glass의 충분한 침투가 확인되며 결정구조에서는 glass/$BaTiO_3$ composite이 형성되었다. 무수축 접합 layer의 소성조건과 glass 두께 변화에 따른 유전특성 및 layer의 결정구조를 비교평가 하였다.

  • PDF

Restoring Omitted Sentence Constituents in Encyclopedia Documents Using Structural SVM (Structural SVM을 이용한 백과사전 문서 내 생략 문장성분 복원)

  • Hwang, Min-Kook;Kim, Youngtae;Ra, Dongyul;Lim, Soojong;Kim, Hyunki
    • Journal of Intelligence and Information Systems
    • /
    • v.21 no.2
    • /
    • pp.131-150
    • /
    • 2015
  • Omission of noun phrases for obligatory cases is a common phenomenon in sentences of Korean and Japanese, which is not observed in English. When an argument of a predicate can be filled with a noun phrase co-referential with the title, the argument is more easily omitted in Encyclopedia texts. The omitted noun phrase is called a zero anaphor or zero pronoun. Encyclopedias like Wikipedia are major source for information extraction by intelligent application systems such as information retrieval and question answering systems. However, omission of noun phrases makes the quality of information extraction poor. This paper deals with the problem of developing a system that can restore omitted noun phrases in encyclopedia documents. The problem that our system deals with is almost similar to zero anaphora resolution which is one of the important problems in natural language processing. A noun phrase existing in the text that can be used for restoration is called an antecedent. An antecedent must be co-referential with the zero anaphor. While the candidates for the antecedent are only noun phrases in the same text in case of zero anaphora resolution, the title is also a candidate in our problem. In our system, the first stage is in charge of detecting the zero anaphor. In the second stage, antecedent search is carried out by considering the candidates. If antecedent search fails, an attempt made, in the third stage, to use the title as the antecedent. The main characteristic of our system is to make use of a structural SVM for finding the antecedent. The noun phrases in the text that appear before the position of zero anaphor comprise the search space. The main technique used in the methods proposed in previous research works is to perform binary classification for all the noun phrases in the search space. The noun phrase classified to be an antecedent with highest confidence is selected as the antecedent. However, we propose in this paper that antecedent search is viewed as the problem of assigning the antecedent indicator labels to a sequence of noun phrases. In other words, sequence labeling is employed in antecedent search in the text. We are the first to suggest this idea. To perform sequence labeling, we suggest to use a structural SVM which receives a sequence of noun phrases as input and returns the sequence of labels as output. An output label takes one of two values: one indicating that the corresponding noun phrase is the antecedent and the other indicating that it is not. The structural SVM we used is based on the modified Pegasos algorithm which exploits a subgradient descent methodology used for optimization problems. To train and test our system we selected a set of Wikipedia texts and constructed the annotated corpus in which gold-standard answers are provided such as zero anaphors and their possible antecedents. Training examples are prepared using the annotated corpus and used to train the SVMs and test the system. For zero anaphor detection, sentences are parsed by a syntactic analyzer and subject or object cases omitted are identified. Thus performance of our system is dependent on that of the syntactic analyzer, which is a limitation of our system. When an antecedent is not found in the text, our system tries to use the title to restore the zero anaphor. This is based on binary classification using the regular SVM. The experiment showed that our system's performance is F1 = 68.58%. This means that state-of-the-art system can be developed with our technique. It is expected that future work that enables the system to utilize semantic information can lead to a significant performance improvement.

Genetic correlation between live body measurements and beef cutability traits in Hanwoo steers

  • Choy, Yun Ho;Lee, Jae Goo;Mahboob, Alam;Choi, Tae Jeong;Rho, Seung Hee
    • Asian-Australasian Journal of Animal Sciences
    • /
    • v.30 no.8
    • /
    • pp.1074-1080
    • /
    • 2017
  • Objective: The growth, carcass and retail cut yield records on 1,428 Hanwoo steers obtained through progeny testing were analyzed in this study, and their heritability and genetic relationships among the traits were estimated using animal models. Methods: Two different models were compared in this study. Each model was fitted for different fixed class effects, date of slaughter for carcass traits and batch of progeny test live measurement traits, and a choice of covariates (carcass weight in Model 1 or backfat thickness in Model 2) for carcass traits. Results: The differences in body composition among individuals were deemed being unaffected by their age at slaughter, except for carcass weight and backfat thickness. Heritability estimates of body size measurements were 0.21 to 0.36. Heritability estimates of retail cut percentage were high (0.56 from Model 1 and 0.47 from Model 2). And the heritability estimates for loin muscle percentage were 0.36 from Model 1 and 0.42 from Model 2, which were high enough to consider direct selection on carcass cutability traits as effective. The genetic correlations between body size measurements and retail cut ratio (RCR) were close to zero. But, some negative genetic correlations were found with chest girths measured at yearling (Model 1) or at 24 months of age or with chest widths. Loin muscle ratio (LMR) was genetically negatively correlated with body weights or body size measurements, in general in Model 1. These relationships were low close to zero but positive in Model 2. Phenotypic correlation between cutability traits (RCR, LMR) and live body size measurements were moderate and negative in Model 1 while those in Model 2 were all close to zero. Conclusion: Therefore, the body weights or linear body measurements at an earlier age may not be the most desirable selection traits for exploitation of correlated responses to improve loin muscle or lean meat yield.

Iterative Decoding for LDPC Coded MIMO-OFDM Systems with SFBC Encoding (주파수공간블록부호화를 적용한 MIMO-OFDM 시스템을 위한 반복복호 기법)

  • Sohn Insoo
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.30 no.5A
    • /
    • pp.402-406
    • /
    • 2005
  • A multiple input multiple output orthogonal frequency division multiplexing (MIMO-OFDM) system using low-density parity-check (LDPC) code and iterative decoding is presented. The iterative decoding is performed by combining the zero-forcing technique and LDPC decoding through the use of the 'turbo principle.' The proposed system is shown to be effective with high order modulation and outperforms the space frequency block code (SFBC) method with iterative decoding.

Improved Dual-Path Energy Recovery Circuit using a Current Source and a Voltage Source for High Resolution and Large-Sized Plasma Display Panel

  • Yi, Kang-Hyun;Moon, Gun-Woo
    • Proceedings of the KIPE Conference
    • /
    • 2008.06a
    • /
    • pp.544-546
    • /
    • 2008
  • An improved dual-path energy recovery circuit (ERC) using a current source and a voltage source for plasma display panel (PDP) is proposed. The proposed ERC uses the voltage source to charge a panel and the current source to discharge the panel. Thus, the proposed circuit can make the panel charge to $V_S$ and discharge to 0V, fully and it is possible to achieve zero voltage switching (ZVS) of all switches in H-bridge inverter and zero current switching (ZCS) of all switches in the ERC. Moreover, it has less conduction and switching loss in ERC devices by the dual energy recovery paths for charging and discharging the panel. Furthermore, it has features of canceling the gas discharge current, high performance and the low cost ERC components. The operation principle and features of the proposed ERC are presented in detail and verified with 42-inch SD PDP.

  • PDF

Phase-Shifting System Using Zero-Crossing Detection for use in Fiber-Optic ESPI (영점검출을 이용한 광섬유형 전자 스페클 패턴 간섭계의 위상이동)

  • Park, Hyoung-Jun;Song, Min-Ho;Lee, Jun-Ho
    • Korean Journal of Optics and Photonics
    • /
    • v.16 no.6
    • /
    • pp.516-520
    • /
    • 2005
  • We proposed an efficient phase stepping method for the use in fiber-optic ESPI. To improve phase-stepping accuracy and efficiency, a fiber-optic Michelson interferometer was phase-modulated by a ramp-driven fiber stretcher, resulting in 4$\pi$ phase excursion in the PD interference signal. The zero-crossing points of the signal, which have consecutive $\pi$ phase difference, were carefully detected and used to generate trigger signals for the CCD camera. From the experimental results by using this algorithm, $\pi$/2 phase-stepping errors between the speckle patterns were measured to be less than 0.6 mrad with 100 Hz image capture speed. Also it has been shown that the error from the nonlinear phase modulation and environmental perturbations could be minimized without any feedback algorithm.