[Objective] The aim was to improve part of auto-control system of aquatic seedling breeding and to lay foundation for highly-efficient and stable use of the sys- tem. [Method] The executive and drive modules of the au...[Objective] The aim was to improve part of auto-control system of aquatic seedling breeding and to lay foundation for highly-efficient and stable use of the sys- tem. [Method] The executive and drive modules of the auto-control system were im- proved, after which real-time monitor, data display and alarm modules were tested on time. [Result] In the test, for the improved system, stability and sensitivity were enhanced; different components matched better; transmitting electric resistanc6 was reduced. [Conclusion] The research provides references for auto-control of water temperature and dissolved oxygen, and faults clearing in aquatic seedling breeding.展开更多
A new modular solution to the state explosion problem caused by the Markov-based modular solution of dynamic multiple-phased systems is proposed. First, the solution makes full use of the static parts of dynamic multi...A new modular solution to the state explosion problem caused by the Markov-based modular solution of dynamic multiple-phased systems is proposed. First, the solution makes full use of the static parts of dynamic multiple-phased systems and constructs cross-phase dynamic modules by combining the dynamic modules of phase fault trees. Secondly, the system binary decision diagram (BDD) from a modularized multiple- phased system (MPS)is generated by using variable ordering and BDD operations. The computational formulations of the BDD node event probability are derived for various node links and the system reliability results are figured out. Finally, a hypothetical multiple-phased system is given to demonstrate the advantages of the dynamic modular solution when the Markov state space and the size of the system BDD are reduced.展开更多
High frequency(HF) communication is widely spread due to some merits like easy deployment and wide communication coverage. Spectrum prediction is a promising technique to facilitate the working frequency selection and...High frequency(HF) communication is widely spread due to some merits like easy deployment and wide communication coverage. Spectrum prediction is a promising technique to facilitate the working frequency selection and enhance the function of automatic link establishment. Most of the existing spectrum prediction algorithms focus on predicting spectrum values in a slot-by-slot manner and therefore are lack of timeliness. Deep learning based spectrum prediction is developed in this paper by simultaneously predicting multi-slot ahead states of multiple spectrum points within a period of time. Specifically, we first employ supervised learning and construct samples depending on longterm and short-term HF spectrum data. Then, advanced residual units are introduced to build multiple residual network modules to respectively capture characteristics in these data with diverse time scales. Further, convolution neural network fuses the outputs of residual network modules above for temporal-spectral prediction, which is combined with residual network modules to construct the deep temporal-spectral residual network. Experiments have demonstrated that the approach proposed in this paper has a significant advantage over the benchmark schemes.展开更多
Regenerative braking is presented in many electric traction applications such as electric and hybrid vehicles, lifts and railway. The regenerated energy can be stored for future use, increasing the efficiency of the s...Regenerative braking is presented in many electric traction applications such as electric and hybrid vehicles, lifts and railway. The regenerated energy can be stored for future use, increasing the efficiency of the system. This paper outlines the benefits of the MMC (modular multilevel converter) in front of the cascaded or series connection of converters to achieve high voltage from low voltage storage elements such as supercapacitors. The paper compares three different solutions and shows that the MMC can benefit from weight and volume reduction of the output inductance when shifted switching modulation strategy is used. Using this modulation strategy, not only the output frequency is increased, but also the magnitude of the inductor applied voltage is reduced, reducing inductor size and volume.展开更多
Underwater vehicles have already adopted self-correcting directional guidance algorithms based on multi-beam self-guidance systems, not waiting for research to determine the most effective algorithms. The main challen...Underwater vehicles have already adopted self-correcting directional guidance algorithms based on multi-beam self-guidance systems, not waiting for research to determine the most effective algorithms. The main challenges facing research on these guidance systems have been effective modeling of the guidance algorithm and a means to analyze the simulation results. A simulation structure based on Simulink that dealt with both issues was proposed. Initially, a mathematical model of relative motion between the vehicle and the target was developed, which was then encapsulated as a subsystem. Next, steps for constructing a model of the self-correcting guidance algorithm based on the Stateflow module were examined in detail. Finally, a 3-D model of the vehicle and target was created in VRML, and by processing mathematical results, the model was shown moving in a visual environment. This process gives more intuitive results for analyzing the simulation. The results showed that the simulation structure performs well. The simulation program heavily used modularization and encapsulation, so has broad applicability to simulations of other dynamic systems.展开更多
Interactions between surface water and groundwater are dynamic and complex in large endorheic river watersheds in Northwest China due to the influence of both irrigation practices and the local terrain. These interact...Interactions between surface water and groundwater are dynamic and complex in large endorheic river watersheds in Northwest China due to the influence of both irrigation practices and the local terrain. These interactions interchange numerous times throughout the middle reaches, making streamflow simulation a challenge in endorheic river watersheds. In this study, we modified the linear-reservoir groundwater module in SWAT(Soil and Water Assessment Tools, a widely used hydrological model) with a new nonlinear relationship to better represent groundwater processes; we then applied the original SWAT and modified SWAT to the Heihe River Watershed, the second largest endorheic river watershed in Northwest China, to simulate streamflow. After calibrating both the original SWAT model and the modified SWAT model, we analyzed model performance during two periods: an irrigation period and a non-irrigation period. Our results show that the modified SWAT model with the nonlinear groundwater module performed significantly better during both the irrigation and non-irrigation periods. Moreover, after comparing different runoff components simulated by the two models, the results show that, after the implementation of the new nonlinear groundwater module in SWAT, proportions of runoff components changed-and the groundwater flow had significantly increased, dominating the discharge season. Therefore, SWAT coupled with the non-linear groundwater module represents the complex hydrological process in the study area more realistically. Moreover, the results for various runoff components simulated by the modified SWAT models can be used to describe the hydrological characteristics of lowland areas. This indicates that the modified SWAT model is applicable to simulate complex hydrological process of arid endorheic rivers.展开更多
According to the process features and the reaction mechanism of FDFCC technology, its two reaction subsystems, one for heavy oil riser reactor, the other for gasoline riser reactor, were respec-tively studied. Corresp...According to the process features and the reaction mechanism of FDFCC technology, its two reaction subsystems, one for heavy oil riser reactor, the other for gasoline riser reactor, were respec-tively studied. Correspondingly, a 12-lump kinetic model for heavy oil FCC and a 9-lump kinetic model for gasoline catalytic upgrading were presented. Based on this work, mathematical correlation of the lumps in the feeds and products involved in the reaction subsystems and those of the overall reaction system were analyzed in detail. Then, a combined kinetic model for FDFCC, which was based on the data recovered from a commercial unit, was put forward. The reaction performance embodied by the kinetic constants for the combined model of FDFCC was in accordance with catalytic cracking reaction mechanism. The model-calculated values were close to the data obtained in commercial scale. The model was easy to be applied in practice and could also provide some theoretical groundwork for further re-search on kinetic model for FDFCC.展开更多
This paper,mainly gives the structure theorem for module coalgebras by a kind of new method,and deletes the condition that the antipode S of the Hopf algebra H is bijective.
In lightweight cryptographic primitives, round functions with only simple operations XOR, modular addition and rotation are widely used nowadays. This kind of ciphers is called ARX ciphers. For ARX ciphers, impossible...In lightweight cryptographic primitives, round functions with only simple operations XOR, modular addition and rotation are widely used nowadays. This kind of ciphers is called ARX ciphers. For ARX ciphers, impossible differential cryptanalysis and zero-correlation linear cryptanalysis are among the most powerful attacks, and the key problems for these two attacks are discovering more and longer impossible differentials(IDs) and zero-correlation linear hulls(ZCLHs). However, finding new IDs and ZCLHs for ARX ciphers has been a manual work for a long time, which has been an obstacle in improving these two attacks. This paper proposes an automatic search method to improve the efficiency of finding new IDs and ZCLHs for ARX ciphers. In order to prove the efficiency of this new tool, we take HIGHT, LEA, SPECK three typical ARX algorithms as examples to explore their longer and new impossible differentials and zero-correlation linear hulls. To the best of our knowledge, this is the first application of automatic search method for ARX ciphers on finding new IDs and ZCLHs. For HIGHT, we find more 17 round IDs and multiple 17 round ZCLHs. This is the first discovery of 17 round ZCLHs for HIGHT. For LEA, we find extra four 10 round IDs and several 9 round ZCLHs. In the specification of LEA, the designers just identified three 10 round IDs and one 7round ZCLH. For SPECK, we find thousands of 6 round IDs and forty-four 6 round ZCLHs. Neither IDs nor ZCLHs of SPECK has been proposed before. The successful application of our new tool shows great potential in improving the impossible differential cryptanalysis and zero-correlation linear cryptanalysis on ARX ciphers..展开更多
The eigenvector of a module with six adjacent module's state was constructed according to self-reconfigurable robot M-Cubes and the configuration of system was expressed with the eigenvectors of all modules.Accord...The eigenvector of a module with six adjacent module's state was constructed according to self-reconfigurable robot M-Cubes and the configuration of system was expressed with the eigenvectors of all modules.According to the configuration and motion characteristics of the modules,a 3-dimension motion rule set was provided.The rule sets of each module was run according to eigenvector of the module after the motion direction of system decided and motion rules were selected.At last,the rapid and effective motion and metamorphosis were realized in system.The rule sets are operated on three systems and the distributed motion of system is fully realized.The result of simulation shows that the 3-dimension motion rule sets has perfect applicability and extensibility.The motion steps and communication load of the modules increase with the module number in linear.展开更多
In this paper, we propose a novel, 3D, like cubic shape, modular self-reconfigurable (MSR) robot named M-Cubes. Its key mechanical components are analyzed in detail. By communicating with the neighboring modules, each...In this paper, we propose a novel, 3D, like cubic shape, modular self-reconfigurable (MSR) robot named M-Cubes. Its key mechanical components are analyzed in detail. By communicating with the neighboring modules, each unit employs its automatic lock device composed of a pin and a hole on each connection plane which can connect or disconnect with neighboring modules. The M-Cubes system consisting of many identical modules cooperates to change their connection, and then the whole structure transforms into arbitrary structure. Furthermore, we describe its locomotion control based on the driving function and the adjacency matrix which is effective for solving the computationally difficult problem and optimizing the system motion path during the self-reconfiguration process. Finally, a simulation experiment using java 3D technology, proved the new method for controlling modular robot is robust and useful.展开更多
文摘[Objective] The aim was to improve part of auto-control system of aquatic seedling breeding and to lay foundation for highly-efficient and stable use of the sys- tem. [Method] The executive and drive modules of the auto-control system were im- proved, after which real-time monitor, data display and alarm modules were tested on time. [Result] In the test, for the improved system, stability and sensitivity were enhanced; different components matched better; transmitting electric resistanc6 was reduced. [Conclusion] The research provides references for auto-control of water temperature and dissolved oxygen, and faults clearing in aquatic seedling breeding.
基金The National Natural Science Foundation of China(No.60903011)the Natural Science Foundation of Jiangsu Province(No.BK2009267)
文摘A new modular solution to the state explosion problem caused by the Markov-based modular solution of dynamic multiple-phased systems is proposed. First, the solution makes full use of the static parts of dynamic multiple-phased systems and constructs cross-phase dynamic modules by combining the dynamic modules of phase fault trees. Secondly, the system binary decision diagram (BDD) from a modularized multiple- phased system (MPS)is generated by using variable ordering and BDD operations. The computational formulations of the BDD node event probability are derived for various node links and the system reliability results are figured out. Finally, a hypothetical multiple-phased system is given to demonstrate the advantages of the dynamic modular solution when the Markov state space and the size of the system BDD are reduced.
基金supported in part by the National Natural Science Foundation of China (Grants No. 61501510 and No. 61631020)Natural Science Foundation of Jiangsu Province (Grant No. BK20150717)+2 种基金China Postdoctoral Science Foundation Funded Project (Grant No. 2016M590398 and No.2018T110426)Jiangsu Planned Projects for Postdoctoral Research Funds (Grant No. 1501009A)Natural Science Foundation for Distinguished Young Scholars of Jiangsu Province (Grant No. BK20160034)
文摘High frequency(HF) communication is widely spread due to some merits like easy deployment and wide communication coverage. Spectrum prediction is a promising technique to facilitate the working frequency selection and enhance the function of automatic link establishment. Most of the existing spectrum prediction algorithms focus on predicting spectrum values in a slot-by-slot manner and therefore are lack of timeliness. Deep learning based spectrum prediction is developed in this paper by simultaneously predicting multi-slot ahead states of multiple spectrum points within a period of time. Specifically, we first employ supervised learning and construct samples depending on longterm and short-term HF spectrum data. Then, advanced residual units are introduced to build multiple residual network modules to respectively capture characteristics in these data with diverse time scales. Further, convolution neural network fuses the outputs of residual network modules above for temporal-spectral prediction, which is combined with residual network modules to construct the deep temporal-spectral residual network. Experiments have demonstrated that the approach proposed in this paper has a significant advantage over the benchmark schemes.
文摘Regenerative braking is presented in many electric traction applications such as electric and hybrid vehicles, lifts and railway. The regenerated energy can be stored for future use, increasing the efficiency of the system. This paper outlines the benefits of the MMC (modular multilevel converter) in front of the cascaded or series connection of converters to achieve high voltage from low voltage storage elements such as supercapacitors. The paper compares three different solutions and shows that the MMC can benefit from weight and volume reduction of the output inductance when shifted switching modulation strategy is used. Using this modulation strategy, not only the output frequency is increased, but also the magnitude of the inductor applied voltage is reduced, reducing inductor size and volume.
文摘Underwater vehicles have already adopted self-correcting directional guidance algorithms based on multi-beam self-guidance systems, not waiting for research to determine the most effective algorithms. The main challenges facing research on these guidance systems have been effective modeling of the guidance algorithm and a means to analyze the simulation results. A simulation structure based on Simulink that dealt with both issues was proposed. Initially, a mathematical model of relative motion between the vehicle and the target was developed, which was then encapsulated as a subsystem. Next, steps for constructing a model of the self-correcting guidance algorithm based on the Stateflow module were examined in detail. Finally, a 3-D model of the vehicle and target was created in VRML, and by processing mathematical results, the model was shown moving in a visual environment. This process gives more intuitive results for analyzing the simulation. The results showed that the simulation structure performs well. The simulation program heavily used modularization and encapsulation, so has broad applicability to simulations of other dynamic systems.
基金Under the auspices of Natural Science Foundation of Qinghai Province(No.2017-ZJ-961Q)National Natural Science Foundation of China(No.91125010,41530752)Scherer Endowment Fund of Department of Geography,Western Michigan University
文摘Interactions between surface water and groundwater are dynamic and complex in large endorheic river watersheds in Northwest China due to the influence of both irrigation practices and the local terrain. These interactions interchange numerous times throughout the middle reaches, making streamflow simulation a challenge in endorheic river watersheds. In this study, we modified the linear-reservoir groundwater module in SWAT(Soil and Water Assessment Tools, a widely used hydrological model) with a new nonlinear relationship to better represent groundwater processes; we then applied the original SWAT and modified SWAT to the Heihe River Watershed, the second largest endorheic river watershed in Northwest China, to simulate streamflow. After calibrating both the original SWAT model and the modified SWAT model, we analyzed model performance during two periods: an irrigation period and a non-irrigation period. Our results show that the modified SWAT model with the nonlinear groundwater module performed significantly better during both the irrigation and non-irrigation periods. Moreover, after comparing different runoff components simulated by the two models, the results show that, after the implementation of the new nonlinear groundwater module in SWAT, proportions of runoff components changed-and the groundwater flow had significantly increased, dominating the discharge season. Therefore, SWAT coupled with the non-linear groundwater module represents the complex hydrological process in the study area more realistically. Moreover, the results for various runoff components simulated by the modified SWAT models can be used to describe the hydrological characteristics of lowland areas. This indicates that the modified SWAT model is applicable to simulate complex hydrological process of arid endorheic rivers.
文摘According to the process features and the reaction mechanism of FDFCC technology, its two reaction subsystems, one for heavy oil riser reactor, the other for gasoline riser reactor, were respec-tively studied. Correspondingly, a 12-lump kinetic model for heavy oil FCC and a 9-lump kinetic model for gasoline catalytic upgrading were presented. Based on this work, mathematical correlation of the lumps in the feeds and products involved in the reaction subsystems and those of the overall reaction system were analyzed in detail. Then, a combined kinetic model for FDFCC, which was based on the data recovered from a commercial unit, was put forward. The reaction performance embodied by the kinetic constants for the combined model of FDFCC was in accordance with catalytic cracking reaction mechanism. The model-calculated values were close to the data obtained in commercial scale. The model was easy to be applied in practice and could also provide some theoretical groundwork for further re-search on kinetic model for FDFCC.
基金Supported by the National Natural Science Foundation of China(10871170) Supported by the Educational Minister Science Technology Key Foundation of China(108154)
文摘This paper,mainly gives the structure theorem for module coalgebras by a kind of new method,and deletes the condition that the antipode S of the Hopf algebra H is bijective.
基金supported by the National Natural Science Foundation of China under Grant No. 61572516, 61402523, 61202491, 61272041 and 61272488
文摘In lightweight cryptographic primitives, round functions with only simple operations XOR, modular addition and rotation are widely used nowadays. This kind of ciphers is called ARX ciphers. For ARX ciphers, impossible differential cryptanalysis and zero-correlation linear cryptanalysis are among the most powerful attacks, and the key problems for these two attacks are discovering more and longer impossible differentials(IDs) and zero-correlation linear hulls(ZCLHs). However, finding new IDs and ZCLHs for ARX ciphers has been a manual work for a long time, which has been an obstacle in improving these two attacks. This paper proposes an automatic search method to improve the efficiency of finding new IDs and ZCLHs for ARX ciphers. In order to prove the efficiency of this new tool, we take HIGHT, LEA, SPECK three typical ARX algorithms as examples to explore their longer and new impossible differentials and zero-correlation linear hulls. To the best of our knowledge, this is the first application of automatic search method for ARX ciphers on finding new IDs and ZCLHs. For HIGHT, we find more 17 round IDs and multiple 17 round ZCLHs. This is the first discovery of 17 round ZCLHs for HIGHT. For LEA, we find extra four 10 round IDs and several 9 round ZCLHs. In the specification of LEA, the designers just identified three 10 round IDs and one 7round ZCLH. For SPECK, we find thousands of 6 round IDs and forty-four 6 round ZCLHs. Neither IDs nor ZCLHs of SPECK has been proposed before. The successful application of our new tool shows great potential in improving the impossible differential cryptanalysis and zero-correlation linear cryptanalysis on ARX ciphers..
基金The National Natural Science Foundation of China(No.50305021)
文摘The eigenvector of a module with six adjacent module's state was constructed according to self-reconfigurable robot M-Cubes and the configuration of system was expressed with the eigenvectors of all modules.According to the configuration and motion characteristics of the modules,a 3-dimension motion rule set was provided.The rule sets of each module was run according to eigenvector of the module after the motion direction of system decided and motion rules were selected.At last,the rapid and effective motion and metamorphosis were realized in system.The rule sets are operated on three systems and the distributed motion of system is fully realized.The result of simulation shows that the 3-dimension motion rule sets has perfect applicability and extensibility.The motion steps and communication load of the modules increase with the module number in linear.
基金Project (No. 50305021) supported by the National Natural ScienceFoundation of China
文摘In this paper, we propose a novel, 3D, like cubic shape, modular self-reconfigurable (MSR) robot named M-Cubes. Its key mechanical components are analyzed in detail. By communicating with the neighboring modules, each unit employs its automatic lock device composed of a pin and a hole on each connection plane which can connect or disconnect with neighboring modules. The M-Cubes system consisting of many identical modules cooperates to change their connection, and then the whole structure transforms into arbitrary structure. Furthermore, we describe its locomotion control based on the driving function and the adjacency matrix which is effective for solving the computationally difficult problem and optimizing the system motion path during the self-reconfiguration process. Finally, a simulation experiment using java 3D technology, proved the new method for controlling modular robot is robust and useful.