• Title/Summary/Keyword: 수학화

Search Result 1,245, Processing Time 0.032 seconds

Lightweight Model for Energy Storage System Remaining Useful Lifetime Estimation (ESS 잔존수명 추정 모델 경량화 연구)

  • Yu, Jung-Un;Park, Sung-Won;Son, Sung-Yong
    • The Journal of Korea Institute of Information, Electronics, and Communication Technology
    • /
    • v.13 no.5
    • /
    • pp.436-442
    • /
    • 2020
  • ESS(energy storage system) has recently become an important power source in various areas due to increased renewable energy resources. The more ESS is used, the less the effective capacity of the ESS. Therefore, it is important to manage the remaining useful lifetime(RUL). RUL can be checked regularly by inspectors, but it is common to be monitored and estimated by an automated monitoring system. The accurate state estimation is important to ESS operator for economical and efficient operation. RUL estimation model usually requires complex mathematical calculations consisting of cycle aging and calendar aging that are caused by the operation frequency and over time, respectively. A lightweight RUL estimation model is required to be embedded in low-performance processors that are installed on ESS. In this paper, a lightweight ESS RUL estimation model is proposed to operate on low-performance micro-processors. The simulation results show less than 1% errors compared to the original RUL model case. In addition, a performance analysis is conducted based on ATmega 328. The results show 76.8 to 78.3 % of computational time reduction.

Revisting Clock Synchronization Problems : Static and Dynamic Constraint Transformations for Real Time Systems (시계 동기화 문제의 재 고찰 : 실시간 시스템을 위한 정적/동적 제약 변환 기법)

  • Yu, Min-Su;Park, Jeong-Geun;Hong, Seong-Su
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.26 no.10
    • /
    • pp.1264-1274
    • /
    • 1999
  • 본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

Revolutionary Evolution on the Hydrological Climatology using 4-dimensional Rain Indexes (4차원 강수지수를 이용한 강수기후연구의 혁명적 진화)

  • BYUN, Hi Ryong
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.648-648
    • /
    • 2015
  • 이 연구는 수자원 환경을 전반적으로 객관화, 계량화하는 새로운 방법이 성공적임을 소개한다. 기존의 계량법이 일강수량, 월 강수량, 년 강수량 등등, 단순한 수학적 합계에 치중한 결과 가중 중요한 강수의 시간 분포를 간과하였다. 이 단점을 해결하여, 1) 구체적으로 매 시간, 매일 남아 있다고 추정되는 물의 양 만을 합산하는 방법을 택했다. 시간적 감소함수를 이용하여, 강수 후 유출과 증발 등으로 사라지는 물의 양을 고려한 것이다. 2) 합산기간을 객관화하였다. 기본 합산 기간을 365일로 하고, 물 부족 또는 물 과잉이 지속될 경우는 지속되는 기간만큼, 합산기간을 늘이는 방법을 택했다. 따라서 다른 지수들이 임의로 3개월 또는 12개월 등등으로 기간을 결정하는 단점을 해결했다. 이렇게 계산되는 4차원 강수지수(4-Dimensional Rain Index, 4RI)는 1) 일별유효강수지수 (AWRI), 2) 일별가뭄지수(EDI), 3) 일별 홍수지수(FI), 4) 시간별 장기 물지수(LWI), 5) 시간별 단기 물지수(SWI) 등 5개가 기본지수이다. AWRI는 매일 남아 있는 물의 양이다. 이로 인해, 전 지구의 수자원과 재해위험의 시공간적 분포의 정량화 분석이 정밀해졌다. 지구상에서 물 집중이 가장 강한 곳은 캄보디아 내의 한 지점이며 시기는 7월 말이고, 가장 약한 곳은 사하라 사막의 한 지역임이 확인되었다. 또 한국에서 발생하는 갈수기와 풍수기가 정의되었고, 이들의 각 지역별 특성과 차이가 정량적으로 드러났다. 시간적 분포 또한 명확하게 드러나, 각종 저수지의 물 관리나 농?임산물의 생산관리에 획기적 전환점이 마련되었다. 각 국가별로, 각 지역별로 이런 분석은 향후도 무수히 시도되어야 할 것이다. EDI는 매일의 AWRI를 그 날짜의 평균치와 비교한 값이다. 장기가뭄 및 단기가뭄의 강도를 모두 가장 정밀하게 표현한다. FI는 일별로 홍수, 산사태, 침수, 토사 (이하 홍수 등이라 칭함)의 위험을, LWI는 장기 누적된 강수량에 의한 돌발적 홍수 등의 위험을, SWI는 단기 누적된 강수량에 의한 돌발적 홍수 등의 위험을 잘 반영한다. 이들은 모두 시간적으로 산발적인 호우에 의한 홍수 등의 위험을 한 개의 지수로 표현해 주는 장점이 있다. 강수 후 홍수가 발생하기 까지는 시간차이가 있기 때문에, 특히 호우 경보에는 SWI가, 홍수 경보에는 LWI가 아주 효과적이다. 결론적으로 5개의 4차원 강수지수는 물환경의 시공간적 분포진단과 예측, 그리고 조기경보에 혁명적 진화를 초래함이 확인되었다. 따라서 추후 모든 강수기후와 연관된 연구는 연강수량 등의 단순 합산보다, 4차원 강수지수를 먼저 사용하는 것이 바람직 할 것임이 제안되었다.

  • PDF

