• Title/Summary/Keyword: probability theory

Search Result 689, Processing Time 0.025 seconds

An Overrun Control Method and its Synthesis Method for Real-Time Systems with Probabilistic Timing Constraints (확률적인 시간 제약 조건을 갖는 실시간 시스템을 위한 과실행 제어 및 합성 기법)

  • Kim, Kang-Hee;Hwang, Ho-Young
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.32 no.5
    • /
    • pp.243-254
    • /
    • 2005
  • Soft real-time applications such as multimedia feature highly variable processor requirements and probabilistic guarantees on deadline misses, meaning that each task in the application meets its deadline with a given probability. Thus, for such soft real-time applications, a system designer may want to improve the system utilization by allocating to each task a processor time less than its worst-case requirement, as long as the imposed probabilistic timing constraint is met. In this case, however, we have to address how to schedule jobs of a task that require more than (or, overrun) the allocated processor time to the task. In this paper, to address the overrun problem, we propose an overrun control method, which probabilistically controls the execution of overrunning jobs. The proposed overrun control method probabilistically allows overrunning jobs to complete for better system utilization, and also probabilistically prevents the overrunning jobs from completing so that the required probabilistic timing constraint for each task can be met. In the paper, we show that the proposed method outperforms previous methods proposed in the literature in terms of the overall deadline miss ratio, and that it is possible to synthesize the scheduling parameters of our method so that all tasks can meet the given probabilistic timing constraints.

Optimization of Stream Gauge Network Using the Entropy Theory (엔트로피 이론을 이용한 수위관측망의 최적화)

  • Yoo, Chul-Sang;Kim, In-Bae
    • Journal of Korea Water Resources Association
    • /
    • v.36 no.2
    • /
    • pp.161-172
    • /
    • 2003
  • This study has evaluated the stream gauge network with the main emphasis on if the current stream gauge network can catch the runoff characteristics of the basin. As the evaluation of the stream gauge network in this study does not consider a special purpose of a stream gauge, nor the effect from a hydraulic structure, it becomes an optimization of current stream gauge network under the condition that each stream gauge measures the natural runoff volume. This study has been applied to the Nam-Han River Basin for the optimization of total 31 stream gauge stations using the entropy concept. Summarizing the results are as follows. (1) The unit hydrograph representing the basin response from rainfall can be transferred into a probability density function for the application of the entropy concept to optimize the stream gauge network. (2) Accurate derivation of unit hydrographs representing stream gauge sites was found the most important part for the evaluation of stream gauge network, which was assured in this research by comparing the measured and derived unit hydrographs. (3) The Nam-Han River Basin was found to need at least 28 stream gauge stations, which was derived by considering both the shape of the unit hydrograph and the runoff volume. If considering only the shape of the unit hydrograph, the number of stream gauges required decreases to 23.

Efficient Fault-Tolerant Multicast on Hypercube Multicomputer System (하이퍼 큐브 컴퓨터에서 효과적인 오류 허용 다중전송기법)

  • 명훈주;김성천
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.30 no.5_6
    • /
    • pp.273-279
    • /
    • 2003
  • Hypercube multicomputers have been drawing considerable attention from many researchers due to their regular structure and short diameter. One of keys to the performance of Hypercube is the efficiency of communication among processors. Among several communication patterns, multicast is important, which is found in a variety of applications as data replication and signal processing. As the number of processors increases, the probability of occurrences of fault components also increases. So it would be desirable to design an efficient scheme that multicasts messages in the presence of faulty component. In fault-tolerant routing and multicast, there are local information based scheme, global information based scheme and limited information based scheme in terms of information. In general, limited information is easy to obtain and maintain by compressing information in a concise format. In this paper, we propose a new routing scheme and a new multicast scheme using recently proposed fully reachability information scheme and new local information scheme. The proposed multicast scheme increases multicast success possibility and reduce deroute cases. Experiments show that multicast success possibility can increase at least 15% compared to previous method.

An Evaluation on Quality of Field Trial Protocol using Pay Factor and Analysis of Fatigue Life (지불계수를 이용한 시험포장구간의 품질평가와 피로수명 분석)

  • Lee, Jae-Hack;Rhee, Suk-Keun;Kim, Seong-Min;Hwang, Sang-Min
    • International Journal of Highway Engineering
    • /
    • v.11 no.4
    • /
    • pp.133-142
    • /
    • 2009
  • This research is performed to estimate quality of trial pavement for construction and analyze effect of fatigue life by using the pay factor. Specially, asphalt content which is difficult to control the pavement quality, is selected by pay adjustment standard factors and pay factor is calculated by asphalt content. This research is also analyzed to present relation of fatigue life according to asphalt content, to evaluate quality of the road pavement by calculating pay factor of sampling trial field mixture 2 times. This research confirms that it is different quality of road pavement according to pay factor changes. To analyze the fatigue life of pavement by using asphalt mixture for trial field. As a result, it is conformed that high pay factor could be high fatigue life of trial field. This means that pay factor using probability theory reflects road pavement fatigue life. Also, this study is included that beam fatigue test manufacturing specimen such as mixing type of plant which purvey asphalt mixture to trial field, compared with fatigue life of trial field. As a result, the fatigue life of specimen that is manufactured by mix type is higher than trial field specimen. This means that performance of road pavement can be reduced by gradation or other effects. Therefore, to exactly evaluate the quality of road pavement, pay factor should be calculated appling various pay adjustment standard factors such as gradation, air-void in U.S. states which is adopted pay adjustment.

  • PDF

