分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 905 浏览量: 2,764
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
“智慧社区”建设的政策扩散分析——基于多案例考察An Analysis of Policy Diffusion in the Construction of “Smart Communities”—Based on Multiple Case Studies
李秋睿 下载量: 379 浏览量: 887
社会科学前沿 Vol.11 No.12, December 9 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.1112688 被引量
包容性生育政策下生育意愿的影响因素研究——基于CGSS2017数据的实证分析The Research on the Influencing Factors of Fertility Intention under the Inclusive Fertility Policy—Based on the Empirical Analysis of CGSS2017 Data
张媛媛 下载量: 735 浏览量: 4,005
应用数学进展 Vol.10 No.10, October 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010361 被引量
基于搜索引擎的游戏推广策略Game Promotion Strategy Based on Search Engine
赵 慧, 于丽婷, 胡梦桦, 段林婧, 张佳怡, 都 琳, 白晓东 下载量: 283 浏览量: 532 科研立项经费支持
统计学与应用 Vol.11 No.6, December 30 2022, PDF, HTML, XML DOI:10.12677/SA.2022.116163 被引量
中外合作办学外语教学的挑战与对策Challenges and Countermeasures to Foreign Language Teaching of Chinese-Foreign Cooperation in Running Schools
吴文英, 李文君, 康 娜, David Hallett 下载量: 892 浏览量: 2,647
教育进展 Vol.9 No.6, November 6 2019, PDF, HTML, XML DOI:10.12677/AE.2019.96112 被引量
语文跨学科学习:内涵、价值与实施策略Interdisciplinary Study of Chinese Language: Connotation, Values, and Implementation Strategies
毛可歆, 沈建民 下载量: 246 浏览量: 1,041
教育进展 Vol.13 No.12, December 13 2023, PDF, HTML, XML DOI:10.12677/AE.2023.13121520 被引量
常州市防洪减灾科学决策模型构建研究Research on the Construction of Scientific Decision-Making Model for Flood Prevention and Mitigation in Changzhou City
姜 源 下载量: 337 浏览量: 492
管理科学与工程 Vol.11 No.3, September 19 2022, PDF, HTML, XML DOI:10.12677/MSE.2022.113041 被引量
基于广州北部地区配电线路故障跳闸原因分析及对策的研究 Research on Distribution Lines Fault Tripping Cause Analysis and Countermeasures Based on the Northern Part of Guangzhou Area
方泽钦 下载量: 255 浏览量: 706
传感器技术与应用 Vol.11 No.6, November 15 2023, PDF, HTML, XML DOI:10.12677/JSTA.2023.116058 被引量
序决策系统下近似约简的启发式算法Heuristic Algorithm to Attribute Reduction for Lower Approximation Preservation in Ordered Decision Systems
孙祖文, 唐玉凯 下载量: 631 浏览量: 884 科研立项经费支持
计算机科学与应用 Vol.11 No.1, January 26 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.111013 被引量
汉语空间位移动词的英译策略研究综述A Literature Review on the Translation Strategies of Chinese Motion Verbs
徐溢锦, 樊天怡, 骆晓镝 下载量: 520 浏览量: 797 科研立项经费支持
现代语言学 Vol.10 No.9, September 15 2022, PDF, HTML, XML DOI:10.12677/ML.2022.109250 被引量