• Journal of the Korean Chemical Society
• /
• v.10 no.1
• /
• pp.18-24
• /
• 1966

In formulating the Transient State Theory of Significant Liquid Structure it is assumed that there exist holes of molecular size in liquids and that the liquid state is partitioned in three states, namely, solid-like state, representing the molecules apart from holes; gas-like state, representing the molecules jumping into the holes; and the transient state, representing the molecules in a possible state of jumping into the holes by aquiring the strain energy due to the holes. It is found that the partition function derived according to the proposed theory can be applied to the liquids of argon, nitrogen, benzene, chloroform, and carbon disulfide with good accuracy.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.510-520
• /
• 2002

This paper proposes a transformation-based approach to design constraint-based analyses for Java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for Java and the second one deals with a sparse exception analysis for Java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.

• Bulletin of the Korean Chemical Society
• /
• v.5 no.3
• /
• pp.104-108
• /
• 1984

The self-diffusion experiment of THO was performed across a series of copolymer hydrogel membranes at different temperatures. Copolymer hydrogel membranes were prepared by copolymerizing 2-hydroxyethyl methacrylate (HEMA) and 2-aminoethyl methacrylate (AEMA) in the presence of the solvent and the crosslinker, ethylene glycol dimethacrylate (EGDMA). By changing the crosslinker content and the ratio of HEMA and AEMA monomer, two series of copolymer hydrogel membranes were synthesized. The tagging material was THO and efflux of THO was counted on a Liquid Sc-intillation Counter. The experimental data show that the permeability decreases as the amount of EGDMA and the mole fraction of HEMA increase, and the permeability is proportional to the temperature. The partition coefficient shows a parallel trend with permeability. Using the relationship between viscosity and diffusivity, the viscosity of water within the membrane was obtained. According to the result, the viscosity of watler within the membrane has the same value with those of supercooling water. And we obtained the activation energy of THO for transport in the membrane by using Arrhenius plotting.

• Kyungpook Mathematical Journal
• /
• v.58 no.4
• /
• pp.747-759
• /
• 2018

