• Korean Journal of Mathematics
• /
• v.28 no.3
• /
• pp.439-447
• /
• 2020

Let M be a lattice module over a C-lattice L. Let Spec^s(M) be the collection of all second elements of M. In this paper, we consider a topology on Spec^s(M), called the second classical Zariski topology as a generalization of concepts in modules and investigate the interplay between the algebraic properties of a lattice module M and the topological properties of Spec^s(M). We investigate this topological space from the point of view of spectral spaces. We show that Spec^s(M) is always T₀-space and each finite irreducible closed subset of Spec^s(M) has a generic point.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.54-56
• /
• 1999

현재 많은 내장형 시스템을 구현하기 위한 방법론으로 가상 프로토타입(VP)을 이용하고 있다. 본 논문에서는 가상 프로토타입을 이용하여 내장형 시스템의 설계 및 구현을 위해 사용되는 시스템 명세 언어인 SpecCharts로 명세된 시스템을 동기적 의미론에 만족하는 SpecCharts의 Subset을 규명하여 동기화 형태로 해당명세를 변환시키고 이로부터 synchronous VHDL 코드로 생성할 수 있는 방법을 설계하였다. 동기적 의미론을 만족시키기 위하여 비결정적인 추상적인 모델(NDAM)을 이용하여 SpecCharts로부터 VHDL ？로 변환하는 방법을 제시하고, 변환된 VHDL 코드를 동기적 VHDL 코드로 변환하기 위하여 W. Baker에 의해 규명된 동기적 VHDL subset 적용하여 synchronous VHDL 코드를 생성하는 방법을 제안한다.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.71-111
• /
• 2021

We consider the boundary value problem for the deflection of a finite beam on an elastic foundation subject to vertical loading. We construct a one-to-one correspondence �� from the set of equivalent well-posed two-point boundary conditions to gl(4, ℂ). Using ��, we derive eigenconditions for the integral operator ��M for each well-posed two-point boundary condition represented by M ∈ gl(4, 8, ℂ). Special features of our eigenconditions include; (1) they isolate the effect of the boundary condition M on Spec ��M, (2) they connect Spec ��M to Spec ����,α,k whose structure has been well understood. Using our eigenconditions, we show that, for each nonzero real λ ∉ Spec ����,α,k, there exists a real well-posed boundary condition M such that λ ∈ Spec ��M. This in particular shows that the integral operators ��M, arising from well-posed boundary conditions, may not be positive nor contractive in general, as opposed to ����,α,k.

• The Korean Journal of Applied Statistics
• /
• v.36 no.2
• /
• pp.101-114
• /
• 2023

The data augmentation technique is effectively used to solve the problem of overfitting the model by allowing the training dataset to be viewed from various perspectives. In addition to image augmentation techniques such as rotation, cropping, horizontal flip, and vertical flip, occlusion-based data augmentation methods such as Cutmix and Cutout have been proposed. For models based on speech data, it is possible to use an occlusion-based data-based augmentation technique after converting a 1D speech signal into a 2D spectrogram. In particular, SpecAugment is an occlusion-based augmentation technique for speech spectrograms. In this study, we intend to compare and study data augmentation techniques that can be used in the problem of false-voice detection. Using data from the ASVspoof2017 and ASVspoof2019 competitions held to detect fake audio, a dataset applied with Cutout, Cutmix, and SpecAugment, an occlusion-based data augmentation method, was trained through an LCNN model. All three augmentation techniques, Cutout, Cutmix, and SpecAugment, generally improved the performance of the model. In ASVspoof2017, Cutmix, in ASVspoof2019 LA, Mixup, and in ASVspoof2019 PA, SpecAugment showed the best performance. In addition, increasing the number of masks for SpecAugment helps to improve performance. In conclusion, it is understood that the appropriate augmentation technique differs depending on the situation and data.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.7 s.361
• /
• pp.81-89
• /
• 2007

The Viterbi decoder, which employs the maximum likelihood decoding method, is a critical component in forward error correction for digital communication system. However, lowering power consumption on the Viterbi decoder is a difficult task since the number of paths calculated equals the number of distinctive states of the decoder and the Viterbi decoder utilizes trace-back method. In this paper, we propose a method which minimizes the number of operations performed on the comparator, deployed in the SPEC-T Viterbi decoder implementation. The proposed comparator was applied to the ACSU(Add-Compare-Select Unit) and MPMSU(Minimum Path Metric Search Unit) modules on the decoder. The proposed ACS scheme and MPMS scheme shows reduced power consumption by 10.7% and 11.5% each, compared to the conventional schemes. When compared to the SPEC-T schemes, the proposed ACS and MPMS schemes show 6% and 1.5% less power consumption. In both of the above experiments, the threshold value of 26 was applied.

