• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.598-600
• /
• 2001

본 논문에서는 양상 뮤 논리를 위한 속성 명세 패턴 연구를 통해 시제 논리에 대한 패턴 기반의 단일한 프레임워크를 제시한다. 본 연구에서는 Dwyer의 속성 명세 패턴 분류를 상태(S)와 행동(A)으로 세분화하고 이를 다시 강함(A)와 약함(E)으로 다시 세분했다. 이러한 의미 기반의 계층적 패턴 분류 체계를 통해 양상 뮤 논리의 속성 명세 패턴을 분석했으며 실제 모형 검사기에서 사용된 예제들의 패턴 분류에 적용했다. 그 결과 기존의 분류 체계보다 더 정확한 분류가 가능했을 뿐만 아니라, 속성 명세의 작성 및 이해가 용이하였다.

• Fisheries and Aquatic Sciences
• /
• v.25 no.3
• /
• pp.187-187
• /
• 2022

• Korean Journal of Mathematics
• /
• v.31 no.4
• /
• pp.391-403
• /
• 2023

In this work, we establish common fixed point results by utilizing a variant of F-contraction in the framework of C^*-algebra valued metric spaces. We utilize E.A. and C.L.R. property possessed by the mappings to prove common fixed point results in the same metric settings. To validate the applicability of these common fixed point results, we provide illustrative examples too.

• The Journal of Society for e-Business Studies
• /
• v.4 no.2
• /
• pp.41-58
• /
• 1999

This paper is a study on a model of economic value of transmission speed of Internet Commerce. For this research, this paper searches the factors that influence the transmission speed of Internet and suggests the model for measurement of economic value. The model adopted in this research is CVM(contingent valuation method) using in environment economics and the research area in this paper is concentrated on Internet-based Electronic Commerce. For this purpose, this paper suggests econometrics model that measures customer's payment intention for transmission speed of Internet. This model can be used as the basic tool of feasibility of investment analysis and reasonable pricing on Internet service. For the more, it will be followed empirical study and more careful comprehension for objective validity of this study.

• Archives of Pharmacal Research
• /
• v.25 no.5
• /
• pp.636-639
• /
• 2002

The extract of the root of Polygonum multiflorum exhibited a significant antioxidant activity assessed by the DPPH radical scavenging activity in vitro. The bioassay-guided fractionation of the extract yielded a stilbene glucoside, (E)-2,3,5,4'-tetrahydroxystilbene-2-Ο-$\beta$-d-glucopyranoside (1) as an active constituent responsible for the antioxidant property. Compound 1 demonstrated a moderate DPPH radical scavenging activity ($IC_{50}$, 40 $\mu$M), while the corresponding deglucosylated stilbene 2 exhibited a much higher activity ($IC_{50}$, 0.38 $\mu$M).

• Journal of the korean Society of Automotive Engineers
• /
• v.13 no.1
• /
• pp.35-45
• /
• 1991

A linear quarter model of a vehicle suspension system is built and simulated. Especially the so-called sensitivity analysis is conducted in order to show its applicability to design problems, and sensitivity function is determined in the frequency domain. The change of frequency response function is predicted, which depends on the design parameter variation and the property is verified by computer simulation. Typical performance measures, namely, sprung mass acceleration, suspension deflection, and tire deflection are examined. The vehicle model is analyzed for ist performance sensitivity as a function of the system's feedback gains. The variable feedback gains are selected as the spring and damping coefficients. Frequency response, RMS response, and performance index of the performance evaluation variables are considered and three-dimensional and contour plots of response surfaces are formed to examine output sensitivity to suspension feedback. Performance trade-offs over the entire frequency spectrum are identified from the FRF, and that between ride quality and handling characteristics are examined from the RMS responses.

• Journal of Korea Technical Association of The Pulp and Paper Industry
• /
• v.37 no.5 s.113
• /
• pp.8-14
• /
• 2005

The difference of whiteness, brightness and lightness was clearly explained in this paper by use of a tinting dye and a fluorescent whitening agent which are commercially widely used to make paper look whiter. Other optical properties such as tint, color shade, and color difference were also discussed. It is concluded that in comparing two tinting dyes, lightness (L*) is the most important property to be compared, while whiteness data should be used in caution in order not to surpass its significant range, and a*, b* values can also be used to find the change of color shades together with ${\Delta}E$ as color difference. In comparing two fluorescent whitening agents, whiteness or brightness values are most important to be compared, but lightness values are not suitable for this purpose; a*, b* and color difference ${\Delta}E$ can also be referred, but with less significance.

• Journal of Microbiology and Biotechnology
• /
• v.28 no.7
• /
• pp.1078-1085
• /
• 2018

A salt-tolerant cellulase secreted by a marine Bacillus sp. SR22 strain with wide resistance to temperature and pH was purified and characterized. Its approximate mass was 37 kDa. The endoglucanase, named as Bc22Cel, was purified by ammonium sulfate precipitation, gel filtration chromatography, and extraction from the gel after non-reducing sodium dodecyl sufate-polyacrylamide gel electrophoresis. The optimal pH value and temperature of Bc22Cel were 6.5 and $60^{\circ}C$, respectively. The purified Bc22Cel showed a considerable halophilic property, being able to maintain more than 70% of residual activity even when pre-incubated with 1.5 M NaCl for 1 h. Kinetic analysis of the purified enzyme showed the $K_m$ and $V_{max}$ to be 0.704 mg/ml and $29.85{\mu}mol{\cdot}ml^{-1}{\cdot}min^{-1}$, respectively. Taken together, the present data indicate Bc22Cel as a potential and useful candidate for industrial applications, such as the bioconversion of sugarcane bagasse to its derivatives.

• Carbon letters
• /
• v.11 no.2
• /
• pp.122-126
• /
• 2010

The alginate-based hydrogel was prepared as a pH-sensitive drug delivery system. To enhance the drug loading capacity, activated carbon was introduced as a drug absorbent. The iron oxide was incorporated into the alginate matrix for the magnetic transferring to the target organ. The activated carbon and iron-oxide were dispersed uniformly in the alginate hydrogel. The drug release from the alginate/activated carbon composite hydrogel was carried out in various pH conditions with vitamin B12 and Lactobacillus lamnosers as model drugs. The fast and sustainable release of drug was observed in the basic condition due to the pH-sensitive solubility of alginate. The novel drug delivery system having pH-sensitive release property and magnetic movement to target place was developed by using the alginate/activated carbon composite magnetic hydrogels.

• Carbon letters
• /
• v.15 no.2
• /
• pp.129-135
• /
• 2014

Spinnable pitch for melt-electrospinning was obtained from pyrolized fuel oil by electron beam (E-beam) radiation treatment. The modified pitch was characterized by measuring its elemental composition, softening point, viscosity, molecular weight, and spinnability. The softening point and viscosity properties of the modified pitch were influenced by reforming types (heat or E-beam radiation treatment) and the use of a catalyst. The softening point and molecular weight were increased in proportion to absorbed doses of E-beam radiation and added $AlCl_3$ due to the formation of pitch by free radical polymerization. The range of the molecular weight distribution of the modified pitch becomes narrow with better spinning owing to the generated aromatic compounds with similar molecular weight. The diameter of melt-electrospun pitch fibers under applied power of 20 kV decreased 53% ($4.7{\pm}0.9{\mu}m$) compared to that of melt-spun pitch fibers ($10.2{\pm}2.8{\mu}m$). It is found that E-beam treatment for reforming could be a promising method in terms of time-savings and cost-effectiveness, and the melt-electrospinning method is suitable for the preparation of thinner fibers than those obtained with the conventional melt-spinning method.