NASA Technical Reports Server (Ntrs) 19860017929: Adaptive Control of Large Space Structures Using recursive Lattice Filters by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19860017929: Adaptive Control of Large Space Structures Using recursive Lattice Filters by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19900020546: recursive Newton-Euler Formulation of Manipulator Dynamics by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19900020546: recursive Newton-Euler Formulation of Manipulator Dynamics by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19900001319: Quotient-Difference Type Generalizations of the Power Method and Their Analysis by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19900001319: Quotient-Difference Type Generalizations of the Power Method and Their Analysis by NASA Technical Reports Server (Ntrs); published by
作者：
Gervais, F.Frappier, M.Laleau, R.Laboratoire CEDRIC
Institut d'Informatique d'Entreprise 18 Allée Jean Rostand 91025 Évry Cedex France GRIL
Département d'Informatique Université de Sherbrooke Sherbrooke Québec J1K 2R1 Canada Laboratoire LACL
Université de Paris 12 IUT Fontainebleau Département Informatique Route Forestière Hurtault 77300 Fontainebleau France
EB is a trace-based formal language created for the specification of information systems (IS). Attributes, linked to entities and associations of an IS, are computed in EB3 by recursive functions on the valid traces o...
详细信息
ISBN:
(纸本)9728865228
EB is a trace-based formal language created for the specification of information systems (IS). Attributes, linked to entities and associations of an IS, are computed in EB3 by recursive functions on the valid traces of the system. In this paper, we show how to synthesize relational database transactions that correspond to EB3 attribute definitions. Thus, each EB3 action is translated into a transaction. EB3 attribute definitions are analysed to determine the key values affected by each action. To avoid problems with the sequencing of SQL statements in the transactions, temporary variables and/or tables are introduced for these key values.
We present a version of Gödel’s system T in which the types are ramied in the style of Leivant and a system of dependent typing is introduced. The dependent typing allows the denition of recursively dened types,...
详细信息
Increase in complexity of neuronal network models escalated the efforts to make NEURON simulation environment efficient. The computational neuroscientists divided the equations into subnets amongst multiple processors...
详细信息
Increase in complexity of neuronal network models escalated the efforts to make NEURON simulation environment efficient. The computational neuroscientists divided the equations into subnets amongst multiple processors for achieving better hardware performance. On parallel machines for neuronal networks, interprocessor spikes exchange consumes large section of overall simulation time. In NEURON for communication between processors Message Passing Interface (MPI) is used. MPI Allgather collective is exercised for spikes exchange after each interval across distributed memory systems. The increase in number of processors though results in achieving concurrency and better performance but it inversely affects MPI Allgather which increases communication time between processors. This necessitates improving communication methodology to decrease the spikes exchange time over distributed memory systems. This work has improved MPI Allgather method using Remote Memory Access (RMA) by moving two-sided communication to one-sided communication, and use of recursive doubling mechanism facilitates achieving efficient communication between the processors in precise steps. This approach enhanced communication concurrency and has improved overall runtime making NEURON more efficient for simulation of large neuronal network models.
The focus of this paper is on the design of robust input shapers where the maximum value of the cost function over the domain of uncertainty is minimized. This nonlinear programming problem is reformulated as a linear...
详细信息
The focus of this paper is on the design of robust input shapers where the maximum value of the cost function over the domain of uncertainty is minimized. This nonlinear programming problem is reformulated as a linear programming problem by approximating a n-dimensional hypersphere with multiple hyperplanes (as in a geodesic dome). A recursive technique to approximate a hypersphere to any level of accuracy is developed using barycentric coordinates. The proposed technique is illustrated on the spring-mass-dashpot and the benchmark floating oscillator problem undergoing a rest-to-rest maneuver. It is shown that the results of the linear programming problem are nearly identical to that of the nonlinear programming problem.
暂无评论