• 소성∙가공
• /
• 제4권1호
• /
• pp.28-38
• /
• 1995

An integrated process planning system can determine desirable operation sequences even if they have little experience in the design of multistage cold forging process. This system is composed of seven major modules such as input module, pre-design module, formability check module, forming sequence design module, forming analysis module, FEM verification module, and output module which are used independently or in all. The forming sequence for the part can be determined by means of primitive geometries such as cylinder, cone, convex, and concave. By utilizing this geometrical characteristics(diameter, height, and radius), the part geometry is expressed by a list of the primitive geometries. Accordingly, the forming sequence design is formulated as the search problem which starts with a billet geometry and finishes with a given product one. Using the developed system, the sequence drawing with all dimensions, which includes the dimensional tolerances and the proper sequence of operations for parts, is generated under the environment of AutoCAD. Several forming sequences generated by the planning system can be checked by the forming analysis module. The acceptable forming sequences can be verified further, using FE simulation.

• 대한전기학회논문지
• /
• 제40권8호
• /
• pp.836-844
• /
• 1991

PLC(programmable logic controller) system is widely used for the control of factory. PLC system receives ladder diagram which is drawn by the user to implement hardware logic, converts the ladder diagram into sequence program which is executable in the PLC system, and executes the sequence program indefinitely unless user breaks. The sequence program processes the data of on/off signal, and endures 1 scan delay and missing of pulse-type signal shorter than a scan time. So, data dependency doesn't exist. By applying theis characteristics to multiprocessor architecture, we design parellel PLC functionally and evaluate performance upgrade. Parallel PLC consists of central processing module, N general processing unit, and a shared memory by master-slave type. Each module executes allocated sequence program by the control of central processing module. We can expect performance upgrade by parallel processing, and reliability by relocation of sequence program when error occurs in processing module.

• 말소리와 음성과학
• /
• 제10권1호
• /
• pp.39-48
• /
• 2018

A typical statistical parametric speech synthesis (text-to-speech, TTS) system consists of separate modules, such as a text analysis module, an acoustic modeling module, and a speech synthesis module. This causes two problems: 1) expert knowledge of each module is required, and 2) errors generated in each module accumulate passing through each module. An end-to-end TTS system could avoid such problems by synthesizing voice signals directly from an input string. In this study, we implemented an end-to-end Korean TTS system using Google's Tacotron, which is an end-to-end TTS system based on a sequence-to-sequence model with attention mechanism. We used 4392 utterances spoken by a Korean female speaker, an amount that corresponds to 37% of the dataset Google used for training Tacotron. Our system obtained mean opinion score (MOS) 2.98 and degradation mean opinion score (DMOS) 3.25. We will discuss the factors which affected training of the system. Experiments demonstrate that the post-processing network needs to be designed considering output language and input characters and that according to the amount of training data, the maximum value of n for n-grams modeled by the encoder should be small enough.

• 한국정밀공학회지
• /
• 제13권4호
• /
• pp.43-52
• /
• 1996

This paper describes interactive computer procedures for design the forming sequences in cold forging. This system is implemented on the personal computer and its environment is a commercial AutoCAD system. The programming language. AutoLISP, was used for the configuration of the system. Since the process of metal forming can be considered as a transformation of geometry, treatment of the geometry of the part is a key in process planning. To recognize the part section geometry, the section entity representation, the section coordinate-redius representation and the section primitive geometru were adopted. This system includes six major modules such as input module, forging design module, forming sequence design module, die design module, FEM verification module and output module which are used independently or in all. The sequence drawing wigh all dimensions, which includes the dimensional tolerances and the proper sequence of operations, can generate under the environment of AutoCAD. The acceptable forming sequences can be verified further, using the FE simulation.

• 대한수학회보
• /
• 제59권3호
• /
• pp.643-657
• /
• 2022

Let R be a ring and S a multiplicative subset of R. An R-module T is called u-S-torsion (u-always abbreviates uniformly) provided that sT = 0 for some s ∈ S. The notion of u-S-exact sequences is also introduced from the viewpoint of uniformity. An R-module F is called u-S-flat provided that the induced sequence 0 → A ⊗_R F → B ⊗_R F → C ⊗_R F → 0 is u-S-exact for any u-S-exact sequence 0 → A → B → C → 0. A ring R is called u-S-von Neumann regular provided there exists an element s ∈ S satisfying that for any a ∈ R there exists r ∈ R such that sα = rα². We obtain that a ring R is a u-S-von Neumann regular ring if and only if any R-module is u-S-flat. Several properties of u-S-flat modules and u-S-von Neumann regular rings are obtained.

