• Title/Summary/Keyword: mathematical verification

Search Result 197, Processing Time 0.024 seconds

A Wide Dynamic Range NUC Algorithm for IRCS Systems

  • Cai, Li-Hua;He, Feng-Yun;Chang, Song-Tao;Li, Zhou
    • Journal of the Korean Physical Society
    • /
    • v.73 no.12
    • /
    • pp.1821-1826
    • /
    • 2018
  • Uniformity is a key feature of state-of-the-art infrared focal planed array (IRFPA) and infrared imaging system. Unlike traditional infrared telescope facility, a ground-based infrared radiant characteristics measurement system with an IRFPA not only provides a series of high signal-to-noise ratio (SNR) infrared image but also ensures the validity of radiant measurement data. Normally, a long integration time tends to produce a high SNR infrared image for infrared radiant characteristics radiometry system. In view of the variability of and uncertainty in the measured target's energy, the operation of switching the integration time and attenuators usually guarantees the guality of the infrared radiation measurement data obtainted during the infrared radiant characteristics radiometry process. Non-uniformity correction (NUC) coefficients in a given integration time are often applied to a specified integration time. If the integration time is switched, the SNR for the infrared imaging will degenerate rapidly. Considering the effect of the SNR for the infrared image and the infrared radiant characteristics radiometry above, we propose a-wide-dynamic-range NUC algorithm. In addition, this essasy derives and establishes the mathematical modal of the algorithm in detail. Then, we conduct verification experiments by using a ground-based MWIR(Mid-wave Infared) radiant characteristics radiometry system with an Ø400 mm aperture. The experimental results obtained using the proposed algorithm and the traditional algorithm for different integration time are compared. The statistical data shows that the average non-uniformity for the proposed algorithm decreased from 0.77% to 0.21% at 2.5 ms and from 1.33% to 0.26% at 5.5 ms. The testing results demonstrate that the usage of suggested algorithm can improve infrared imaging quality and radiation measurement accuracy.

A Case Study on the classroom life and the identity of the Elementary Mathematics Gifted Education (초등수학 영재교육원의 교실 생활과 정체성에 대한 사례연구)

  • Lee, Hak-Ro;Ryu, Sung-Rim
    • Communications of Mathematical Education
    • /
    • v.25 no.1
    • /
    • pp.99-118
    • /
    • 2011
  • For this case study of gifted education, two classrooms in two locations, show life in general of the gifted educational system. And for this case study the identity of teachers and the gifted, help to activate the mathematically gifted education for these research questions, which are as followed: Firstly, how is the gifted education classroom life? Secondly, what kind of identity do the teachers and gifted students bring to mathematics, mathematics teaching and mathematics learning? Being selected in the gifted children's education center solves the research problem of characteristic and approach. Backed by the condition and the permission possibility, 2 selected classes and 2 people, which are coming and going. Gifted education classroom life, the identity of teachers and gifted students in mathematics and mathematics teaching and mathematic learning. It will be for 3 months, with various recordings and vocal instruction between teacher and students. Collected observations and interviews will be analyzed over the course of instruction. The results analyzed include, social participation, structure, and the formation of the gifted education classroom life. The organization of classes were analyzed by the classes conscious levels to collect and retain data. The classes verification levels depended on the program's first class incentive, teaching and learning levels and understanding of gifted math. A performance assessment will be applied after the final lesson and a consultation with parents and students after the final class. The six kinds of social participation structure come out of the type of the most important roles in gifted education accounts, for these types of group discussions and interactions, students must have an interaction or individual activity that students can use, such as a work product through the real materials, which release teachers and other students for that type of questions to evaluate. In order for the development of meaningful mathematical concepts to formulate, mathematical principles require problem solving among all students, which will appear in the resolution or it will be impossible to map the meaning of the instruction from which it was formed. These results show the analysis of the mathematics, mathematics teaching, mathematics learning and about the identity of the teachers and gifted. Gifted education teachers are defined by gifted math, which is more difficult and requires more differentiated learning, suitable for gifted students. Gifted was defined when higher level math was created and challenged students to deeper thinking. Gifted students think that gifted math is creative learning and they are forward or passive to one-way according to the education atmosphere.

