云南高校图书馆联盟文献共享服务平台- CORRECTNESS

CORRECTNESS: 作品数：41被引量：92H指数：4; 导出分析报告; 相关作者：姜浩罗军舟董逸生李小艳栾新颖更多>>; 相关机构：东南大学武汉大学东北大学苏州健雄职业技术学院更多>>; 相关期刊：《Science China Earth Sciences》《Open Journal of Genetics》《Digital Communications and Networks》《Science China Mathematics》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划安徽省自然科学基金更多>>

Sec-Auditor:A Blockchain-Based Data Auditing Solution for Ensuring Integrity and Semantic Correctness: 《Computers, Materials & Continua》2024年第8期2121-2137,共17页Guodong Han Hecheng Li; This research was supported by the Qinghai Provincial High-End Innovative and Entrepreneurial Talents Project.; Currently,there is a growing trend among users to store their data in the cloud.However,the cloud is vulnerable to persistent data corruption risks arising from equipment failures and hacker attacks.Additionally,when ...; 关键词：Provable data possession public auditing cloud storage data integrity semantic correctness

FedDAA:a robust federated learning framework to protect privacy and defend against adversarial attack被引量：1: 《Frontiers of Computer Science》2024年第2期107-122,共16页Shiwei LU Ruihu LI Wenbin LIU; supported by the National Natural Science Foundation of China (Grand Nos.62072128,11901579,11801564);the Natural Science Foundation of Shaanxi (2022JQ-046,2021JQ-335,2021JM-216).; Federated learning(FL)has emerged to break data-silo and protect clients’privacy in the field of artificial intelligence.However,deep leakage from gradient(DLG)attack can fully reconstruct clients’data from the subm...; 关键词：federated learning privacy protection adversarial attacks aggregated rule correctness verification

Refinement modeling and verification of secure operating systems for communication in digital twins: 《Digital Communications and Networks》2024年第2期304-314,共11页Zhenjiang Qian Gaofei Sun Xiaoshuang Xing Gaurav Dhiman; supported in part by the Natural Science Foundation of Jiangsu Province in China under grant No.BK20191475;the fifth phase of“333 Project”scientific research funding project of Jiangsu Province in China under grant No.BRA2020306;the Qing Lan Project of Jiangsu Province in China under grant No.2019.; In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the d...; 关键词：Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification

Semantic Consistency and Correctness Verification of Digital Traffic Rules: 《Engineering》2024年第2期47-62,共16页Lei Wan Changjun Wang Daxin Luo Hang Liu Sha Ma Weichao Hu; The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.Using formal or digital methods,natural language traffic rules...; 关键词：Autonomous driving Traffic rules DIGITIZATION FORMALIZATION VERIFICATION

Modeling and Verification of a Sentiment Analysis System Using Aspect-Oriented Petri Nets: 《Journal of Electronic Science and Technology》2022年第2期209-223,共15页Shu-Hung Yang Yi-Nan Lin Cheng-Ying Yang Ming-Kuen Chen Victor R.L.Shen Yu-Wei Lin; supported by project under Grants No.MOST 107-2221-E-845-001-MY3 and No.MOST 110-2221-E-845-002; An increasing number of social media and networking platforms have been widely used. People usually post the online comments to share their own opinions on the networking platforms with social media. Business companie...; 关键词：OWN CORRECTNESS COMPANIES

Can a Michelson-Morley Experiment Designed with Current Solar Velocity Distinguish between Non-Relativistic and Relativistic Theories?: 《Journal of Modern Physics》2022年第5期736-760,共25页Hector A. Munera; If Michelson were to answer the question posed in the title, given the line of reasoning he used in 1881, Michelson would seat at his desktop computer to calculate the expected fringeshifts for several solar speeds ar...; 关键词：Michelson-Morley Experiment Crucial Physics Experiments Foundations of Physics Absolute Solar Velocity Absolute Motion of Earth Correctness of MM Positive Experiments Correctness of MM Negative Experiments

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

On the correctness of orbital solutions obtained from a small set of points.Orbit of HIP 53731: 《Research in Astronomy and Astrophysics》2020年第11期321-324,共4页Arina Mitrofanova Vladimir Dyachenko Anatoly Beskakotov Yury Balega Alexander Maksimov Denis Rastegaev Sergey Komarinsky; RFBR,project number 20-32-70120。; HIP 53731 is a binary consisting of stars of the spectral types K0 and K9.The orbit of this object was constructed previously by Cvetkovic et al.and improved by Tokovinin.It should be noted that there is a 180°ambigu...; 关键词：techniques high angular resolution speckle interferometry STARS low-mass fundamental parameters STARS BINARIES spectroscopic STARS individual HIP 53731

An analysis of correctness for API recommendation:are the unmatched results useless?: 《Science China(Information Sciences)》2020年第9期39-53,共15页Xianglong KONG Weina HAN Li LIAO Bixin LI; National Key R&D Program of China(Grant No.2018YFB100-3900);in part by National Natural Science Foundation of China(Grant Nos.61402103,61572126,61872078);in part by Open Research Fund of Key Laboratory of Safety-Critical Software Fund(Nanjing University of Aeronautics and Astronautics)(Grant No.NJ2019006);in part by Key Laboratory of Computer Network and Information Integration of the Ministry of Education of China(Grant No.93K-9)。; API recommendation is a promising approach which is widely used during software development.However,the evaluation of API recommendation is not explored with sufficient rigor.The current evaluation of API recommendati...; 关键词：API recommendation onsite programming CORRECTNESS evaluation of recommendation

Software testing without the oracle correctness assumption: 《Frontiers of Computer Science》2020年第3期221-224,共4页Tun LI Wanwei LIU Xinrui GUO Ji WANG; supported by the National Key R&D Program of China(2017YFB1001802).; 1 Introduction When testing programs,the oracle correctness assumption(OCA)implies that there are no errors in the test oracles,such as the expected outputs are always correctly designed and written in unit testing as...; 关键词：ORACLE TESTING SOFTWARE

CORRECTNESS