基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,514 浏览量: 5,764
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
基于MyEclipse系统的在线考试系统设计与测试Design and Testing of Online Examination System Based on MyEclipse
钱韫竹, 魏家鹏 下载量: 1,385 浏览量: 5,361
软件工程与应用 Vol.8 No.3, June 14 2019, PDF, HTML, XML DOI:10.12677/SEA.2019.83012 被引量
双头铺放轨迹后处理技术研究Research on Post-Processing Technique for Double-Heads Automated Placement
王显峰, 梁 涛, 肖 军 下载量: 1,482 浏览量: 5,147 科研立项经费支持
材料科学 Vol.7 No.9, December 28 2017, PDF, HTML, XML DOI:10.12677/MS.2017.79102 被引量
基于区块链的反诈骗系统框架设计与分析Design and Analysis of Anti-Fraud System Framework Based on Blockchain
张亚伟, 霍敏霞, 贾全秋, 薛富城 下载量: 312 浏览量: 2,924 科研立项经费支持
计算机科学与应用 Vol.12 No.9, September 21 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.129213 被引量
环评报告表自动编制的界面设计Interface Design for Automated Documentation of EIA Report
龚松贵, 崔利荣, 王婷 下载量: 2,813 浏览量: 8,243
环境保护前沿 Vol.4 No.3, June 26 2014, PDF, , DOI:10.12677/AEP.2014.43014 被引量
CSPTH:基于天河二号的晶体结构预测软件框架CSPTH: A Crystal Structure Prediction Framework on Tianhe-2 Supercomputer
刘瑾瑜, 陈 品, 卢宇彤 下载量: 619 浏览量: 1,022 科研立项经费支持
计算机科学与应用 Vol.12 No.4, April 12 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.124088 被引量
自动化行政算法决策的特殊风险与规制路径Specific Risks and Regulatory Paths of Algorithmic Decision-Making in Automated Administration
徐 芳 下载量: 299 浏览量: 558
法学 Vol.11 No.5, September 7 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.115556 被引量
非线性超声对不同塑性变形量铝合金的检测研究Study on Non-Linear Ultrasonic Testing of Aluminum Alloy with Different Plastic Deformation
张晓敏 下载量: 286 浏览量: 487
机械工程与技术 Vol.11 No.5, October 24 2022, PDF, HTML, XML DOI:10.12677/MET.2022.115060 被引量
基于4378篇学生托福作文样本的e-rater®评分维度中高频错误分析Analysis of High-Frequency Errors Detected in E-Rater® Scoring System Based on 4378 Students’ Samples of TOEFL Writing
黄伟娴, 李丰贤 下载量: 438 浏览量: 1,240
国外英语考试教学与研究 Vol.4 No.4, November 30 2022, PDF, HTML, XML DOI:10.12677/OETPR.2022.44019 被引量
欧盟环境法之预防原则在自动化决策当中的应用及对我国的启示The Application of the Precautionary Principle of EU Environmental Law in Automated Decision-Making and Its Implications for China
袁宇 下载量: 291 浏览量: 433
法学 Vol.11 No.3, May 31 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.113249 被引量