• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.4
• /
• pp.21-27
• /
• 1975

In this paper, a procedure for deriving of multiple fault detection test sets is presented for fan-out reconvergent combinational logic networks. A fan-out network is decomposed into a set of fan-out free subnetworks by breaking the internal fan-out points, and the minimal detecting test sets for each subnetwork are found separately. And then, the compatible tests amonng each test set are combined maximally into composite tests to generate primary input binary vectors. The technique for generating minimal test experiments which cover all the possible faults is illustrated in detail by examples.

• Journal of the Korean Geotechnical Society
• /
• v.33 no.11
• /
• pp.35-43
• /
• 2017

In this study, the pull-out resistance behavior of the anchor with the bump type resistors at the anchor body was experimentally investigated. In the model tests, the pull-out resistance was measured by pulling out the anchor at a constant speed. Anchor body was installed in the center of the circular sand tank. Pull-out tests were conducted for 10 conditions. The anchor type (existence of the resistor), the friction conditions of the anchor body surface ($1/3{\phi}$, $2/3{\phi}$, ${\phi}$), the bump type resistor set number (1set, 2set, 4set), and the height of resistors (0.05d, 0.10d, 0.20d) were varied. The load-displacement relationship for each conditions was measured during the pull-out tests at a constant speed (1 mm/min). Maximum pull-out length was 80 mm. As a result, the pull-out behavior of the friction type anchor and the expansion type anchor was different. As the number of resistor increased, the maximum pull-out resistance increased and the residual pull-out resistance ratio increased significantly, which were at 171~591 percent larger than that of the friction type anchor.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2007.04a
• /
• pp.157-162
• /
• 2007

A new level set based topology optimization employing inner-front creation algorithm is presented. In the conventional level set based topology optimization, the optimum topology strongly depends on the initial level set distribution due to the incapability of inner-front creation during optimization process. In the present work, in this regard, an inner-front creation algorithm is proposed. in which the sizes. shapes. positions, and number of new inner-fronts during the optimization process can be globally and consistently identified by considering both the value of a given criterion for inner-front creation and the occupied volume (area) of material domain. To facilitate the inner-front creation process, the inner-front creation map which corresponds to the discrete valued criterion of inner-front creation is applied to the level set function. In order to regularize the design domain during the optimization process, the edge smoothing is carried out by solving the edge smoothing partial differential equation (PDE). Updating the level set function during the optimization process, in the present work, the least-squares finite element method (LSFEM) is employed. As demonstrative examples for the flexibility and usefulness of the proposed method. the level set based topology optimization considering lightweight design of 3D shell structure is carried out.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.149-152
• /
• 2011

A Multi-Vision needs an image adjust of each product to make the same picture quality for all products when it's installed. Owing to this reason need individual control. This document request indivisual control method for each product with the Remote controller. To realize this method need make Set ID and Picture ID on the UI and need daisy chain of cable to connect Remocon code(IR Signal) In to Out, After allocation the Set ID for each product. Picture ID of the product which want to change picture quality make equal to Set ID. And the product which is same Set ID and Picture ID is only controlled through decoding of Remocon code to Scaler.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1995.03a
• /
• pp.71-77
• /
• 1995

In this paper, an experimental study of hot forging process is carried out using plasticine. In order to manufacture the die set, Stere olithography Apparatus(SLA) which is most widely used rapid prototyping system is introduced. Turbine blade forging is executed using plasticine and the SLA prototype die set. Through the experiment ,it turned out that SLA prototype is suitable to the die set for the plasticine workpiece, and theformability and forming load of turbine blade forging are predicted.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.22 no.4
• /
• pp.32-40
• /
• 1986

A model experiment of purse seine by the circulating water tank was carried out on the changes of net shape and the tension of purseline under operation in two layer current. In the circular tank, the two layer current was made by cutting off the current of upper layer and producing the bottom current by the equipment shown in Fig. 1. The model experiment of purse sein was made on a reduced scale 1 :400, and the experiment was carried out according to the Tauti's model law. When the bottom current of O. 5 knot flows to lower part of three-eighths of net, following results are derived. The depth of sinkerline reached only about 80% of that of no current set. The horizontal shift of sinker line caused by the bottom current is maximized in tight set. The enclosed area by the floatIine immediately after the completion of set net is 61. 5% in tight set, 50. 0 % in loose set and 54. 1 % in lateral set of those in the case of no current. In the first half period of pursing, the tension of the purseline is enhenced by the bottom current and the pattern of increasing is irregular in the tension curves.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1341-1356
• /
• 2018

The author devotes this paper to defining a new class of generalized soft open sets, namely soft somewhere dense sets and to investigating its main features. With the help of examples, we illustrate the relationships between soft somewhere dense sets and some celebrated generalizations of soft open sets, and point out that the soft somewhere dense subsets of a soft hyperconnected space coincide with the non-null soft ${\beta}$-open sets. Also, we give an equivalent condition for the soft csdense sets and verify that every soft set is soft somewhere dense or soft cs-dense. We show that a collection of all soft somewhere dense subsets of a strongly soft hyperconnected space forms a soft filter on the universe set, and this collection with a non-null soft set form a soft topology on the universe set as well. Moreover, we derive some important results such as the property of being a soft somewhere dense set is a soft topological property and the finite product of soft somewhere dense sets is soft somewhere dense. In the end, we point out that the number of soft somewhere dense subsets of infinite soft topological space is infinite, and we present some results which associate soft somewhere dense sets with some soft topological concepts such as soft compact spaces and soft subspaces.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.11 no.4
• /
• pp.17-22
• /
• 1974

In this paper, the problem of finding tests to detect faults in combinational logic circuits is considered. At first, the method of fault detection in fan-out-free irredundant circuits is derived, and the result is extended to the fan-out redundant circuits. A fan-out circuit is decomposed into a set of fan-out-free subcircuits by cutting the lines at the internal fan-out points, and the minimal detecting test. sets for each subcircuit are found separately. And then, the compatible tests from each test set are combined maximally into composite tests to generate primary input binary vectors. By this procedure. the minimal complete test sets for reconvergent fan-out circuits are easily found and the detectable and undetectable faults are also classified clearly.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.41 no.5
• /
• pp.235-249
• /
• 2004

This paper proposes a method for estimating isotropic out-of-focus blur and a fully digital auto-focusing based on a priori estimate set of PSFs. The proposed algorithm for identifying the isotropic PSF is performed by approximating an isotropic blur to a novel discrete PSF model and estimating the PSF model coefficients from degraded edges. After acquiring the set of PSFs by proposed PSF estimation algorithm the proposed fully digital auto-focusing system can restore out-of-focused images by two steps: i) selecting an optimal PSF and ii) restoring the out-of-focused image by digital image restoration.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.4
• /
• pp.295-300
• /
• 2007

The similarity analysis for fuzzy set pair or crisp set pair are carried out. The similarity measure that is based on distance measure is derived and proved. The proposed similarity measure is considered with the help of analysis for uncertainty or certainty part of the membership functions. The usefulness of proposed similarity is verified through the computation of similarity between fuzzy set and crisp set or fuzzy set and fuzzy set. Our results are also compared with those of previous similarity measure which is based on fuzzy number.