1,946 research outputs found
On Dynamical Decomposition of Multiscale Oceanic Motions
No full textThe MATLAB script (multiscale_decomp_WLL2022.m) performs the decomposition proposed by Chuanyin Wang, Zhiyu Liu and Hongyang Lin ('On Dynamical Decomposition of Multiscale Oceanic Motions' submitted to JAMES)
A Simple Approach for Disentangling Vortical and Wavy Motions of Oceanic Flows
No full textThe MATLAB script (wavy_vortical_decomp.m) performs the decomposition proposed by Chuanyin Wang, Zhiyu Liu and Hongyang Lin ('A Simple Approach for Disentangling Vortical and Wavy Motions of Oceanic Flows ' submitted to JPO)
Theoretical and practical tools for validating discrete and real-time systems
No full textSystem validation has been investigated for a long time. Testing is used to find errors inside a system; in contrast, model checking is used to verify whether a given property holds in the system. Both methods have their own advantages and interact with each other. This thesis focuses on four methodologies for model checking and testing. In the end, they are integrated into a practical validating tool set, which is described in this thesis. Many techniques have been developed to manage the state space for a complicated system. But they still fail to reduce the state space for some large-scale concurrent systems. We propose using code annotation as a means of manually controlling the state space. This solution provides a trade-off between computability and exhaustiveness. When a suspicious execution is found either by testing or by model checking, it can be difficult to repeat this execution in a real environment due to nondeterministic choices existing in the system. We suggest enforcing a given execution by code transformation. In addition, we extend our method from a single path to partial order executions. In order to repeat at least one such execution, we need to provide appropriate values satisfying the path's initial precondition in its environment. It is easy to obtain the precondition in a discrete environment, but difficult in a real-time environment, especially for a partial order, since the computation would involve time constraints in the latter case. We present a real-time model first, and then a methodology to compute the precondition on this model. When every action in the system is associated with a probability density function, it is possible to calculate the probability of the occurrence of a particular execution. We give a method to calculate the probability by inte- gration on a group of independent continuous random variables, each of which is corresponding to an action either executed, or enabled but not fired. The research described in this thesis provides some new ideas for ap- plying formal methods to classical software development tools
On Dynamical Decomposition of Multiscale Oceanic Motions
No full textThe MATLAB script (multiscale_decomp_WLL2022.m) performs the decomposition proposed by Chuanyin Wang, Zhiyu Liu and Hongyang Lin ('On Dynamical Decomposition of Multiscale Oceanic Motions' submitted to JAMES)
Reviewer_1_v.1 – Supplemental material for The efficacy of adding budesonide/formoterol to ipratropium plus theophylline in managing severe chronic obstructive pulmonary disease: an open-label, randomized study in China
No full textSupplemental material, Reviewer_1_v.1 for The efficacy of adding budesonide/formoterol to ipratropium plus theophylline in managing severe chronic obstructive pulmonary disease: an open-label, randomized study in China by Kewu Huang, Yanfei Guo, Jian Kang, Li An, Zeguang Zheng, Lijun Ma, Liping Peng, Hongyang Wang, Rong Su, Yohji Itoh and Chen Wang in Therapeutic Advances in Respiratory Disease</p
Hybrid analog-digital precoder design for securing cognitive millimeter wave networks
No full textMillimeter wave (mmWave) communications and cognitive radio technologies constitute key technologies of improving the spectral efficiency of communications. Hence, we conceive a hybrid secure precoder for enhancing the physical layer security of a cognitive mmWave wiretap channel, where a secondary transmitter broadcasts confidential information signals to multiple secondary users under the interference temperature constraint of the primary user (PU). The optimization problem is formulated as jointly optimizing the analog and digital precoder for maximizing the minimum secrecy rate of all the secondary users under practical constraints. In particular, our design satisfies the constraint on the maximum interference power received by multiple PUs, as well as the secondary users’ minimum quality-of-service (Qos), and the unit-modulus constraint on the analog precoder. Due to the non-convexity of the resultant objective function and owing to the coupling between the analog and digital precoder, the optimization problem formulated is nonconvex and nonlinear, hence it is very challenging to solve directly. Hence, we first transform it into a tractable form, and develop a penalty dual decomposition (PDD) based iterative algorithm to locate its Karush-Kuhn-Tucker (KKT) solution. Finally, we generalize the proposed PDD algorithm to a secure hybrid precoder design relying on practical finite-resolution phase shifters and show that the proposed PDD algorithm can be straightforwardly adapted to handle the scenario, where each PU is equipped with multiple antennas and the CSI of multiple eavesdroppers (Eves) is imperfectly known. Our simulation results validate the efficiency of the proposed iterative algorithm
On Dynamical Decomposition of Multiscale Oceanic Motions
No full textThe MATLAB script (multiscale_decomp_WLL2022.m) performs the decomposition proposed by Chuanyin Wang, Zhiyu Liu and Hongyang Lin ('On Dynamical Decomposition of Multiscale Oceanic Motions' submitted to JAMES)
Author_response_to_reviewers – Supplemental material for The efficacy of adding budesonide/formoterol to ipratropium plus theophylline in managing severe chronic obstructive pulmonary disease: an open-label, randomized study in China
No full textSupplemental material, Author_response_to_reviewers for The efficacy of adding budesonide/formoterol to ipratropium plus theophylline in managing severe chronic obstructive pulmonary disease: an open-label, randomized study in China by Kewu Huang, Yanfei Guo, Jian Kang, Li An, Zeguang Zheng, Lijun Ma, Liping Peng, Hongyang Wang, Rong Su, Yohji Itoh and Chen Wang in Therapeutic Advances in Respiratory Disease</p
Effects of exogenous Put treatment on firmness, SSC, and titratable acidity of ‘Hongyang’ kiwifruit during storage at 0°C.
No full textEffects of exogenous Put treatment on firmness, SSC, and titratable acidity of ‘Hongyang’ kiwifruit during storage at 0°C.</p
Reviewer_1_v.2 – Supplemental material for The efficacy of adding budesonide/formoterol to ipratropium plus theophylline in managing severe chronic obstructive pulmonary disease: an open-label, randomized study in China
No full textSupplemental material, Reviewer_1_v.2 for The efficacy of adding budesonide/formoterol to ipratropium plus theophylline in managing severe chronic obstructive pulmonary disease: an open-label, randomized study in China by Kewu Huang, Yanfei Guo, Jian Kang, Li An, Zeguang Zheng, Lijun Ma, Liping Peng, Hongyang Wang, Rong Su, Yohji Itoh and Chen Wang in Therapeutic Advances in Respiratory Disease</p
- …