• 한국콘텐츠학회논문지
• /
• 제13권9호
• /
• pp.410-417
• /
• 2013

시공단계에 따른 철근콘크리트 구조물의 장기변형 해석은 설계 및 시공에 있어서 매우 중요한 요소이다. 하지만 기존의 많은 해석적 연구들은 그 적용기법의 단순화로 인하여 실제 구조설계 및 시공에 대부분 반영되지 못하고 있다. 동바리와 기둥에서는 축력 재분배가 시간에 따라 계속적으로 변화되기 때문에 콘크리트 타설, 거푸집 제거, 동바리 재설치, 동바리 제거 및 이에 따른 추가하중의 작용과 같은 전반적인 시공단계를 그대로 적용하여 해석하는 것은 매우 중요한 요소이다. 따라서 본 논문에서는 이와 같은 시간에 따른 시공단계별 해석을 객체지향 알고리즘으로 개발하였다. 본 시스템에서는 입력모듈, DB 모듈, DB저장 모듈, 해석모듈 및 결과분석모듈로 구분하였으며, 각 모듈간의 연계는 visual c# 루틴으로 처리하였다. 또한 그래픽 인터페이스와 DB 테이블은 사용자 편의성을 고려하여 개발하였다.

• 대한수학회논문집
• /
• 제35권2호
• /
• pp.469-480
• /
• 2020

Let R be a commutative ring with identity and M a unital R-module. We give a new generalization of exact sequences called e-exact sequences. A sequence $0{\rightarrow}A{\longrightarrow[20]^f}B{\longrightarrow[20]^g}C{\rightarrow}0$ is said to be e-exact if f is monic, Imf ≤_e Kerg and Img ≤_e C. We modify many famous theorems including exact sequences to one includes e-exact sequences like 3 × 3 lemma, four and five lemmas. Next, we prove that for torsion-free module M, the contravariant functor Hom(-, M) is left e-exact and the covariant functor M ⊗ - is right e-exact. Finally, we define e-projective module and characterize it. We show that the direct sum of R-modules is e-projective module if and only if each summand is e-projective.

• 한국태양에너지학회:학술대회논문집
• /
• 한국태양에너지학회 2011년도 춘계학술발표대회 논문집
• /
• pp.23-24
• /
• 2011

In this paper, I performed the IEC test in crystalline photovoltaic module described in test standard. And sometimes I changed the test sequence and impact factors for testing modules. Comparing the current test trees in IEC 61215, some ideas are suggested in proper test sequence to guarantee the long-term durability for 25 years.. The detail discussion will be shown in the following paper.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제14권1호
• /
• pp.22-26
• /
• 1975

In this paper, we define a differential module and study its properties. In section 2, as for propositions, Ive research some properties, directsum, isomorphism of factorization, exact sequence of derived modules. And then as for theorem, I try to present the following statement, if the sequence of homomorphisms of differential modules is exact. Then the sequence of homomorphisms of Z(X) is exact, also the sequence of homomorphisms of Z(X) is exact. According to the theorem, as for Lemma, we consider commutative diagram between exact sequence of Z(X) and exact sequence of Z'(X) . As an immediate consequence of this theorem, we obtain the following result. If M is an arbitrary module and the sequence of homomorphisms of the modules Z(X) is exact, then the sequence of their tensor products with the trivial endomorphism is semi-exact.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제10권1호
• /
• pp.4-5
• /
• 1972

이 논문은 modules 사이의 homomorphisms의 exact sequence에서 다음과 같은 것을 밝힌 것임. 1. (equation omitted)이 하나의 exact sequence 이고 P가 임의의 R-module일 때 (equation omitted)은 abelian group의 하나의 exact sequence라는 것. 2. (equation omitted)이 exact sequence 이고 P가 임의의 R-modele이면 (equation omitted)는 abelian group의 하나의 exact sequence라는 것.