论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,740 浏览量: 2,805 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, HTML, XML DOI:10.12677/ML.2017.54046 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,520 浏览量: 5,778
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
贪心算法实例化教学方法探索Instantiation Teaching Method Exploration of Greedy Algorithm
范艳芳 下载量: 1,804 浏览量: 6,435 科研立项经费支持
创新教育研究 Vol.5 No.4, September 8 2017, PDF, HTML, XML DOI:10.12677/CES.2017.54045 被引量
电力通信运维元数据建模技术的研究Research on Metadata Modeling Technology of PowerCommunication
李星南, 施 展, 付佳佳 下载量: 1,287 浏览量: 3,396 科研立项经费支持
数据挖掘 Vol.8 No.3, July 26 2018, PDF, HTML, XML DOI:10.12677/HJDM.2018.83015 被引量
基于IPSec协议的点对点VPN网络A Site to Site VPN Network Based on IPSec Protocol
黄金城, 张雅恒, 项慧慧, 田 明 下载量: 1,150 浏览量: 5,334
软件工程与应用 Vol.9 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.94031 被引量
基于组件化和M2M的物联网系统开发范式研究Research on Development Paradigm of Internet of Things System Based on Componentization and M2M
邱林山, 程良伦 下载量: 357 浏览量: 499
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137148 被引量
融合情景感知的战场态势信息多维推荐模型Multi-Dimensional Recommendation Model of Battlefield Situation Information Based on Context Awareness
沈 悦, 王柳松, 周春华, 王运成 下载量: 607 浏览量: 994
计算机科学与应用 Vol.11 No.5, May 27 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.115149 被引量