supported by National Key Research and Development of China(Grant No.2019YFB2101600)。
The distributed randomness beacon(DRB)is a crucial tool for continuously generating unpredictable,bias-resistant,and publicly verifiable random numbers on a regular basis.This is particularly useful for applications s...
In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our ...
Processing temporal information is a critical brain function necessary for decision-making and cognition.Interval timing,or processing of time intervals on the scale of seconds to minutes,is essential for associative ...
Background: Infertility is unexplained in about 22% - 28% of infertile couples. Spontaneous pregnancy may occur in them. If did not happen, Expectant management will be via clomiphene citrate (CC) administration, intr...
This thesis is trying to analyze the pre-writing strategies used by Chinese college students in a timed examination.The purposes of this study is to identify the possible strategies the Chinese college students claime...
Supported by Chongqing Science and Technology Bureau,No.cstc2019jxjl130023.
BACKGROUND Dysfunction in stroke patients has been a problem that we committed to solve and explore.Physical therapy has some effect to regain strength,balance,and coordination.However,it is not a complete cure,so we ...
supported by the National Natural Science Foundation of China(61803246,61703321);the China Postdoctoral Science Foundation(2019M663608);Shaanxi Provincial Natural Science Foundation(2019JQ-022,2020JQ-733);the Fundamental Research Funds for the Central Universities(JB190407);the Shaanxi Key Laboratory of Complex System Control and Intelligent Information Processing,Xi’an University of Technology(SKL2020CP03)。
Timed weighted marked graphs are a subclass of timed Petri nets that have wide applications in the control and performance analysis of flexible manufacturing systems.Due to the existence of multiplicities(i.e.,weights...