The current Internet has evolved during the last decade to a global provider of diverse applications. However, the underlying structure of routing and addressing has not evolved in the same pace and is somewhat inflex...The current Internet has evolved during the last decade to a global provider of diverse applications. However, the underlying structure of routing and addressing has not evolved in the same pace and is somewhat inflexible. How to provide diverse routing services, support emerging communication paradigms based on limited and definite network resources has become an urgent challenge. This paper investigates the adaptive matching between routing and application through network function decomposition and composition, and proposes a polymorphic routing model to support diverse applications and emerging communication paradigms. The model splits complex routing functions into its constituents, and derives customized routing mechanisms supporting various applications by composing the routing constituents. The derivation process is modeled as a Markov Decision Process (MDP), and a polymorphic derivation algorithm is also proposed to derive customized routing instances for diverse applications. The model enables the network to self-adjust routing services dynamically to adapt to the different requirements of applications, supports coexistence of multiple routing modes and communication paradigms, and provides a feasible solution for the network compatibility and evolvement. We describe the key design and demonstrate the feasibility of polymorphic derivation by simulations. We also present case studies that demonstrate key functionalities the polymorphic routing model enables.展开更多
In this paper,a novel control structure called feedback scheduling of model-based networked control systems is proposed to cope with a flexible network load and resource constraints.The state update time is adjusted a...In this paper,a novel control structure called feedback scheduling of model-based networked control systems is proposed to cope with a flexible network load and resource constraints.The state update time is adjusted according to the real-time network congestion situation.State observer is used under the situation where the state of the controlled plant could not be acquired.The stability criterion of the proposed structure is proved with time-varying state update time.On the basis of the stability of the novel system structure,the compromise between the control performance and the network utilization is realized by using feedback scheduler. Examples are provided to show the advantage of the proposed control structure.展开更多
Time-triggered （TT） embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine （FSM） design method is widely used for its high efficiency and predictable behav...Time-triggered （TT） embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine （FSM） design method is widely used for its high efficiency and predictable behavior. In this paper, the time-triggered and state-machine combination software architecture is implemented for a 25 kg thrust micro turbine engine （MTE） used for unmanned aerial vehicle （UAV） system; also model-based-design development workflow for airworthiness software directive DO-178B is utilized. Experimental results show that time-triggered state-machine software architecture and development method could shorten the system development time, reduce the system test cost and make the turbine engine easily comply with the airworthiness rules.展开更多
The temperature of aluminum alloy work-pieces in the aging furnace directly affects the quality of aluminum alloy products. Since the temperature of aluminum alloy work-pieces cannot be measured directly, a temperatur...The temperature of aluminum alloy work-pieces in the aging furnace directly affects the quality of aluminum alloy products. Since the temperature of aluminum alloy work-pieces cannot be measured directly, a temperature prediction model based on improved case-based reasoning (CBR) method is established to realize the online measurement of the work-pieces temperature. More specifically, the model is constructed by an advanced case-based reasoning method in which a state transition algorithm (STA) is firstly used to optimize the weights of feature attributes. In other words, STA is utilized to find the suitable attribute weights of the CBR model that can improve the accuracy of the case retrieval process. Finally, the CBR model based on STA (STCBR) was applied to predict the temperature of aluminum alloy work-pieces in the aging furnace. The results of the experiments indicated that the developed model can realize high-accuracy prediction of work-pieces temperature and it has good application prospects in the industrial field.展开更多
Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test...Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.展开更多
对于电力电子变换器、电机等控制对象模型明确的系统,提出1个由全状态反馈FSF(full state feedback)控制器和广义积分GI(generalized integrator)相结合的基于系统模型的复合控制策略。相较于比例-积分-微分PID(proportional-integral-d...对于电力电子变换器、电机等控制对象模型明确的系统,提出1个由全状态反馈FSF(full state feedback)控制器和广义积分GI(generalized integrator)相结合的基于系统模型的复合控制策略。相较于比例-积分-微分PID(proportional-integral-derivative)和比例-谐振PR(proportional-resonant)控制器,此控制策略能够充分利用系统模型的知识与信息,简化控制器的设计并提高系统的控制性能。基于系统的控制对象模型,参考干扰信号模型和FSF闭环系统模型为复合控制提供了1种无需反复试错、简单通用的设计方法。最后将控制策略应用于1台3 kVA的三相PWM逆变器,验证了复合控制策略的有效性。展开更多
基金supported in part by the Cernet Network (NGII20160103)National Natural Science Foundation of China, National Natural Science Foundation of China(No.61672471)+3 种基金Fundamental Research Funds for the He’nan Province University (No.17KYYWF0202)He’nan Province University science and technology innovation team(No.18IRTSTHN012)Plan For Scientific Innovation Talent of Henan Province (No.184200510010)Zhengzhou University of Light Industry Doctoral Fund (2016BSJJ041) funding
文摘The current Internet has evolved during the last decade to a global provider of diverse applications. However, the underlying structure of routing and addressing has not evolved in the same pace and is somewhat inflexible. How to provide diverse routing services, support emerging communication paradigms based on limited and definite network resources has become an urgent challenge. This paper investigates the adaptive matching between routing and application through network function decomposition and composition, and proposes a polymorphic routing model to support diverse applications and emerging communication paradigms. The model splits complex routing functions into its constituents, and derives customized routing mechanisms supporting various applications by composing the routing constituents. The derivation process is modeled as a Markov Decision Process (MDP), and a polymorphic derivation algorithm is also proposed to derive customized routing instances for diverse applications. The model enables the network to self-adjust routing services dynamically to adapt to the different requirements of applications, supports coexistence of multiple routing modes and communication paradigms, and provides a feasible solution for the network compatibility and evolvement. We describe the key design and demonstrate the feasibility of polymorphic derivation by simulations. We also present case studies that demonstrate key functionalities the polymorphic routing model enables.
文摘In this paper,a novel control structure called feedback scheduling of model-based networked control systems is proposed to cope with a flexible network load and resource constraints.The state update time is adjusted according to the real-time network congestion situation.State observer is used under the situation where the state of the controlled plant could not be acquired.The stability criterion of the proposed structure is proved with time-varying state update time.On the basis of the stability of the novel system structure,the compromise between the control performance and the network utilization is realized by using feedback scheduler. Examples are provided to show the advantage of the proposed control structure.
文摘Time-triggered （TT） embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine （FSM） design method is widely used for its high efficiency and predictable behavior. In this paper, the time-triggered and state-machine combination software architecture is implemented for a 25 kg thrust micro turbine engine （MTE） used for unmanned aerial vehicle （UAV） system; also model-based-design development workflow for airworthiness software directive DO-178B is utilized. Experimental results show that time-triggered state-machine software architecture and development method could shorten the system development time, reduce the system test cost and make the turbine engine easily comply with the airworthiness rules.
文摘The temperature of aluminum alloy work-pieces in the aging furnace directly affects the quality of aluminum alloy products. Since the temperature of aluminum alloy work-pieces cannot be measured directly, a temperature prediction model based on improved case-based reasoning (CBR) method is established to realize the online measurement of the work-pieces temperature. More specifically, the model is constructed by an advanced case-based reasoning method in which a state transition algorithm (STA) is firstly used to optimize the weights of feature attributes. In other words, STA is utilized to find the suitable attribute weights of the CBR model that can improve the accuracy of the case retrieval process. Finally, the CBR model based on STA (STCBR) was applied to predict the temperature of aluminum alloy work-pieces in the aging furnace. The results of the experiments indicated that the developed model can realize high-accuracy prediction of work-pieces temperature and it has good application prospects in the industrial field.
文摘Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.
文摘对于电力电子变换器、电机等控制对象模型明确的系统,提出1个由全状态反馈FSF(full state feedback)控制器和广义积分GI(generalized integrator)相结合的基于系统模型的复合控制策略。相较于比例-积分-微分PID(proportional-integral-derivative)和比例-谐振PR(proportional-resonant)控制器,此控制策略能够充分利用系统模型的知识与信息,简化控制器的设计并提高系统的控制性能。基于系统的控制对象模型,参考干扰信号模型和FSF闭环系统模型为复合控制提供了1种无需反复试错、简单通用的设计方法。最后将控制策略应用于1台3 kVA的三相PWM逆变器,验证了复合控制策略的有效性。
