Microservice application developers try to mitigate the impact of partial outages typically by implementing service-to-service interactions that use well-known resiliency patterns, such as Retry, Fail Fast, and Circui...
详细信息
ISBN:
(数字)9781728146591
ISBN:
(纸本)9781728146607
Microservice application developers try to mitigate the impact of partial outages typically by implementing service-to-service interactions that use well-known resiliency patterns, such as Retry, Fail Fast, and Circuit Breaker. However, those resiliency patterns-as well as their available open-source implementations-are often documented informally, leaving it up to application developers to figure out when and how to use those patterns in the context of a particular microservice application. In this paper, we take a first step towards improving on this situation by introducing a model checking-based approach in which we use the PRISM probabilistic model checker to analyze the behavior of the Retry and Circuit Breaker resiliency patterns as continuous-time Markov chains (CTMC). This approach has enabled us to quantify the impact of applying each resiliency pattern on multiple quality attributes, as well as to determine how to best tune their parameters to deal with varying service availability conditions, in the context of a simple client-service interaction scenario.
Gurame Soang Latin name Osphronomus Labirynthici gouramy including fish, that as the fish have gills and breathing apparatus in the form of additional gills (Labyrinth). One important factor in fish farming Soang Gura...
详细信息
This paper tackles the short-term hydro-power unit commitment problem in a multi-reservoir system - a cascade-based operation scenario. For this, we propose a new mathematical modelling in which the goal is to maximiz...
详细信息
Many alternatives to traditional Multi-Objective Optimization Algorithms are emerging due to the increasing number of Multi-Objective Problems with a high degree of complexity, such as Many-Objective Problems. Among t...
详细信息
The main issue related to Software-Defined Network emulators is how to replicate real behavior in experiments. Mininet and others SDN emulators have an architecture that limits both the scope of experiments and the fi...
详细信息
In carrying out drilling projects at PT China Oilfields Services Limited ( COSL) Indo, especially Project 1 to Project 4, there were a mismatch between the initial plan of the project and the actualisation in the fiel...
In carrying out drilling projects at PT China Oilfields Services Limited ( COSL) Indo, especially Project 1 to Project 4, there were a mismatch between the initial plan of the project and the actualisation in the field because there were inhibiting factors in implementing the project. The purpose of the research was to look the factors that caused for the additional time in well drilling project at PT. COSL Indo, to build a relationship model of these factors, and formulate a strategy for the company to be able to overcome the occurrence of additional time in the future project. Data analysis was conducted by using a factor analysis method and the location of the research was carried out in just one company with 102 valid respondents. The results of the research indicate that there are four factors that influence the time gap, namely Project Management Activities, Risk Analysis and Procurement, Manage Stairs, and Project Planning Development. By knowing the causes of the delay, companies can find the best solutions for future learning and the impact on environmental, social and economic problems can also be anticipated so that sustainable development occurs in the context of petroleum management.
Spinal muscular atrophy (SMA) is a neurodegenerative disease characterized by the selective loss of spinal motor neurons (MNs) and concomitant muscle weakness. Mutation of is known to cause SMA, and restoring SMN pro...
详细信息
Spinal muscular atrophy (SMA) is a neurodegenerative disease characterized by the selective loss of spinal motor neurons (MNs) and concomitant muscle weakness. Mutation of is known to cause SMA, and restoring SMN protein levels via antisense oligonucleotide treatment is effective for ameliorating symptoms. However, this approach is hindered by exorbitant costs, invasive procedures, and poor treatment responses of some patients. Here, we seek to circumvent these hurdles by identifying reliable biomarkers that could predict treatment efficacy. We uncovered that MiR34 exhibits consistent downregulation during SMA progression in both human and rodent contexts. Importantly, family-knockout mice display axon swelling and reduced neuromuscular junction (NMJ) endplates, recapitulating SMA pathology. Introducing MiR34a via scAAV9 improved the motor ability of SMNΔ7 mice, possibly by restoring NMJ endplate size. Finally, we observed a consistent decreasing trend in MiR34 family expression in the cerebrospinal fluid (CSF) of type I SMA patients during the loading phase of nusinersen treatment. Baseline CSF MiR34 levels before nusinersen injection proved predictive of patient motor skills 1 year later. Thus, we propose that MiR34 may serve as a biomarker of SMA since it is associated with the pathology and can help evaluate the therapeutic effects of nusinersen.
The expansion scenario in information technology has led to the need for the analysis of huge amounts of data to manage information for quick decision making. This paper presents an architecture for data visualization...
详细信息
Airport runway designs must consider wind climatology to reduce the potential for crosswind and tailwind events that can cause accidents and aircraft delays. The large potential of crosswind and tailwind on a runway a...
Airport runway designs must consider wind climatology to reduce the potential for crosswind and tailwind events that can cause accidents and aircraft delays. The large potential of crosswind and tailwind on a runway at the airport is very detrimental to aircraft passengers and airlines. Therefore, it is necessary to know the potential of crosswind and tailwind on the runway of Soekarno Hatta Airport and find the right parameters for the approximate direction and speed of the wind on the airport runway. Analysis was carried out using the direction and wind speed data from the Soekarno Hatta meteorological station in 2007-2017 to determine the potential for crosswind and tailwind on the runway of Soekarno Hatta airport and run a Weather Research and Forecasting (WRF) weather model to determine the parameterization of the right weather model for wind forecast at Soekarno Hatta airport. The highest maximum crosswind component in the 2007-2017 period occurred in August 30.53 knots, while the highest maximum tailwind of 25 knots occurred in January for a 250-degree runway and 24 knots occurred in August for a 070-degree runway. The potential for crosswind and tailwind is different every month. The scheme produces forecasts of wind direction and speed with a strong level of correlation with observations of wind direction and speed from the Soekarno Hatta meteorological station, the correlation value is 0.61. The most significant social impact of plane delays is time loss for passengers. While the economic impact on one of the crosswind events at Soekarno Hatta airport was an economic loss for one airline of US $ 43,392.
Autism Spectrum Disorder is a pervasive developmental disorder that will affect children in terms of interpersonal communication, social interaction, and imaginative levels in play. Many therapies to help the motor ne...
详细信息
暂无评论