• Research in Mathematical Education
• /
• v.26 no.4
• /
• pp.291-310
• /
• 2023

In this paper, we propose a theoretical framework for Chinese high school mathematics teachers use new textbooks based on the work of Remillard (1999) and Chau (2014). Based on this framework, a multiple case approach was used to investigate how two high school mathematics teachers from Shanghai use new textbooks. The results suggest that in the curriculum mapping arena, both the novice teacher and the expert teacher often planned to appropriate the unit content, and sometimes planned to add supplemental content. When organizing the unit content, novice teacher always planned to follow the new textbook in sequence, while expert teacher often would follow the new textbook in sequence, but sometimes planned to rearrange the unit content. In the design arena, both the novice teacher and the expert teacher tended to appropriate the introduced tasks and definitions. The novice teacher often planned to appropriate the example problems and exercise problems, while the expert teacher often intended to flexibly use the example problems and exercise problems. In the construction arena, the novice teacher seldom adjusted the planned tasks; in contrast, the expert teacher adjusted the planned tasks more frequently. In the reflection arena, the novice teacher often thought she should improve the mathematics tasks, while the expert teacher almost always thought he needed to improve the mathematics tasks. The framework shown in this paper provides a tool to investigate how mathematics teachers use textbooks.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.19 no.2
• /
• pp.93-101
• /
• 2023

In this study, a deep learning algorithm was used to diagnose electric potential signals obtained through CIPS and DCVG, used indirect inspection methods to confirm the soundness of buried pipes. The deep learning algorithm consisted of CNN(Convolutional Neural Network) model for diagnosing the electric potential signal and Grad CAM(Gradient-weighted Class Activation Mapping) for showing the flaw prediction point. The CNN model for diagnosing electric potential signals classifies input data as normal/abnormal according to the presence or absence of flaw in the buried pipe, and for abnormal data, Grad CAM generates a heat map that visualizes the flaw prediction part of the buried pipe. The CIPS/DCVG signal and piping layout obtained from the 3D finite element model were used as input data for learning the CNN. The trained CNN classified the normal/abnormal data with 93% accuracy, and the Grad-CAM predicted flaws point with an average error of 2m. As a result, it confirmed that the electric potential signal of buried pipe can be diagnosed using a CNN-based deep learning algorithm.

• Journal of Environmental Impact Assessment
• /
• v.33 no.2
• /
• pp.53-63
• /
• 2024

Biodiversity holds significant importance within the framework of environmental impact assessment, being utilized in site selection for development, understanding the surrounding environment, and assessing the impact on species due to disturbances. The field of environmental impact assessment has seen substantial research exploring new technologies and models to evaluate and predict biodiversity more accurately. While current assessments rely on data from fieldwork and literature surveys to gauge species richness indices, limitations in spatial and temporal coverage underscore the need for high-resolution biodiversity assessments through species richness mapping. In this study, leveraging data from the 4th National Ecosystem Survey and environmental variables, we developed a species distribution model using Random Forest. This model yielded mapping results of 24 mammalian species' distribution, utilizing the species richness index to generate a 100-meter resolution map of species richness. The research findings exhibited a notably high predictive accuracy, with the species distribution model demonstrating an average AUC value of 0.82. In addition, the comparison with National Ecosystem Survey data reveals that the species richness distribution in the high-resolution species richness mapping results conforms to a normal distribution. Hence, it stands as highly reliable foundational data for environmental impact assessment. Such research and analytical outcomes could serve as pivotal new reference materials for future urban development projects, offering insights for biodiversity assessment and habitat preservation endeavors.

• Reproductive and Developmental Biology
• /
• v.31 no.2
• /
• pp.97-102
• /
• 2007

