期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于Alloy的73构形存在性定理的机器验证
1
作者 徐月 江建国 +1 位作者 邹科 张新钢 《应用数学进展》 2017年第8期1027-1033,共7页
73构形的存在性是有限几何中的一个基本问题。本文给出了一种用Alloy分析器自动验证73构形的存在性的方法。该方法使用 Alloy语言对Fano提出的公理系统和需要验证的定理进行形式化,然后利用Alloy分析器分析定理是否满足属性要求。实验... 73构形的存在性是有限几何中的一个基本问题。本文给出了一种用Alloy分析器自动验证73构形的存在性的方法。该方法使用 Alloy语言对Fano提出的公理系统和需要验证的定理进行形式化,然后利用Alloy分析器分析定理是否满足属性要求。实验结果表明本文提出的机器验证方法是可行的。 展开更多
关键词 73构形 有限几何 Alloy分析器 机器验证
下载PDF
石墨炔原子催化剂的崭新道路:基于自验证机器学习方法的筛选策略
2
作者 黄汉浩 卢湫阳 +1 位作者 孙明子 黄勃龙 《高等学校化学学报》 SCIE EI CAS CSCD 北大核心 2022年第5期134-146,共13页
近年来,原子催化剂(ACs)引起了广泛的研究关注.目前该领域的长足发展受限于贵金属的使用和单原子催化剂(SACs)的性能有限.本文总结了利用密度泛函理论(DFT)和机器学习(ML)方法筛选高效的基于石墨炔(GDY)的原子催化剂的工作.研究表明, Pd... 近年来,原子催化剂(ACs)引起了广泛的研究关注.目前该领域的长足发展受限于贵金属的使用和单原子催化剂(SACs)的性能有限.本文总结了利用密度泛函理论(DFT)和机器学习(ML)方法筛选高效的基于石墨炔(GDY)的原子催化剂的工作.研究表明, Pd, Co, Pt和Hg可以形成稳定的零价过渡金属-石墨炔组合(TM-GDY),而镧系-过渡金属的双原子催化剂(Ln-TM DAC)组合通过f-d轨道耦合作用可以获得有效的催化性能提升.进一步分析表明,主族元素与过渡金属和镧系金属的结合可以通过p轨道耦合保持高电活性,从而构成高度稳定的GDY-DAC系统,机器学习算法也揭示了s,p轨道的作用.此外,理论算法技术在筛选催化水分解析氢反应(HER)的高效组合上也表现出了优越性,创新性地预测了石墨炔-原子催化剂在实际催化反应中的潜能.本综合评述可为未来设计新型原子催化剂提供新的思路与策略. 展开更多
关键词 石墨炔 原子电催化剂 验证机器学习 密度泛函理论
下载PDF
关于当前科技期刊审稿工作的一种新思路 被引量:1
3
作者 周兴旺 张晓粉 《乐山师范学院学报》 2009年第8期98-99,共2页
作为科技期刊审稿工作中的一个重要组成部分,审稿人在面对一个结果时常常需要进行理论推导和实际验证以判定其正确性。但是,由于种种原因后者往往被忽视。这就可能给恶意作假者留下可趁之机。为了解决这个问题,本文作者提出了一种新的思... 作为科技期刊审稿工作中的一个重要组成部分,审稿人在面对一个结果时常常需要进行理论推导和实际验证以判定其正确性。但是,由于种种原因后者往往被忽视。这就可能给恶意作假者留下可趁之机。为了解决这个问题,本文作者提出了一种新的思路:把实际验证工作从审稿工作中剥离出来,交给专门的公司——云计算中心来处理。这样做既可以高效率地解决各类验证工作,又可以减轻审稿人的审稿压力,使其把主要精力放在理论推导上。该方法不失为互联网时代提高审稿质量的一种可行方法。 展开更多
关键词 期刊审稿 机器验证 云计算
下载PDF
DIV: Dynamic Integrity Validation Framework for Detecting Compromises on Virtual Machine Based Cloud Services in Real Time 被引量:2
4
作者 WANG Chunlu LIU Chuanyi +1 位作者 LIU Bin DONG Yingfei 《China Communications》 SCIE CSCD 2014年第8期15-27,共13页
with the increasing popularity of cloud services,attacks on the cloud infrastructure also increase dramatically.Especially,how to monitor the integrity of cloud execution environments is still a difficult task.In this... with the increasing popularity of cloud services,attacks on the cloud infrastructure also increase dramatically.Especially,how to monitor the integrity of cloud execution environments is still a difficult task.In this paper,a real-time dynamic integrity validation(DIV) framework is proposed to monitor the integrity of virtual machine based execution environments in the cloud.DIV can detect the integrity of the whole architecture stack from the cloud servers up to the VM OS by extending the current trusted chain into virtual machine's architecture stack.DIV introduces a trusted third party(TTP) to collect the integrity information and detect remotely the integrity violations on VMs periodically to avoid the heavy involvement of cloud tenants and unnecessary information leakage of the cloud providers.To evaluate the effectiveness and efficiency of DIV framework,a prototype on KVM/QEMU is implemented,and extensive analysis and experimental evaluation are performed.Experimental results show that the DIV can efficiently validate the integrity of files and loaded programs in real-time,with minor performance overhead. 展开更多
关键词 cloud security remote attestation trusted computing cloud trustworthiness
下载PDF
Ultrasonic Sensors with Mechanical Couplers: Simulation and Validation
5
作者 Monica Femendez Cristina Rodriguez Juan M. Perez Oria Manuel Ibarra Luciano Alonso 《Journal of Mathematics and System Science》 2012年第4期264-271,共8页
The use of ultrasonic sensors has varied applications, but the sensor operation frequency limits the operating distance. An easy way to increase this distance is to couple a mechanical element (horn), but it is nece... The use of ultrasonic sensors has varied applications, but the sensor operation frequency limits the operating distance. An easy way to increase this distance is to couple a mechanical element (horn), but it is necessary to characterize this technique. In this paper the results obtained in a study of the behaviour of mechanical elements coupled to an ultrasonic sensor using finite element techniques are presented. These results have been obtained using Comsol Multiphysics modelling. Also, the effect caused by the sensor size on the radiation acoustic pressure has also been evaluated. In other way, in this paper it is presented the results obtained in the laboratory measurements. First, it is studied the influence of a straight horn attached to the ultrasonic sensor. Later, it is presented the variation in the sound pressure on the radiation axis when the sensor varies its size. In the final part of the paper, the experimental validation of the simulations is presented. 展开更多
关键词 ULTRASOUNDS SENSORS homs radiation pattem.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部