Another approach to expressing invariants is to bolster the type system with generic types, types parameterized by other types (the topic of our the most recent series of articles in this column).
表示不变量的另一种方法是泛型-作为其它类型参数化的类型来支持类型系统(本专栏中最近一系列文章的主题)。
The load spectrum of the bolster spring is determined by means of establishing the mechanics model of bolster and spring of Zhuan 8a type bogie, and by using a known load spectrum of the bolster.
通过建立转8a型转向架摇枕与枕簧的力学关系模型,利用已知的摇枕实测载荷谱,分析确定出了枕簧的载荷谱。
应用推荐