The objective of this study was to analyzed pattern of proteins expression abnormally in cloned bovine placenta. TIMP-2 protein whose function is related to extracellular matrix degradation and tissue remodeling processes was one of differentially up-regulated proteins in SCNT placenta. And one of down-regulated protein in SCNT placenta was identified as vimentin protein that is presumed to stabilize the architecture of the cytoplasm. The expression patterns of these proteins were validated by Western blotting. To evaluate how regulatory loci. of TIMP-2 and vimentin genes was programmed reprogramming in cloned placenta. the status of DNA methylation in the promoter region of TIMP-2 and vimentin genes was analyzed by sodium Bisulfite mapping. The DNA methylation results showed that there was not difference in methylation pattern of TIMP-2 and vimentin loci between cloned and normal placenta. Histone H3 acetylation state of the nucleosome was analyzed in the cloned placental and normal placenta by Western blotting. A small portion of the protein lysates were subjected to Western blotting with the antibodies against anti acetyl-Histone H3. Overall histone H3 acetylation state of SCNT placenta was significantly higher than those of normal placenta cells. It is postulated that cloned placenta at the end of gestation seems to be unusual in function and morphology of placenta via improper expression of TIMP-2 and vimentin by abnormal acetylation states of cloned genome.

• Korean Journal of Veterinary Research
• /
• v.44 no.2
• /
• pp.311-315
• /
• 2004

The detection of lymph node metastasis is an important step in tumor staging and is significant for therapy planning. It has been challenged to yield an appropriate image with diagnostic methods such as Magnetic Resonance (MR) and Computed Tomography (CT). Though CT has been used widely and accessed easily to show internal organs, it can hardly provide difference between lymph node and adjacent vessel or fat tissue. It has been well established that MR can reveal the subtle discrepancy within soft tissue. This study investigated the suitability of MR lymph node imaging without contrast enhancement by comparison of T1-weighted image (T1WI) and T2- weighted image (T2WI) in ten normal rabbits. According to the pulse sequence optimized from preliminary study, T1-weighted spin-echo (repetition time/echo time=400/12 ms) and T-2 weighted fast spin-echo (repetition time/echo time=3500/84 ms) images covering the hind limbs and pelvic region were acquired at 1.5 T. Two radiologists scrupulously evaluated the MR images in consensus. And signal intensity of lymph nodes was compared with that of adjacent fat. Statistical analysis showed that T1-weighted coronal image visualized the lymph nodes (iliac, superficial inguinal and popliteal lymph nodes) quickly and consistently rather than T2-weighted one. Conclusively, T1WI for evaluation of lymph nodes is moderately better than T2WI and appears to have potential for quick and sufficient mapping of the lymph nodes. In addition, this normal MR image of lymph nodes could be applied to further study for the evaluation of lymphatic system in abscess and tumor bearing animal model.

• Journal of Chest Surgery
• /
• v.29 no.2
• /
• pp.136-146
• /
• 1996

Studies on normal human embryos and on malformed human hearts have been two main sources of the information on the developmental cardiology, Recent advances in the biological technology has opened a new era and descriptive embryology is being shifted into dynamic developmental biology. In this review, we discuss the current understanding on the cardiac embryology relevant to clinical practices of pediatric cardiology. Classical cardiac embryology starts with understanding on five segments of a straight heart tube : the sinus venosus, the primitive atria, the embryonic left ventricle, the embryonic right ventricle and the truncus arteriosus. Key steps in the normal morphogenetic process are the complex spiral septation of ventriculoarterial junction and two jumping connections : between the embryonic right atrium and embryonic right ventricle, and between the embryonic left ventricle and the aorta. Only after these two steps are successfully completed, the third fetal stage tak s place, when myocardial growth and remodeling take place There are two outstanding progresses on the cardiac embryology during recent five-year period. One is immunohistochemical mapping of the conduction system in the developing heart and the other is the understanding on the neural crest cell migration followed by molecular detection of the microdeletion of chromosome 22. A balanced progress of classical morphological studies, modern biological technics and advanced clinical medicine is an urgent task for doctors and scientists dealing with children with sick hearts.