• Lettere Italiane
• /
• no.30
• /
• pp.205-229
• /
• 2010

L'italiano ha diverse forme di pronomi clitici che vengono distinti in genere, numero e persona a seconda del nome di partenza. Quando appare un pronome clitico, l'ordine delle parole nella frase cambia: dal tipo normale SVO si passa al tipo SOV come in coreano. I pronomi clitici hanno una caratteristica molto diversa rispetto sia a piena NP sia ad una NP debole, e non sono compatibili con questi NP all'interno della frase, il che significa che i pronomi clitici si muovono in posizione superficiale lasciando la loro posizione originale dopo il verbo. Osservando questo fenomeno (movimento clitico da [DP, VP] a [spec, AgrOP]) e analizzando in questa sede solo il caso del pronome diretto si è cercato di evidenziare le regole precise di tale movimento determinato da "Case licensing" e "feature checking." Seguendo e accettando pienamente la precedente analisi di Belletti(1999), in cui vengono proposte due vie di procedimento del movimento dentro il AgrOP (una è [spec, AgrOP]; l'altra, [Agro, AgrOP], propongo qui l'esistenza di un ordine preciso in tale movimento: nel caso in cui un pronome diretto prenda una via di [spec, AgrOP], 'V' si muove prima fino ad arrivare alla [Agro, AgrSP], poi, 'pro' prosegue la sua strada fino alla [pro, AgrSP], e alla fine, il pronome diretto sale fino alla [spec, TP] per formare la costruzione proclitica; nel caso in cui un pronome diretto prenda invece l'altra via di [Agro, AgrOP], 'pro' sale prima fino alla [spec, AgrSP] tramite il movimento 'spec to spec', successivamente il 'pronome diretto' si muove verso la [Agro, AgrSP], e infine 'V' si sposta verso la [Agro, AgrSP] per formare la costruzione enclitica.

• CDE review
• /
• v.1 no.1
• /
• pp.29-31
• /
• 1995

이 글에서는 1. 컴파일러 레지스턴트(Compiler-Resistant) 2. SPEC95의 세부 내용 3. 윈도우즈 NT 등에 대하여 다루고 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.179-182
• /
• 1997

In a training simulator for power plant, operator's action in the MCR(Main Control Room) are given to plant process and computer system model as an inputs, and the same response as in real power plant is provided in real time. Inter-process communication and synchronization are especially important among various inputs. In the plant simulator, to simulate the digital control system such as FOXBORO SPEC-200 Micro control system, modification and adaptation of control card(CCC) and its continuous display station(CDS) is necessary. This paper describes the modeling and simulation of FOXBORO SPEC-200 Micro control system applied to Younggwang nuclear power plant unit #3 & 4, and its integration process to the full-scope replica type training simulator. In a simulator, display station like CDS of FOXBORO SPEC-200 Micro control system is classified as ITI(Intelligent Type Instrument), which has a micro processor inside to process information and the corresponding alphanumeric display, and the stimulation of ITI limits the important functions in a training simulator such as backtrack, replay, freeze and IC reset. Therefore, to achieve the better performance of the simulator, modification of CDS and special firmware is developed to simulate the FOXBORO SPEC-200 Micro control system. Each control function inside control card is modeled and simulated in generic approach to accept the plant data and control parameter conveniently, and debugging algorithms are applied for massive coding developed in short period.

• Journal of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.515-545
• /
• 2024

Consider a Noetherian domain R₀ with quotient field K₀. Let K be a finitely generated regular transcendental field extension of K₀. We construct a Noetherian domain R with Quot(R) = K that contains R₀ and embed Spec(R₀) into Spec(R). Then, we prove that key properties of abelian varieties and smooth geometrically integral projective curves over K are preserved under reduction modulo p for "almost all" p ∈ Spec(R₀).

• Korean Journal of English Language and Linguistics
• /
• v.4 no.1
• /
• pp.103-116
• /
• 2004

Chomsky (2001) and Kitahara's (2002) suggestion that object shift occurs prior to movement of the νP-subject to SPEC-T is not on the right track with respect to the Merge operation. According to the Merge operation, TP is necessarily created earlier than CP. Chomsky (2001) suggests that the probe-goal relation between T and SUBJ is evaluated in the CP after it is known whether the position of as has become a trace losing its phonological content. However, the FocP is not a phase (CP). So, Chomsky (2001) and Kitahara's (2002) suggestion is not correct in the case of the movement of OBJ to the spec of Foc in English, either. The aim of this paper is to show that the νP-subject must move to SPEC- T prior to the consecutive movement of the wh-object to SPEC-C via object shift in English. This derivation obeys Chomsky's (2001) so-called probe-goal matching condition.