This paper presents the design and development of a health information system following the requirements of Spanish law as well as physicians and patients. In Spain, these systems are relatively new because, until rec...This paper presents the design and development of a health information system following the requirements of Spanish law as well as physicians and patients. In Spain, these systems are relatively new because, until recently, ownership of patients＇ medical records belonged to the health institution. The proposed system gives patients all the information about their medical records, online. The difference from other initiatives is that the hospital provides patients with information and the latter are responsible for its future use. Importantly, this application allows physicians to carry out a personalized and individualized monitoring and treatment of each patient. The tests were conducted with real patients, all with a chronic disease （to show each patient the personalized data）. They all expressed their appreciation of this application＇s usefulness, and obtained satisfaction level was very high. Thanks to having medical information stored on the proposed system, it can be provided to other specialists to improve the knowledgement about the patient.展开更多
This paper focuses on the study and control of a non-linear mathematical epidemic model ( SSvihVELI ) based on a system of ordinary differential equation modeling the spread of tuberculosis infectious with HIV/AIDS co...This paper focuses on the study and control of a non-linear mathematical epidemic model ( SSvihVELI ) based on a system of ordinary differential equation modeling the spread of tuberculosis infectious with HIV/AIDS coinfection. Existence of both disease free equilibrium and endemic equilibrium is discussed. Reproduction number R0 is determined. Using Lyapunov-Lasalle methods, we analyze the stability of epidemic system around the equilibriums (disease free and endemic equilibrium). The global asymptotic stability of the disease free equilibrium whenever Rvac is proved, where R0 is the reproduction number. We prove also that when R0 is less than one, tuberculosis can be eradicated. Numerical simulations are conducted to approve analytic results. To achieve control of the disease, seeking to reduce the infectious group by the minimum vaccine coverage, a control problem is formulated. The Pontryagin’s maximum principle is used to characterize the optimal control. The optimality system is derived and solved numerically using the Runge Kutta fourth procedure.展开更多
This paper presents a technological solution to promote and help independent access to work for disabled people. The aim is to develop a form of technical assistance that supports them in the control of schedules, pre...This paper presents a technological solution to promote and help independent access to work for disabled people. The aim is to develop a form of technical assistance that supports them in the control of schedules, prevention of dangerous areas in the work place, warnings and automatic alarm generation. The device chosen to exchange all this information is a smartphone based on Android Operating System and GPS （Global Positioning System） technology mainly. A set of Android applications has been developed using Java language, and controlling the device via Google-developed Java libraries. All of them are connected to the Server Application through the Communications Module. The Server Application Module provides the assistants or psychologists the possibility of supervise all the handicapped people activities. The assistants, psychologists and users have all evaluated the application very positively as it covers disabled people＇s needs perfectly.展开更多
Mobile applications are being used in a great range of fields and application areas. As a result, many research fields have focused on the study and improvement of such devices. The current Smartphones are the best ex...Mobile applications are being used in a great range of fields and application areas. As a result, many research fields have focused on the study and improvement of such devices. The current Smartphones are the best example of the research and the evolution of these technologies. Moreover, the software design and development is progressively more focused on the user; finding and developing new mobile interaction models. In order to do so, knowing what kind of problems the users could have is vital to enhance a bad interaction design. Unfortunately, a good software quality evaluation takes more time than the companies can invest. The contribution revealed in this work is a new approach to quality testing methodology focused on mobile interactions and their context in use where external capturing tools, such as cameras, are suppressed and the evaluation environments are the same as the user will use the application. By this approach, the interactions can be captured without changing the context and consequently, the data will be more accurate, enabling the evaluation of the quality-in-use in real environments.展开更多
We propose a multi-crossover and adaptive island based population algorithm(MAIPA).This technique divides the entire population into subpopulations,or demes,each with a different crossover function,which can be switch...We propose a multi-crossover and adaptive island based population algorithm(MAIPA).This technique divides the entire population into subpopulations,or demes,each with a different crossover function,which can be switched according to the efficiency.In addition,MAIPA reverses the philosophy of conventional genetic algorithms.It gives priority to the autonomous improvement of the individuals(at the mutation phase),and introduces dynamism in the crossover probability.Each subpopulation begins with a very low value of crossover probability,and then varies with the change of the current generation number and the search performance on recent generations.This mechanism helps prevent premature convergence.In this research,the effectiveness of this technique is tested using three well-known routing problems,i.e.,the traveling salesman problem(TSP),capacitated vehicle routing problem(CVRP),and vehicle routing problem with backhauls(VRPB).MAIPA proves to be better than a traditional island based genetic algorithm for all these three problems.展开更多
This paper deals with the problem of internal controllability of a system of heat equations posed on a bounded domain with Dirichlet boundary conditions and perturbed with analytic non-local coupling terms. Each compo...This paper deals with the problem of internal controllability of a system of heat equations posed on a bounded domain with Dirichlet boundary conditions and perturbed with analytic non-local coupling terms. Each component of the system may be controlled in a different subdomain. Assuming that the unperturbed system is controUable--a property that has been recently characterized in terms of a Kalman-like rank condition--the authors give a necessary and sufficient condition for the controllability of the coupled system under the form of a unique continuation property for the corresponding elliptic eigenvalue system. The proof relies on a compactness-uniqueness argument, which is quite unusual in the context of parabolic systems, previously developed for scalar parabolic equations. The general result is illustrated by two simple examples.展开更多
文摘This paper presents the design and development of a health information system following the requirements of Spanish law as well as physicians and patients. In Spain, these systems are relatively new because, until recently, ownership of patients＇ medical records belonged to the health institution. The proposed system gives patients all the information about their medical records, online. The difference from other initiatives is that the hospital provides patients with information and the latter are responsible for its future use. Importantly, this application allows physicians to carry out a personalized and individualized monitoring and treatment of each patient. The tests were conducted with real patients, all with a chronic disease （to show each patient the personalized data）. They all expressed their appreciation of this application＇s usefulness, and obtained satisfaction level was very high. Thanks to having medical information stored on the proposed system, it can be provided to other specialists to improve the knowledgement about the patient.
文摘This paper focuses on the study and control of a non-linear mathematical epidemic model ( SSvihVELI ) based on a system of ordinary differential equation modeling the spread of tuberculosis infectious with HIV/AIDS coinfection. Existence of both disease free equilibrium and endemic equilibrium is discussed. Reproduction number R0 is determined. Using Lyapunov-Lasalle methods, we analyze the stability of epidemic system around the equilibriums (disease free and endemic equilibrium). The global asymptotic stability of the disease free equilibrium whenever Rvac is proved, where R0 is the reproduction number. We prove also that when R0 is less than one, tuberculosis can be eradicated. Numerical simulations are conducted to approve analytic results. To achieve control of the disease, seeking to reduce the infectious group by the minimum vaccine coverage, a control problem is formulated. The Pontryagin’s maximum principle is used to characterize the optimal control. The optimality system is derived and solved numerically using the Runge Kutta fourth procedure.
文摘This paper presents a technological solution to promote and help independent access to work for disabled people. The aim is to develop a form of technical assistance that supports them in the control of schedules, prevention of dangerous areas in the work place, warnings and automatic alarm generation. The device chosen to exchange all this information is a smartphone based on Android Operating System and GPS （Global Positioning System） technology mainly. A set of Android applications has been developed using Java language, and controlling the device via Google-developed Java libraries. All of them are connected to the Server Application through the Communications Module. The Server Application Module provides the assistants or psychologists the possibility of supervise all the handicapped people activities. The assistants, psychologists and users have all evaluated the application very positively as it covers disabled people＇s needs perfectly.
文摘Mobile applications are being used in a great range of fields and application areas. As a result, many research fields have focused on the study and improvement of such devices. The current Smartphones are the best example of the research and the evolution of these technologies. Moreover, the software design and development is progressively more focused on the user; finding and developing new mobile interaction models. In order to do so, knowing what kind of problems the users could have is vital to enhance a bad interaction design. Unfortunately, a good software quality evaluation takes more time than the companies can invest. The contribution revealed in this work is a new approach to quality testing methodology focused on mobile interactions and their context in use where external capturing tools, such as cameras, are suppressed and the evaluation environments are the same as the user will use the application. By this approach, the interactions can be captured without changing the context and consequently, the data will be more accurate, enabling the evaluation of the quality-in-use in real environments.
文摘We propose a multi-crossover and adaptive island based population algorithm(MAIPA).This technique divides the entire population into subpopulations,or demes,each with a different crossover function,which can be switched according to the efficiency.In addition,MAIPA reverses the philosophy of conventional genetic algorithms.It gives priority to the autonomous improvement of the individuals(at the mutation phase),and introduces dynamism in the crossover probability.Each subpopulation begins with a very low value of crossover probability,and then varies with the change of the current generation number and the search performance on recent generations.This mechanism helps prevent premature convergence.In this research,the effectiveness of this technique is tested using three well-known routing problems,i.e.,the traveling salesman problem(TSP),capacitated vehicle routing problem(CVRP),and vehicle routing problem with backhauls(VRPB).MAIPA proves to be better than a traditional island based genetic algorithm for all these three problems.
文摘This paper deals with the problem of internal controllability of a system of heat equations posed on a bounded domain with Dirichlet boundary conditions and perturbed with analytic non-local coupling terms. Each component of the system may be controlled in a different subdomain. Assuming that the unperturbed system is controUable--a property that has been recently characterized in terms of a Kalman-like rank condition--the authors give a necessary and sufficient condition for the controllability of the coupled system under the form of a unique continuation property for the corresponding elliptic eigenvalue system. The proof relies on a compactness-uniqueness argument, which is quite unusual in the context of parabolic systems, previously developed for scalar parabolic equations. The general result is illustrated by two simple examples.
