粘上 发表于 2025-3-21 17:11:20

书目名称Quantitative Evaluation of Systems影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0780841<br><br>        <br><br>书目名称Quantitative Evaluation of Systems读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0780841<br><br>        <br><br>

凹处 发表于 2025-3-21 23:46:03

http://reply.papertrans.cn/79/7809/780841/780841_2.png

CAGE 发表于 2025-3-22 00:37:40

: A Tool for Generating the Alpha Factors of General Distributions.(.) is taken as the deterministic distribution, leading to the computation of the CTMC probability at time ., but Uniformization may be extended to use other distributions. The extended Uniformization does not manipulate directly the distribution, as the whole computation is based on the . of .(.),

dilute 发表于 2025-3-22 05:43:44

Quantitative Model Checking for a Smart Grid Pricingtional communications between electricity providers and customers. The providers can monitor the customers’ detailed electricity usage and by posting dynamically changing prices, they can shape the energy demand. We propose a model checking based day-ahead pricing technique and demonstrate the usefu

耐寒 发表于 2025-3-22 12:42:28

Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panelsour of photovoltaic panels as electric power sources, and in an aggregated model that can capture how such a population behaves when connected to the power grid. After an initial analysis of the characteristics and behaviour of a single device, we propose two Markov chain models for the aggregation

发出眩目光芒 发表于 2025-3-22 14:43:40

Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploratione. However, batteries can deliver power only for a limited time span. They slowly degrade with every charge-discharge cycle. This degradation needs to be taken into account when considering the battery in long lasting applications. Some detailed models that describe battery degradation processes do

群岛 发表于 2025-3-22 18:34:08

A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Neumerical solution of equations, or use some variant of simulation. Both methods have characteristic advantages and disadvantages depending on the size of the reachability graph and type of performance measure. The paper proposes a hybrid performance evaluation algorithm for Stochastic Petri Nets tha

Urologist 发表于 2025-3-23 00:05:25

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storagealgorithms the data is divided into several slices that are distributed among remote and independent storage nodes. Ensuring confidentiality in this context is crucial: only legitimate users should access any part of information they distribute among storage nodes..To the best of our knowledge, the

带来墨水 发表于 2025-3-23 01:50:50

On the Cost of Diagnosis with Disambiguationat accurately detects faults a finite number of steps after their occurrence. In a regular setting, a . builds an estimation of possible states of the system after an observation to decide if a fault has occurred. This paper addresses diagnosability (deciding whether a system is diagnosable) and its

空中 发表于 2025-3-23 05:35:46

http://reply.papertrans.cn/79/7809/780841/780841_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Quantitative Evaluation of Systems; 14th International C Nathalie Bertrand,Luca Bortolussi Conference proceedings 2017 Springer Internation