As we traverse the tree, changes are local to the current focal node, meaning all constant-time operations except for up.
遍历树时,更改是在当前关注节点的本地做出的,也就是说除了向上移动之外,所有操作都是常量时间的。
A zipper is a way of representing a data structure with a local context, such that navigation (iteration) and modification from the current context are, for the most part, constant-time.
zippers是使用本地上下文表示数据结构的一种方法,这使当前上下文中的导航(迭代)和修改在很大程度上具有常量时间的特点。
The current at the channel base is specified, and use two time constants can get the much better shapes than single time constant.
模型对于特定的雷电通道底部电流,采用了汉时间常数,取得了比单时间常数更好的拟合效果。
应用推荐