• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.960-964
• /
• 2004

During system resource improvement process that based on Object-Oriented technology could be affect to the continuous system performance if lack appropriate management and control objects mechanism. This paper proposes a methodology to support continuous system performance and its stability. The adoption is based on Java Container Framework and Collections Framework for object collection. Also includes Software Engineering, Object Migration and Multiple Class Loaders mechanism accommodate to construct Continuous Migration Container (CMC). CMC is a runtime environment provides interfaces for management and control to support upgrading object process. Upgrade object methodology of CMC can be divided into two phase are object equivalence checking and object migration process. Object equivalence checking include object behavior verification and functional conformance verification before object migration process. In addition, CMC use Multiple Class Loaders mechanism to support reload effected classes instead of state transfer in migration process while upgrading object. These operations are crucial for system stability and enhancement efficiency.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.7C
• /
• pp.635-639
• /
• 2009

In this paper, we show that any two Hadamard matrices of the same size are equivalent if they have the property that the rows of each Hadamard matrix are closed under binary vector addition. One of direct consequences of this result is that the equivalence between cyclic Hadamard matrices constructed by maximal length sequences and Walsh-Hadamard matrix of the same size generated by Kronecker product can be established.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1457-1482
• /
• 2017

Let S and R be rings and $_SC_R$ a (faithfully) semidualizing bimodule. We introduce and study C-weak flat and C-weak injective modules as a generalization of C-flat and C-injective modules ([21]) respectively, and use them to provide additional information concerning the important Foxby equivalence between the subclasses of the Auslander class ${\mathcal{A}}_C$ (R) and that of the Bass class ${\mathcal{B}}_C$ (S). Then we study the stability of Auslander and Bass classes, which enables us to give some alternative characterizations of the modules in ${\mathcal{A}}_C$ (R) and ${\mathcal{B}}_C$ (S). Finally we consider an open question which is closely relative to the main results ([11]), and discuss the relationship between the Bass class ${\mathcal{B}}_C$(S) and the class of Gorenstein injective modules.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.642-648
• /
• 2003

In this paper, we are interested in checking equivalence of FSMs(finite state machines). Two FSMs are equivalent if and only if their responses are always equal with each other with respect to the same external stimuli. Equivalence checking FSMs makes complicated FSM be substituted for simpler one, if they are equivalent. We can also determine the system satisfies the requirements, if they are all written in FSMs. In this paper, we regard equivalence checking problem as model checking one. For doing so, we construct the product model $M ={M_A} {\beta}{M_B} from two FSMs ${M_A} and {M_B}$. And we also get the temporal logic formula ${\Phi}$ from the equivalence checking definition. Then, we can check with model checker whether if satisfies ${\Phi}$, written $M= {.\Phi}$. Two FSMs are equivalent, if $M= {.\Phi}$ Otherwise, it is not equivalent. In that case, model checker generates counterexamples which explain why FSMs are not equivalent. In summary, we solve the equivalence checking problem with model checking techniques. As a result of applying to several examples, we have many satisfiable results.

• Korean Journal of Mathematics
• /
• v.28 no.2
• /
• pp.285-294
• /
• 2020

We study the complementary information set codes (for short, CIS codes) over 𝔽₄. They are strongly connected to correlation-immune functions over 𝔽₄. Also the class of CIS codes includes the self-dual codes. We find a construction method of CIS codes over 𝔽₄ and a criterion for checking equivalence of CIS codes over 𝔽₄. We complete the classification of all inequivalent CIS codes of length up to 8 over 𝔽₄.

• Journal of Information Management
• /
• v.29 no.1
• /
• pp.20-39
• /
• 1998

In order to index documents, a thesaurus which consists of terms and relationships between terms is used. When an index term is selected, retrieval performance in the information retrieval system could be improved by using the relationship between the terms in the thesaurus. Recently, the usage of a thesaurus are extended from information retrieval to language and knowledge engineering, but term relationships in a thesaurus are simply represented in equivalence, hierarchy, and association. Particularly the associative relationship is vague in its definition and range as compared with the other relationships, i.e. equivalence, hierarchy, therefore the terms that are selected through associative relationship aren't well controlled. This study examines the relationships of existing thesauri, especially the types and ranges of associative relationship, and suggests the adequate type of associative relationship.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.11
• /
• pp.1368-1375
• /
• 2004