Estimation of Greenhouse Tomato Transpiration through Mathematical and Deep Neural Network Models Learned from Lysimeter Data (라이시미터 데이터로 학습한 수학적 및 심층 신경망 모델을 통한 온실 토마토 증산량 추정)

  • Meanne P. Andes;Mi-young Roh;Mi Young Lim;Gyeong-Lee Choi;Jung Su Jung;Dongpil Kim
    • Journal of Bio-Environment Control
    • /
    • v.32 no.4
    • /
    • pp.384-395
    • /
    • 2023
  • Since transpiration plays a key role in optimal irrigation management, knowledge of the irrigation demand of crops like tomatoes, which are highly susceptible to water stress, is necessary. One way to determine irrigation demand is to measure transpiration, which is affected by environmental factor or growth stage. This study aimed to estimate the transpiration amount of tomatoes and find a suitable model using mathematical and deep learning models using minute-by-minute data. Pearson correlation revealed that observed environmental variables significantly correlate with crop transpiration. Inside air temperature and outside radiation positively correlated with transpiration, while humidity showed a negative correlation. Multiple Linear Regression (MLR), Polynomial Regression model, Artificial Neural Network (ANN), Long short-term Memory (LSTM), and Gated Recurrent Unit (GRU) models were built and compared their accuracies. All models showed potential in estimating transpiration with R2 values ranging from 0.770 to 0.948 and RMSE of 0.495 mm/min to 1.038 mm/min in the test dataset. Deep learning models outperformed the mathematical models; the GRU demonstrated the best performance in the test data with 0.948 R2 and 0.495 mm/min RMSE. The LSTM and ANN closely followed with R2 values of 0.946 and 0.944, respectively, and RMSE of 0.504 m/min and 0.511, respectively. The GRU model exhibited superior performance in short-term forecasts while LSTM for long-term but requires verification using a large dataset. Compared to the FAO56 Penman-Monteith (PM) equation, PM has a lower RMSE of 0.598 mm/min than MLR and Polynomial models degrees 2 and 3 but performed least among all models in capturing variability in transpiration. Therefore, this study recommended GRU and LSTM models for short-term estimation of tomato transpiration in greenhouses.

The Verification of Computer Simulation of Nitinol Wire Stent Using Finite Element Analysis (유한요소법을 이용한 나이티놀 와이어 스텐트의 전산모사 실험 데이터 검증)

  • Kim, Jin-Young;Jung, Won-Gyun;Jeon, Dong-Min;Shin, Il-Gyun;Kim, Han-Ki;Shin, Dong-Oh;Kim, Sang-Ho;Suh, Tae-Suk
    • Progress in Medical Physics
    • /
    • v.20 no.3
    • /
    • pp.139-144
    • /
    • 2009
  • Recently, the mathematical analysis of stent simulation has been improved, with the help of development of various tool which measure mechanical property and location of stent in artery. The most crucial part of the stent modeling is how to design ideal stent and to evaluate the interaction between stent and artery. While there has been great deal of researches on the evaluation of the expansion, stress distribution, deformation of the stent in terms of the various parameters, few verification through computer simulation has been performed about deformation and stress distribution of the stent. In this study, we have produced the corresponding results between experimental test using Universal Testing Machine and computer simulation for the ideal model of stent. Also, we have analyzed and compared stress distribution of stent in the cases of that with membrane and that without membrane. The results of this study would provide minimum change of plan and good quality for ideal stent replacing damaged artery through the analysis using computer simulation in the early stage of stent design.

  • PDF

