• 대한미세수술학회:학술대회논문집
• /
• 2001.11a
• /
• pp.210-211
• /
• 2001

• Proceedings of the Korean Society of Sericultural Science Conference
• /
• 2002.04a
• /
• pp.57-57
• /
• 2002

• Proceedings of the Korean Magnestics Society Conference
• /
• 2007.12a
• /
• pp.162-163
• /
• 2007

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.777-784
• /
• 2008

Recently in the field of model checking, to overcome the state explosion problem, the method of using a SAT-solver is mainly researched. To use a SAT-solver, the system to be verified is translated into CNF and the Boolean cardinality constraint is widely used in translating the system into CNF. In BCC it is dealt with set of boolean variables, but there is no translating method of the sequence among Boolean variables. In this paper, we propose methods for translating the problem, which is extracting a subsequence with length k from a sequence of Boolean variables, into CNF formulas. Through experimental results, we show that our method is more efficient than using only BCC.

• Applied Chemistry for Engineering
• /
• v.3 no.4
• /
• pp.627-638
• /
• 1992

PPG and BPA-type polyurethane prepolymers(NCO terminated) were obtained from bisphenol A and four types of PPG, having different molecular weight and numbers of functional groups. PPG and BPA-type polyurethane dimethacrylates were synthesized by reacting PPG and BPA-type polurethane prepolymer with 2-HEMA respectively. PPG-type polyurethane dimethacrylates were formulated with initiator(CHP), inhibitor(hydroquinone) and reactive diluent(TEGDMA). The effect of formulation on the torque changes was studied. Four kinds of PPG-type polyurethane dimethacrylates, having different molecular weight and numbers of functional group, were formulated with the same amount of CHP, TEGDMA and hydroquinone. The effects of the molecular weight of PPG-type polyurethane dimethacrylate and functional group numbers of PPG-type polyurethane dimethacrylates on the torque were investigated. These results showed that the torque of PPG-type polyurethane dimethacrylates, having same numbers of functional group, increased with decreasing molecular weight of dimethacrylates and torque of PPG-type polyurethane dimethacrylate, having similar molecular weight, was increased with increasing the number of fuctional group. The glass-transition temperature(Tg) of gels obtained by thermosetting cure for the four kinds of PPG-type polyurethane dimethacrylates were measured by DSC and molecular weights between cross-links(Mc) were calculated from Tg changes.

• Korean Journal of Ecology and Environment
• /
• v.41 no.2
• /
• pp.216-227
• /
• 2008

To understand eutrophication in the upper regions of brackish Lake Sihwa with a limited water exchange, temporal and spatial distributions of pollutants in water and sediment were investigated from March to October in 2005 and 2006. Also, pollution levels of water and sediment were estimated by trophic state index (TSI) and sediment quality guideline (SQG). Total nitrogen (TN), total phosphorus (TP), organic matter (COD), and chlorophyll $\alpha$ (Chl-$\alpha$) concentrations in the surface waters were largely varied temporally and spatially, and the variations were highest in the middle areas where strong halocline was formed. Chl-$\alpha$ concentrations in the middle area were very high in April (>$900\;{\mu}g\;L^{-1}$) when algal blooms (red tides) occurred. The relationships between TN and Chl-$\alpha$ (r=0.31), and TP and Chl-$\alpha$ (r=0.65) indicated that the algal growth was primarily affected by phosphorus rather than nitrogen. The distribution of COD was similar to that of Chl-$\alpha$, indicating that the autochthonous organic matters may be a more important carbon source, especially in the middle areas. The brackish water regions were classified as eutrophic or hypertrophic based on their TSI values ($69{\sim}76$). In addition, the content of nutrients (especially TP) in surface sediments were classified as severe polluted state, except the upper areas. Major causes of the eutrophication observed were probably due to high nutrients loading from watersheds, the phosphorus release from anaerobic sediment, and long retention time by the limited water exchange through the sluice gates.

• Korean Journal of Environment and Ecology
• /
• v.32 no.6
• /
• pp.591-602
• /
• 2018

