规则集的化简及相关性质的判定Simplifing Set of Rules and Judging Relative Properties
张亦舜 下载量: 1,517 浏览量: 5,262
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69067 被引量
分离逻辑断言的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 被引量
区块链争议规制的国际私法路径 Dispute Resolution for Blockchain in International Private Law Approach
朱馨怡 下载量: 437 浏览量: 929
争议解决 Vol.7 No.4, November 29 2021, PDF, HTML, XML DOI:10.12677/DS.2021.74023 被引量
行为推理理论:理解行为成因的新视角Behavioral Reasoning Theory: A New Perspective of Understanding the Causes of Behavior
庄晓萍, 袁昌兵, 魏秋江, 刘聪慧 下载量: 4,572 浏览量: 18,583
心理学进展 Vol.4 No.3, May 15 2014, PDF, , DOI:10.12677/AP.2014.43062 被引量
长沙地区太阳能光伏/光热复合家用热水系统经济性分析Economic Analysis of Hybrid PV/T Solar System for Domestic Hot Water in Changsha
刘仙萍, 邹声华, 黄建武 下载量: 2,421 浏览量: 8,581 科研立项经费支持
电力与能源进展 Vol.3 No.4, September 28 2015, PDF, , XML DOI:10.12677/AEPE.2015.34015 被引量
散焦图像的维纳滤波复原及振铃抑制Defocused Image Restoration with Wiener Filter and Ringing Suppression
唐满芳, 胡宗福 下载量: 3,141 浏览量: 11,210
图像与信号处理 Vol.4 No.4, October 14 2015, PDF, , XML DOI:10.12677/JISP.2015.44010 被引量
基于XML的变压器故障诊断系统数据接口设计与实现Design and Implementation of Data Interface for Transformer Fault Diagnosis System Based on XML
熊海军, 林心昊 下载量: 2,199 浏览量: 3,615 国家科技经费支持
计算机科学与应用 Vol.5 No.9, October 29 2015, PDF, , XML DOI:10.12677/CSA.2015.59043 被引量
基于Legendre伪谱法的空间机器人姿态运动的最优控制Attitude Optimal Control of Space Robot Based on the Legendre Pseudospectral Method
陈凯捷, 戈新生 下载量: 2,276 浏览量: 6,529 国家自然科学基金支持
国际航空航天科学 Vol.3 No.4, December 31 2015, PDF, , XML DOI:10.12677/JAST.2015.34010 被引量
基于双闭环线性积分的高功率因数直流电子负载研究High Power Factor DC Electronic Load Research Based on the Double Closed-Loop Linear Integral
吴佳彬, 裴荣 下载量: 2,139 浏览量: 6,899 国家自然科学基金支持
传感器技术与应用 Vol.4 No.2, April 21 2016, PDF, , XML DOI:10.12677/JSTA.2016.42007 被引量
利用预应力原理提升龙门机床横梁的抗弯强度Promoting the Bending Strength of the Beam of Gantry Machine Tool by the Principle of Prestress
罗 超, 宋爱平, 张钦搏, 王树凤, 张海滨 下载量: 2,079 浏览量: 3,523 科研立项经费支持
机械工程与技术 Vol.5 No.2, June 30 2016, PDF, , XML DOI:10.12677/MET.2016.52017 被引量