云南高校图书馆联盟文献共享服务平台- CHECKER

CHECKER: 作品数：103被引量：46H指数：3; 导出分析报告; 相关作者：秦猛徐超杨倩车秋锋郭玉峰更多>>; 相关机构：国家测绘局甘肃省人民医院中交四航工程研究院有限公司苏州三星电子有限公司更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金北京市自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>

6 GHz lamb wave acoustic filters based on A1-mode lithium niobate thin film resonators with checker-shaped electrodes: 《Microsystems & Nanoengineering》2024年第5期161-170,共10页Xin Tong Yang Zou Zhiwei Wenl Zesheng Liu Tiancheng Luo Jie Zhou Huajun Liu Yuqi Ren Qinwen Xu Wenjuan Liu Yan Liu Yao Cai Chengliang Sun; This work was supported by the National Key R&D Program of China under Grant 2023YFB3610103;the Young Scientists Fund of the National Natural Science Foundation of China under Grant 62204177;the Fundamental Research Funds for the Central Universities under Grants 2042023kf0218;the Open Fund of Hubei Key Laboratory of Electronic Manufacturing and Packaging Integration(Wuhan University)under Grant EMPI2023025.; The first-order antisymmetric(A1)mode lamb wave resonator(LWR)based on Z-cut LiNbO_(3) thin films has attracted significant attention and is widely believed to be a candidate for next-generation reconfigurable flters ...; 关键词：FILTERS SHAPED WAVE

基于Q-checker的直升机MBD模型质量自动检查应用研究: 《中国科技纵横》2023年第20期51-53,共3页崔立志; 从模型质量控制重要性入手,在现有MBD模型质量控制手段的基础上,对模型质量检查工具Q-check与审签系统相结合的质量控制应用方式进行研究。加强模型质量把控,严禁未通过模型质量检查、不符合模型质量标准的MBD模型通过审签系统审签,以...; 关键词：MBD Q-check 模型质量控制

基于OneDataPro Checker二次构建1∶100万DLG数据质检规则: 《科学与信息化》2022年第18期54-56,共3页吉初云张文浪赵海玉; OneDataPro Checker是一款1∶25万DLG数据质量检查软件,针对基础时空信息数据库建设与更新项目开发,涵盖空间参考系、位置精度、属性精度、逻辑一致性等全面检查功能。1∶100万DLG数据主要由1∶25万DLG数据缩编而得,分析1∶100万与1∶2...; 关键词：OneDataProChecker 1∶100万DLG数据要素指标质检规则

Towards Connecting Discrete Mathematics and Software Engineering被引量：1: 《Tsinghua Science and Technology》2020年第3期325-335,共11页Tun Li Wanwei Liu Juan Chen Xiaoguang Mao Xinjun Mao; supported in part by the National Key R&D Program of China (No. 2018YFB1004202); To enhance training in software development,we argue that students of software engineering should be exposed to software development activities early in the curriculum.This entails meeting the challenge of engaging st...; 关键词：Discrete Mathematics(DM) software engineering proof checker database management system symbolic execution engine

Hybritus:a password strength checker by ensemble learning from the query feedbacks of websites被引量：1: 《Frontiers of Computer Science》2020年第3期189-202,共14页Yongzhong HE Endalew Elsabeth ALEM Wei WANG; supported in part by National Key R&D Program of China(2017YFC0820100.2017YFB0802805);in part by the National Natural Science Foundation of China(Grant No.U1736114).; Password authentication is vulnerable to dictionary attacks.Password strength measurement helps users to choose hard-to-guess passwords and enhance the security of systems based on password authentication.Although the...; 关键词：PASSWORD password strength password checker neural networks

Confirmation of Epidural Catheter Location by Epidural Pressure Waveform Recordings by the Compuflo<sup>&reg;</sup>Cath-Checker System: 《Open Journal of Anesthesiology》2020年第5期171-178,共8页Giorgio Capogna Michela Camorcia Cristiana Berritta Mark Hochman Matteo Velardo; Background: Pulsatile waveforms originating from the spinal cord and transmitted through the dura in synchrony with heart rate have been used to confirm the epidural location of the catheter. Lumbar epidural space ide...; 关键词：Neuraxial Blocks EPIDURAL Acute PAIN Clinical PAIN OBSTETRICS

Evaluation of model checkers by verifying message passing programs被引量：1: 《Science China(Information Sciences)》2019年第10期6-30,共25页Weijiang HONG Zhenbang CHEN Hengbiao YU Ji WANG; supported by National Key R&D Program of China (Grant No. 2017YFB1001802);National Natural Science Foundation of China (Garnt Nos. 61472440, 61632015, 61690203, 61532007); Benchmarks and evaluation are important for the development of techniques and tools. Studies regarding evaluation of model checkers by large-scale benchmarks are few. The lack of such studies is mainly because of the ...; 关键词：model CHECKER EVALUATION BENCHMARK MPI SYMBOLIC EXECUTION

面向商用APSoC器件的双核锁步机制: 《科技创新导报》2019年第26期9-9,11,共2页孙越伍攀峰马宗峰李杰; 商业卫星的迅速发展,具备灵活性和可配置性的商用APSoC(All Programmable System-on-Chip)器件成为提高卫星性能、降低成本的重要途径之一。具备多种优点的APSoC器件受到国内外商业卫星领域广泛关注。但APSoC器件抗辐照能力较低。因此,...; 关键词：APSoC 双核锁步机制 Checker模块检查点回卷恢复

SFV Checker: 《网络安全和信息化》2018年第12期159-159,共1页; 软件属性:FTP工具运行环境:WinAll软件大小:826KB软件语言:简体中文下载地址:https://sfv-checker.updatestar.com/ SFVChecker可在您上传文件到FTP主机之间,自动产生一个纯文字格式的SFV文件。里头包括文件传输是否正确或有中断错误,...

Advantages of Using a Spell Checker in Text Mining Pre-Processes被引量：1: 《Journal of Computer and Communications》2018年第11期43-54,共12页Jhonathan Quillo-Espino Rosa María Romero-González Alberto Lara-Guevara; The aim of this work was the behavior analysis when a spell checker was integrated as an extra pre-process during the first stage of the test mining. Different models were analyzed, choosing the most complete one cons...; 关键词：Spell CHECKER Text Mining STEMMING TOKENIZATION PORTER ALGORITHM SNOWBALL ALGORITHM

CHECKER