• Korean Journal of Remote Sensing
• /
• v.25 no.4
• /
• pp.321-338
• /
• 2009

The objective of this paper is to compare spatial prediction capabilities of univariate kriging algorithms for generating GIS-based thematic maps from ground survey data with asymmetric distributions. Four univariate kriging algorithms including traditional ordinary kriging, three non-linear transform-based kriging algorithms such as log-normal kriging, multi-Gaussian kriging and indicator kriging are applied for spatial interpolation of geochemical As and Pb elements. Cross validation based on a leave-one-out approach is applied and then prediction errors are computed. The impact of the sampling density of the ground survey data on the prediction errors are also investigated. Through the case study, indicator kriging showed the smallest prediction errors and superior prediction capabilities of very low and very high values. Other non-linear transform based kriging algorithms yielded better prediction capabilities than traditional ordinary kriging. Log-normal kriging which has been widely applied, however, produced biased estimation results (overall, overestimation). It is expected that such quantitative comparison results would be effectively used for the selection of an optimal kriging algorithm for spatial interpolation of ground survey data with asymmetric distributions.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.729-741
• /
• 2000

In this paper, we study in Banach spaces the existence of fixed points of asymptotically regular mapping T satisfying: for each x, y in the domain and for n=1, 2,…, $$\parallelT^nx-T^ny\parallel\leq$\leq$a_n\parallelx-y\parallel+b_n (\parallelx-T^nx\parallel+\parallely-T^ny\parallely)$$ where $a_n,\; b_n,\; C_n$ are nonnegative constants satisfying certain conditions. We also establish some fixed point theorems for these mappings in a Hibert space, in L(sup)p spaces, in Hardy space H(sup)p, and in Soboleve space $H^{k,p} for 1<\rho<\infty \; and \; k\geq0$. We extend results from papers [10], [11], and others.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.11a
• /
• pp.168-171
• /
• 2000

This paper is concerned with fuzzy number whose values are normal, convex, upper semicontinuous and compactly supported interval in E$\_$N/ We study continuously initial observability for the following fuzzy system. x(t)=a(t)x(t)+f(t,x(t)), x(0)=x$\_$0/, y(t)=$\_$${\alpha}$/∏(x(t)), where a: [0, T]\longrightarrowE$\_$N/ is fuzzy coefficient, initial value x$\_$0/$\in$E$\_$N/ and nonlinear funtion f: [0, T]${\times}$E$\_$N/\longrightarrowE$\_$N/ satisfies a Lipschitz condition. Given fuzzy mapping ∏: C([0, T]: E$\_$N/)\longrightarrowY and Y is an another E$\_$N/.

• Journal of applied mathematics & informatics
• /
• v.27 no.1_2
• /
• pp.13-23
• /
• 2009

Some strong convergence theorems of explicit iteration scheme for asymptotically nonexpansive semi-groups in Banach spaces are established. The results presented in this paper extend and improve some recent results in [T. Suzuki. On strong convergence to common fixed points of nonexpansive semigroups in Hilbert spaces, Proc. Amer. Math. Soc. 131(2002)2133-2136; H. K. Xu. A strong convergence theorem for contraction semigroups in Banach spaces, Bull. Aust. Math. Soc. 72(2005)371-379; N. Shioji and W. Takahashi. Strong convergence theorems for continuous semigroups in Banach spaces, Math. Japonica. 1(1999)57-66; T. Shimizu and W. Takahashi. Strong convergence to common fixed points of families of nonexpansive mappings, J. Math. Anal. Appl. 211(1997)71-83; N. Shioji and W. Takahashi. Strong convergence theorems for asymptotically nonexpansive mappings in Hilbert spaces, Nonlinear Anal. TMA, 34(1998)87-99; H. K. Xu. Approximations to fixed points of contraction semigroups in Hilbert space, Numer. Funct. Anal. Optim. 19(1998), 157-163.]