一位被低估的书法高手，水平比唐代大师还高，日本称赞：惊为天人！

后世普遍认为，唐朝的书法最精妙，从标准度分析，唐人“尚法”，笔力扎实，线条规整，展现楷书的端庄、正大之象，譬如欧阳询、虞世南、颜真卿的字迹，十分匀和精到，的确挑不出一丝错误，可是换一个角度思考，这些作品过于精严，变化敛于墨色之下，无法窥探细节。 图片 而且千篇一律的风格和意态，也令人感到审美疲劳，艺术的生动性不足，若是学习过多，恐有用笔僵化、单调等问题，正如米芾所言：“欧、虞、褚、柳、颜，皆一笔书也，安排费工，岂能垂世”；丁道护、欧、虞笔始匀，古法亡矣。柳公权师欧，不及远甚，......查看更多

2025-05-21

电新：2025年钠电池在乘用车和储能领域性能有望追平普通铁锂

来源Gangtise投研 电新分析师表示，某科海纳产品在两c充电倍率下循环性能至少能达到8000次以上，相比两年前层状氧化物平均水平提升明显，这有助于加速储能端应用，2025年钠电池在乘用车和储能领域性能有望追平普通铁锂，在两轮车、小动力和消费端价格有望追平锂电池。 海量资讯、精准解读，尽在新浪财经APP 责任编辑：王其霖......查看更多

2025-04-12

GB20438.7 技术和措施概述 形式化证明(验证)

C.5.12 形式化证明(验证) 注:在GB/T 20438.3--2017的表A.5与表A.9中引用了本技术/措施。 目的:使用了理论和数学模型及规则,证明程序针对其某种抽象模型的正确性。 描述:测试是一种检验程序正确性的常见方式。然而,实际值的程序的复杂性通常无法实现详尽的测试。因此只有一小部分可能的程序可以用这个方法检查。相反,形式化验证应用数学运算于一个程序的数学表示,为所有可能的输入来建立确定的程序的运行状况。 系统的形式化验证要求使用精确数学含义的语言描述的一个程......查看更多

2025-03-06