分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 919 浏览量: 2,784
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
一种半虚拟化机械臂教学系统的设计Design of Semi-Virtual Manipulator Based on ROS
马兴录, 秦吉军 下载量: 784 浏览量: 1,241 科研立项经费支持
计算机科学与应用 Vol.10 No.5, May 25 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.105104 被引量
针对HTTP压缩流量的基于跳跃的多模式匹配算法Skipping-Based Multi-Patterns Matching Algorithm for Compressed HTTP Traffic
田 源, 蒋志颀 下载量: 637 浏览量: 1,031
计算机科学与应用 Vol.10 No.9, September 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.109168 被引量
融合LSTM和注意力机制的音乐分类推荐方法Music Classification and Recommendation Method Combining LSTM and AM
冯鹏宇, 陈平华, 申建芳 下载量: 614 浏览量: 2,526 国家自然科学基金支持
计算机科学与应用 Vol.10 No.12, December 23 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.1012240 被引量
基于迁移学习的端到端发音检错研究Research on End-to-End Pronunciation Error Detection Based on Transfer Learning
高文明, 吴怡之, 魏新享 下载量: 458 浏览量: 683
计算机科学与应用 Vol.11 No.4, April 21 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.114091 被引量
汉英主谓式话语标记“你看”与You See的语用功能比较研究A Comparative Study on the Pragmatic Functions of the Subject-Predicate Discourse Markers “Nikan” and You See in Chinese and English
袁丽颖, 谭方方 下载量: 432 浏览量: 702
现代语言学 Vol.9 No.5, October 27 2021, PDF, HTML, XML DOI:10.12677/ML.2021.95178 被引量
汉语会话打断的识别与评价研究Study on the Perception and Evaluation of Chinese Interruption Phenomenon
张水云, 石俊萧 下载量: 407 浏览量: 1,160 国家科技经费支持
现代语言学 Vol.10 No.2, January 29 2022, PDF, HTML, XML DOI:10.12677/ML.2022.102022 被引量
基于熵值法的薪酬满意度分析研究——以四川省A医院为例Research on the Analysis of Salary Satisfaction Based on Entropy Method—Taking A Hospital in Sichuan Province as an Example
赵 璋, 郭金泽, 向 征, 李贵卿 下载量: 461 浏览量: 763 科研立项经费支持
现代管理 Vol.12 No.3, March 24 2022, PDF, HTML, XML DOI:10.12677/MM.2022.123033 被引量
MSI胃癌亚型的研究进展Research Progress of MSI Gastric Cancer Subtypes
马成菊, 沈存芳 下载量: 382 浏览量: 499
临床医学进展 Vol.12 No.7, July 20 2022, PDF, HTML, XML DOI:10.12677/ACM.2022.127969 被引量
一种提高移动终端天线隔离度的方法A Method to Improve the Isolation of Mobile Terminal Antenna
刘 巍, 林 辉, 廖淑敏, 郭 恒, 宋以祥 下载量: 613 浏览量: 1,206
天线学报 Vol.11 No.4, December 2 2022, PDF, HTML, XML DOI:10.12677/JA.2022.114008 被引量