Systematization Design Technique for Linear Actutor by using similarity theory (유사이론을 적용한 리니어 액츄에이터의 계열화 설계기법)

  • 조경재;차인수;이권현
    • The Transactions of the Korean Institute of Power Electronics
    • /
    • v.4 no.5
    • /
    • pp.442-448
    • /
    • 1999
  • We introduce the systematization design method using similarity theory which is profitable in the c compatability and standardization of the developed products and the reduction of construction time and price to d develop and design a machine equipment. Systematization design method is to select the standard model for d designing and developing from the large machinery to the super precision one and then to induce the c characteristic of machines step by step in advance in case of miniaturizing and making largelongleftarrowscale. With this m method, we extract the peculiar characteristics through the close analysis on the physical and ttx:hnical part a and predict the characteristic experiment for the magnitude we desire by an머ogical mathematical analysis. At l last, we will get the design sample the users demand with the verification of the data on optimum design p previously. In this paper, we could predict the characteristic of the product the users rC'Quire in advance with the d design method applying similarity theor${\gamma}$ and suggested the design method which could meet the various r requirements the users want. Also, it is shown that the standardization design by the similarity theory is a available as comparing the characteristic values expc'Cted through the experiment of the actual actuator with t the theoretical character data of similarity theoη after selecting the linear actuator as a model.

  • PDF

Carotid Artery Intima-Media Thickness Measured by Iterated Layer-cluster Discrimination (순차적 층위군집(層位群集)판별에 의한 경동맥 내중막 두께 측정)

  • Hwang Jae-Ho;Kim Wuon-Shik
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.43 no.5 s.311
    • /
    • pp.89-100
    • /
    • 2006
  • The carotid intima-media thickness (IMT) is very important, because the severity of it is an independent predictor of transient cerebral ischemia, stroke, and coronary events such as myocardial infarction. The conventional image processing to measure the IMT has not been satisfactory, because the methods have relied on the manual section drawing and a regional segmentation by differential estimation. We propose a new image processing technology effective to extract features from the carotid artery image whose pixels have the directional vector properties with composed color distribution. The technique we presented here is not by differential variation but by verification of the layer properties of carotid artery image. Iterated vertical and horizontal analysis and segmentation of the IMT image show the vector characteristics. This new technique makes it possible to cluster the layers statistically, and to classify mathematical correlation between regions and resulting in correct measurements of thickness and its variation. The advantages and effectiveness of this approach are applicable to region process and character extraction of such a vector image.

Study on Guidelines for Selecting Traditional Games in Relation to Multiple Intelligence Development (다중지능발달을 위한 민속놀이 선정기준 연구)

  • Kim, Eun Kyung;Kwon, Dae Won
    • Korean Journal of Childcare and Education
    • /
    • v.10 no.5
    • /
    • pp.229-248
    • /
    • 2014
  • The purpose of this study is to draw guidelines on how to select traditional games that would efficiently help and develop multiple intelligences in children. Guidelines standard of section inquiries were prepared through a Delphi survey targeting twenty experts in early childhood education and traditional games. As a result, linguistic intelligence questions regarding writing, listening, speaking and vocabulary acquisition were selected. logical-mathematical intelligence questions regarding strategy, counting, patterns, hypothesis, verification, and comparing, contrasting, calculating ability were selected. Spatial intelligence questions regarding drawing, coloring, representation activities, operating and creating were selected, physical performance intelligence questions regarding global muscles, eye-hand coordination, flexibility, accommodation force, balance, agility and muscular strength were selected. Musical intelligence included questions about singing, and playing musical instruments. Interpersonal intelligence included perspective-taking, role-sharing, cooperation and discussion. For intrapersonal intelligence questions regarding personal significance-ties, planning-decision making, emotional expression and problem solving were selected. Finally, in relation to naturalist intelligence, questions regarding living organisms, inanimate objects and seasons were selected. In addition, traditional games were analyzed based on the finalized guidelines, and the results showed that each of the traditional games would not only work with one intelligence at a time but with other different intelligence as well. In the light of that, the study confirmed the validity of the guidelines on how to select traditional games that would develop multiple intelligences in children.

