Recently the integrated modular avionics (IMA) architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical app...Recently the integrated modular avionics (IMA) architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing (GSA) is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems.展开更多
This paper focuses on the development of an embedded integrated servo-controller (EISC) for servomotors. Comprising of mainly servo-controller and servo-amplifiers, this EISC is capable of controlling a wide range o...This paper focuses on the development of an embedded integrated servo-controller (EISC) for servomotors. Comprising of mainly servo-controller and servo-amplifiers, this EISC is capable of controlling a wide range of servomotors to perform complieated tasks. Hence, integration of this EISC with a servomotor forms an intelligent modular actuator (IMA) that is essential to modern manufacturing industries. The development of such an EISC involves two major tasks: first, designing the hardware of a compact-sized and highly compatible EISC, and second, developing the software functions to facilitate its functionalities and capahilities. The developed EISC hence forms an integrated-servo-eontrol module, which determines the capability, functionality, flexibility and responsiveness of these IMAs.展开更多
With the widespread application of integrated modular aviation(IMA)electronic systems,the requirements of IMA characteristic analysis and configuration generation have also improved significantly."Configuration a...With the widespread application of integrated modular aviation(IMA)electronic systems,the requirements of IMA characteristic analysis and configuration generation have also improved significantly."Configuration and design system based on AADL models(real-time,reliability,interactive complexity,and schedulability)analysis of the AADL model"mainly get through key characteristic analysis for optimization,combined with input of component parameter information and constraint information,assist designers in generating system configuration information,and form a comprehensive modular avionics system resource configuration strategy generation platform.Also,the tool can generate configuration plans for avionics system software and hardware physical architecture configuration.The analysis of the avionics system model mainly involves designers inputting the existing system model architecture for multi characteristic analysis,it can realize the multi-character analysis based on software intensive system architecture models for software dense systems.Inter-complexity and schedulability analysis,and according to characteristic constraint analysis、system model assessment parameters and system architecture constraint parameters to generate configuration scheme information that meets the requirements.The system can meet domestic and foreign software-intensive systems and meet its quality requirements.展开更多
Achieving efficient integration of cancer diagnosis and therapy is of great significance to human health,but the construction of a multifunctional intelligent therapy system still faces great challenges.In this study,...Achieving efficient integration of cancer diagnosis and therapy is of great significance to human health,but the construction of a multifunctional intelligent therapy system still faces great challenges.In this study,we report an integrated multifunctional nanocomposite constructed by a simple modular assembly technology.The nanocomposites are composed of three different nanomaterials:Fe_(3)O_(4),Au,and NaErF_(4):0.5%Tm@NaYF_(4)upconversion nanoparticles(UCNPs).In this design,Fe_(3)O_(4)nanoparticles have nanozyme effect of peroxidase-like activity,which can react with H_(2)O_(2)in the tumor microenvironment to generate hydroxyl radicals.Because of its magnetic properties,it can help the nanocomposites to aggregate under the induction of magnetic fields.Au nanoparticles exhibit nanozyme effect of glucose oxidase-like activity.It can catalyze the conversion of glucose to gluconic acid and H_(2)O_(2).Ingeniously,the generated H_(2)O_(2)provides a source of reactants for the reaction of the Fe_(3)O_(4)nanozyme.In addition,the photothermal effect of Au nanoparticles under 808 nm irradiation further enhanced the nanozyme activity of Fe_(3)O_(4)and Au nanoparticles.Besides,UCNPs can emit near-infrared(NIR)-II fluorescence under 808 nm irradiation,which can provide imaging-guided during cancer treatment.Then,the nanocomposites were further modified by poly(vinylpyrrolidone)(PVP)to obtain UCNPs/Au/Fe_(3)O_(4)-PVP with good biocompatibility and high-efficiency cancer treatment ability.展开更多
The completion of genome sequences and subsequent high-throughput mapping of molecular networks have allowed us to study biology from the network perspective. Experimental, statistical and mathematical modeling approa...The completion of genome sequences and subsequent high-throughput mapping of molecular networks have allowed us to study biology from the network perspective. Experimental, statistical and mathematical modeling approaches have been employed to study the structure, function and dynamics of molecular networks, and begin to reveal important links of various network properties to the functions of the biological systems. In agreement with these functional links, evolutionary selection of a network is apparently based on the function, rather than directly on the structure of the network. Dynamic modularity is one of the prominent features of molecular networks. Taking advantage of such a feature may simplify network-based biological studies through construction of process-specific modular networks and provide functional and mechanistic insights linking genotypic variations to complex traits or diseases, which is likely to be a key approach in the next wave of understanding complex human diseases. With the development of ready-to-use network analysis and modeling tools the networks approaches will be infused into everyday biological research in the near future.展开更多
In this paper a kind of theta function is constructed by means of spherical function. And we also obtain some Hilbert modular forms of half integral weight.
The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the r...The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.展开更多
基金supported by the National Natural Science Foundation of China (60879024)
文摘Recently the integrated modular avionics (IMA) architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing (GSA) is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems.
基金Supported by the High Technology Research and Development Programme of China (No.2002AA421160) and the National Natural Science Foundation of China (No.50375008).
文摘This paper focuses on the development of an embedded integrated servo-controller (EISC) for servomotors. Comprising of mainly servo-controller and servo-amplifiers, this EISC is capable of controlling a wide range of servomotors to perform complieated tasks. Hence, integration of this EISC with a servomotor forms an intelligent modular actuator (IMA) that is essential to modern manufacturing industries. The development of such an EISC involves two major tasks: first, designing the hardware of a compact-sized and highly compatible EISC, and second, developing the software functions to facilitate its functionalities and capahilities. The developed EISC hence forms an integrated-servo-eontrol module, which determines the capability, functionality, flexibility and responsiveness of these IMAs.
文摘With the widespread application of integrated modular aviation(IMA)electronic systems,the requirements of IMA characteristic analysis and configuration generation have also improved significantly."Configuration and design system based on AADL models(real-time,reliability,interactive complexity,and schedulability)analysis of the AADL model"mainly get through key characteristic analysis for optimization,combined with input of component parameter information and constraint information,assist designers in generating system configuration information,and form a comprehensive modular avionics system resource configuration strategy generation platform.Also,the tool can generate configuration plans for avionics system software and hardware physical architecture configuration.The analysis of the avionics system model mainly involves designers inputting the existing system model architecture for multi characteristic analysis,it can realize the multi-character analysis based on software intensive system architecture models for software dense systems.Inter-complexity and schedulability analysis,and according to characteristic constraint analysis、system model assessment parameters and system architecture constraint parameters to generate configuration scheme information that meets the requirements.The system can meet domestic and foreign software-intensive systems and meet its quality requirements.
基金This work was supported by the financial aid from the National Natural Science Foundation of China(Nos.22020102003,21834007,and 52103276)the National Key R&D Program of China(No.2020YFA0712102)+2 种基金the Program of Science and Technology Development Plan of Jilin Province of China(No.20220508076RC)the Natural Science Foundation of Guangdong Province of China(No.2022A1515010947)Guangzhou Basic and Applied Basic Research Foundation(No.202201011343).
文摘Achieving efficient integration of cancer diagnosis and therapy is of great significance to human health,but the construction of a multifunctional intelligent therapy system still faces great challenges.In this study,we report an integrated multifunctional nanocomposite constructed by a simple modular assembly technology.The nanocomposites are composed of three different nanomaterials:Fe_(3)O_(4),Au,and NaErF_(4):0.5%Tm@NaYF_(4)upconversion nanoparticles(UCNPs).In this design,Fe_(3)O_(4)nanoparticles have nanozyme effect of peroxidase-like activity,which can react with H_(2)O_(2)in the tumor microenvironment to generate hydroxyl radicals.Because of its magnetic properties,it can help the nanocomposites to aggregate under the induction of magnetic fields.Au nanoparticles exhibit nanozyme effect of glucose oxidase-like activity.It can catalyze the conversion of glucose to gluconic acid and H_(2)O_(2).Ingeniously,the generated H_(2)O_(2)provides a source of reactants for the reaction of the Fe_(3)O_(4)nanozyme.In addition,the photothermal effect of Au nanoparticles under 808 nm irradiation further enhanced the nanozyme activity of Fe_(3)O_(4)and Au nanoparticles.Besides,UCNPs can emit near-infrared(NIR)-II fluorescence under 808 nm irradiation,which can provide imaging-guided during cancer treatment.Then,the nanocomposites were further modified by poly(vinylpyrrolidone)(PVP)to obtain UCNPs/Au/Fe_(3)O_(4)-PVP with good biocompatibility and high-efficiency cancer treatment ability.
文摘The completion of genome sequences and subsequent high-throughput mapping of molecular networks have allowed us to study biology from the network perspective. Experimental, statistical and mathematical modeling approaches have been employed to study the structure, function and dynamics of molecular networks, and begin to reveal important links of various network properties to the functions of the biological systems. In agreement with these functional links, evolutionary selection of a network is apparently based on the function, rather than directly on the structure of the network. Dynamic modularity is one of the prominent features of molecular networks. Taking advantage of such a feature may simplify network-based biological studies through construction of process-specific modular networks and provide functional and mechanistic insights linking genotypic variations to complex traits or diseases, which is likely to be a key approach in the next wave of understanding complex human diseases. With the development of ready-to-use network analysis and modeling tools the networks approaches will be infused into everyday biological research in the near future.
文摘In this paper a kind of theta function is constructed by means of spherical function. And we also obtain some Hilbert modular forms of half integral weight.
基金supported by the National Grand Fundamental Research Program of China (Nos. 2010CB328105, 2009CB320504)the Tsinghua University Initiative Scientific Research Programthe National Natural Science Foundation of China (Nos. 61070182,60973107, 60973144, 61173008, 61070021)
文摘The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.