• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.2
• /
• pp.106-114
• /
• 2010

We proposed an unified design methodology and verification platform for giga-scale System on Chip (SoC). According to the growth of VLSI integration, the existing RTL design methodology has a limitation of a production gap because a design complexity increases. A verification methodology need an evolution to overcome a verification gap. The proposed platform includes a high level synthesis, and we develop a power-aware verification platform for low power design and verification automation using it's results. We developed a verification automation and power-aware verification methodology based on control and data flow graph (CDFG) and an abstract level language and RTL. The verification platform includes self-checking and the coverage driven verification methodology. Especially, the number of the random vector decreases minimum 5.75 times with the constrained random vector algorithm which is developed for the power-aware verification. This platform can verify a low power design with a general logic simulator using a power and power cell modeling method. This unified design and verification platform allow automatically to verify, design and synthesis the giga-scale design from the system level to RTL level in the whole design flow.

• Journal of Korean Society of Forest Science
• /
• v.110 no.4
• /
• pp.658-664
• /
• 2021

This study aimed to develop accurate status site index curves for C. japonica in Gyeongsang-do that reflect the regional characteristics. The development of high-growth models in Chapman-Richards, Schumacher, and Gompertz for 552 C. japonica growing in Gyeongsang-do. The Gompertz growth function is the most suitable for developing site index curves. The comparative test was analyzed using the F test at a significance level of 5% and the graph. As a result, compared with the national site index curves and site index curves under base age in Jeolla-do, the p-value was 0.05 or higher, and there was no statistically significant difference. The p-value was 0.05 or lower compared with site index curves over stand age in Jeolla-do, indicating a statistically significant difference. Therefore, it was determined that site index curves for C. japonica in Gyeongsang-do can be applied to the national site index curves and site index curves under base age in Jeolla-do, but not to site index curves over base age in Jeolla-do. Hence, based on the results of the study, it is possible to provide basic data on the forest management system for C. japonica in Gyeongsang-do and systematic and reasonable management through high field application reflecting regional characteristics.

• The korean journal of orthodontics
• /
• v.28 no.1 s.66
• /
• pp.17-27
• /
• 1998

