SAGeLogE is the acronym of “Système d’Aide à la Gestion de Logements étudiants” which means student accommodation management support system. It’s a multi-criteria decision support system designed to...SAGeLogE is the acronym of “Système d’Aide à la Gestion de Logements étudiants” which means student accommodation management support system. It’s a multi-criteria decision support system designed to manage accommodation allocation for university students. Within SAGeLogE we developed the “Minimum of Ranks” (MIRA) aggregation method. MIRA method involves the application of multi-criteria decision-making methods (MCDM) to initially obtain different ranking. Thus, we chose the Weighted Sum Method (WSM), Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) and Combined Compromise Solution (CoCoSo) methods to be implemented in SAGeLogE. To prioritize the weights of criteria, the Anality Hierarchy Process (AHP) method was used. The interest of using the MIRA method was to obtain a compromised ranking coming from these three multi-criteria decision-making methods (WSM, TOPSIS, CoCoSo). So, we know that the accommodation to be allocated to students is always lower than the number of accommodation requests received by the organization. Thus, SAGeLogE proposed a technique that makes it easier to select students ranked by the multi-criteria decision-making and MIRA methods according to a method of calculation of quota of available accommodations within university residences. Finally, university accommodation managers had a wide choice of student ranking according to the methods implemented in SAGeLogE. The SAGeLogE experiment was carried out on the site of Toamasina University in Madagascar for an academic year with 2026 student accommodation applications received. The experimentation showed the ability of SAGeLogE to achieve the result.展开更多
能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术...能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.展开更多
随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整个软件系统呈现异构性.因此,设计此类系统需要使用复杂的建模方法.AADL(architecture analysis and design...随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整个软件系统呈现异构性.因此,设计此类系统需要使用复杂的建模方法.AADL(architecture analysis and design language)是一种安全关键系统体系结构多范式建模语言,丰富的可表达方式和可扩展性使其成为安全关键异构软件设计的重要选择.提出一种AADL和SDL(specification and description language)混合建模方法,支持以自底向上的方式对安全关键软件系统进行混合建模,并给出面向多核处理器平台的代码自动生成方法.首先,通过扩展AADL属性集,以支持使用SDL建模语言表达软件构件的功能行为.其次,以Ada作为目标语言,给出AADL-SDL混合模型的多任务代码生成方法.最后,实现了原型工具支持AADL和SDL混合建模及多任务Ada代码生成,并基于导航、制导与控制系统案例对所提方法的有效性进行分析.展开更多
This paper presents a genetic programming based reconfiguration planner for metamorphic modular robots. Initially used for evolving computer programs that can solve simple problems, genetic programming （GP） has been...This paper presents a genetic programming based reconfiguration planner for metamorphic modular robots. Initially used for evolving computer programs that can solve simple problems, genetic programming （GP） has been recently used to handle various kinds of problems in the area of complex systems. This paper details how genetic programming can be used as an automatic programming tool for handling reconfiguration-planning problem. To do so, the GP evolves sequences of basic operations which are required for transforming the robot＇s geometric structure from its initial configuration into the target one while the total number of modules and their connectedness are preserved. The proposed planner is intended for both Crystalline and TeleCube modules which are achieved by cubical compressible units. The target pattern of the modular robot is expressed in quantitative terms of morphogens diffused on the environment. Our work presents a solution for self recontlguration problem with restricted and unrestricted free space available to the robot during reconfiguration, The planner outputs a near optimal explicit sequence of low-level actions that allows modules to move relative to each other in order to form the desired shape.展开更多
We find nowadays in several fields of application the presence of IoT technology such as wireless sensor and actuator networks. In this technology, one of the main points of study is the management of energy consumpti...We find nowadays in several fields of application the presence of IoT technology such as wireless sensor and actuator networks. In this technology, one of the main points of study is the management of energy consumption. In this article, we provide a solar energy harvesting and storage system for powering wireless nodes. The system we propose uses a low power solar pane a P</span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">&</span></span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">O control adapted to fuzzy logic for the MPPT. For energy storage, we used the supercapacitor technology. The simulation of the models shows better results than using the P</span></span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">&</span></span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">O command for an autonomous power supply of the wireless communicating nodes in the study region.展开更多
1 Introduction In[5]we investigated the significance of some truth-functional three valued logics of ill-known sets described by pairs of disjoint(or pairs of nested) subsets.In particular,we referred to the case of r...1 Introduction In[5]we investigated the significance of some truth-functional three valued logics of ill-known sets described by pairs of disjoint(or pairs of nested) subsets.In particular,we referred to the case of rough sets showing that if from a mathematical standpoint we obtain sound results,the interpretation with respect展开更多
Monitoring behaviour of the elderly and the disabled living alone has become a major public health problem in our modern societies. Among the various scientific aspects involved in the home monitoring field, we are in...Monitoring behaviour of the elderly and the disabled living alone has become a major public health problem in our modern societies. Among the various scientific aspects involved in the home monitoring field, we are interested in the study and the proposal of a solution allowing distributed sensor nodes to communicate with each other in an optimal way adapted to the specific application constraints. More precisely, we want to build a wireless network that consists of several short range sensor nodes exchanging data between them according to a communication protocol at MAC (Medium Access Control) level. This protocol must be able to optimize energy consumption, transmission time and loss of information. To achieve this objective, we have analyzed the advantages and the limitations of WSN (Wireless Sensor Network) technologies and communication protocols currently used in relation to the requirements of our application. Then we proposed a deterministic, adaptive and energy saving medium access method based on the IEEE 802.15.4 physical layer and a mesh topology. It ensures the message delivery time with strongly limited collision risk due to the spatial reuse of medium in the two-hop neighbourhood. This proposal was characterized by modelling and simulation using OPNET network simulator. Finally we implemented the proposed mechanisms on hardware devices and deployed a sensors network in real situation to verify the accuracy of the model and evaluate the proposal according to different test configurations.展开更多
A new variant of the Adaptive Method (AM) of Gabasov is presented, to minimize the computation time. Unlike the original method and its some variants, we need not to compute the inverse of the basic matrix at each ite...A new variant of the Adaptive Method (AM) of Gabasov is presented, to minimize the computation time. Unlike the original method and its some variants, we need not to compute the inverse of the basic matrix at each iteration, or to solve the linear systems with the basic matrix. In fact, to compute the new support feasible solution, the simplex pivoting rule is used by introducing a matrix that we will define. This variant is called “the Pivot Adaptive Method” (PAM);it allows presenting the resolution of a given problem under the shape of successive tables as we will see in example. The proofs that are not given by Gabasov will also be presented here, namely the proofs for the theorem of the optimality criterion and for the theorem of existence of an optimal support, and at the end, a brief comparison between our method and the Simplex Method will be given.展开更多
文摘SAGeLogE is the acronym of “Système d’Aide à la Gestion de Logements étudiants” which means student accommodation management support system. It’s a multi-criteria decision support system designed to manage accommodation allocation for university students. Within SAGeLogE we developed the “Minimum of Ranks” (MIRA) aggregation method. MIRA method involves the application of multi-criteria decision-making methods (MCDM) to initially obtain different ranking. Thus, we chose the Weighted Sum Method (WSM), Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) and Combined Compromise Solution (CoCoSo) methods to be implemented in SAGeLogE. To prioritize the weights of criteria, the Anality Hierarchy Process (AHP) method was used. The interest of using the MIRA method was to obtain a compromised ranking coming from these three multi-criteria decision-making methods (WSM, TOPSIS, CoCoSo). So, we know that the accommodation to be allocated to students is always lower than the number of accommodation requests received by the organization. Thus, SAGeLogE proposed a technique that makes it easier to select students ranked by the multi-criteria decision-making and MIRA methods according to a method of calculation of quota of available accommodations within university residences. Finally, university accommodation managers had a wide choice of student ranking according to the methods implemented in SAGeLogE. The SAGeLogE experiment was carried out on the site of Toamasina University in Madagascar for an academic year with 2026 student accommodation applications received. The experimentation showed the ability of SAGeLogE to achieve the result.
文摘能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.
文摘随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整个软件系统呈现异构性.因此,设计此类系统需要使用复杂的建模方法.AADL(architecture analysis and design language)是一种安全关键系统体系结构多范式建模语言,丰富的可表达方式和可扩展性使其成为安全关键异构软件设计的重要选择.提出一种AADL和SDL(specification and description language)混合建模方法,支持以自底向上的方式对安全关键软件系统进行混合建模,并给出面向多核处理器平台的代码自动生成方法.首先,通过扩展AADL属性集,以支持使用SDL建模语言表达软件构件的功能行为.其次,以Ada作为目标语言,给出AADL-SDL混合模型的多任务代码生成方法.最后,实现了原型工具支持AADL和SDL混合建模及多任务Ada代码生成,并基于导航、制导与控制系统案例对所提方法的有效性进行分析.
文摘This paper presents a genetic programming based reconfiguration planner for metamorphic modular robots. Initially used for evolving computer programs that can solve simple problems, genetic programming （GP） has been recently used to handle various kinds of problems in the area of complex systems. This paper details how genetic programming can be used as an automatic programming tool for handling reconfiguration-planning problem. To do so, the GP evolves sequences of basic operations which are required for transforming the robot＇s geometric structure from its initial configuration into the target one while the total number of modules and their connectedness are preserved. The proposed planner is intended for both Crystalline and TeleCube modules which are achieved by cubical compressible units. The target pattern of the modular robot is expressed in quantitative terms of morphogens diffused on the environment. Our work presents a solution for self recontlguration problem with restricted and unrestricted free space available to the robot during reconfiguration, The planner outputs a near optimal explicit sequence of low-level actions that allows modules to move relative to each other in order to form the desired shape.
文摘We find nowadays in several fields of application the presence of IoT technology such as wireless sensor and actuator networks. In this technology, one of the main points of study is the management of energy consumption. In this article, we provide a solar energy harvesting and storage system for powering wireless nodes. The system we propose uses a low power solar pane a P</span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">&</span></span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">O control adapted to fuzzy logic for the MPPT. For energy storage, we used the supercapacitor technology. The simulation of the models shows better results than using the P</span></span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">&</span></span></span><span><span><span style="font-family:""> </span></span></span><span style="font-family:Verdana;"><span style="font-family:Verdana;"><span style="font-family:Verdana;">O command for an autonomous power supply of the wireless communicating nodes in the study region.
文摘1 Introduction In[5]we investigated the significance of some truth-functional three valued logics of ill-known sets described by pairs of disjoint(or pairs of nested) subsets.In particular,we referred to the case of rough sets showing that if from a mathematical standpoint we obtain sound results,the interpretation with respect
文摘Monitoring behaviour of the elderly and the disabled living alone has become a major public health problem in our modern societies. Among the various scientific aspects involved in the home monitoring field, we are interested in the study and the proposal of a solution allowing distributed sensor nodes to communicate with each other in an optimal way adapted to the specific application constraints. More precisely, we want to build a wireless network that consists of several short range sensor nodes exchanging data between them according to a communication protocol at MAC (Medium Access Control) level. This protocol must be able to optimize energy consumption, transmission time and loss of information. To achieve this objective, we have analyzed the advantages and the limitations of WSN (Wireless Sensor Network) technologies and communication protocols currently used in relation to the requirements of our application. Then we proposed a deterministic, adaptive and energy saving medium access method based on the IEEE 802.15.4 physical layer and a mesh topology. It ensures the message delivery time with strongly limited collision risk due to the spatial reuse of medium in the two-hop neighbourhood. This proposal was characterized by modelling and simulation using OPNET network simulator. Finally we implemented the proposed mechanisms on hardware devices and deployed a sensors network in real situation to verify the accuracy of the model and evaluate the proposal according to different test configurations.
文摘A new variant of the Adaptive Method (AM) of Gabasov is presented, to minimize the computation time. Unlike the original method and its some variants, we need not to compute the inverse of the basic matrix at each iteration, or to solve the linear systems with the basic matrix. In fact, to compute the new support feasible solution, the simplex pivoting rule is used by introducing a matrix that we will define. This variant is called “the Pivot Adaptive Method” (PAM);it allows presenting the resolution of a given problem under the shape of successive tables as we will see in example. The proofs that are not given by Gabasov will also be presented here, namely the proofs for the theorem of the optimality criterion and for the theorem of existence of an optimal support, and at the end, a brief comparison between our method and the Simplex Method will be given.
