We review different aspects of the simulation of spiking neural networks. We
start by reviewing the different types of simulation strategies and algorithms
that are currently implemented. We next review the precision of those
simulation strategies, in particular in cases where plasticity depends on the
exact timing of the spikes. We overview different simulators and simulation
environments presently available (restricted to those freely available, open
source and documented). For each simulation tool, its advantages and pitfalls
are reviewed, with an aim to allow the reader to identify which simulator is
appropriate for a given task. Finally, we provide a series of benchmark
simulations of different types of networks of spiking neurons, including
Hodgkin-Huxley type, integrate-and-fire models, interacting with current-based
or conductance-based synapses, using clock-driven or event-driven integration
strategies. The same set of models are implemented on the different simulators,
and the codes are made available. The ultimate goal of this review is to
provide a resource to facilitate identifying the appropriate integration
strategy and simulation tool to use for a given modeling problem related to
spiking neural networks.

本文综述了不同方面的尖峰神经网络模拟，包括不同类型的模拟策略与算法、精度、不同的模拟器与仿真环境的优劣，最终旨在提供一个资源以便于确定适合尖峰神经网络建模问题的正确集成策略和仿真工具。

脉冲神经元网络仿真：工具和策略综述

Simulation of networks of spiking neurons: A review of tools and  strategies

Many different families of mass models are used in modern applications of
strong gravitational lensing. I review a wide range of popular models, with two
points of emphasis: (1) a discussion of strategies for building models suited
to a particular lensing problem; and (2) a summary of technical results for a
canonical set of models. All of the models reviewed here are included in
publicly-available lensing software called gravlens.

本文综述了现代应用强引力透镜中使用的多个不同族的质量模型，包括相应策略和技术结果，所有这些模型都包含在名为 gravlens 的公开可用透镜软件中。