Study on growth change of dental arch is considered to both an important data in orthodontic diagonsis and treatment planning as well as analysis of treatment results , also, arch form is important in anthropology and dentistry, even more so in prosthodontics and orthodontics. In the field of orthodontics, studies on the functional aspect of upper and lower teeth and maintenance of stability of dentition and occlusion were carried out from the early days. Some of the early studies include explanation of growth change in dental arch from measuring directly fom human stroll, and afterwards, cephalometrics x-rays were introduced; accordingly, studies using cephalometric measurement and linear measurements of study models were often performed. By this method, arch width, arch depth and perimeters were measured, and growth change or dental arch was studied. The subject ror this study were sn children(boys and girls or ages from 3 yens to 12 years from Kang-won district and Seoul, who has no history of orthodontic treatment and who show healthy status and normal growth and development. Cephalometric x-ray, panoramic x-ray, and study model were taken for each subject consecutively for 2 years, and the subjects are still followed up. 400 pairs of study models from the past two years were used in this study; mesio-distal diameater of each tooth, intercanine width, intermolar width, canine depth, molar depth and arch perimeters were measured. Afterwards, mean value and each standard deviation of each age group and each gender were obtained, and representation graph were drawn. The following conclusion were obtained. 1. Intercanine width showed gradual increase until the age of 10-years and after that, showed no increase. 2. Intermolar width in upper arch showed gradual increase : intermolar width in lower arch showed no significant chang, and after the age of 9-years, showed increase. 3. Cainine arch depth showed relatively rapid increase after the age of 6-years, and this pattern was more obvious in lower arch. 4. Molar arch depth increased gradually in both archs and it decrease after the age of 10-years : this phenomenon was more prominent in the lower arch. 5. Arch perimeter showed gradual inerease and convert to plateau at the age of 10-years, after that, it decreased. this pattern was more prominent in lower arch.

• Journal of Food Hygiene and Safety
• /
• v.26 no.1
• /
• pp.25-30
• /
• 2011

In this study, predictive mathematical models were developed to predict the kinetics of Listeria monocytogenes growth in the mixed fresh-cut vegetables, which is the most popular ready-to-eat food in the world, as a function of temperature (4, 10, 20 and $30^{\circ}C$). At the specified storage temperatures, the primary growth curve fit well ($r^2$=0.916~0.981) with a Gompertz and Baranyi equation to determine the specific growth rate (SGR). The Polynomial model for natural logarithm transformation of the SGR as a function of temperature was obtained by nonlinear regression (Prism, version 4.0, GraphPad Software). As the storage temperature decreased from $30^{\circ}C$ to $4^{\circ}C$, the SGR decreased, respectively. Polynomial model was identified as appropriate secondary model for SGR on the basis of most statistical indices such as mean square error (MSE=0.002718 by Gompertz, 0.055186 by Baranyi), bias factor (Bf=1.050084 by Gompertz, 1.931472 by Baranyi) and accuracy factor (Af=1.160767 by Gompertz, 2.137181 by Baranyi). Results indicate L. monocytogenes growth was affected by temperature mainly, and equation was developed by Gompertz model (-0.1606+$0.0574^*Temp$+$0.0009^*Temp^*Temp$) was more effective than equation was developed by Baranyi model (0.3502-$0.0496^*Temp$+$0.0022^*Temp^*Temp$) for specific growth rate prediction of L.monocytogenes in the mixed fresh-cut vegetables.

• Journal of Korean Society of Forest Science
• /
• v.112 no.1
• /
• pp.83-92
• /
• 2023

This study was established to investigate the site environment of mixed forests in Korea and to estimate the growth and yield of stands using national forest resources inventory data. The growth of mixed forests was derived by applying the Chapman-Richards model with diameter at breast height (DBH), height, and cross-sectional area at breast height (BA), and the yield of mixed forests was derived by applying stepwise regression analysis with factors such as cross-sectional area at breast height, site index (SI), age, and standing tree density per ha. Mixed forests were found to be growing in various locations. By climate zone, more than half of them were distributed in the temperate central region. By altitude, about 62% were distributed at 101-400 m. The fitness indexes (FI) for the growth model of mixed forests, which is the independent variable of stand age, were 0.32 for the DBH estimation, 0.22 for the height estimation, and 0.18 for the basal area at breast height estimation, which were somewhat low. However, considering the graph and residual between the estimated and measured values of the estimation equation, the use of this estimation model is not expected to cause any particular problems. The yield prediction model of mixed forests was derived as follows: Stand volume =-162.6859+6.3434 ∙ BA+9.9214 ∙ SI+0.7271 ∙ Age, which is a step- by-step input of basal area at breast height (BA), site index (SI), and age among several growth factors, and the determination coefficient (R²) of the equation was about 96%. Using our optimal growth and yield prediction model, a makeshift stand yield table was created. This table of mixed forests was also used to derive the rotation of the highest production in volume.

• Parasites, Hosts and Diseases
• /
• v.54 no.1
• /
• pp.9-14
• /
• 2016

Tamoxifen is an antagonist of the estrogen receptor and currently used for the treatment of breast cancer. The current treatment of cutaneous leishmaniasis with pentavalent antimony compounds is not satisfactory. Therefore, in this study, due to its antileishmanial activity, effects of tamoxifen on the growth of promastigotes and amastigotes of Leishmania major Iranian strain were evaluated in vitro. Promastigotes and amastigotes were treated with different concentrations (1, 5, 10, 20, and $50{\mu}g/ml$) and time periods (24, 48, and 72 hr) of tamoxifen. After tamoxifen treatment, MTT assay (3-[4,5-dimethylthiazol-2-yl]-2,5 biphenyl tetrazolium bromide assay) was used to determine the percentage of live parasites and Graph Pad Prism software to calculate $IC_{50}$. Flow cytometry was applied to investigate the induction of tamoxifen-induced apoptosis in promastigotes. The half maximal inhibitory concentration ($IC_{50}$) of tamoxifen on promastigotes was $2.6{\mu}g/ml$ after 24 hr treatment. Flow cytometry analysis showed that tamoxifen induced early and late apoptosis in Leishmania promastigotes. While after 48 hr in control group the apoptosis was 2.0%, the $50{\mu}g/L$ concentration of tamoxifen increased it to 59.7%. Based on the in vitro antileishmanial effect, tamoxifen might be used for leishmaniasis treatment; however, further researches on in vivo effects of tamoxifen in animal models are needed.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.479-490
• /
• 2009

A number of temporal abstraction approaches have been suggested so far to handle the high computational complexity of Markov decision problems (MDPs). Although the structure of temporal abstraction can significantly affect the efficiency of solving the MDP, to our knowledge none of current temporal abstraction approaches explicitly consider the relationship between topology and efficiency. In this paper, we first show that a topological measurement from complex network literature, mean geodesic distance, can reflect the efficiency of solving MDP. Based on this, we build an incremental method to systematically build temporal abstractions using a network model that guarantees a small mean geodesic distance. We test our algorithm on a realistic 3D game environment, and experimental results show that our model has subpolynomial growth of mean geodesic distance according to problem size, which enables efficient solving of resulting MDP.

• Journal of Ocean Engineering and Technology
• /
• v.6 no.2
• /
• pp.21-34
• /
• 1992

The behavior of fatigue crack growth in the single spot welded joint of zinc galvanized steel sheets was studied experimentally and analytically based on fracture mechanics. Axial tension fatigue tests were carried out with the BSxGAB specimen that the bare plane(GAB) of monogalvanized steel sheet was spot welded to the double thickness bare steel sheet(BS), and with the GAxGAB specimen that the galvanized plane (GA) was spot welded to the equal thickness bare plane (GAB) 1. The relation between maximum stress intensity factor, K sub(max) and the number of cycles to failure, N sub(f) has shown a linear relation on log-log plot in the spot weld of the zinc galvanized steel sheet. 2. The fatigue strength of BSxGAB specimens is about 23% higher than that of GAxGAB specimens at the fatigue strength of $1\times10^6$ cycles. And the fatigue life of BSxGAB specimens at the same load range increases 6~9 times higher than that of GAxGAB specimens. 3. The general tendency at the angle of bending($\theta$) in an applied load has changed rapidly at the initial 20% of its life. After then, it has changed slowly. The change at the angle of bending has increased linearly as the load range increases. 4. It has shown a linear relation between the location ratio of initiation ${\gamma}$ and fatigue life $N_f$ on the semi-log graph paper. Here $\gamma$ means that the crack distance between main crack and sub-crack, 2L is divided by the nugget diameter, 2r. $\gamma=a{\cdot}log N_f+n$ (where a and n are material constant.)

• Journal of KIISE
• /
• v.41 no.12
• /
• pp.1110-1116
• /
• 2014

Nowadays, social networking sites (SNSs), such as Twitter, LinkedIn, and Tumblr, are coming into the forefront, due to the growth in the number of users. While users voluntarily provide their information in SNSs, privacy leakages resulting from the use of SNSs is becoming a problem owing to the evolution of large data processing techniques and the raising awareness of privacy. In order to solve this problem, the studies on protecting privacy on SNSs, based on graph and machine learning, have been conducted. However, examples of privacy leakages resulting from the advent of a new SNS are consistently being uncovered. In this paper, we propose a technique enabling a user to detect privacy leakages beforehand in the case where the service provider or third-party application developer threatens the SNS user's privacy maliciously.

• Journal of Korean Society of Rural Planning
• /
• v.20 no.2
• /
• pp.11-22
• /
• 2014

In this study, the objectives are to provide rural experience tourism village business courses and development direction in between individual farmers and the village in base on rural development business of Hapjeon-village. The developmental process of a farm-stay village can be categorized into the period of six stages: 1) a conception stage 2) an adoption stage 3) a growth stage 4) an expansion stage 5) a stagnation stage 6) a recovery stage. Farm Stay Villages, Individual Farmhouses or Producer Groups can be placed in four different quadrant areas of a graph, depending on the pursuing direction and results of core values by having the X-axis for economic factors (public profits, individual profits) and by having the Y-axis for emotional factors (self-actualization, conflicts). The first quadrant area is designated for ideal individual farmhouses and producer groups for having achieved the status of economic self-reliant and high emotional satisfaction. The second quadrant is for ideal self-actualized communal villages having achieved the independent public interest and public profitable status. The third quadrant is reserved for villages experiencing communal conflicts and no economic self-reliant stagnant status. The fourth guardant area is allocated for individual farmhouses and producer groups having achieved self-reliant economic status, yet having communal conflicts. Using the aforementioned concept, the government shall design village development projects and prepare realistic and achievable goals and place them in as a systematic device in future projects.