Kinematic Approximation of Partial Derivative Seismogram with respect to Velocity and Density (편미분 파동장을 이용한 탄성파 주시 곡선의 평가)

  • Shin, Chang-Soo;Shin, Sung-Ryul
    • Geophysics and Geophysical Exploration
    • /
    • v.1 no.1
    • /
    • pp.8-18
    • /
    • 1998
  • In exploration seismology, the Kirchhoff hyperbola has been successfully used to migrate reflection seismo-grams. The mathematical basis of Kirchhoff hyperbola has not been clearly defined and understood for the application of prestack or poststack migration. The travel time from the scatterer in the subsurface to the receivers (exploding reflector model) on the surface can be a kinematic approximation of Green's function when the source is excited at position of the scatterer. If we add the travel time from the source to the scatterer in the subsurface to the travel time of exploding reflector model, we can view this travel time as a kinematic approximation of the partial derivative wavefield with respect to the velocity or the density in the subsurface. The summation of reflection seismogram along the Kirchhoff hyperbola can be evaluated as an inner product between the partial derivative wavefield and the field reflection seismogram. In addition to this kinematic interpretation of Kirchhoff hyperbola, when we extend this concept to shallow refraction seismic data, the stacking of refraction data along the straight line can be interpreted as a measurement of an inner product between the first arrival waveform of the partial derivative wavefield and the field refraction data. We evaluated the Kirchhoff hyperbola and the straight line for stacking the refraction data in terms of the first arrival waveform of the partial derivative wavefield with respect to the velocity or the density in the subsurface. This evaluation provides a firm and solid basis for the conventional Kirchhoff migration and the straight line stacking of the refraction data.

  • PDF

The Study of Statistical Optimization of 1,4-dioxane Treatment Using E-beam Process (전자빔 공정을 이용한 1,4-Dioxane 처리의 통계적 최적화 연구)

  • Hwang, Haeyoung;Chang, Soonwoong
    • Journal of the Korean GEO-environmental Society
    • /
    • v.12 no.4
    • /
    • pp.25-31
    • /
    • 2011
  • In this study, the experimental design methodology was applied to optimize 1,4-dioxane treatment in E-beam process. Main factor was mathematically described as a function of parameters 1,4-dioxane removal efficiencies(%), TOC removal efficiencies(%) modeled by the use of the central composite design(CCD) method among the response surface methodology(RSM). Concentration of 1,4-dioxane is designated as "$x_1$" and Irradiation intensity is designated as "$x_2$". The regression equation in coded unit between the 1,4-dioxane concentration and removal efficiencies(%) was $y=71.00-10.85x_1+20.67x_2+{1.53x_1}^2-{7.92x_2}^2-1.23x_1x_2$. The regression equation in coded unit between the 1,4-dioxane concentration and TOC removal efficiencies(%) was $y=44.48-13.25x_1+9.54x_2+{5.43x_1}^2-{1.35x_2}^2+4.45x_1x_2$. The model predictions agreed well with the experimentally observed results $R^2$(Adj) over 90%. Toxicity test using algae Pseudokirchneriella Subcapitata showed that the inhibition was reduced according to increasing an E-beam irradiation.

