学者知网节

【姓名】	赵旭东
【职称】
【研究领域】	化学;计算机软件及计算机应用;计算机硬件技术;
【研究方向】	水体除锶、铯、铅.
【发表文献关键词】	并发系统,自动验证,时序逻辑,合理路径,检查算法,路径,Petri网,状态图,原子命题,合理状态,TRUE,计算树,模型验证,线性时序逻辑,强连通子图,外部特性,形式推导,哲学家,强连通,结构化,
【工作单位】	中国科学技术大学
【曾工作单位】	中国科学技术大学;
【所在地域】	安徽合肥

中国期刊全文数据库 共找到3篇

[1]赵旭东;翁汉钦;盛六四;於国兵;林铭章;.用硅钛酸盐快速高效清除水中低浓度铅离子[J]中国科学技术大学学报.2019,(04)

[2]冯玉琳,赵旭东,郭端阳.并发系统的模型和自动验证[J]计算机学报.1990,(02)

[3]赵旭东;冯玉琳;.Automatic and Hierarchical Verification for Concurrent Systems[J]Journal of Computer Science and Technology.1990,(03)

中国优秀硕士学位论文全文数据库 共找到1篇

[1]赵旭东.磁性水合结晶硅钛酸盐的制备及其吸附性能研究[D].中国科学技术大学.2018

中国重要会议全文数据库 共找到1篇

[1]赵旭东;翟彦钦;罗邓雨;李茹烟;翁汉钦;林铭章;.磁性结晶硅钛酸盐吸附剂的合成与表征[A].中国核科学技术进展报告（第五卷）——中国核学会2017年学术年会论文集第6册（核化工分卷、核化学与放射化学分卷、辐射物理分卷）.2017-10-16

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/7	1	2	4	3	225