原标题：云南参与编制的一区块链团体标准获批发布
　　近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。
　　据悉，该标准联合北京科技大学、北京邮电大学、北京航空航天大学云南创新研究院、省区块链应用技术重点实验室、省区块链和数字科技标准化技术委员会、省数字经济产业投资集团有限公司、云南云上云信息化有限公司等单位参与编制，使基于区块链的智能合约设计与验证流程各阶段具有规范性、方法性和可操作性，为使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准。（李承韩）
　　(责编：徐前、朱红霞)
　　分享让更多人看到
　　【来源：云南日报】

数字时代教师碎片化学习的整合路径基于认知盈余的视角面向教育现代化，教师队伍建设的目标和任务应当体现鲜亮的时代色彩，教师的素质水平专业发展和创新能力状况都应当有更多的新形式新结构与新内涵。推动教师终身学习和专业自主发展，既是重要的战三轮车又涨价了，有三大原因，4月起买车又要多花几百元请您在阅读前，先点击上面的关注。感谢您的支持，我们将为您带来更多有价值的内容。3月已过半，正值电三行业销售旺季，很多经销商都来问询近期行情问题。而事实上行业内近期已经开启了新一轮的Jeecgboot项目介绍JeecgbootVue3采用Vue3。0ViteAntDesignVueTypeScript等新技术方案，包括二次封装组件utilshooks动态菜单权限校验按钮级别权限变换天工器如神！2021年世界新材料发展回顾科技日报国际部俄罗斯磁超导材料有突破硅纳米技术在爬坡磁性超导材料指含有磁性离子的超导材料，可用于加速大型强子对撞机中的粒子，建造磁悬浮交通工具等。目前开发和批量生产磁性超导体的主要信息技术对知识教学的僭越之思与破解之道由技术化教学引发的争论不绝于耳。乐观论者对技术祛除知识教学积弊充满期待，用数据破解心智以技术革新教学的呼声日益高涨。中立论者却直指技术束缚自由压抑创造遮蔽人文的软肋，对技术怀有审慎腾讯音乐2021Q4及全年总营收增至312。4亿元，同比增长7。2（中国深圳）2022年3月22日，中国在线音乐与音频娱乐平台腾讯音乐娱乐集团（以下简称TME或公司）（纽约证券交易所代码TME）发布了截至2021年12月31日的第四季度及全年未经真菌固碳能力超乎想象由于农业森林砍伐和城市化，许多土壤真菌面临风险。人类活动和污染正在导致森林失去这些真菌碳卫士，而这些真菌的消失可能正在加速气候变化。（南方周末记者冯飞图）土壤是地球上最大的陆基有机如果你能做到这件事，或许真的可以逆生长我们真的可以逆生长吗？研究发现做好这件事或许真的可以改变衰老进程！2021年12月，美国阿肯色大学的研究人员在AgingCell（细胞衰老）期刊上发表的一篇研究发现即使直到晚年才开鞭牛晚报贝壳回应组织优化抖音禁止未成年人消费苹果两天两次宕机编者按鞭牛士将以晚报形式盘点今日内发生的重要事件，内容涵盖国际国内科技互联网，为科技行业从业者用户传递行业信息。国内新闻1贝壳回应新一轮组织优化无整体优化调整计划据新浪财经报道，贝华硕正式发布新款无双笔记本IT之家3月21日消息，今天，华硕正式发布了新款无双系列笔记本，标配英特尔12核i512500H处理器，可选14英寸和15。6英寸两版本。配置与首发价格i512500H14英寸2。为什么现在年轻人都不爱换手机？欢迎大家来到大眼观察栏目。本栏目将汇集业内有趣有料的热点内容，欢迎大家每周来观看。你有多久没有换手机了？我询问了身边的同事，大部分手机已经使用2年左右了，我自己的手机也用了两年半了