Power analysis attacks against NTRU and their countermeasures (NTRU 암호에 대한 전력 분석 공격 및 대응 방법)

  • Song, Jeong-Eun;Han, Dong-Guk;Lee, Mun-Kyu;Choi, Doo-Ho
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.19 no.2
    • /
    • pp.11-21
    • /
    • 2009
  • The NTRU cryptosystem proposed by Hoffstein et al. in 1990s is a public key cryptosystem based on hard lattice problems. NTRU has many advantages compared to other public key cryptosystems such as RSA and elliptic curve cryptosystems. For example, it guarantees high speed encryption and decryption with the same level of security, and there is no known quantum computing algorithm for speeding up attacks against NTRD. In this paper, we analyze the security of NTRU against the simple power analysis (SPA) attack and the statistical power analysis (STPA) attack such as the correlation power analysis (CPA) attack First, we implement NTRU operations using NesC on a Telos mote, and we show how to apply CPA to recover a private key from collected power traces. We also suggest countermeasures against these attacks. In order to prevent SPA, we propose to use a nonzero value to initialize the array which will store the result of a convolution operation. On the other hand, in order to prevent STPA, we propose two techniques to randomize power traces related to the same input. The first one is random ordering of the computation sequences in a convolution operation and the other is data randomization in convolution operation.

Real-Time 3D Ultrasound Imaging Method Using a Cross Array Based on Synthetic Aperture Focusing: II. Linear Wave Front Transmission Approach (합성구경 기반의 교차어레이를 이용한 실시간 3차원 초음파 영상화 기법 : II. 선형파면 송신 방법)

  • 김강식;송태경
    • Journal of Biomedical Engineering Research
    • /
    • v.25 no.5
    • /
    • pp.403-414
    • /
    • 2004
  • In the accompanying paper, we proposed a real. time volumetric imaging method using a cross array based on receive dynamic focusing and synthetic aperture focusing along lateral and elevational directions, respetively. But synthetic aperture methods using spherical waves are subject to beam spreading with increasing depth due to the wave diffraction phenomenon. Moreover, since the proposed method uses only one element for each transmission, it has a limited transmit power. To overcome these limitations, we propose a new real. time volumetric imaging method using cross arrays based on synthetic aperture technique with linear wave fronts. In the proposed method, linear wave fronts having different angles on the horizontal plane is transmitted successively from all transmit array elements. On receive, by employing the conventional dynamic focusing and synthetic aperture methods along lateral and elevational directions, respectively, ultrasound waves can be focused effectively at all imaging points. Mathematical analysis and computer simulation results show that the proposed method can provide uniform elevational resolution over a large depth of field. Especially, since the new method can construct a volume image with a limited number of transmit receive events using a full transmit aperture, it is suitable for real-time 3D imaging with high transmit power and volume rate.

Predictive Modeling of Bacillus cereus on Carrot Treated with Slightly Acidic Electrolyzed Water and Ultrasonication at Various Storage Temperatures (미산성 차아염소산수와 초음파를 처리한 당근에서 저장 중 Bacillus cereus 균의 생육 예측모델)

  • Kim, Seon-Young;Oh, Deog-Hwan
    • Journal of the Korean Society of Food Science and Nutrition
    • /
    • v.43 no.8
    • /
    • pp.1296-1303
    • /
    • 2014
  • This study was conducted to develop predictive models for the growth of Bacillus cereus on carrot treated with slightly acidic electrolyzed water (SAcEW) and ultrasonication (US) at different storage temperatures. In addition, the inactivation of B. cereus by US with SAcEW was investigated. US treatment with a frequency of 40 kHz and an acoustic energy density of 400 W/L at $40^{\circ}C$ for 3 min showed the maximum reduction of 2.87 log CFU/g B. cereus on carrot, while combined treatment of US (400 W/L, $40^{\circ}C$, 3 min) with SAcEW reached to 3.1 log CFU/g reduction. Growth data of B. cereus on carrot treated with SAcEW and US at different temperatures (4, 10, 15, 20, 25, 30, and $35^{\circ}C$) were collected and used to develop predictive models. The modified Gompertz model was found to be more suitable to describe the growth data. The specific growth rate (SGR) and lag time (LT) obtained from the modified Gompertz model were employed to establish the secondary models. The newly developed secondary models were validated using the root mean square error, bias factor, and accuracy factor. All results of these factors were in the acceptable range of values. After compared SGR and LT of B. cereus on carrot, the results showed that the growth of B. cereus on carrot treated with SAcEW and US was slower than that of single treatment. This result indicates that shelf life of carrot treated with SAcEW and US could be extended. The developed predictive models might also be used to assess the microbiological risk of B. cereus infection in carrot treated with SAcEW and US.

