搜索筛选:
搜索耗时1.8224秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[期刊论文] 作者：袁政,
来源：信息技术与信息化 年份：2022
针对代币智能合约的形式化验证方法中模型检测存在的状态空间爆炸问题,提出了一种两段式模型检测方法.使用图转换规则对智能合约建模,利用工具生成模型状态空间.第一阶段对部分状态空间进行分支时序逻辑验证后,第二阶段先使用前一阶段的状态验证信息构造马尔可......
[期刊论文] 作者：沈锋, 袁政,
来源：住宅与房地产 年份：2022
房地产企业工程建设中，成本控制是企业发展中重要的问题，这对工程造价专业工作人员提出了专业上的要求，需要在控制成本的同时保证建筑的质量。为提高企业的经营利润，保证企业的企业资金流动能力。在当前房地产建筑材料采购研究中，材料采购成本作为工程造价的主要构成......
[期刊论文] 作者：李宸宇,袁政,黄宇,
来源：交通节能与环保 年份：2022
我国政府提出碳达峰、碳中和的发展目标,交通运输行业作为引领经济增长的关键行业和能源消耗及碳排放大户而备受关注.早期使用的表单层层上报交通行业能耗及排放的统计手段无法满足行业精准、实时的管理需求.本文就当前城市交通运输行业发展态势及管理需求进行......
[期刊论文] 作者：李宇华, 张代平, 袁政英,
来源：军事文摘 年份：2022
＜正＞美军目前国防预算突破了8000亿美元，其中用于装备和服务采办的总量超过2700亿美元，有80多个重大国防采办项目。为适应如此大规模的国防采办需要，美军构建了一支规模结构合理、专业领域齐全和能力素质较高的国防采办队伍，围绕国防采办项目全寿命周期管理中的规划计......
[期刊论文] 作者：尤育克, 杨帆, 白尚斌, 袁政, 王晓雨,
来源：绿色科技 年份：2022
毛竹（Phyllostachys pubescens）、箬竹（Indocalamus tessellatus）均具有较强的生态扩张性，引起一系列严重的生态问题，以浙江省诸暨市五洩国家森林公园内毛竹林、箬竹林、邻近阔叶林典型样地为研究对象，对比研究了3种不同类型样地土壤的理化性质差异（pH值，电导率，土壤有机......
[期刊论文] 作者：刘宜林,范均怡,陈晓菲,徐淑月,张大兵,袁政,
来源：植物生理学报 年份：2022
分蘖数是影响水稻（Oryza sativa）株型和产量形成的重要经济性状,受环境、营养、植物激素和遗传因子共同调控。本研究发现水稻euAP2类转录因子OsAP2-4参与调控腋芽分化和侧枝伸长。表达模式分析显示, OsAP2-4在腋芽高表达。通过CRISPR-Cas9基因定向编辑技术,获得了......
[期刊论文] 作者：陈静,肖筱,吴哲渊,饶立歆,汪娟,张霞,沈鑫,袁政安,
来源：中国防痨杂志 年份：2022
目的:分析上海市老年2型糖尿病患者结核分枝杆菌潜伏感染(latent tuberculosis infection,LTBI)筛查情况及其影响因素.方法:顺序纳入2019年9-12月在上海市徐汇区和长宁区参加公共卫生服务项目体格检查且符合入组标准的60岁及以上老年2型糖尿病患者,共计885例(长......
相关搜索：
