本质上讲，要验证一个程序的正确性，需要验证程序中所有执行都正确。对并发程序来说，由于线程之间的交织，不同线程中
2023-02-02 09:25
阻碍采用正式程序验证进行航空电子认证的主要障碍是，尽管开发DO-333 / ED-216的委员会进行了大量的传播工作，但缺乏关于如何应用DO-333 / ED-216的普遍共识。现在有一个详细的过程
2022-11-09 11:24
基于深度学习的目标检测研究综述 来源：《电子学报》 ，作者罗会兰等 摘 要： 目标检测是计算机视觉领域内的热点课题，在机器人导航、智能视频监控及航天航空等领域都有广泛的应用.本文首先综述了目标检测
2022-01-06 09:14
据麦姆斯咨询报道，近日，新加坡国立大学（National University of Singapore）和新加坡科技研究局（A*STAR）微电子研究所的研究人员组成的团队在Microsystems
2023-08-03 09:38
本文旨在通过开展综述调研，为希望进入这一领域的研究人员提供关于OCSSDs的基础知识，并进一步激发他们在相关研究工作中的新想法。 关键词： 领域专用存储；闪存转换层；垃圾回收；内部并行性；开放通道固态硬盘（OCSSD
2023-06-06 10:01
据麦姆斯咨询报道，近期，来自南京理工大学的研究人员于《新型工业化》期刊发表综述文章，总结了体微加工技术和表面微加工常用的MEMS加工工艺的原理、加工方法及应用，并基于目前的加工技术与应用现状对MEMS加工工艺的未来发展进行了展望。
2022-11-30 09:19
作为未发布的硬件，GPU-Z没有采用图形卡的型号。唯一的线索来自发件人本身，发件人声称未知设备是Nvidia RTX 3060 Ti。显然，惠普是供应商，并且由于没有Nvidia显卡具有4，864个CUDA内核，因此该显卡确实可以说的那样。
2020-10-28 16:51
连续爬升运行是指通过设置最佳发动机推力，连续爬升至巡航飞行高度层；连续下降运行是利用最小发动机推力，以低阻力构型进行连续下降。该航行技术可以最大限度地减少平飞航段、燃油消耗、噪音污染、废气排放以及管制员/飞行员通话，同时提升飞行稳定性、提高运行效率。
2019-12-29 10:39
和应用程序的任何信息，同时，BPF对系统性能影响很小，执行效率很高，而且开发人员不需要因为收集数据而修改程序。 本文将介绍保证BPF程序安全的BPF验证器，然后以BPF
2021-05-03 11:27
深度学习在轨迹数据挖掘中的应用研究综述 来源：《 计算机科学与应用》 ，作者 李旭娟 等 摘要: 在过去十年，深度学习已被证明在很多领域应用非常成功，如视觉图像、自然语言处理、语音识别等，同时也
2022-03-08 17:24
