LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,047 浏览量: 5,649
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
云端信息密文域内检索机制的研究Research on the Mechanism of Encrypted Domain Information Retrieval in the Cloud
孙天凯, 鲍 蓉, 陈 尧 下载量: 2,095 浏览量: 5,455 国家自然科学基金支持
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46017 被引量
面向网络互联安全控制系统的安全认证协议研究Research on Security Authentication Protocol for Network Connection Control System
杨力嘉, 钟求喜, 燕翔宇 下载量: 2,063 浏览量: 4,608 国家自然科学基金支持
软件工程与应用 Vol.4 No.6, December 29 2015, PDF, , XML DOI:10.12677/SEA.2015.46019 被引量
自动微分工具辅助下的伴随模式实现及应用试验Implementation of Adjoint Model with Automatic Differentiation Tool and Application Experiment
刘喜迎, 姚姗姗, 刘春艳 下载量: 2,422 浏览量: 8,270 国家自然科学基金支持
软件工程与应用 Vol.4 No.6, December 30 2015, PDF, , XML DOI:10.12677/SEA.2015.46020 被引量
基于分类预测的启发式错误定位方法Heuristic Wrong Positioning Method Based on Classification Forecast
王 瑾, 罗 杰 下载量: 2,044 浏览量: 6,341
软件工程与应用 Vol.5 No.1, February 17 2016, PDF, , XML DOI:10.12677/SEA.2016.51001 被引量
COSMIC度量中持久存储器的识别方法Recognition Method of COSMIC Measurement in the Persistent Storage
吴 颂, 刘 浩, 彭柳青 下载量: 2,226 浏览量: 5,421
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51003 被引量
基于二次模型的运动估计快速算法设计Novel Motion Estimation Algorithms Based on Quadratic Prediction
董胜富, 高龙飞 下载量: 2,119 浏览量: 6,366 科研立项经费支持
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51004 被引量
一种基于时空可信度推断AS商业关系的方法Method for Inferring AS Relationship Based on Temporal and Spatial Reliability
刘 磊, 朱培栋, 胡照明 下载量: 2,106 浏览量: 6,442 国家科技经费支持
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51005 被引量
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,356 浏览量: 7,251
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
一种半自动化提取COSMIC功能用户的方法A Semi-Automated Method of Extracting COSMIC Functional Users
刘 浩, 吴 颂 下载量: 1,997 浏览量: 4,783
软件工程与应用 Vol.5 No.1, February 25 2016, PDF, , XML DOI:10.12677/SEA.2016.51007 被引量