Measurements of OH chemiluminescence in an atmospheric pressure, laboratory-scale dump combustor at equivalence ratios ranging from 0.63 to 0.89 were reported. The signal from the first electronically excited state of OH to ground state was detected through a band-pass filter with an ICCD. The objectives of this study are two: One is to see the effects of equivalence ratio on global heat release rate and local Rayleigh index distribution. To get the local Rayleigh index distribution, the line-of-sight images were inverted by tomographic method, such as Abel do-convolution. Another aim is to investigate the validity of using OH chemiluminescence acquired with an ICCD as a qualitative measure of local heat release. For constant inlet velocity and temperature, the overall intensities of OH emission acquired at different equivalence ratio showed periodic and higher value at high equivalence ratio. OH intensity averaged over one period of pressure increased exponentially with equivalence ratio. Local Rayleigh index distribution clearly showed the region of amplifying or damping the combustion instability as equivalence ratio increased. It could provide an information/insights on active control such as secondary fuel injection. Finally, local heat release rate derived from reconstructed OH images were presented fur typical locations.

• Journal of Information Technology Services
• /
• v.7 no.4
• /
• pp.87-99
• /
• 2008

As the technologies for telecommunication have been evolving, more enhanced information services and integrated information systems have been introduced, which can manage a variety of information from the heterogeneous systems. The major obstacle for the integrated information systems is the integrating heterogeneous databases in the systems and the heterogeneity problems can be classified into the structural and data heterogeneities. However, the previous researches have mainly highlighted into the solving structural heterogeneity problems. This paper identifies the data heterogeneity problems for multi-database schema integrations and proposes a new solving method. We analyze the semantics equivalence in data values based on the functional dependency, primary and candidate keys, and present a procedural solution of data heterogeneity in the perspective of the concept of attribute equivalence, integration key and conceptual integration table.

• Journal of Korean Academy of Nursing Administration
• /
• v.13 no.4
• /
• pp.509-515
• /
• 2007

Purpose: The purpose of this study was to translate and validate the Korean version of Hall's Professional Inventory(HPI) scale to assess levels of professionalism among Korean registered nurses. Method: The 25 item HPI scale was translated and content review was done by translation panel. After the content review, a bilingual nursing scholar performed the back-translation into English. A semantic equivalence test was conducted with 5 American nursing professors. A pilot study was conducted with a sample of 164 registered nurses in Korea to test the validity and reliability of the translated HPI. Result: The content equivalence for translated version of HPI was validated by a translation panel. The finding of the semantic equivalence test of back-translated version was 72.8%. The Cronbach's alpha for the Korean version of HPI was .820. Conclusions: This study provides information about the issues of translating an instrument such as the HPI. The Korean version of the HPI is a valid and reliable instrument and can have psychometric properties equivalent to those of the original HPI. The translated version could be used for assessing levels of professionalism for other health care professionalism as well as nurses.

• Journal of Information Technology Services
• /
• v.9 no.4
• /
• pp.219-229
• /
• 2010

The Green's equivalence relations have played a fundamental role in the development of semigroup theory. They are concerned with mutual divisibility of various kinds, and all of them reduce to the universal equivalence in a group. Boolean matrices have been successfully used in various areas, and many researches have been performed on them. Studying Green's relations on a monoid of boolean matrices will reveal important characteristics about boolean matrices, which may be useful in diverse applications. Although there are known algorithms that can compute Green relations, most of them are concerned with finding one equivalence class in a specific Green's relation and only a few algorithms have been appeared quite recently to deal with the problem of finding the whole D or J equivalence relations on the monoid of all $n{\times}n$ Boolean matrices. However, their results are far from satisfaction since their computational complexity is exponential-their computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices and the size of the monoid of all $n{\times}n$ Boolean matrices grows exponentially as n increases. As an effort to reduce the execution time, this paper shows an isomorphism between the R relation and L relation on the monoid of all $n{\times}n$ Boolean matrices in terms of transposition. introduces theorems based on it discusses an improved algorithm for the J relation computation whose design reflects those theorems and gives its execution results.