CHECKING

作品数：148被引量：168H指数：5
导出分析报告
相关作者：杨哲余文坤戴吾蛟唐万有王文凤更多>>
相关机构：宁波市妇女儿童医院四川大学中南大学天津科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Qualitative and Quantitative Model Checking Against Recurrent Neural Networks
《Journal of Computer Science & Technology》2024年第6期1292-1311,共20页Zhen Liang Wan-Wei Liu Fu Song Bai Xue Wen-Jing Yang Ji Wang Zheng-Bin Pang 
supported by the National Natural Science Foundation of China under Grant Nos.61872371,62032024,and U19A2062;the Open Fund from the State Key Laboratory of High Performance Computing of China(HPCL)under Grant No.202001-07.
Recurrent neural networks (RNNs) have been heavily used in applications relying on sequence data such as time series and natural languages. As a matter of fact, their behaviors lack rigorous quality assurance due to t...
关键词：recurrent neural network model checking temporal logic qualitative/quantitative verification 
Distributed Event-triggered Control for Frequency Restoration in Islanded Microgrids with Reduced Trigger Condition Checking被引量：1
《CSEE Journal of Power and Energy Systems》2024年第5期2156-2165,共10页Yulin Chen Donglian Qi Zhenming Li Zhenyu Wang Xinyi Yang Jianliang Zhang 
supported by the National Key Research and Development Program of China(Basic Research Class)(2017YFB0903000);the National Natural Science Foundation of China(U1909201).
For islanded microgrids(MGs),distributed control is regarded as a preferred alternative to centralized control for the frequency restoration of MGs.However,distributed control with successive communication restricts t...
关键词：Distributed control event-triggered control islanded microgrid secondary control 
An Improved Machine Learning Model for Pure Component Property Estimation
《Engineering》2024年第8期61-73,共13页Xinyu Cao Ming Gong Anjan Tula Xi Chen Rafiqul Gani Venkat Venkatasubramanian 
support from the National Natural Science Foundation of China(22150410338 and 61973268)is gratefully acknowledged.
Information on the physicochemical properties of chemical species is an important prerequisite when performing tasks such as process design and product design.However,the lack of extensive data and high experimental c...
关键词：Group contribution Gaussian process Warping function Prior predictive checking 
Review about Wireless Sensor Networks and the Internet of Things
《Journal on Internet of Things》2022年第2期69-73,共5页Amarjit Singh 
Wireless sensor networks(WSNs)are created and affect our daily lives.You can find applications in various fields such as health,accident,life,manufacturing,production management,network management and many other field...
关键词：Dynamic condition monitoring secured database moving vehicle position tracking auto fuel checking 
Towards Public Integrity Audition for Cloud-IoT Data Based on Blockchain
《Computer Systems Science & Engineering》2022年第6期1129-1142,共14页Hao Yan Yanan Liu Shuo Qiu Shengzhou Hu Weijian Zhang Jinyue Xia 
supported by Program for Scientific Research Foundation for Talented Scholars of Jinling Institute of Technology(No.JIT-B-202031);H.Yan received it and the URLs is www.jit.edu.cn.H.Yan also received the Opening Foundation of Fujian Provincial Key Laboratory of Network Security and Cryptology Research Fund of Fujian Normal University(NSCL-KF2021-02)and the URLs is www.fjnu.edu.cn.Y.Liu received the funding of the National Natural Science Foundation of China(No.61902163,);the URLs is www.nsfc.gov.cn.S.Hu received the funding of the Science and Technology Project of Education Department in Jiangxi Province(No.GJJ201402)and the URLs is www.gnnu.cn.
With the rapidly developing of Internet of Things (IoT), the volume ofdata generated by IoT systems is increasing quickly. To release the pressure ofdata management and storage, more and more enterprises and individua...
关键词：Blockchain cloud-IoT data integrity checking homomorphic hash function batch audition 
Checking Causal Consistency of MongoDB
《Journal of Computer Science & Technology》2022年第1期128-146,共19页Hong-Rong Ouyang Heng-Feng Wei Hai-Xiang Li An-Qun Pan Yu Huang 
supported by the CCF-Tencent Open Fund under Grant No.RAGR20200124;the National Natural Science Foundation of China under Grant Nos.61702253 and 61772258.
MongoDB is one of the first commercial distributed databases that support causal consistency.Its implementation of causal consistency combines several research ideas for achieving scalability,fault tolerance,and secur...
关键词：MONGODB casual consistency Jepsen consistency checking TLA^(+) 
Fatigue Checking Analysis of Offshore Oil Floating Production System
《外文科技期刊数据库(文摘版)工程技术》2021年第11期043-045,共5页LI Pengyu 
In recent years, with the rapid development of economy and technology in China, the safety of petrochemical industry has been paid more and more attention. Petrochemical production is an important part of national eco...
关键词：petrochemical industry production safety safety management 
A Small Simulated Logistics Transfer Robot Car Structure Design
《Journal of New Media》2021年第3期81-87,共7页Jie Kang Xiaoying Chen Hu Cong Chenghan Yang 
This paper is sponsored by the“Qinglan Project”of Jiangsu University,the General Natural Science Research Project of Jiangsu University(19KJD510005);Guangxi Key Laboratory of Automatic Testing Technology and Instruments will be open to fund in 2021(YQ21207);the Industry-University Cooperative Education Project of the Ministry of Education(201902168015)。
As a new product of the development of modern science and technology,the research and development of logistics robot has become the focus of social attention.Robot sorting and handling is the designated project of Jia...
关键词：Handling robot structural design mechanical checking calculation 
Ensuring the Correctness of Regular Expressions: A Review被引量：2
《International Journal of Automation and computing》2021年第4期521-535,共15页Li-Xiao Zheng Shuai Ma Zu-Xi Chen Xiang-Yu Luo 
by National Natural Science Foundation of China(Nos.61872339,61502184 and 61925203).
Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility.However, regular expressions have a quite compact and rather tolerant syntax that makes them ...
关键词：Regular expressions CORRECTNESS string generation learning static checking VERIFICATION VISUALIZATION repairing 
Revisiting the efficacy of weak consistencies:a study of forward checking
《Science China(Information Sciences)》2021年第7期229-231,共3页Zhe LI Zhezhou YU Hongbo LI Jinsong GUO Zhanshan LI 
This work was supported by National Natural Science Foundation of China(Grant Nos.61672261,61802056);Jilin Province Natural Science Foundation(Grant No.20180101043JC);Jilin Province Development and Reform Commission(Grant No.2019C053-9);Jilin Provincial Key Laboratory of Big Data Intelligent Computing(Grant No.20180622002JC).
Dear editor,Arc consistency(AC)[1]is currently the most popular local consistency for solving constraint satisfaction problems(CSP).To solve CSPs more efficiently,extensive work[2–4]has been done to find local consis...
关键词：CONSISTENCY stronger eliminate 
全选清除导出
共15页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部