...比特范：Kelly编译， 转载请注明 编者按：工作量证明（proof of work ）是指系统为达到某目标而设置的工作度量方法 和稀有金属比起来，比特币采矿也许在环境方面的影响不大，但很清楚，数字货币的采...
基于148个网页-相关网页
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
实践证明，此方案较经济、合理，且能最大程度地减少施工工作量。
It is proved by practice that the scheme is economical and reasonable and can reduce the construction workload furthest.
最后通过实践证明，采用PLC控制提高了万能铣床运行的可靠性，减轻了机床维修人员的工作量。
Finally, practice has proved that the adoption of PLC control systems have greatly increased the machine's reliability and reduced workload of machine maintenance staff.
应用推荐