• 대한수학회논문집
• /
• 제10권3호
• /
• pp.519-525
• /
• 1995

By using an exact sequence of extension groups corresponding to an isogeny of a Drinfeld module we investigate which extension classes are coming from Hom(G,C). In the last section of this paper an example was given where the connecting homomorphism can be explictly computed.

• 대한수학회지
• /
• 제55권5호
• /
• pp.1221-1233
• /
• 2018

Let R be a commutative ring with non-zero identity and let NN(R) = {I | I is a nonnil ideal of R}. Let M be an R-module and let ${\phi}-tor(M)=\{x{\in}M{\mid}Ix=0\text{ for some }I{\in}NN(R)\}$. If ${\phi}or(M)=M$, then M is called a ${\phi}$-torsion module. An R-module M is said to be ${\phi}$-flat, if $0{\rightarrow}{A{\otimes}_R}\;{M{\rightarrow}B{\otimes}_R}\;{M{\rightarrow}C{\otimes}_R}\;M{\rightarrow}0$ is an exact R-sequence, for any exact sequence of R-modules $0{\rightarrow}A{\rightarrow}B{\rightarrow}C{\rightarrow}0$, where C is ${\phi}$-torsion. In this paper, the concepts of NRD-submodules and NP-submodules are introduced, and the ${\phi}$-flat modules over a ${\phi}-Pr{\ddot{u}}fer$ ring are investigated.

• 한국전자통신학회논문지
• /
• 제7권4호
• /
• pp.789-796
• /
• 2012

최적 교정률을 보이는 모듈 순서를 찾는 것이 논문의 목적이다. 한국어 맞춤법 교정기의 성능을 분석하기 위하여 등산법을 실험에서 사용하였다. 주어진 오류어절 집합에 대하여 96.41%의 교정률을 나타낸 모듈순서열을 찾았다. 교정률이 상당히 높기때문에, 등산법이 맞춤법 교정기에 대하여 실용적인 방법임을 보였다.

• Korean Journal of Mathematics
• /
• 제20권3호
• /
• pp.307-314
• /
• 2012

Let M be a left R-module and R be a ring with unity, and $S=\{0,2,3,4,{\ldots}\}$ be a submonoid. Then $M[x^{-s}]=\{a_0+a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}a_i{\in}M\}$ is an $R[x^s]$-module. In this paper we show some properties of $M[x^{-s}]$ as an $R[x^s]$-module. Let $f:M{\rightarrow}N$ be an R-linear map and $\overline{M}[x^{-s}]=\{a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}a_i{\in}M\}$ and define $N+\overline{M}[x^{-s}]=\{b_0+a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}b_0{\in}N,\;a_i{\in}M}$. Then $N+\overline{M}[x^{-s}]$ is an $R[x^s]$-module. We show that given a short exact sequence $0{\rightarrow}L{\rightarrow}M{\rightarrow}N{\rightarrow}0$ of R-modules, $0{\rightarrow}L{\rightarrow}M[x^{-s}]{\rightarrow}N+\overline{M}[x^{-s}]{\rightarrow}0$ is a short exact sequence of $R[x^s]$-module. Then we show $E_1+\overline{E_0}[x^{-s}]$ is not an injective left $R[x^s]$-module, in general.

• 대한수학회보
• /
• 제36권3호
• /
• pp.599-608
• /
• 1999

$H_v$-rings first were introduced by Vougiouklis in 1990. Then Darafsheh and the present author defined the $H_v$-ring of fractions $S_{-1}R$ of a commutative hyperring. The largest class of multivalued systems satisfying the module-like axioms is the Hv-module. In this paper we define $H_v$-module of fractions of a hypermodule. Some interesting results concerning this $H_v$-module is proved.

• 산업공학
• /
• 제6권1호
• /
• pp.31-45
• /
• 1993

Setup planning for machining processes is a part of fixture planning which is also a part of process planning. A setup of a part is defined as a group of features which are machined while the part is fixtured in one single fixture. Setup planning includes a number of tasks such as the selection of setup, sequence of setups and datum frame for each setup. Setup planning is an important function in fixture planning which must be able to support and to clamp a workpiece to prevent deflections caused by machining and clamping loads. This paper presents setup planning system using expert system approach(SPES) for prismatic parts which can be machined on vertical milling machine. SPES consists of preprocessing module and main processing module. Preprocessing module executes the conversion of feature data to frame type data and the determination of setups, and main processing module executes the determination of datum frame of each setup and sequance of setups. Preprocessing module is coded by C language and main processing module is a rule-based expert system using EXSYS pro. The performance of SPES is evaluated through case studies and the results show successful work except for operation sequence of machining holes. This is due to the limited rules for machining holes.