Clithon retropictus has been designated as an endangered wildlife Class II due to its high value as a biological indicator species capable of judging environmental quality such as salinity, water flow, and ground conditions. However, basic research on its physiological and ecological characteristics is still lacking. As such, this study intended to examine the impact of environmental conditions such as salinity and soil particle size on the size and density of Clithon retropictus at the Yeoncho river estuary. The investigation of the salinity, which is a key variable that affects the distribution of organisms in the estuary, showed that Clithon retropictus could grow at a salinity ranging from 0#x2030; (freshwater) to 25‰ (brackish water). The coarse gravel (19-75mm) tended to increase nearer the upper stream (under the Yeoncho weir), while the proportion of particles smaller than sand (less than 19mm) increased toward the downstream. The population and the size of the individuals decreased rapidly in the downstream where water stagnated near the Yeoncho weir, and the salt water joined. The results indicated that Clithon retropictus had a high tolerance to salinity, but the adaptability was weaker toward the extremes since the population, and the size tended to decrease as the salinity increased. The correlation analysis revealed that both salinity and soil particle size affected the population and individual size. The correlation between the individual size and salinity was -0.242 (P <0.01), indicating that the size decreased with increasing salinity. The correlation between individual size and coarse gravel having a particle size of 19mm or more was 0.420 (P <0.01), indicating that the size increased with increasing the particle size.

• Korean Journal of Ecology and Environment
• /
• v.55 no.1
• /
• pp.49-59
• /
• 2022

Total of 325 estuaries in Korea were surveyed to analyze the effect of presence of sluice gate on the estuary environment and fish community from 2016 to 2018. Fish community in closed and open estuaries showed differences generally, and the relative abundance (RA) of primary freshwater species in the closed and migratory species in the open estuaries were high. The result of classifying species by habitat characteristics in closed and open estuaries showed similar tendencies at the estuaries of south sea and west sea. The relative abundances of primary freshwater species in the closed estuaries at the estuaries of south sea and west sea were the highest, but estuarine and migratory species were high in both closed and open estuaries at the estuaries of east sea. Primary freshwater species showed higher abundances in the closed estuaries with reduced salinity due to blocking of seawater since they are not resistant to salt. However, primary freshwater species in open estuaries at east sea was higher than that of the closed estuaries, which is considered to be the result of reflecting the characteristics (tide, sand bar, etc.) of the east sea. Korea Estuary Fish Assessment Index (KEFAI) was showed to be higher at open estuaries than closed in all sea areas (T-test, P<0.001), the highest KEFAI was observed in closed estuaries at south sea, and open estuaries in east sea. Fish community of closed and open estuaries in each sea areas showed statistically significant differences (PERMANOVA, East, Pseudo-F=3.0198, P=0.002; South, Pseudo-F=22.00, P=0.001; West, Pseudo-F=14.067, P=0.001). Fish assemblage similarity by sea areas showed a significant differences on fish community in closed and open estuaries at east sea, south sea, and west sea (SIMPER, Group dissimilarity, 85.85%, 88.36%, and 88.05%). This study provided information on the characteristics and distribution of fish community according to the types of estuaries. The results of this study can be used as a reference for establishing appropriate management plans according to the sea areas and type in the management and restoration of estuaries for future.

• Journal of Aquaculture
• /
• v.15 no.1
• /
• pp.23-29
• /
• 2002

To develop techniques for the production of artificial seedling of Corbicula japonica, protocols for induction of spawning and larval development were developed. During the assumed spawning period of August to mid-September, attempts were first made to induce spawning by gonadal incision and UV-irradiation but all in vain. At the end of August, elevated thermal induction evoked 90 % positive response in animals maintained at $3\textperthousand$ salinity. Immersion in (1/1000~3/1000 N) ammonium hydroxide ($NH_4$OH) also induced spawning in 15~45%) of the treated animals at $3\textperthousand$ salinity. Fertilized eggs measured 86$\mum. At 23.0~24.5$^{\circ}C$, the fertilized egos developed into 4-cell stage embryos within 2 hours, trochophores 15 hours, D-shaped larvae 2 days, umbo 9 days and fully grown veligers, ready to infiltrate into the sediment, within 16 days.

• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.661-670
• /
• 2008

In some applications of software engineering such as the verification of software model or embedded program, SAT solver is used. To practical use a SAT solver, a problem is encoded to a CNF formula, but because the formula has lower expressiveness than software models or source codes, optimal CNF encoding is required. In this paper, we propose optimal encoding techniques for the problem of "Selecting adjacent $k{\leq}n$ among n objects," Through experimental results we show the proposed constraint is efficient and correct to solve Japanese puzzle. As we know, this paper is the first study about CNF encoding for adjacency in BCC.