• Journal of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.67-80
• /
• 2015

For a pomonoid S, let us denote Pos-S the category of S-posets and S-poset maps. In this paper, we consider the slice category Pos-S/B for an S-poset B, and study some categorical ingredients. We first show that there is no non-trivial injective object in Pos-S/B. Then we investigate injective objects with respect to the class of regular monomorphisms in this category and show that Pos-S/B has enough regular injective objects. We also prove that regular injective objects are retracts of exponentiable objects in this category. One of the main aims of the paper is to draw attention to characterizing injectivity in the category Pos-S/B under a particular case where B has trivial action. Among other things, we also prove that the necessary condition for a map (an object) here to be regular injective is being convex and present an example to show that the converse is not true, in general.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1449-1453
• /
• 1987

A microprogrammable Bit Slice Sinal Processor for image processing is implemented. Processing speed is increased by the parallelism in horizontal microprogram using 120bits microcode, pipelined architecture, 2 bank memory switching that interfaces with the Host through DMA, a variable clock control, overflow checking H/W,look-up table method and cache memory. With this processor, a DCT algorithm which uses 2-D FFT is performed. The execution time for $512{\times}512{\times}8$ image is 12 sec when 16 bit operation is runned, and the recovered image has acceptable quality with MSE 0.276%.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• pp.321-326
• /
• 1997

This paper present how VRML file format can be used for RP Technology. VRML standards provids compact and powerful interface between remote RP manufacturer in network independent environment. We have constructed integrated and network-connected server system which can share the CAD data and varios process which is STL-to-VRML translater,slicing process,slice anchor process etc. This Server system consisted in file converter between STL and VRML,CGI system which sends a generated data to VRML client or browser, slice-generator which can re-slice at varied thickness and simulator which can show and check simultaneously status between near slices with support. This system aims to the integrated simulator which supports graphic animator and FEA analysis system.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.802-805
• /
• 2002

In the three-dimensional domain image expressed with two-dimensional slice images, such as fMRI images and multi-slice CT images, we propose the three-dimensional domain automatic segmentation for the purpose of extracting region. In this paper, we segmented each domain from the fMRI images of the head of people and monkey. We used the neural network "Pulse-Coupled Neural Network" which is one of the models of visual cortex of the brain based on the knowledge from neurophysiology as the technique. By using this technique, we can segment the region without any learning. Then, we reported the result of division of each domain and extraction to the fMRI slice images of human's head using "three-dimensional Pulse-Coupled Neural Network" which is arranged and created the neuron in the shape of a three-dimensional lattice.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• pp.416-421
• /
• 1997

This study presents a way to construct 3D shape in STL format from 2D slice data. Nowadays ahape reconstruct has been done in many ares, the application of this method is important especially in Reverse Engineering which reconstructs original shape from cross-section data. Current RP (Rapid Prototyping) is used not only for the verification of a part designed but also for the production and tooling in more effective way. In RP technology, data should be prepared in STL format. In this paper, the way to make 3D shape data in STL format form 2D slice data is described which can be used to reconstruct an original shape in RP equipment.

• Journal of Korea Multimedia Society
• /
• v.6 no.6
• /
• pp.991-999
• /
• 2003

In this paper, we proposed image acquisition techniques that can reflect anatomical airway information lot breath change by EBCT Also, we proposed new method to detect automatically boundary of inner airway for acquired slice images using this image acquisition technology. We confirmed that new method detects boundary of inner airway effectively through computer simulation that apply image data about each slice position of airway. And, we could see change for cross section area of inner airway by time change. Therefore, we think that proposed method can utilize on quantitative analysis in clinical field.

• Food Science and Biotechnology
• /
• v.16 no.4
• /
• pp.632-635
• /
• 2007

This study examined the neuroprotective effect of scopoletin from Angelica dahurica against oxygen and glucose deprivation-induced neurotoxicity in a rat organotypic hippocampal slice culture. Scopoletin reduced the propidium iodide (PI) uptake, which is an indication of impaired cell membrane integrity. In addition, it inhibited the loss of NeuN, which represents the viability of neuronal cells. The results suggests that scopoletin from A. dahurica protects neuronal cells from the damage caused by oxygen and glucose deprivation.

• Journal of the military operations research society of Korea
• /
• v.14 no.1
• /
• pp.42-52
• /
• 1988

Many programmers start debugging by reading the faulty program from start to bottom without investigating carefully the erroneous program. Expert programmers, however, trace backward from a particular variable in a specific statement to identify all possible sources of influence on the value of variable (program slice). Weiser proposed a slicing algorithm (method) that is complex, iterative and still in modification [3,4]. This paper presents a method to generate a program slice by use of matrix computation which represents all possible slices of the program. The matrix representation of a program is soundly based on the graph theory of data dependency.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.266-271
• /
• 2002

We propose a hardware accelerated voxelization method for various 3D object model such as surface models, solid models, and volumetric CSG models. The algorithm utilizes the stencil buffer that is one of modern Open히 graphics hardware features. The stencil buffer is originally used to restrict drawing to certain portions of the screen. The volumetric representations of given 3D objects are constructed slice-by-slice. For each slice, the algorithm restricts the drawing areas constructed inner region of 3D objects using the stencil buffer, and generates slices of the volumetric representation for target objects. As a result, we can provide volume graphics support for various engineering applications such as multi-axis machining simulation, collision detection and finite element analysis.

• Bulletin of the Korean Chemical Society
• /
• v.30 no.11
• /
• pp.2661-2664
• /
• 2009

Photodissociation of nitrous oxide near 203 nm has been studied by a combination of high resolution slice ion imaging technique and (2+1) resonance-enhanced multiphoton ionization (REMPI) spectroscopy of $N_2(X^1{{\Sigma}_g}^+)$ via the (a″$^1{{\Sigma}_g}^+$) state. We have measured the recoil velocity and angular distributions of $N_2$ fragments by ion images of the state-resolved photofragments. The $N_2$ fragments were highly rotationally excited and the NN-O bond dissociation energy was determined to be 3.635 eV. Also, we investigated the photofragment images from the photodissociation of $N_2O$ clusters with various stagnation pressures.