Study on Probabilistic Analysis for Fire·Explosion Accidents of LPG Vaporizer with Jet Fire (Jet Fire를 수반한 국내외 LPG 기화기의 화재·폭발사고에 관한 확률론적 분석에 관한 연구)

  • Ko, Jae-Sun
    • Fire Science and Engineering
    • /
    • v.26 no.4
    • /
    • pp.31-41
    • /
    • 2012
  • This study collected 5,100 cases of gas accident occurred in Korea for 14 years from 1995 to 2008, established Database and based on it, analyzed them by detailed forms and reasons. As the result of analyzing the whole city gas accidents with Poisson analysis, the item of "Careless work-Explosion-Pipeline' showed the highest rate of accidents for the next 5 years. And, "Joint Losening and corrosion-Release-Pipeline" showed the lowest rate of accident. In addition, for the result of analyzing only accidents related to LPG vaporizer, "LPG-Vaporizer-Fire" showed the highest rate of accident and "LPG-Vaporizer-Products Faults" showed the lowest rate of accident. Also, as the result of comparing and analyzing foreign LPG accident accompanied by Jet fire, facility's defect which is liquid outflow cut-off device and heat exchanger's defect were analyzed as the main reason causing jet fire, like the case of Korea, but the number of accidents for the next 5 years was the highest in "LPG-Mechanical-Jet fire" and "LPG-Mechanical-Vapor Cloud" showed the highest rate of accidents. By grafting Poisson distribution theory onto gas accident expecting program of the future, it's expected to suggest consistent standard and be used as the scale which can be used in actual field.

Blockchain-based multi-IoT verification model for overlay cloud environments (오버레이 클라우드 환경을 위한 블록체인 기반의 다중 IoT 검증 모델)

  • Jeong, Yoon-Su;Kim, Yong-Tae;Park, Gil-Cheol
    • Journal of Digital Convergence
    • /
    • v.19 no.4
    • /
    • pp.151-157
    • /
    • 2021
  • Recently, IoT technology has been applied to various cloud environments, requiring accurate verification of various information generated by IoT devices. However, due to the convergence of IoT technologies and 5G technologies, accurate analysis is required as IoT information processing is rapidly processed. This paper proposes a blockchain-based multi-IoT verification model for overlay cloud environments. The proposed model multi-processes IoT information by further classifying IoT information two layers (layer and layer) into bits' blockchain to minimize the bottleneck of overlay networks while ensuring the integrity of information sent and received from embedded IoT devices within local IoT groups. Furthermore, the proposed model allows the layer to contain the weight information, allowing IoT information to be easily processed by the server. In particular, transmission and reception information between IoT devices facilitates server access by distributing IoT information from bits into blockchain to minimize bottlenecks in overlay networks and then weighting IoT information.

Prediction Method of Settlement Based on Field Monitoring Data for Soft Ground Under Preloading Improvement with Ramp Loading (점증 선행 하중으로 개량하는 연약지반의 계측기반 침하량 예측방법 개발)

  • Woo, Sang-Inn;Yune, Chan-Young;Baek, Seung-Kyung;Chung, Choong-Ki
    • Journal of the Korean Geotechnical Society
    • /
    • v.24 no.10
    • /
    • pp.83-91
    • /
    • 2008
  • Previous settlement prediction methods based on settlement monitoring were developed under instantaneous loading condition and have restriction to be applied to soft ground under ramp loading condition. In this study, settlement prediction method under ramp loading was developed. New settlement prediction method under ramp loading considered influence factors of consolidation settlement such as thickness of clayed layer, quantity of surcharge load and preconsolidation pressure, etc. Geometrical correction method based on hyperbolic method (1991) and correction method based on probability theory were applied to increase accuracy of settlement prediction using field monitoring data after ramp loading. Large consolidation tests for ideally controlled one dimensional consolidation under ramp loading condition were performed and the settlement behavior was predicted based on the monitoring data. New prediction method yielded good result of entire settlement behavior by using data during an early stage of ramp load. Additionally, new prediction method offered better settlement prediction which had final settlement prediction in close proximity and low RMSE(Root Mean Square Error) than previous method such as hyperbolic method did.

