This research is to control the pests inside fruits and buds by injecting pesticides into the tree with the high-pressure injector. The soluable pesticides injected into the trunk can transported insides to every part...This research is to control the pests inside fruits and buds by injecting pesticides into the tree with the high-pressure injector. The soluable pesticides injected into the trunk can transported insides to every part of the tree to kill pests. The change of pesticides inside the tree was observed. The result showed that injecting pesticides once a year could kill above 80% of the pests which happened once annually. The effect of injection lasts longer than that of applying the pesticide outside. The pesticides injected into the tree are not affected by environment and do not kill natural enemies directly,and the residual amount of pesticides is below the international standard level.展开更多
In this paper, a process of the quadtree mesh generation is described, then a mesh control device of the tree based mesh generators is analyzed in detail. Some examples are given to demonstrate that the mesh contro...In this paper, a process of the quadtree mesh generation is described, then a mesh control device of the tree based mesh generators is analyzed in detail. Some examples are given to demonstrate that the mesh control device allows for efficient a priori and a posteriori mesh refinements.展开更多
Software projects are becoming larger and more complicated. Managing those projects is based on several software development methodologies. One of those methodologies is software version control, which is used in the ...Software projects are becoming larger and more complicated. Managing those projects is based on several software development methodologies. One of those methodologies is software version control, which is used in the majority of worldwide software projects. Although existing version control systems provide sufficient functionality in many situations, they are lacking in terms of semantics and structure for source code. It is commonly believed that improving software version control can contribute substantially to the development of software. We present a solution that considers a structural model for matching source code that can be used in version control.展开更多
This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processo...This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.展开更多
【目的】为提升混合储能系统(hybrid energy storage system,HESS)辅助火电机组响应自动发电控制(automatic generation control,AGC)指令时的调节性能,提出一种基于随机模型预测控制(stochastic model predictive control,SMPC)的火储...【目的】为提升混合储能系统(hybrid energy storage system,HESS)辅助火电机组响应自动发电控制(automatic generation control,AGC)指令时的调节性能,提出一种基于随机模型预测控制(stochastic model predictive control,SMPC)的火储联合功率分配策略。【方法】首先,针对包括功率型储能钛酸锂电池与能量型储能磷酸铁锂电池构成的HESS系统,提出基于马尔科夫概率矩阵构建未来时段火电机组响应AGC指令的HESS功率需求模型,并引入自适应机制实时动态修正状态转移概率,以提升AGC指令波动下的预测精度;其次,提出一种基于概率阈值与分层抽样相结合的场景树生成方法用于将自适应马尔科夫模型输出的概率分布转化为可用于优化的有限场景集合,描述多场景下功率需求预测的不确定性;最后,在上述框架基础上构建随机预测控制器,实现火电机组和HESS的功率最优分配。【结果】仿真实验表明,所提策略在调节性能上优于不考虑功率预测的传统联合调频策略以及未引入动态修正的由静态转移概率矩阵构建的SMPC策略,其性能指标Kp分别提升14.1%和7.5%。【结论】该策略有效提升了火电机组与HESS的协同调节性能,具有较强的应用潜力。未来可以进一步优化模型,提升其在实际应用中的鲁棒性和适应性,推动该技术的实际落地。展开更多
文摘This research is to control the pests inside fruits and buds by injecting pesticides into the tree with the high-pressure injector. The soluable pesticides injected into the trunk can transported insides to every part of the tree to kill pests. The change of pesticides inside the tree was observed. The result showed that injecting pesticides once a year could kill above 80% of the pests which happened once annually. The effect of injection lasts longer than that of applying the pesticide outside. The pesticides injected into the tree are not affected by environment and do not kill natural enemies directly,and the residual amount of pesticides is below the international standard level.
文摘In this paper, a process of the quadtree mesh generation is described, then a mesh control device of the tree based mesh generators is analyzed in detail. Some examples are given to demonstrate that the mesh control device allows for efficient a priori and a posteriori mesh refinements.
文摘Software projects are becoming larger and more complicated. Managing those projects is based on several software development methodologies. One of those methodologies is software version control, which is used in the majority of worldwide software projects. Although existing version control systems provide sufficient functionality in many situations, they are lacking in terms of semantics and structure for source code. It is commonly believed that improving software version control can contribute substantially to the development of software. We present a solution that considers a structural model for matching source code that can be used in version control.
基金supported by National Natural Science Foundation of China (No. 60904090)
文摘This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.
文摘【目的】为提升混合储能系统(hybrid energy storage system,HESS)辅助火电机组响应自动发电控制(automatic generation control,AGC)指令时的调节性能,提出一种基于随机模型预测控制(stochastic model predictive control,SMPC)的火储联合功率分配策略。【方法】首先,针对包括功率型储能钛酸锂电池与能量型储能磷酸铁锂电池构成的HESS系统,提出基于马尔科夫概率矩阵构建未来时段火电机组响应AGC指令的HESS功率需求模型,并引入自适应机制实时动态修正状态转移概率,以提升AGC指令波动下的预测精度;其次,提出一种基于概率阈值与分层抽样相结合的场景树生成方法用于将自适应马尔科夫模型输出的概率分布转化为可用于优化的有限场景集合,描述多场景下功率需求预测的不确定性;最后,在上述框架基础上构建随机预测控制器,实现火电机组和HESS的功率最优分配。【结果】仿真实验表明,所提策略在调节性能上优于不考虑功率预测的传统联合调频策略以及未引入动态修正的由静态转移概率矩阵构建的SMPC策略,其性能指标Kp分别提升14.1%和7.5%。【结论】该策略有效提升了火电机组与HESS的协同调节性能,具有较强的应用潜力。未来可以进一步优化模型,提升其在实际应用中的鲁棒性和适应性,推动该技术的实际落地。
