• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.6
• /
• pp.1-10
• /
• 1996

Protocol specifications and service definitions for distributed open system applications are defined using ASN.1. Therefore, to implement an open system application likes MHS, it is necessary to have well defined encoding/decoding modules which translate ASN.1 protocol specifications into their transfer syntaxes. However, that work is usually tedius, time consuming, and error prone. In this paper, we designed and implemented a new ASN.1 tool set which includes a new ASN.1 run-time library, called HY BER/DER, and an enhanced ASN.1-to-C compiler, called HYASNC$^{+}$. HYASNC$^{+}$ automatically generates C language encoder/decoder stub files and heder files for basic ASN.1 types and subtypes defiend in X.208 recommandation, and all X400 MHS system macro definitions. And, we evaluated the performance of HYASNC$^{+}$ compiler and HY BER/DER run-tiem library, and tested the interoperability of ASN.1 run-time library.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.21 no.5
• /
• pp.55-60
• /
• 1984

With the advancement of CMOS technology, it has become attractive to employ complex gate structures in realizing digital circuits. A new test generation algorithm for CMOS complex gates to detect all stuck-open and stuck-on faults considering internal gate response and unknown state is proposed. Minimal and complete set can be derived by this algorithm. Also, it is verified that such a test set is generated applying this algorithm to arbitrary CMOS complex gates by computer.

• East Asian mathematical journal
• /
• v.27 no.3
• /
• pp.373-380
• /
• 2011

In this paper L-fuzzy ${\omega}$-closed and L-fuzzy ${\omega}$-open sets are introduced. Also a new class of L-fuzzy topological space called L-fuzzy ${\omega}$-basically disconnected space is introduced. Several characterizations and some interesting properties are also given.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.171-179
• /
• 2000

We prove the following: (1) For a Hausdorff space X, the hyperspace K(X) of compact subsets of X is hemicompact if and only if X is hemicompact. (2) For a regular space X, the hyperspace $C_K(X)$ of subcontinua of X is hemicompact (hemiconnected) if and only if X is hemicompact (hemiconnected). (3) For a locally compact Hausdorff space X, each open set in X is hemicompact if and only if each basic open set in the hyperspace K(X) is hemicompact. (4) For a connected, locally connected, locally compact Hausdorff space X, K(X) is hemiconnected if and only if X is hemiconnected.

• Journal of KIISE:Computer Systems and Theory
• /
• v.37 no.1
• /
• pp.1-7
• /
• 2010

Detecting data races is important for debugging programs with OpenMP directives, because races result in unintended non-deterministic executions of the program. It is especially important to detect the first data races to occur for effective debugging, because the removal of such races may make other affected races disappear or appear. The previous tools for race detecting can not guarantee that detected races are the first races to occur. This paper suggests a tool what detects the first races to occur on the program with nested parallelism using the two-pass on-the-fly technique. To show functionality of this tool, we empirically compare with the previous tools using a set of the synthetic programs with OpenMP directives.

• Journal of Internet Computing and Services
• /
• v.4 no.5
• /
• pp.87-96
• /
• 2003

The additional mechanism is required to set up a secure connection among the communication subjects in the internet environment. Each entity should transfer and receive the encrypted and hashed data to guarantee the data integrity. Also, the mutual authentication procedure should be processed using a secure communication protocol. Although the OpenSSL which implements the TLS is using by many developers and its stability and performance are proved, it has a difficulty in using because of its large size. So, this paper designs and implements the secure communication which the users can use easily by modification works of OpenSSL library API. We proved the real application results using the client/server case which supports a secure communication using the implemented API.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.6 no.2
• /
• pp.106-110
• /
• 1996

In this paper, we define a (${\tau}_i, {\tauj}$)-fuzzy $\beta-open$ set and a fuzzy pairwise fuzzy $-continuous mapping on fuzzy bitopological spaces ans study some of their properites.

• Communications of the Korean Mathematical Society
• /
• v.13 no.1
• /
• pp.137-150
• /
• 1998

The purpose of this paper is to introduce and study the concept of fuzzy FC-compactness for fuzzy topological spaces.

• The Journal of Society for e-Business Studies
• /
• v.2 no.1
• /
• pp.79-94
• /
• 1997

Commerce activities which are free form space and time constraint using a communication network are called Electronic Commerce(EC). Because of sending a commercial information using open network such as Internet in EC, they need the security of commerce information (payment information and purchase information), checking the integrity of transferring data and certifying all parts participated in commerce for a secure commerce. Recently Visa and MasterCard Co. released the Secure Electronic Transaction (SET) Protocol for secure payment card transaction on Internet. This paper proposes a Secure Electronic Commerce Transaction Model(SECTM) using SET in order to support the secure commerce on Internet. The proposed transaction model prevents merchant from abusing the cardholder's payment information (credit-card number etc.) and enables cardholder to shop securely in Electronic Shopping Mall.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.2
• /
• pp.111-116
• /
• 2007

The design problem of partial pole assignment (PPA) in two classes of frequency-domain MIMO models by constant gain feedback is investigated in this paper. Its aim is to design a constant gain feedback which changes only a subset of the open-loop eigenvalues, while the rest of them are kept unchanged in the closed-loop system. A near general parametric expression for the feedback gain matrix in term of a set of design parameter vectors and the set of the closed-loop poles, and a simple parametric approach for solving the proposed problem are presented. The set of poles do not need to be previously prescribed, and can be set undetermined and treated together with the set of parametric vectors as degrees of design freedom provided by the approach. An illustrative example shows that the proposed parametric method is simple and effective.