Yin-Yang and Five-Element Characteristics of Day Master on Four Time Pillars of Birth in Korean Population with Schizophrenia: A Consilience-Based Holistic Approach (조현병 환자군과 일반 인구군간 출생일간(出生日干)의 음양오행적 특성 비교: 통섭(統攝)적 측면에서의 접근)

  • Tae-Young Hwang;Ji-Eun Lee;Geum-Dan Yi;Yeoung-Su Lyu
    • Journal of Oriental Neuropsychiatry
    • /
    • v.34 no.2
    • /
    • pp.71-82
    • /
    • 2023
  • Objectives: The existing reductionist approach has not reached complete understanding of the cause of schizophrenia. The objective of this study was to investigate yin-yang and five-element characteristics reflected on four time pillars of birth of patients with schizophrenia through comparison with the general population in the perspective of consilience-based holistic approach. Methods: This study was conducted using a random sequential recruitment method for the general population and individuals with schizophrenia aged 18 to 64 based on the exact date and time of birth using structured questionnaires. Relative positional relations of yin-yang and five-element with day master were primarily examined. In addition, the strength of day master with a score range of 0~100 points was assessed through operational score allocation. Results: Of 591 participants, 576 (346: general population, 230: individuals with schizophrenia) were analyzed. Between-group analyses showed no significant difference in the distribution of types of day master (χ2=10.41, df=9, p=0.318). However, significant between-group differences were shown in the distribution of the strength of day master (t=2.14, p=0.032) and frequency of restraining month branch (χ2=5.23, df=1, p=0.022). In logistic regression analysis, 10-point increase on the strength of day master decreased the probability of onset of schizophrenia over the age of 30 by 29.6% (p=0.002; 95% confidence interval, 0.566~0.876). Conclusions: Findings in this study suggest that four time pillars of birth might be associated with schizophrenia through yin-yang and five-element theory and synchronicity principle, implicating the plausibility of consilience-based holistic approach in the determination of risk factors or cause of schizophrenia.

Reliability of mortar filling layer void length in in-service ballastless track-bridge system of HSR

  • Binbin He;Sheng Wen;Yulin Feng;Lizhong Jiang;Wangbao Zhou
    • Steel and Composite Structures
    • /
    • v.47 no.1
    • /
    • pp.91-102
    • /
    • 2023
  • To study the evaluation standard and control limit of mortar filling layer void length, in this paper, the train sub-model was developed by MATLAB and the track-bridge sub-model considering the mortar filling layer void was established by ANSYS. The two sub-models were assembled into a train-track-bridge coupling dynamic model through the wheel-rail contact relationship, and the validity was corroborated by the coupling dynamic model with the literature model. Considering the randomness of fastening stiffness, mortar elastic modulus, length of mortar filling layer void, and pier settlement, the test points were designed by the Box-Behnken method based on Design-Expert software. The coupled dynamic model was calculated, and the support vector regression (SVR) nonlinear mapping model of the wheel-rail system was established. The learning, prediction, and verification were carried out. Finally, the reliable probability of the amplification coefficient distribution of the response index of the train and structure in different ranges was obtained based on the SVR nonlinear mapping model and Latin hypercube sampling method. The limit of the length of the mortar filling layer void was, thus, obtained. The results show that the SVR nonlinear mapping model developed in this paper has a high fitting accuracy of 0.993, and the computational efficiency is significantly improved by 99.86%. It can be used to calculate the dynamic response of the wheel-rail system. The length of the mortar filling layer void significantly affects the wheel-rail vertical force, wheel weight load reduction ratio, rail vertical displacement, and track plate vertical displacement. The dynamic response of the track structure has a more significant effect on the limit value of the length of the mortar filling layer void than the dynamic response of the vehicle, and the rail vertical displacement is the most obvious. At 250 km/h - 350 km/h train running speed, the limit values of grade I, II, and III of the lengths of the mortar filling layer void are 3.932 m, 4.337 m, and 4.766 m, respectively. The results can provide some reference for the long-term service performance reliability of the ballastless track-bridge system of HRS.

A Study on functional priority of smart home service for single-person household - focusing on Perceived Attributes of Innovations - (1인 가구를 위한 스마트 홈 서비스 기능의 우선순위 연구 - 인지된 혁신 특성 요인을 중심으로 -)

  • Lim, Se Eun;Park, Seung Ho
    • Design Convergence Study
    • /
    • v.15 no.2
    • /
    • pp.37-52
    • /
    • 2016
  • The purpose of this study is to suggest functional priority to increase probability to be adopted by single-person household by designating single-person household as potential early adopter of smart home service. Smart home service is spread slowly for its value. This study applied diffusion of innovations theory to solve this problem. Single-person household who has no other family member who can take care of household is chosen as potential early adopter. This study tried to find grounds of functional priorities through an online survey. The survey questionnaires were composed as following. First, representative attributes of single- person household were reviewed, then measuring questions according to the attributes were recomposed based upon preceding study. After that, concept and status of smart home service were reviewed. and smart home service functions to be measured in this study were selected through analysis based upon representative cases, then Measuring questionnaire were made were three factors which chosen by referring to preceding study about perceived attributes of innovations applied to selected functions. As a result of analyzed 62 responses, except excluded functions which has perceived any special value, set priorites with 9 functions. These functional priorities obtained from these studies will play a role as fundamental data to provide valuable service to single-person household and have a meaning as a starting point to increase rate of adoption for smart home service.