• 대한조선학회논문집
• /
• 제44권2호
• /
• pp.198-209
• /
• 2007

In this paper, we present the gouging and collision-free tool-path generation for manufacturing model propellers using the 5-axis NC machine. Because it takes much time to generate tool-paths when we use general purpose CAD/CAM systems, a specific system would be necessary for marine propellers. Overall manufacturing process is composed of two steps: roughcut and finishcut steps. The roughcut is conducted using only 3-axis for efficient machining and the finishcut is done using 5-axis for avoiding collision. The tool-path that might happen to gouging is searched and the tool position is also decided for avoiding interference between the tool and the propeller blades. The present algorithm is applied extensively to the surface piercing propellers. Some results are demonstrated for its validation.

• Genomics & Informatics
• /
• 제4권4호
• /
• pp.170-172
• /
• 2006

ESTin is an easy-to-use tool that allows EST researchers to build a dbEST submission file with EST sequences and related data. The advantages of ESTin are its user-friendly interface, various editing functions, and rigorous validation function.

• 정보처리학회논문지C
• /
• 제12C권4호
• /
• pp.495-502
• /
• 2005

암호 알고리즘의 구현 적합성 평가는 제품에 사용될 알고리즘이 설계자의 의도에 맞게 정확히 구현되어 있는지를 평가하는 것이다. 대표적인 구현 적합성 평가 시스템으로는 미국 NIST 주관의 암호 모듈 적합성 검증 프로그램(CMVP)을 들 수 있다. CMVP는 미 연방표준 FIPS에 포함된 암호 모듈의 구현 적합성을 평가하는 것이며, FIPS 내에는 스트림 암호가 없는 관계로 CMVP 세부 항목에 스트림 암호에 대한 검증도구는 포함되어 있지 않다. 본 논문에서는 CMVP에는 포함되어 있지 않아서 아직 구현 적합성 검증 기법이 알려지지 않고 있지만, 주로 무선 환경에서 표준으로 제정되어 널리 사용되고 있는 블루투스 표준 스트림 암호 E0와 제3세대 비동기식 이동통신 표준 스트림 암호 A5/3, WEP과 SSL/TLS 등에 사용되는 스트림 암호 RC4에 대한 구현 적합성 검증 방법을 제안하고, JAVA로 구현한 검증 도구를 보여준다.

• KSBB Journal
• /
• 제17권4호
• /
• pp.326-332
• /
• 2002

크로마토그래피 공정 성능 검증의 한 항목인 담체의 수명 검증을 위해 자동화된 미니 크로마토그래피 시스템(MiniValChrom)을 개발하였다. 이 시스템은 크로마토그래피공정의 자동화된 반복수행, 크로마토그래피 각 step의 작동순서 및 공정조건의 자유로운 구성, on-line 실시간 모니터링 및 제어, 여러 담체 수명 검증법의 method file 저장기능 등을 갖추었다. MiniValChrom을 사용하여 BSA와 Cibacron Blue 3G-A를 각각 모델 단백질과 담체로 담체 수명 검증실험을 사례연구로 수행하였다. 담체 수명의 감소는 크로마토그래피 공정을 반복수행하면서 5 cycle 마다 변화하는 HETP값을 측정하여 HETP 값이 1 cm 이상 될 때까지 반복 수행함으로써 담체 수명을 결정할 수 있었다. 본 연구를 통해 개발된 MiniValChrom은 다른 검증 항목이나 multi-product 생산공장 내 크로마토그래피 공정 검증에도 유용하게 쓰일 수 있을 것으로 기대된다.

• 대한지구과학교육학회지
• /
• 제17권1호
• /
• pp.1-19
• /
• 2024

이 연구는 테크놀로지 활용 과학 수업을 위한 분산 인지 이론 기반 수업 전략을 신뢰도와 타당도가 확보된 절차에 따라 개발한 설계·개발 연구이다. 수업 전략 개발을 위해 설계·개발 연구 방법론 절차에 따라 개발 연구와 타당화 연구를 진행하였다. 개발 연구에서는 선행 문헌 검토와 사전 전문가 검토 방법으로 초기 수업 전략을 개발하였다. 타당화 연구에서는 내적 타당화(전문가 타당화, 사용성 평가)와 외적 타당화(현장 적용 평가) 방법으로 수업 전략을 타당화하고 최종 수업 전략을 개발하였다. 최종 수업 전략은 3개의 수업 원리와 9개의 수업 전략, 38개의 세부 지침으로 구성하였다. 이 연구를 통해 연구자는 테크놀로지 활용 과학 수업을 위한 수업 전략의 적합성, 블록과 교수·학습 과정안의 유용성, 인지적 도구로서 테크놀로지의 활용 가능성, 테크놀로지 활용 교수 역량 함양을 위한 교사의 노력 필요, 수업 전략 적용에 영향을 미치는 조건을 고려한 수업 설계를 제안하였다.

• 한국농공학회논문집
• /
• 제56권4호
• /
• pp.9-19
• /
• 2014

The objective of this study was to evaluate of the Tank model in simulating runoff discharge from rural watershed in comparison to the SWAT (Soil and Water Assessment Tool) model. The model parameters of SWAT was calibrated by the shuffled complex evolution-university Arizona (SCE-UA) method while Tank model was calibrated by genetic algorithm (GA) and validated. Four dam watersheds were selected as the study areas. Hydrological data of the Water Management Information System (WAMIS) and geological data were used as an input data for the model simulation. Runoff data were used for the model calibration and validation. The determination coefficient ($R^2$), root mean square error (RMSE), Nash-Sutcliffe efficiency index (NSE) were used to evaluate the model performances. The result indicated that both SWAT model and Tank model simulated runoff reasonably during calibration and validation period. For annual runoff, the Tank model tended to overestimate, especially for small runoff (< 0.2 mm) whereas SWAT model underestimate runoff as compared to observed data. The statistics indicated that the Tank model simulated runoff more accurately than the SWAT model. Therefore the Tank model could be a good tool for runoff simulation considering its ease of use.

