• Communications of the Korean Mathematical Society
• /
• v.10 no.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.

• Journal of the Korean Mathematical Society
• /
• v.55 no.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.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.4
• /
• pp.789-796
• /
• 2012

To find the module sequence that makes correction rate optimal is the goal of this paper. The Hill-climbing algorithm was used in the experiment to analyze the performance of Korean Spelling Corrector. Given the wrong eojul set, We found the module sequence that shows correction rate of 96.41%. Because of the quite high correction rate, Hill-climbing is a practical method for our Spelling Corrector.

• Korean Journal of Mathematics
• /
• v.20 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.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.

• IE interfaces
• /
• v.6 no.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.

• Korean Journal of Computational Design and Engineering
• /
• v.7 no.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.

• Journal of the Korea Concrete Institute
• /
• v.14 no.3
• /
• pp.291-298
• /
• 2002

Recently, construction of reinforced concrete tall buildings is widely increased according to the improvement of material quality and design technology. Therefore, differential shortenings of columns due to elastic, creep, and shrinkage have been an important issue. But it has been neglected to predict the Inelastic behavior of RC structures even though those deformations make a serious problem on the partition wall, external cladding, duct, etc. In this paper, analysis system for prediction and compensation of the differential column shortenings considering time-dependent deformations and construction sequence is developed using the objected-oriented technique. Developed analysis system considers the construction sequence, especially time-dependent deformation in early days, and is composed of input module, database module, database store module, analysis module, and analysis result generation module. Graphic user interface(GUI) is supported for user's convenience. After performing the analysis, the output results like deflections and member forces according to the time can be observed in the generation module using the graphic diagram, table, and chart supported by the integrated environment.

• Journal of the Korean Society for Precision Engineering
• /
• v.17 no.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.

• Journal of the Chungcheong Mathematical Society
• /
• v.1 no.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$.