• 한국CDE학회논문집
• /
• 제7권1호
• /
• pp.9-17
• /
• 2002

The study is insufficient on process planning of the elliptical deep drawing product. Thus, in this present study, the expert system for elliptical deep drawing products was constructed by using process sequence design. The expert system was developed to be based on the general concept of each entity. The system was developed in this work consists of sixth modules. The first one is a shape recognition module to recognize non-axisymmetric products and to generate Entity_list. The second one is three dimensional (3-D) modeling module to calculate the surface area for non-axisymmetric products. The third one is a blank design module to create suggested blanks of three shapes with the identical surface area. The fourth one is shape design module based on the production rules that play the most important role in an expert system for manufacturing. The production rules are generated and upgraded by inter- viewing field engineers, plastic theory and experiments. The fifth and sixth ones are a graphic module to visualize results of the expert system and a post module to rise user's convenience, respectively. According to constructed the expert system for process sequence design, it was possible to reduce the lead time.

• 콘크리트학회논문집
• /
• 제14권3호
• /
• pp.291-298
• /
• 2002

최근 사용재료의 품질과 설계기법의 향상으로 철근콘크리트 고층구조물에 대한 시공이 활발히 이루어지고 있다. 그러나 대부분의 경우에 시간의존적 비탄성변형을 무시하고 있다. 특히 시공단계에서 발생하는 초기변형은 장기적으로 구조물에 심각한 영향을 미칠 수 있다. 또한, 고층구조물에서 발생하는 부등축소는 탄성변형, 크리프, 건조수축 등이 조합되어 일어나기 때문에 고층구조물의 부등축소를 예측하고 실제 현장에서 보정하기 위해서는 장기거동에 대한 해석이 필수적이다. 본 연구에서는 동바리의 설치/제거를 포함한 실제적인 시공과정을 반영할 수 있는 2차원 골조해석 시스템을 개발하였다. 해석 시스템은 데이터베이스 설계기법과 그래픽 사용자 인터페이스(graphic user interface) 환경에서 개발되었으며, Input module, DB Strore module, Database module, Analytical module, Analysis result generation module로 크게 구성되어 있다. 해석 시스템은 시공단계별로 해석을 반복해석을 수행함으로써 발생하는 수많은 데이터와 정보를 데이터베이스 설계를 통해 효율적인 시스템 관리를 한다. Graphic user interface(GUI) 환경의 지원에 의해 사용자가 데이터의 입력, 수정, 검색 작업을 쉽게 할 수 있으며 해석결과를 그래픽 다이어그램(graphic diagram), 테이블(table), 차트(chart) 등으로 확인할 수 있다. 개발된 시스템은 거푸집과 동바리의 설치 및 제거를 포함하는 일반적인 시공단계를 고려할 수 있으며 기둥의 부등축소량을 예측할 수 있으며, 각각의 시공단계별로 발생하는 기둥의 부등축소량을 실제 실무에서 보정할 수 있도록 지원한다.

• 한국정밀공학회지
• /
• 제17권3호
• /
• pp.102-107
• /
• 2000

This study describes computer-aided design system for stepped asymmetric forgings. To establish the appropriate process sequence, an integrated approach based on a rule-base system was accomplished. This system has four modules, which are undercut prevention module, shape cognition module, 3D modelling module and corner/fillet correction module. These modules can be used independently or at all. The proposed shape cognition method could be widely used in forging design of asymmetric parts.

• 충청수학회지
• /
• 제1권1호
• /
• pp.43-53
• /
• 1988

The main result of this paper is a characterization of almost projective modules over art in algebras by means of irreducible maps and almost split sequences. A module X is an almost projective module if and only if it has a presentation $0{\longrightarrow}L{\longrightarrow^{\alpha}}P{\longrightarrow}X{\longrightarrow}0$ with projective module P and irreducible maps ${\alpha}$. Let X be an injective almost projective non simple module and $0{\rightarrow}Dtr(x){\rightarrow}E{\rightarrow}X{\rightarrow}0$ be an almost split sequence. If $E=E_1{\oplus}E_2$ is a direct decomposition of indecomposable modules then ${\ell}(X)=3$.