同步语言的时间可预测多线程代码生成方法

能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用.但是,由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即时间可预测多线程代码的构造方法以及到多核硬件平台的映射.本文提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(Architecture Analysis and Design Language)的时间可预测多核体系结构模型,作为本文研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.     

A gradient-based path optimization method for motion planning

Most algorithms in probabilistic sampling-based path planning compute collision-free paths made of straight line segments lying in the configuration space. Due to the randomness of sampling, the paths make detours that need to be optimized. The contribution of this paper is to propose a basic gradient-based algorithm that transforms a polygonal collision-free path into a shorter one. While requiring only collision checking, and not any time-consuming obstacle distance computation nor geometry simplification, we constrain only part of the configuration variables that may cause a collision, and not entire configurations. Thus, parasite motions that are not useful for the problem resolution are reduced without any assumption. Experimental results include navigation and manipulation tasks, eg a manipulator arm-filling boxes and a PR2 robot working in a kitchen environment. Comparisons with a random shortcut optimizer and a partial shortcut have also been studied.     

Maintaining strong mutual visibility of an evader moving over the reduced visibility graph

In this paper, we address the problem of determining whether a mobile robot, called the pursuer, is able to maintain strong mutual visibility (a visibility notion between regions over a convex partition of the environment) of an antagonist agent, called the evader. We frame the problem as a non cooperative game. We consider the case in which the pursuer and the evader move at bounded speed, traveling in a known polygonal environment with or without holes, and in which there are no restrictions as to the distance that might separate the agents. Unlike our previous efforts (Murrieta-Cid et al. in Int J Robot Res 26:233–253, 2007), we give special attention to the combinatorial problem that arises when searching for a solution through visiting several locations in an environment with obstacles. In this paper we take a step further, namely, we assume an antagonistic evader who moves continuously and unpredictably, but with a constraint over its set of admissible motion policies, as the evader moves in the shortest-path roadmap, also called the reduced visibility graph (RVG). The pursuer does not know which among the possible paths over the RVG the evader will choose, but the pursuer is free to move within all the environment. We provide a constructive method to solve the decision problem of determining whether or not the pursuer is able to maintain strong mutual visibility of the evader. This method is based on an algorithm that computes the safe areas (areas that keep evader surveillance) at all times. We prove decidability of this problem, and provide a complexity measure to this evader surveillance game; both contributions hold for any general polygonal environment that might or not contain holes. All our algorithms have been implemented and we show simulation results.     

A multiphase compressible model for the simulation of multiphase flows

A compressible model able to manage incompressible two-phase flows as well as compressible motions is proposed. After a presentation of the multiphase compressible concept, the new model and related numerical methods are detailed on fixed structured grids. The presented model is a 1-fluid model with a reformulated mass conservation equation which takes into account the effects of compressibility. The coupling between pressure and flow velocity is ensured by introducing mass conservation terms in the momentum and energy equations. The numerical model is then validated with four test cases involving the compression of an air bubble by water, the liquid injection in a closed cavity filled with air, a bubble subjected to an ultrasound field and finally the oscillations of a deformed air bubble in melted steel. The numerical results are compared with analytical results and convergence orders in space are provided.     

An Optimality Principle Governing Human Walking

In this paper, we investigate different possible strategies underlying the formation of human locomotor trajectories in goal-directed walking. Seven subjects were asked to walk within a motion capture facility from a fixed starting point and direction, and to cross over distant porches for which both position and direction in the room were changed over trials. Stereotyped trajectories were observed in the different subjects. The underlying idea to attack this question has been to relate this problem to an optimal control scheme: the trajectory is chosen according to some optimization principle. This is our basic starting assumption. The subject being viewed as a controlled system, we tried to identify several criteria that could be optimized. Is it the time to perform the trajectory? The length of the path? The minimum jerk along the path? We found that the variation (time derivative) of the curvature of the locomotor paths is minimized. Moreover, we show that the human locomotor trajectories are well approximated by the geodesics of a differential system minimizing the norm of the control. Such geodesics are made of arcs of clothoids. The clothoid or Cornu spiral is a curve, whose curvature grows with the distance from the origin.     

A local approach to concept generation

Generating concepts defined by a binary relation between a set of properties and a set of objects is one of the important current problems encountered in Data Mining and Knowledge Discovery in Databases. We present a new algorithmic process which computes all the concepts, without requiring an exponential-size data structure, and with a good worst-time complexity analysis, which makes it competitive with the best existing algorithms for this problem. Our algorithm can be used to compute the edges of the lattice as well at no extra cost.      

Consensus in the presence of mortal Byzantine faulty processes

We consider the problem of reaching agreement in distributed systems in which some processes may deviate from their prescribed behavior before they eventually crash. We call this failure model “mortal Byzantine”. After discussing some application examples where this model is justified, we provide matching upper and lower bounds on the number of faulty processes, and on the required number of rounds in synchronous systems. We then continue our study by varying different system parameters. On the one hand, we consider the failure model under weaker timing assumptions, namely for partially synchronous systems and asynchronous systems with unreliable failure detectors. On the other hand, we vary the failure model in that we limit the occurrences of faulty steps that actually lead to a crash in synchronous systems.     

Ant colony optimization algorithm for the Euclidean location-allocation problem with unknown number of facilities

This paper addresses the Euclidean location-allocation problem with an unknown number of facilities, and an objective of minimizing the fixed and transportation costs. This is a NP-hard problem and in this paper, a three-stage ant colony optimization (ACO) algorithm is introduced and its performance is evaluated by comparing its solutions to the solutions of genetic algorithms (GA). The results show that ACO outperformed GA and reached better solutions in a faster computational time. Furthermore, ACO was tested on the relaxed version of the problem where the number of facilities is known, and compared to existing methods in the literature. The results again confirmed the superiority of the proposed algorithm.     

Identification of the Role of TGR5 in the Regulation of Leydig Cell Homeostasis

Understanding the regulation of the testicular endocrine function leading to testosterone production is a major objective as the alteration of endocrine function is associated with the development of many diseases such as infertility. In the last decades, it has been demonstrated that several endogenous molecules regulate the steroidogenic pathway. Among them, bile acids have recently emerged as local regulators of testicular physiology and particularly endocrine function. Bile acids act through the nuclear receptor FXRα (Farnesoid-X-receptor alpha; NR1H4) and the G-protein-coupled bile acid receptor (GPBAR-1; TGR5). While FXRα has been demonstrated to regulate testosterone synthesis within Leydig cells, no data are available regarding TGR5. Here, we investigated the potential role of TGR5 within Leydig cells using cell culture approaches combined with pharmacological exposure to the TGR5 agonist INT-777. The data show that activation of TGR5 results in a decrease in testosterone levels. TGR5 acts through the PKA pathway to regulate steroidogenesis. In addition, our data show that TGR5 activation leads to an increase in cholesterol ester levels. This suggests that altered lipid homeostasis may be a mechanism explaining the TGR5-induced decrease in testosterone levels. In conclusion, the present work highlights the impact of the TGR5 signaling pathway on testosterone production and reinforces the links between bile acid signaling pathways and the testicular endocrine function. The testicular bile acid pathways need to be further explored to increase our knowledge of pathologies associated with impaired testicular endocrine function, such as fertility disorders.     

一种同步语言多线程代码自动生成工具

随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证.目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成.提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上的实验,验证了所提方法的有效性.