anarchist
发表于 2025-3-28 17:01:40
Hoare logic, imperative and functional programs.Work with pre- and post-conditions.Use data types, pattern matching, and classes.Dive into verification examples for potential re-use for your own projects.Who Th978-1-4842-7977-9978-1-4842-7978-6
mighty
发表于 2025-3-28 21:39:50
Elements of Vector and Tensor NotationConsider the orthogonal coordinate system with axes .., .., and .. shown in Fig. 1. The base vectors are .. (. = 1, 2, 3), where |e.|= 1. Clearly, the vector . may be written . and since the coordinate system is orthogonal, . where δ. is the Kronecker delta defined by . and we have introduced the summation convention (.) for repeated indices.
Throttle
发表于 2025-3-28 23:59:26
Infinitesimal Deformation TheoryConsider a line element .. which moves in such a manner that it rotates and extends (or contracts) to .. as shown in Fig. 4. From Fig. 4 it is clear that .. and from (3.1) and (3.2) we have
沙发
发表于 2025-3-29 04:47:27
http://reply.papertrans.cn/59/5864/586376/586376_44.png
窝转脊椎动物
发表于 2025-3-29 10:43:47
http://reply.papertrans.cn/59/5864/586376/586376_45.png
轻触
发表于 2025-3-29 12:43:41
https://doi.org/10.1007/978-1-4899-6453-3electricity; elements; Vibration
分开
发表于 2025-3-29 16:10:13
978-1-4899-6221-8Springer Science+Business Media New York 1969
锯齿状
发表于 2025-3-29 22:12:50
http://reply.papertrans.cn/59/5864/586376/586376_48.png
Pelvic-Floor
发表于 2025-3-30 01:17:39
The Linear Theory of Piezoelectricityate of increase of energy (kinetic plus internal) is equal to the rate at which work is done by the surface tractions acting across . less the flux of electric energy outward across .. Thus we have . as the equation of the conservation of energy. Basically, this equation postulates the existence of the internal energy function ..
过时
发表于 2025-3-30 05:35:47
http://reply.papertrans.cn/59/5864/586376/586376_50.png