• Journal of applied mathematics & informatics
• /
• 제31권3_4호
• /
• pp.425-441
• /
• 2013

In literature, several strong designated verifier signature (SDVS) schemes have been devised using elliptic curve bilinear pairing and map-topoint (MTP) hash function. The bilinear pairing requires a super-singular elliptic curve group having large number of elements and the relative computation cost of it is approximately two to three times higher than that of elliptic curve point multiplication, which indicates that bilinear pairing is an expensive operation. Moreover, the MTP function, which maps a user identity into an elliptic curve point, is more expensive than an elliptic curve scalar point multiplication. Hence, the SDVS schemes from bilinear pairing and MTP hash function are not efficient in real environments. Thus, a cost-efficient SDVS scheme using elliptic curve cryptography with pairingfree operation is proposed in this paper that instead of MTP hash function uses a general cryptographic hash function. The security analysis shows that our scheme is secure in the random oracle model with the hardness assumption of CDH problem. In addition, the formal security validation of the proposed scheme is done using AVISPA tool (Automated Validation of Internet Security Protocols and Applications) that demonstrated that our scheme is unforgeable against passive and active attacks. Our scheme also satisfies the different properties of an SDVS scheme including strongness, source hiding, non-transferability and unforgeability. The comparison of our scheme with others are given, which shows that it outperforms in terms of security, computation cost and bandwidth requirement.

• Molecular & Cellular Toxicology
• /
• 제1권1호
• /
• pp.52-61
• /
• 2005

Transcript profiling is a particularly valuable tool in the field of steroid receptor biology, as these receptors are ligand-activated transcription factors and therefore exert their initial effects through altering gene expression in responsive cells. Also, an awareness of endocrine disrupting chemicals (EDCs) and their potential screening methods to identify endocrine activity have been increased. Here we developed an in-house cDNA microarray, named KISTCHIP-400 ver. 1.0, with 416 clones, based on public database and research papers. These clones contained estrogen, androgen, thyroid hormone & receptors, sex hormone signal transduction & regulation, c-fos, c-myc, ps2 gene, metabolism related genes etc. Also, to validate the KISTCHIP-400 ver. 1.0, we investigated gene expression profiles with reference hormones, $10^{8}\;M\;17{\beta}-estradiol,\;10^{-7}\;M\;testosterone\;and\;10^{-7}\;M$ progesterone in MCF-7 cell line. As the results, gene expression profiles of three reference hormones were distinguished from each other with significant and identified 33 $17{\beta}-estradiol$ responsive genes. This study is in first step of validation for KISTCHIP-400 ver. 1.0, as following step transcriptional profile analysis on not only low concentrations of EDCs but suspected EDCs using KISTCHIP-400 ver. 1.0 is processing. Our results indicate that the developed microarray may be a useful laboratory tool for screening EDCs and elucidating endocrine disrupting mechanism.

• 한국환경독성학회:학술대회논문집
• /
• 한국환경독성학회 2003년도 춘계학술대회
• /
• pp.180-180
• /
• 2003

Transcript profiling is a particularly valuable tool in the field of steroid receptor biology, as these receptors are ligand-activated transcription factors and therefore exert their initial effects through altering gene expression in responsive cells. Also, an increased awareness of endocrine disrupting chemicals (EBCs) and their potential to affect wildlife and humans has produced a demand for practical screening methods to identify endocrine activity. Here we developed an in-house cDNA microarray, named KISTCHIP-400, with 401 clones, hormone related genes, factors, and ESTs, based on public database and research papers. Theses clones contained estrogen, androgen, thyroid hormone St receptors, sex hormone signal transduction ＆ regulation, c-fos, c-myc, ps2 gene, metabolism related genes etc. And to validate the KISTCHIP-400, we investigated gene expression profiles with reference hormones, 10$\^$-8/ M 17be1a-estradiol, 10$\^$-7/ M testosterone, 10$\^$-7/ M progesterone, and thyroxin in MCF-7 cell line. Although it is in first step of validation, low doses and combinations of EDCs need to be tested. Our preliminary results that indicate the developed microarray may be a useful laboratory tool for screening EDCs and elucidating endocrine disrupting mechanism.

• 한국농공학회논문집
• /
• 제54권6호
• /
• pp.111-119
• /
• 2012

Applicability of 8 day interval flow data for the calibration of hydrologic model was evaluated using Hydrological Simulation Program-Fortran (HSPF) at Kyungan watershed. The 8 day interval flow monitored by Ministry of Environment located at upstream was calibrated and periodically validated during 2004-2008. And continuous daily flow monitored by Ministry of Construction & Transportation (MOCT) and located at the mouth was compared with daily simulated data during 2004-2007 as spatial validation. Automatic calibration tool which is Model-Independent Parameter Estimation & Uncertainty Analysis (PEST) was applied for HSPF calibration procedure. The model efficiencies for calibration and periodic validation were 0.63 and 0.88, and model performances were fair and very good, respectively, based on criteria of calibration tolerances. Continuous daily stream flow at the mouth of Kyungan watershed were good agreement with observed continuous daily stream flow with showing 0.63 NS value. The PEST program is very useful tool for HSPF hydrologic calibration using non-continuous daily stream flow as well as continuous daily stream flow. The 8 day interval flow data monitored by MOE could be used to calibrate hydrologic model if the continuous daily stream flow is unavailable.