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.展开更多
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.展开更多
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.展开更多
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.展开更多
文摘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.
基金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.
基金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.
文摘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.