机构

• 软件研究所 [4]
• 沈阳自动化研究所 [3]
• 计算技术研究所 [2]
• 新疆生态与地理研究所 [2]
• 自动化研究所 [2]
• 长春光学精密机械与物... [1]
• 更多

采集方式

• OAI收割 [14]

内容类型

• 会议论文 [7]
• 期刊论文 [7]

发表日期

• 2022 [1]
• 2021 [1]
• 2020 [2]
• 2018 [2]
• 2010 [1]
• 2009 [2]
• 更多

学科主题

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 A Bus-Scheduling Method Based on Multi-Sensor Data Fusion and Payment Authenticity Verification 期刊论文  OAI收割 Electronics (Switzerland), 2022, 卷号: 11, 期号: 10, 页码: 1-11 作者:  Gong, Wwnan;  Zeng, Ting;  Song, Hainan;  Su, Jiayi;  Wang HG(王宏刚)   |  收藏  |  浏览/下载：57/0  |  提交时间：2022/05/29 bus scheduling  data verification  diversified payment  intelligent public transportation  multi-sensor data fusion   Hybrid Connectionist Symbolic Model for Morphologic Recognition by Tactile Sensing 期刊论文  OAI收割 IEEE Sensors Journal, 2021, 卷号: 21, 期号: 5, 页码: 6497-6509 作者:  He K(贺凯);  Yu P(于鹏);  Wang WX(王文学);  Zhao L(赵亮);  Yang T(杨铁)   |  收藏  |  浏览/下载：28/0  |  提交时间：2021/02/27 Networked sensor fusion and decisions  soft computing with sensor data  sensor model analysis verification, smart sensor systems   Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216 作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei   |  收藏  |  浏览/下载：38/0  |  提交时间：2021/12/01 hardware formal verification  assertion generation  data mining  assertion evaluation  assertion coverage   Information modeling and verification method for edge computing of power internet of things 会议论文  OAI收割 Chongqing, China, December 11-13, 2020 作者:  Li DW(李大伟);  Chen XL(陈晓露);  Song CH(宋纯贺);  Yu SM(于诗矛)   |  收藏  |  浏览/下载：28/0  |  提交时间：2021/02/27 power Internet of Things  data fusion  information model  model verification   A knowledge-and-data-driven modeling approach for simulating plant growth and the dynamics of CO2/O2 concentrations in a closed system of plants and humans by integrating mechanistic and empirical models 期刊论文  OAI收割 COMPUTERS AND ELECTRONICS IN AGRICULTURE, 2018, 卷号: 148, 期号: 0, 页码: 280-290 作者:  Fan, Xing-Rong;  Wang, Xiujuan;  Kang, Mengzhen;  Hua, Jing;  Guo, Shuangsheng   |  收藏  |  浏览/下载：43/0  |  提交时间：2018/10/10 Closed Ecological Life Support System  Functional-structural Plant Model  Knowledge-and-data-driven Model  Mass Balance Model  Model Evaluation  And Model Verification   A knowledge-and-data-driven modeling approach for simulating plant growth and the dynamics of CO2/O-2 concentrations in a closed system of plants and humans by integrating mechanistic and empirical models 期刊论文  OAI收割 COMPUTERS AND ELECTRONICS IN AGRICULTURE, 2018, 卷号: 148, 页码: 280-290 作者:  Fan, Xing-Rong;  Wang, Xiujuan;  Kang, Mengzhen;  Hua, Jing   |  收藏  |  浏览/下载：15/0  |  提交时间：2019/12/16 Closed Ecological Life Support System  Functional-structural Plant Model  Knowledge-and-data-driven Model  Mass Balance Model  Model Evaluation  And Model Verification   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/03/31 CAS monitor  Spin PROMELA language  model checking  platform-virtualization software  secure hypervisor  formal verification  operating systems (computers)  security of data  virtual machines   bounded model checking of actl formulae 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/20 bounded model checking encoding method  bounded model verification  computation tree logic  error-hunting  encoding  formal logic  formal verification  program debugging  tree data structures   Research on a scalable parallel data mining algorithm 会议论文  OAI收割 5th International Joint Conference on INC, IMS, and IDC, Seoul, Korea, Republic of, 2009 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1 收藏  |  浏览/下载：25/0  |  提交时间：2011/08/23 Computational complexity - Computational efficiency - Information management - Parallel algorithms - Research - Semiconductor storage - Active field - Data mining algorithm - Domain of knowledge - Experimental verification - Hardware and software - Massive data - Network monitoring systems - Parallel data mining - Projection database - Real-world application - Sensor grids - Sequential patterns - Sequential-pattern mining - Spatial complexity - Streaming data   Parallel research of sequential pattern data mining algorithm 会议论文  OAI收割 Proceedings - International Conference on Computer Science and Software Engineering, CSSE, Wuhan, Hubei, China, 2008 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1; Wei1 收藏  |  浏览/下载：16/0  |  提交时间：2011/08/23 Algorithms - Parallel architectures - Software engineering - Data mining algorithm - Experimental verification - Frequent sequences - Massive data - Minimal support - Number of datum - Parallel data mining - Sequential patterns