Aptamers are a type of single-chain oligonucleotide that can combine with a specific target.Due to their simple preparation,easy modification,stable structure and reusability,aptamers have been widely applied as bioch...Aptamers are a type of single-chain oligonucleotide that can combine with a specific target.Due to their simple preparation,easy modification,stable structure and reusability,aptamers have been widely applied as biochemical sensors for medicine,food safety and environmental monitoring.However,there is little research on aptamer-target binding mechanisms,which limits their application and development.Computational simulation has gained much attention for revealing aptamer-target binding mechanisms at the atomic level.This work summarizes the main simulation methods used in the mechanistic analysis of aptamer-target complexes,the characteristics of binding between aptamers and different targets(metal ions,small organic molecules,biomacromolecules,cells,bacteria and viruses),the types of aptamer-target interactions and the factors influencing their strength.It provides a reference for further use of simulations in understanding aptamer-target binding mechanisms.展开更多
By deploying the ubiquitous and reliable coverage of low Earth orbit(LEO)satellite networks using optical inter satel-lite link(OISL),computation offloading services can be provided for any users without proximal serv...By deploying the ubiquitous and reliable coverage of low Earth orbit(LEO)satellite networks using optical inter satel-lite link(OISL),computation offloading services can be provided for any users without proximal servers,while the resource limita-tion of both computation and storage on satellites is the impor-tant factor affecting the maximum task completion time.In this paper,we study a delay-optimal multi-satellite collaborative computation offloading scheme that allows satellites to actively migrate tasks among themselves by employing the high-speed OISLs,such that tasks with long queuing delay will be served as quickly as possible by utilizing idle computation resources in the neighborhood.To satisfy the delay requirement of delay-sensi-tive task,we first propose a deadline-aware task scheduling scheme in which a priority model is constructed to sort the order of tasks being served based on its deadline,and then a delay-optimal collaborative offloading scheme is derived such that the tasks which cannot be completed locally can be migrated to other idle satellites.Simulation results demonstrate the effective-ness of our multi-satellite collaborative computation offloading strategy in reducing task complement time and improving resource utilization of the LEO satellite network.展开更多
Missile interception problem can be regarded as a two-person zero-sum differential games problem,which depends on the solution of Hamilton-Jacobi-Isaacs(HJI)equa-tion.It has been proved impossible to obtain a closed-f...Missile interception problem can be regarded as a two-person zero-sum differential games problem,which depends on the solution of Hamilton-Jacobi-Isaacs(HJI)equa-tion.It has been proved impossible to obtain a closed-form solu-tion due to the nonlinearity of HJI equation,and many iterative algorithms are proposed to solve the HJI equation.Simultane-ous policy updating algorithm(SPUA)is an effective algorithm for solving HJI equation,but it is an on-policy integral reinforce-ment learning(IRL).For online implementation of SPUA,the dis-turbance signals need to be adjustable,which is unrealistic.In this paper,an off-policy IRL algorithm based on SPUA is pro-posed without making use of any knowledge of the systems dynamics.Then,a neural-network based online adaptive critic implementation scheme of the off-policy IRL algorithm is pre-sented.Based on the online off-policy IRL method,a computa-tional intelligence interception guidance(CIIG)law is developed for intercepting high-maneuvering target.As a model-free method,intercepting targets can be achieved through measur-ing system data online.The effectiveness of the CIIG is verified through two missile and target engagement scenarios.展开更多
Federated learning(FL)is a distributed machine learning paradigm for edge cloud computing.FL can facilitate data-driven decision-making in tactical scenarios,effectively addressing both data volume and infrastructure ...Federated learning(FL)is a distributed machine learning paradigm for edge cloud computing.FL can facilitate data-driven decision-making in tactical scenarios,effectively addressing both data volume and infrastructure challenges in edge environments.However,the diversity of clients in edge cloud computing presents significant challenges for FL.Personalized federated learning(pFL)received considerable attention in recent years.One example of pFL involves exploiting the global and local information in the local model.Current pFL algorithms experience limitations such as slow convergence speed,catastrophic forgetting,and poor performance in complex tasks,which still have significant shortcomings compared to the centralized learning.To achieve high pFL performance,we propose FedCLCC:Federated Contrastive Learning and Conditional Computing.The core of FedCLCC is the use of contrastive learning and conditional computing.Contrastive learning determines the feature representation similarity to adjust the local model.Conditional computing separates the global and local information and feeds it to their corresponding heads for global and local handling.Our comprehensive experiments demonstrate that FedCLCC outperforms other state-of-the-art FL algorithms.展开更多
The problem of observer-based robust predictive control is studied for the singular systems with norm-bounded uncertainties and time-delay, and the design method of robust predictive observer-based controller is propo...The problem of observer-based robust predictive control is studied for the singular systems with norm-bounded uncertainties and time-delay, and the design method of robust predictive observer-based controller is proposed. By constructing the Lyapunov function with the error terms, the infinite time domain ＂min-max＂ optimization problems are converted into convex optimization problems solving by the linear matrix inequality （LMI）, and the sufficient conditions for the existence of this control are derived. It is proved that the robust stability of the closed-loop singular systems can be guaranteed by the initial feasible solutions of the optimization problems, and the regular and the impulse-free of the singular systems are also guaranteed. A simulation example illustrates the efficiency of this method.展开更多
The control law design for a near-space hypersonic vehicle（NHV） is highly challenging due to its inherent nonlinearity,plant uncertainties and sensitivity to disturbances.This paper presents a novel functional link ...The control law design for a near-space hypersonic vehicle（NHV） is highly challenging due to its inherent nonlinearity,plant uncertainties and sensitivity to disturbances.This paper presents a novel functional link network（FLN） control method for an NHV with dynamical thrust and parameter uncertainties.The approach devises a new partially-feedback-functional-link-network（PFFLN） adaptive law and combines it with the nonlinear generalized predictive control（NGPC） algorithm.The PFFLN is employed for approximating uncertainties in flight.Its weights are online tuned based on Lyapunov stability theorem for the first time.The learning process does not need any offline training phase.Additionally,a robust controller with an adaptive gain is designed to offset the approximation error.Finally,simulation results show a satisfactory performance for the NHV attitude tracking,and also illustrate the controller＇s robustness.展开更多
After a brief emphasis about the interconnected world, including Cyber-Physical Systems of Systems, the increasing importance of the decision-making by autonomous, quasi-autonomous, and autonomic systems is emphasised...After a brief emphasis about the interconnected world, including Cyber-Physical Systems of Systems, the increasing importance of the decision-making by autonomous, quasi-autonomous, and autonomic systems is emphasised. Promising roles of computational understanding, computational awareness, and computational wisdom for better autonomous decision-making are outlined. The contributions of simulation-based approaches are listed.展开更多
As an alternative or complementary approach to the classical probability theory,the ability of the evidence theory in uncertainty quantification（UQ） analyses is subject of intense research in recent years.Two state-...As an alternative or complementary approach to the classical probability theory,the ability of the evidence theory in uncertainty quantification（UQ） analyses is subject of intense research in recent years.Two state-of-the-art numerical methods,the vertex method and the sampling method,are commonly used to calculate the resulting uncertainty based on the evidence theory.The vertex method is very effective for the monotonous system,but not for the non-monotonous one due to its high computational errors.The sampling method is applicable for both systems.But it always requires a high computational cost in UQ analyses,which makes it inefficient in most complex engineering systems.In this work,a computational intelligence approach is developed to reduce the computational cost and improve the practical utility of the evidence theory in UQ analyses.The method is demonstrated on two challenging problems proposed by Sandia National Laboratory.Simulation results show that the computational efficiency of the proposed method outperforms both the vertex method and the sampling method without decreasing the degree of accuracy.Especially,when the numbers of uncertain parameters and focal elements are large,and the system model is non-monotonic,the computational cost is five times less than that of the sampling method.展开更多
A distributed coordinated consensus problem for multiple networked Euler-Lagrange systems is studied. The communication between agents is subject to time delays, unknown parameters and nonlinear inputs, but only with ...A distributed coordinated consensus problem for multiple networked Euler-Lagrange systems is studied. The communication between agents is subject to time delays, unknown parameters and nonlinear inputs, but only with their states available for measurement. When the communication topology of the system is connected, an adaptive control algorithm with selfdelays and uncertainties is suggested to guarantee global full-state synchro-nization that the difference between the agent＇s positions and ve-locities asymptotically converges to zero. Moreover, the distributed sliding-mode law is given for chaotic systems with nonlinear inputs to compensate for the effects of nonlinearity. Finally, simulation results show the effectiveness of the proposed control algorithm.展开更多
A new method for array calibration of array gain and phase uncertainties, which severely degrade the performance of spatial spectrum estimation, is presented. The method is based on the idea of the instrumental sensor...A new method for array calibration of array gain and phase uncertainties, which severely degrade the performance of spatial spectrum estimation, is presented. The method is based on the idea of the instrumental sensors method （ISM）, two well-calibrated sensors are added into the original array. By applying the principle of estimation of signal parameters via rotational invariance techniques （ESPRIT）, the direction-of-arrivals （DOAs） and uncertainties can be estimated simultaneously through eigen-decomposition. Compared with the conventional ones, this new method has less computational complexity while has higher estimation precision, what＇s more, it can overcome the problem of ambiguity. Both theoretical analysis and computer simulations show the effectiveness of the proposed method.展开更多
A linear matrix inequality （LMI）-based sliding surface design method for integral sliding mode control of uncertain time- delay systems with mismatching uncertainties is proposed. The uncertain time-delay system und...A linear matrix inequality （LMI）-based sliding surface design method for integral sliding mode control of uncertain time- delay systems with mismatching uncertainties is proposed. The uncertain time-delay system under consideration may have mis- matching norm bounded uncertainties in the state matrix as well as the input matrix, A sufficient condition for the existence of a sliding surface is given to guarantee asymptotic stability of the full order slJdJng mode dynamics. An LMI characterization of the slid- ing surface is given, together with an integral sliding mode control law guaranteeing the existence of a sliding mode from the initial time. Finally, a simulation is given to show the effectiveness of the proposed method.展开更多
Ontology heterogeneity is the primary obstacle for interoperation of ontologies. Ontology mapping is the best way to solve this problem. The key of ontology mapping is the similarity computation. At present, the metho...Ontology heterogeneity is the primary obstacle for interoperation of ontologies. Ontology mapping is the best way to solve this problem. The key of ontology mapping is the similarity computation. At present, the method of similarity computation is imperfect. And the computation quantity is high. To solve these problems, an ontology-mapping framework with a kind of hybrid architecture is put forward, with an improvement in the method of similarity computation. Different areas have different local ontologies. Two ontologies are taken as examples, to explain the specific mapping framework and improved method of similarity computation. These two ontologies are about classes and teachers in a university. The experimental results show that using this framework and improved method can increase the accuracy of computation to a certain extent. Otherwise, the quantity of computation can be decreased.展开更多
Computational thermodynamics and kinetics were used to design the Pb-free micro-solders for replacing the conventional Sn-Pb solders because of the health and environmental safety problem. On the basis of CALPHAD (Cal...Computational thermodynamics and kinetics were used to design the Pb-free micro-solders for replacing the conventional Sn-Pb solders because of the health and environmental safety problem. On the basis of CALPHAD (Calculation of Phase Diagrams) method we can easily calculate properties such as the liquidus projection, isothermal and vertical sectional diagrams and phase fraction in multi-component system including Ag, Bi, Cu, In, Sb, Sn, Zn and Pb elements. In addition, other related information such as the surface tension, viscosity of the liquid phase and solidification simulation can also be obtained. DICTRA (Diffusion Controlled Transformation) software was used to simulate the interfacial reactions between substrate and Pb-free solders, which can easily give the information on the growth of intermetallic compounds and moving speed of interface between substrate and solders etc.展开更多
A robust decentralized H∞ control problem for uncertain multi-channel systems is considered. The uncertainties are assumed to be time-invariant, norm-bounded, and exist in both the system and control input matrices. ...A robust decentralized H∞ control problem for uncertain multi-channel systems is considered. The uncertainties are assumed to be time-invariant, norm-bounded, and exist in both the system and control input matrices. The dynamic output feedback is mainly dealt with. A necessary and sufficient condition for the uncertain multi-channel system to be stabilized robustly with a specified disturbance attenuation level is derived based on the bounded real lemma, which is reduced to a feasibility problem of a nonlinear matrix inequality （NMI）. A two-stage homotopy method is used to solve the NMI iteratively. First, a decentralized controller for the nominal system with no uncertainty is computed by imposing structural constraints on the coefficient matrices of the controller gradually. Then the decentralized controller is modified, again gradually, to cope with the uncertainties. On each stage, a variable is fixed alternately at the iterations to reduce the NMI to a linear matrix inequality （LMI）. A given example shows the efficiency of this method.展开更多
In order to simulate the instability phenomenon of a nonaqueous phase liquid(NAPL) dissolution front in a computational model, the intrinsic characteristic length is commonly used to determine the length scale at whic...In order to simulate the instability phenomenon of a nonaqueous phase liquid(NAPL) dissolution front in a computational model, the intrinsic characteristic length is commonly used to determine the length scale at which the instability of the NAPL dissolution front can be initiated. This will require a huge number of finite elements if a whole NAPL dissolution system is simulated in the computational model. Even though modern supercomputers might be used to tackle this kind of NAPL dissolution problem, it can become prohibitive for commonly-used personal computers to do so. The main purpose of this work is to investigate whether or not the whole NAPL dissolution system of an annular domain can be replaced by a trapezoidal domain, so as to greatly reduce the requirements for computer efforts. The related simulation results have demonstrated that when the NAPL dissolution system under consideration is in a subcritical state, if the dissolution pattern around the entrance of an annulus domain is of interest, then a trapezoidal domain cannot be used to replace an annular domain in the computational simulation of the NAPL dissolution system.However, if the dissolution pattern away from the vicinity of the entrance of an annulus domain is of interest, then a trapezoidal domain can be used to replace an annular domain in the computational simulation of the NAPL dissolution system. When the NAPL dissolution system under consideration is in a supercritical state, a trapezoidal domain cannot be used to replace an annular domain in the computational simulation of the NAPL dissolution system.展开更多
Decentralized robust stabilization problem of discrete-time fuzzy large-scale systems with parametric uncertainties is considered. This uncertain fuzzy large-scale system consists of N interconnected T-S fuzzy subsyst...Decentralized robust stabilization problem of discrete-time fuzzy large-scale systems with parametric uncertainties is considered. This uncertain fuzzy large-scale system consists of N interconnected T-S fuzzy subsystems, and the parametric uncertainties are unknown but norm-bounded. Based on Lyapunov stability theory and decentralized control theory of large-scale system, the design schema of decentralized parallel distributed compensation （DPDC） fuzzy controllers to ensure the asymptotic stability of the whole fuzzy large-scale system is proposed. The existence conditions for these controllers take the forms of LMIs. Finally a numerical simulation example is given to show the utility of the method proposed.展开更多
To improve the accuracy of strapdown inertial navigation system(SINS) for long term applications,the rotation technique is employed to modulate the errors of the inertial sensors into periodically varied signals,and,a...To improve the accuracy of strapdown inertial navigation system(SINS) for long term applications,the rotation technique is employed to modulate the errors of the inertial sensors into periodically varied signals,and,as a result,to suppress the divergence of SINS errors.However,the errors of rotation platform will be introduced into SINS and might affect the final navigation accuracy.Considering the disadvantages of the conventional navigation computation scheme,an improved computation scheme of the SINS using rotation technique is proposed which can reduce the effects of the rotation platform errors.And,the error characteristics of the SINS with this navigation computation scheme are analyzed.Theoretical analysis,simulations and real test results show that the proposed navigation computation scheme outperforms the conventional navigation computation scheme,meanwhile reduces the requirement to the measurement accuracy of rotation angles.展开更多
Multiple QoS modeling and algorithm in grid system is considered. Grid QoS requirements can be formulated as a utility function for each task as a weighted sum of its each dimensional QoS utility functions. Multiple Q...Multiple QoS modeling and algorithm in grid system is considered. Grid QoS requirements can be formulated as a utility function for each task as a weighted sum of its each dimensional QoS utility functions. Multiple QoS constraint resource scheduling optimization in computational grid is distributed to two subproblems： optimization of grid user and grid resource provider. Grid QoS scheduling can be achieved by solving sub problems via an iterative algorithm.展开更多
文摘Aptamers are a type of single-chain oligonucleotide that can combine with a specific target.Due to their simple preparation,easy modification,stable structure and reusability,aptamers have been widely applied as biochemical sensors for medicine,food safety and environmental monitoring.However,there is little research on aptamer-target binding mechanisms,which limits their application and development.Computational simulation has gained much attention for revealing aptamer-target binding mechanisms at the atomic level.This work summarizes the main simulation methods used in the mechanistic analysis of aptamer-target complexes,the characteristics of binding between aptamers and different targets(metal ions,small organic molecules,biomacromolecules,cells,bacteria and viruses),the types of aptamer-target interactions and the factors influencing their strength.It provides a reference for further use of simulations in understanding aptamer-target binding mechanisms.
基金This work was supported by the National Key Research and Development Program of China(2021YFB2900600)the National Natural Science Foundation of China(61971041+2 种基金62001027)the Beijing Natural Science Foundation(M22001)the Technological Innovation Program of Beijing Institute of Technology(2022CX01027).
文摘By deploying the ubiquitous and reliable coverage of low Earth orbit(LEO)satellite networks using optical inter satel-lite link(OISL),computation offloading services can be provided for any users without proximal servers,while the resource limita-tion of both computation and storage on satellites is the impor-tant factor affecting the maximum task completion time.In this paper,we study a delay-optimal multi-satellite collaborative computation offloading scheme that allows satellites to actively migrate tasks among themselves by employing the high-speed OISLs,such that tasks with long queuing delay will be served as quickly as possible by utilizing idle computation resources in the neighborhood.To satisfy the delay requirement of delay-sensi-tive task,we first propose a deadline-aware task scheduling scheme in which a priority model is constructed to sort the order of tasks being served based on its deadline,and then a delay-optimal collaborative offloading scheme is derived such that the tasks which cannot be completed locally can be migrated to other idle satellites.Simulation results demonstrate the effective-ness of our multi-satellite collaborative computation offloading strategy in reducing task complement time and improving resource utilization of the LEO satellite network.
文摘Missile interception problem can be regarded as a two-person zero-sum differential games problem,which depends on the solution of Hamilton-Jacobi-Isaacs(HJI)equa-tion.It has been proved impossible to obtain a closed-form solu-tion due to the nonlinearity of HJI equation,and many iterative algorithms are proposed to solve the HJI equation.Simultane-ous policy updating algorithm(SPUA)is an effective algorithm for solving HJI equation,but it is an on-policy integral reinforce-ment learning(IRL).For online implementation of SPUA,the dis-turbance signals need to be adjustable,which is unrealistic.In this paper,an off-policy IRL algorithm based on SPUA is pro-posed without making use of any knowledge of the systems dynamics.Then,a neural-network based online adaptive critic implementation scheme of the off-policy IRL algorithm is pre-sented.Based on the online off-policy IRL method,a computa-tional intelligence interception guidance(CIIG)law is developed for intercepting high-maneuvering target.As a model-free method,intercepting targets can be achieved through measur-ing system data online.The effectiveness of the CIIG is verified through two missile and target engagement scenarios.
基金supported by the Natural Science Foundation of Xinjiang Uygur Autonomous Region(Grant No.2022D01B 187)。
文摘Federated learning(FL)is a distributed machine learning paradigm for edge cloud computing.FL can facilitate data-driven decision-making in tactical scenarios,effectively addressing both data volume and infrastructure challenges in edge environments.However,the diversity of clients in edge cloud computing presents significant challenges for FL.Personalized federated learning(pFL)received considerable attention in recent years.One example of pFL involves exploiting the global and local information in the local model.Current pFL algorithms experience limitations such as slow convergence speed,catastrophic forgetting,and poor performance in complex tasks,which still have significant shortcomings compared to the centralized learning.To achieve high pFL performance,we propose FedCLCC:Federated Contrastive Learning and Conditional Computing.The core of FedCLCC is the use of contrastive learning and conditional computing.Contrastive learning determines the feature representation similarity to adjust the local model.Conditional computing separates the global and local information and feeds it to their corresponding heads for global and local handling.Our comprehensive experiments demonstrate that FedCLCC outperforms other state-of-the-art FL algorithms.
基金supported by the National Natural Science Foundation of China(60774016).
文摘The problem of observer-based robust predictive control is studied for the singular systems with norm-bounded uncertainties and time-delay, and the design method of robust predictive observer-based controller is proposed. By constructing the Lyapunov function with the error terms, the infinite time domain ＂min-max＂ optimization problems are converted into convex optimization problems solving by the linear matrix inequality （LMI）, and the sufficient conditions for the existence of this control are derived. It is proved that the robust stability of the closed-loop singular systems can be guaranteed by the initial feasible solutions of the optimization problems, and the regular and the impulse-free of the singular systems are also guaranteed. A simulation example illustrates the efficiency of this method.
基金supported by the National Natural Science Foundation of China (9071602860974106)
文摘The control law design for a near-space hypersonic vehicle（NHV） is highly challenging due to its inherent nonlinearity,plant uncertainties and sensitivity to disturbances.This paper presents a novel functional link network（FLN） control method for an NHV with dynamical thrust and parameter uncertainties.The approach devises a new partially-feedback-functional-link-network（PFFLN） adaptive law and combines it with the nonlinear generalized predictive control（NGPC） algorithm.The PFFLN is employed for approximating uncertainties in flight.Its weights are online tuned based on Lyapunov stability theorem for the first time.The learning process does not need any offline training phase.Additionally,a robust controller with an adaptive gain is designed to offset the approximation error.Finally,simulation results show a satisfactory performance for the NHV attitude tracking,and also illustrate the controller＇s robustness.
文摘After a brief emphasis about the interconnected world, including Cyber-Physical Systems of Systems, the increasing importance of the decision-making by autonomous, quasi-autonomous, and autonomic systems is emphasised. Promising roles of computational understanding, computational awareness, and computational wisdom for better autonomous decision-making are outlined. The contributions of simulation-based approaches are listed.
基金supported by the Advanced Research of National Defense Foundation of China(426010501)
文摘As an alternative or complementary approach to the classical probability theory,the ability of the evidence theory in uncertainty quantification（UQ） analyses is subject of intense research in recent years.Two state-of-the-art numerical methods,the vertex method and the sampling method,are commonly used to calculate the resulting uncertainty based on the evidence theory.The vertex method is very effective for the monotonous system,but not for the non-monotonous one due to its high computational errors.The sampling method is applicable for both systems.But it always requires a high computational cost in UQ analyses,which makes it inefficient in most complex engineering systems.In this work,a computational intelligence approach is developed to reduce the computational cost and improve the practical utility of the evidence theory in UQ analyses.The method is demonstrated on two challenging problems proposed by Sandia National Laboratory.Simulation results show that the computational efficiency of the proposed method outperforms both the vertex method and the sampling method without decreasing the degree of accuracy.Especially,when the numbers of uncertain parameters and focal elements are large,and the system model is non-monotonic,the computational cost is five times less than that of the sampling method.
基金supported by the National Natural Sciences Foundation of China (60974146)
文摘A distributed coordinated consensus problem for multiple networked Euler-Lagrange systems is studied. The communication between agents is subject to time delays, unknown parameters and nonlinear inputs, but only with their states available for measurement. When the communication topology of the system is connected, an adaptive control algorithm with selfdelays and uncertainties is suggested to guarantee global full-state synchro-nization that the difference between the agent＇s positions and ve-locities asymptotically converges to zero. Moreover, the distributed sliding-mode law is given for chaotic systems with nonlinear inputs to compensate for the effects of nonlinearity. Finally, simulation results show the effectiveness of the proposed control algorithm.
文摘A new method for array calibration of array gain and phase uncertainties, which severely degrade the performance of spatial spectrum estimation, is presented. The method is based on the idea of the instrumental sensors method （ISM）, two well-calibrated sensors are added into the original array. By applying the principle of estimation of signal parameters via rotational invariance techniques （ESPRIT）, the direction-of-arrivals （DOAs） and uncertainties can be estimated simultaneously through eigen-decomposition. Compared with the conventional ones, this new method has less computational complexity while has higher estimation precision, what＇s more, it can overcome the problem of ambiguity. Both theoretical analysis and computer simulations show the effectiveness of the proposed method.
基金supported in part by the National Basic Research Program of China(973 Program)(61334)
文摘A linear matrix inequality （LMI）-based sliding surface design method for integral sliding mode control of uncertain time- delay systems with mismatching uncertainties is proposed. The uncertain time-delay system under consideration may have mis- matching norm bounded uncertainties in the state matrix as well as the input matrix, A sufficient condition for the existence of a sliding surface is given to guarantee asymptotic stability of the full order slJdJng mode dynamics. An LMI characterization of the slid- ing surface is given, together with an integral sliding mode control law guaranteeing the existence of a sliding mode from the initial time. Finally, a simulation is given to show the effectiveness of the proposed method.
基金the National Natural Science Foundation of China (70371052).
文摘Ontology heterogeneity is the primary obstacle for interoperation of ontologies. Ontology mapping is the best way to solve this problem. The key of ontology mapping is the similarity computation. At present, the method of similarity computation is imperfect. And the computation quantity is high. To solve these problems, an ontology-mapping framework with a kind of hybrid architecture is put forward, with an improvement in the method of similarity computation. Different areas have different local ontologies. Two ontologies are taken as examples, to explain the specific mapping framework and improved method of similarity computation. These two ontologies are about classes and teachers in a university. The experimental results show that using this framework and improved method can increase the accuracy of computation to a certain extent. Otherwise, the quantity of computation can be decreased.
文摘Computational thermodynamics and kinetics were used to design the Pb-free micro-solders for replacing the conventional Sn-Pb solders because of the health and environmental safety problem. On the basis of CALPHAD (Calculation of Phase Diagrams) method we can easily calculate properties such as the liquidus projection, isothermal and vertical sectional diagrams and phase fraction in multi-component system including Ag, Bi, Cu, In, Sb, Sn, Zn and Pb elements. In addition, other related information such as the surface tension, viscosity of the liquid phase and solidification simulation can also be obtained. DICTRA (Diffusion Controlled Transformation) software was used to simulate the interfacial reactions between substrate and Pb-free solders, which can easily give the information on the growth of intermetallic compounds and moving speed of interface between substrate and solders etc.
基金This project was supported in part by the National Natural Science Foundation of China (60634020)in part by the Postdoctoral Science Foundation of China(20060390883)in part by Specialized Research Fund for the Doctoral Program of Higher Education(20050533028).
文摘A robust decentralized H∞ control problem for uncertain multi-channel systems is considered. The uncertainties are assumed to be time-invariant, norm-bounded, and exist in both the system and control input matrices. The dynamic output feedback is mainly dealt with. A necessary and sufficient condition for the uncertain multi-channel system to be stabilized robustly with a specified disturbance attenuation level is derived based on the bounded real lemma, which is reduced to a feasibility problem of a nonlinear matrix inequality （NMI）. A two-stage homotopy method is used to solve the NMI iteratively. First, a decentralized controller for the nominal system with no uncertainty is computed by imposing structural constraints on the coefficient matrices of the controller gradually. Then the decentralized controller is modified, again gradually, to cope with the uncertainties. On each stage, a variable is fixed alternately at the iterations to reduce the NMI to a linear matrix inequality （LMI）. A given example shows the efficiency of this method.
基金Project(11272359)supported by the National Natural Science Foundation of China
文摘In order to simulate the instability phenomenon of a nonaqueous phase liquid(NAPL) dissolution front in a computational model, the intrinsic characteristic length is commonly used to determine the length scale at which the instability of the NAPL dissolution front can be initiated. This will require a huge number of finite elements if a whole NAPL dissolution system is simulated in the computational model. Even though modern supercomputers might be used to tackle this kind of NAPL dissolution problem, it can become prohibitive for commonly-used personal computers to do so. The main purpose of this work is to investigate whether or not the whole NAPL dissolution system of an annular domain can be replaced by a trapezoidal domain, so as to greatly reduce the requirements for computer efforts. The related simulation results have demonstrated that when the NAPL dissolution system under consideration is in a subcritical state, if the dissolution pattern around the entrance of an annulus domain is of interest, then a trapezoidal domain cannot be used to replace an annular domain in the computational simulation of the NAPL dissolution system.However, if the dissolution pattern away from the vicinity of the entrance of an annulus domain is of interest, then a trapezoidal domain can be used to replace an annular domain in the computational simulation of the NAPL dissolution system. When the NAPL dissolution system under consideration is in a supercritical state, a trapezoidal domain cannot be used to replace an annular domain in the computational simulation of the NAPL dissolution system.
基金This project was supported by NSFC Project (60474047), (60334010) and GuangDong Province Natural Science Foundationof China(31406)and China Postdoctoral Science Foundation (20060390725).
文摘Decentralized robust stabilization problem of discrete-time fuzzy large-scale systems with parametric uncertainties is considered. This uncertain fuzzy large-scale system consists of N interconnected T-S fuzzy subsystems, and the parametric uncertainties are unknown but norm-bounded. Based on Lyapunov stability theory and decentralized control theory of large-scale system, the design schema of decentralized parallel distributed compensation （DPDC） fuzzy controllers to ensure the asymptotic stability of the whole fuzzy large-scale system is proposed. The existence conditions for these controllers take the forms of LMIs. Finally a numerical simulation example is given to show the utility of the method proposed.
基金Project(60604011) supported by the National Natural Science Foundation of China
文摘To improve the accuracy of strapdown inertial navigation system(SINS) for long term applications,the rotation technique is employed to modulate the errors of the inertial sensors into periodically varied signals,and,as a result,to suppress the divergence of SINS errors.However,the errors of rotation platform will be introduced into SINS and might affect the final navigation accuracy.Considering the disadvantages of the conventional navigation computation scheme,an improved computation scheme of the SINS using rotation technique is proposed which can reduce the effects of the rotation platform errors.And,the error characteristics of the SINS with this navigation computation scheme are analyzed.Theoretical analysis,simulations and real test results show that the proposed navigation computation scheme outperforms the conventional navigation computation scheme,meanwhile reduces the requirement to the measurement accuracy of rotation angles.
基金the National Natural Science Foundation of China (60402028, 60672137) Wuhan Yonger Dawning Foundation (20045006071-15)China Specialized Research Fund for the Doctoral Program of Higher Eduction (20060497015).
文摘Multiple QoS modeling and algorithm in grid system is considered. Grid QoS requirements can be formulated as a utility function for each task as a weighted sum of its each dimensional QoS utility functions. Multiple QoS constraint resource scheduling optimization in computational grid is distributed to two subproblems： optimization of grid user and grid resource provider. Grid QoS scheduling can be achieved by solving sub problems via an iterative algorithm.