A graph G = (V (G), E(G) of order n = |V (G)| and size m = |E(G)| is said to be odd harmonious if there exists an injection $f:V(G){\rightarrow}\{0,\;1,\;2,\;{\ldots},\;2m-1\}$ such that the induced function $f^*:E(G){\rightarrow}\{1,\;3,\;5,\;{\ldots},\;2m-1\}$ defined by $f^*(uv)=f(u)+f(v)$ is bijection. While a bipartite graph G with partite sets A and B is said to be bigraceful if there exist a pair of injective functions $f_A:A{\rightarrow}\{0,\;1,\;{\ldots},\;m-1\}$ and $f_B:B{\rightarrow}\{0,\;1,\;{\ldots},\;m-1\}$ such that the induced labeling on the edges $f_{E(G)}:E(G){\rightarrow}\{0,\;1,\;{\ldots},\;m-1\}$ defined by $f_{E(G)}(uv)=f_A(u)-f_B(v)$ (with respect to the ordered partition (A, B)), is also injective. In this paper we prove that odd harmonious graphs and bigraceful graphs are equivalent. We also prove that the number of distinct odd harmonious labeled graphs on m edges is m! and the number of distinct strongly odd harmonious labeled graphs on m edges is [m/2]![m/2]!. We prove that the Cartesian product of strongly odd harmonious trees is strongly odd harmonious. We find some new disconnected odd harmonious graphs.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1531-1548
• /
• 2016

Let C[0, t] denote the space of real-valued continuous functions on [0, t] and define a random vector $Z_n:C[0,t]{\rightarrow}\mathbb{R}^n$ by $Z_n(x)=(\int_{0}^{t_1}h(s)dx(s),{\ldots},\int_{0}^{t_n}h(s)dx(s))$, where 0 < $t_1$ < ${\cdots}$ < $ t_n=t$ is a partition of [0, t] and $h{\in}L_2[0,t]$ with $h{\neq}0$ a.e. Using a simple formula for a conditional expectation on C[0, t] with $Z_n$, we evaluate a generalized analytic conditional Wiener integral of the function $G_r(x)=F(x){\Psi}(\int_{0}^{t}v_1(s)dx(s),{\ldots},\int_{0}^{t}v_r(s)dx(s))$ for F in a Banach algebra and for ${\Psi}=f+{\phi}$ which need not be bounded or continuous, where $f{\in}L_p(\mathbb{R}^r)(1{\leq}p{\leq}{\infty})$, {$v_1,{\ldots},v_r$} is an orthonormal subset of $L_2[0,t]$ and ${\phi}$ is the Fourier transform of a measure of bounded variation over $\mathbb{R}^r$. Finally we establish various change of scale transformations for the generalized analytic conditional Wiener integrals of $G_r$ with the conditioning function $Z_n$.

• Journal of Korea Multimedia Society
• /
• v.3 no.2
• /
• pp.201-208
• /
• 2000

In this paper We describe an algorithm which is devised for 4he partition o# the input space and the generation of fuzzy rules by the fuzzy entropy and tested with the time series prediction problem using Mackey-Glass chaotic time series. This method divides the input space into several fuzzy regions and assigns a degree of each of the generated rules for the partitioned subspaces from the given data using the Shannon function and fuzzy entropy function generating the optimal knowledge base without the irrelevant rules. In this scheme the basic idea of the fuzzy neural network is to realize the fuzzy rules base and the process of reasoning by neural network and to make the corresponding parameters of the fuzzy control rules be adapted by the steepest descent algorithm. The Proposed algorithm has been naturally derived by means of the synergistic combination of the approximative approach and the descriptive approach. Each output of the rule's consequences has expressed with its connection weights in order to minimize the system parameters and reduce its complexities.

• The KIPS Transactions:PartB
• /
• v.11B no.5
• /
• pp.603-610
• /
• 2004

The distributed Information Retrieval System centrally controlled by mediator or meta search engine result in congestion of heavy traffic and int he problem of increment of cost for the reason of the design of complicated algorithm for central control and installation of hardware. So to figure out this problem, the way is needed that has independent retrieval functionality and can cooperate each other without dependency. In this paper, we overview a few works involved in distributed information retrieval system, then, implement algorithm and design the frame-work of distributed information retrieval system using sequential transferring method(STM) including multiple information retrieval system separated from central control. For this first of all, we present a web partition policy which devide and manage web logically and we present the sequential query processing way by means of illustration through changing numbered information retrieval system. Then, we also present 3-layered structure of framework and function and module of each layer suitable for information retrieval system. Last of ail, for effective implementation of STM algorithm we analysis module structure and present description of pseudocode of this, and show that the proposed STM algorithm works smoothly by demonstration of sequential query transfer process between servers.

• Journal of Educational Research in Mathematics
• /
• v.20 no.1
• /
• pp.85-102
• /
• 2010

Linear programming(LP) is useful for finding the best way in a given condition for some list of requirements represented as linear equations. This study analysed LP in mathematics contexts and LP in school mathematics contexts, considered learning process of LP from an epistemological point of view, and explored a hypothetical learning trajectory of LP. The differences between mathematics contexts and school mathematics contexts are whether they considered that the convex polytope $\Omega$ is feasible/infeasible or bounded/unbounded or not, and whether they prove the theorem that the optimum is always attained at a vertex of the polyhedronor not. And there is a possibility that students could not understand what is maximum and minimum of a linear function when the domain of the function is limited. By considering these three aspects, we constructed hypothetical learning trajectory consisted of 4 steps. The first step is to see a given linear expression as linear function, the second step is to partition a given domain by straight lines, the third step is to construct the conception of y-intercept by relating lines and the range of k, and the forth step is to identify whether there exists the optimum in a given domain or not.

• YAKHAK HOEJI
• /
• v.48 no.6
• /
• pp.328-334
• /
• 2004

Cervical cancer is one of the leading causes of female death. Viral oncoproteins E6 and E7 are selectively retained and expressed in carcinoma cells infected with HPV (Human pa pilloma virus) type 16 and cooperated in immotalization and transformation of primary keratinocyte. E6 and E7 oncoproteins interfere the functions of tumor suppressor proteins p53 and retinoblasoma protein (pRb), respectively. Among a lots of natural products, Mentha arvensis Linne var.piperascens have inhibitory effects on bindings between E6 oncoprotein and tumor suppressor p53, E3 ubiqutin- protein ligase (E6AP). HPV oncoprotein inhibitors from Mentha piperita L. were isolated by solvent partition and column chromatography (Silica gel, RP-18) and inhibitory compounds were finally purified by HPLC using an ELISA screening system based on binding between E6 and E6AP. The aim of this study is to identify the structure of inhibitory compounds and to investigate whether these compounds have inhibitory effects on functions of E6 oncoprotein. We investigated whether caffeic acid methyl ester (CAM) extracted from Mentha piperita L. could inhibit the function of E6 oncoprotein. CAM inhibited the in vitro binding of E6 and E6AP which are essential for the binding and degradation of the tumor suppressor p53 and also inhibited the proliferation of human cervical cancer cell lines (SiHa and CaSKi) in a dose response manner. These results suggest that CAM inhibited the function of E6 oncoprotein, suggesting that it can be used as a potential drug for the treatment of cervical cancers infected with HPV.

• Journal of Korean Society of Forest Science
• /
• v.98 no.6
• /
• pp.780-790
• /
• 2009

The objective of this study was to analyze 'Forestland Classification System' in Korea and to develop a strategy for its improvement. A survey was conducted in this study based on the Delphi technique, one of the interactive survey method relying on a panel of experts. The result indicated that the existing 'Forestland Classification System' was initiated for reasonable management of forestland, but now it turned into one of the most strict management restrictions. To improve forestland management in Korea, it was suggested to adopt 'Forest Function System' in this study. Moreover, to avoid indiscreet landuse conversion that might be occurred by substituting the 'Forest Function System' for the 'Forestland Classification System', it was suggested to adopt 'Forestland Conversion Propriety Assessment System'. In fact, landuse conversion has been regulated by the 'Environmental Impact Assessment System', but this system appeared inadequate to be applied to the forested area. Illegal acts for having permission of landuse conversion for reserved forests was another big issue in the forestland management. For example, alteration of the reserved status of forests or partition into patches smaller than the size limit has been attempted. Thus in this study, it was strongly recommended to take sanction against such illegal acts. In order to enhance the efficiency of forestland management, it was also suggested to integrate administrative agencies related to the landuse conversion or to take over the charge to local governments.