Yue Ben

Learn More
To identify the key enzymes involved in anthocyanin synthesis in sweet cherry (Prunus avium L.), the differences in anthocyanin biosynthetic gene expressions were investigated in the samples (mix of peel and flesh) of a red-colored cultivar (‘Hongdeng’) and a bicolored cultivar (‘Caihong’) during fruit development. The expression of six anthocyanin(More)
Ensuring the correct behavior of cyber physical systems at run time is of critical importance for their safe deployment. Any malfunctioning of such systems should be detected in a timely manner for further actions. This paper addresses the issue of how quickly a monitor raises an alarm after the occurrence of a failure in cyber physical systems. Towards(More)
 Design verification algorithms for failure-prone open concurrent systems, such as model checking server-end web applications and code analysis, using Hierarchical Probabilistic Automata (HPA). This research addresses security issues and solves decidability and robustness problems.  Develop an HPA-based verification tool (Java+PRISM).  Monitored embedded(More)
In this study, two experiments were conducted to test the effect of high temperature on survival, behavior, oxygen consumption, ammonia-N excretion, and enzyme activities related to oxidative stress of the Japanese scallop Mizuhopecten yessoensis. In the first test, we abruptly transferred scallops from the rearing temperature (15 °C, control temperature)(More)
2013 spring Stochastic Petri nets (SPNs) are extended Petri nets where the transitions fire after a probabilistic delay determined by a random variable. There have been a lot of members added to the SPN family, featuring different time specifications. The most fundamental Markov SPN model and Generalized SPN will be studied in this report. Some relatively(More)
In a collaborative workflow environment, interaction protocol is adopted as a contract, which every peer process must comply with. In order to verify the compliance, we develop a joint model of Open Workflow Net (oWFN) and Global Calculus by establishing a connection between their grammars, and denote the joint model Dynamic oWFN (DoWFN). We construct the(More)
A series of river trials are carried out to verify the feasibility of the velocity matching method and the velocity plus attitude matching method. First of all, a hardware-in-the-loop simulation system is designed in this paper. Secondly, the kalman filter models for velocity matching and velocity plus attitude matching are introduced. Four types of river(More)
  • 1