Design of Sliding Mode Fuzzy Controller for Vibration Reduction of Large Structures (대형구조물의 진동 감소를 위한 슬라이딩 모드 퍼지 제어기의 설계)

  • 윤정방;김상범
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.3 no.3
    • /
    • pp.63-74
    • /
    • 1999
  • A sliding mode fuzzy control (SMFC) algorithm is presented for vibration of large structures. Rule-base of the fuzzy inference engine is constructed based on the sliding mode control, which is one of the nonlinear control algorithms. Fuzziness of the controller makes the control system robust against the uncertainties in the system parameters and the input excitation. Non-linearity of the control rule makes the controller more effective than linear controllers. Design procedure based on the present fuzzy control is more convenient than those of the conventional algorithms based on complex mathematical analysis, such as linear quadratic regulator and sliding mode control(SMC). Robustness of presented controller is illustrated by examining the loop transfer function. For verification of the present algorithm, a numerical study is carried out on the benchmark problem initiated by the ASCE Committee on Structural Control. To achieve a high level of realism, various aspects are considered such as actuator-structure interaction, modeling error, sensor noise, actuator time delay, precision of the A/D and D/A converters, magnitude of control force, and order of control model. Performance of the SMFC is examined in comparison with those of other control algorithms such as $H_{mixed 2/{\infty}}$ optimal polynomial control, neural networks control, and SMC, which were reported by other researchers. The results indicate that the present SMFC is an efficient and attractive control method, since the vibration responses of the structure can be reduced very effectively and the design procedure is simple and convenient.

  • PDF

Improvement of the Convergence Capability of a Single Loop Single Vector Approach Using Conjugate Gradient for a Concave Function (오목한 성능함수에서 공액경사도법을 이용한 단일루프 단일벡터 방법의 수렴성 개선)

  • Jeong, Seong-Beom;Lee, Se-Jung;Park, Gyung-Jin
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.36 no.7
    • /
    • pp.805-811
    • /
    • 2012
  • The reliability based design optimization (RBDO) approach requires high computing cost to consider uncertainties. In order to reduce the design cost, the single loop single vector (SLSV) approach has been developed for RBDO. This method can reduce the cost in calculating deign sensitivity by elimination of the nested optimization process. However, this process causes the increment of the instability or inaccuracy of the method according to the problem characteristics. Therefore, the method may not give accurate solution or the robustness of the solution is not guaranteed. Especially, when the function is concave, the process frequently diverges. In this research, the concept of the conjugate gradient method for unconstrained optimization is utilized to develop a new single loop single vector method. The conjugate gradient is calculated with gradient directions at the most probable points (MPP) of previous cycles. Mathematical examples are solved for the verification of the proposed method. The numeri cal performances of the obtained results are compared to those of other RBDO methods. The SLSV approach using conjugate gradient is not greatly influenced by the problem characteristics and improves its convergence capability.

Response Time Analysis of Web Service Systems with Mixedly Distributed Stochastic Timed Net (혼합 분포 확률 시간 넷을 이용한 웹 서비스 시스템의 응답 시간 분석)

  • Yim, Jae-Geol;Do, Jae-Su;Shim, Kyu-Bark
    • Journal of Korea Multimedia Society
    • /
    • v.9 no.11
    • /
    • pp.1503-1514
    • /
    • 2006
  • Today, consumers can access Internet from everywhere, therefore most commercial and other organizations provide their services on the Web. As the result, countless Web service systems are already on the Internet and more systems are under construction. Therefore, many researches of verifying that the system to be constructed will not have any deadlock and will run successfully without any problem at the early stage of design have been performed. Several Petri net based verification methods have also been published. However, they have focused on building Petri net models of Web service systems and none of them introduces efficient analysis methods. As a mathematical technique with which we can find the minimum duration time needed to fire all the transitions at least once and coming back to the initial marking in a timed net, the minimum cycle time method has been widely used in computer system analysis. A timed net is a modified version of a Petri net where a transition is associated with a delay time. A delay time used in a timed net is a constant even though the duration time associated with an event in the real world is a stochastic number in general. Therefore, this paper proposes 'Mixedly Distributed Stochastic Timed Net' where a transition can be associated with a stochastic number and introduce a minimum cycle time analysis method for 'Mixedly Distributed Stochastic Timed Net'. We also introduce a method of analysing a Web service system's response time with the minimum cycle time analysis method for 'Mixedly Distributed Stochastic Timed Net.'.

  • PDF