Yeomjae Song Tae-hoe Origin and art world of calligraphy and painting (염재(念齋) 송태회(宋太會) 서화의 연원과 예술세계)

  • Kim Doyoung
    • The Journal of the Convergence on Culture Technology
    • /
    • v.9 no.5
    • /
    • pp.255-262
    • /
    • 2023
  • In the early 20th century, Yeomjae Song Tae-hoe (念齋 宋泰會, 1872-1941), a disciple and onetime adopted son of teacher Song Su-myeon(宋修勉, 1847-1916), moved to Gochang and laid the foundation for Gochang calligraphy and painting, and it can be seen that a full-fledged flow began. Yeomjae Song Tae-hoe was a scholar and calligrapher of the late Joseon Dynasty and modern period from Hwasun, Jeollanam-do. He is a person who created the foundation of Gochang calligraphy and painting while working as an educator in Chinese literature, calligraphy, and painting, mainly in his hometown of Hwasun and Gochang, while engaging in creative activities. He was intelligent from a young age and showed an extraordinary talent for calligraphy. At the age of 16, he passed the Jinsa exam (童蒙進士) and became the youngest student to study at Sungkyunkwan. He was active by holding exhibitions nationwide based in Gochang and Jeonju, and was also an educator who fostered younger students by establishing Gochang High School (currently, Gochang Middle and High School) to cultivate national spirit and history. Yeomjae drew strong and healthy landscape paintings under the absolute influence of the painting style of Saho Song Su-myeon, and dealt with various materials of southern school literati paintings such as flowers and birds and four plants. In particular, he is a representative calligrapher who encompasses the early modern era and the modern era in that he expressed his interest in new cultural artifacts as well as the realization of a modern-oriented realistic landscape based on Korean natural beauty. He laid the foundation for modern and contemporary calligraphy and painting. Goam Lee Eung-no (顧菴 李應魯, 1904-1989), a world-renowned painter, learned the basics of ink painting from Yeomjae in his late teens.However, compared to his various artistic and social activities, it is regrettable that he is limited and evaluated as a local writer.

The Effect of the Use of Concept Mapping on Science Achievement and the Scientific Attitude in Ocean Units of Earth Science (해양단원 개념도 활용 수업이 과학성취도 및 태도에 미치는 효과)

  • Han, Jung-Hwa;Kim, Kwang-Hui;Park, Soo-Kyong
    • Journal of the Korean earth science society
    • /
    • v.23 no.6
    • /
    • pp.461-473
    • /
    • 2002
  • Concept mapping is a device for representing the conceptual structure of a subject discipline in a two dimensional form which is analogous to a road map. In the teaching and learning of earth science, each concept depends on its relationships to many others for meaning. Using concept mapping in teaching helps teachers and students to be more aware of the key concepts and relationships among them. The purpose of this study is to investigate the effect of the use of concept mapping on science achievement and the scientific attitude in ocean units of earth science. The results of this study are as follows; first, the science achievement of a group of concept mapping teaching is significantly higher than that of the group of traditional teaching. Also, when the achievement levels are compared among different cognitive ability groups, the effect is more significant in mid or lower level student groups than in high level groups. The use of concept mapping is more effective when the concepts have a distinct concept hierarchy. Second, the scores of the test of ‘attitude toward scientific inquiry’ and ‘application of scientific attitude’ of the group of concept mapping teaching are significantly higher than those of the group of traditional teaching, whereas the scores of the test of ‘interest in science learning’ of concept mapping teaching is not different from those of group of traditional teaching. Third, the survey on the use of concept mapping shows a positive response across the tested groups. The use of concept mapping is more beneficial in fostering the comprehension of the topic. A concept map of student's own construction facilitates the assessment of learning, thus promising the usefulness of concept mapping as a means of evaluation. In regard to retention aspect, concept mapping is considered to be more effective in confirming and remembering the topic, while less effective in the aspects of activity and interest. In conclusion, the use of concept maps makes learning an active meaningful process and improves student's academic achievement and scientific attitude. If the concept mapping is more effectively as an active teaching strategy, more meaningful learning will be attained.