检索结果-内蒙古大学图书馆

In situ resource utilization of lunar soil for highly efficient extraterrestrial fuel and oxygen supply

National science Review 2023年第2期10卷 224-231页

作者： Yuan Zhong Jingxiang Low Qing Zhu Yawen Jiang Xiwen Yu Xinyu Wang Fei Zhang Weiwei Shang Ran Long Yingfang Yao Wei Yao Jun Jiang Yi Luo Weihua Wang Jinlong Yang Zhigang Zou Yujie Xiong Hefei National Research Center for Physical Sciences at the Microscale School of Chemistry and Materials Science National Synchrotron Radiation Laboratory School of Information Science and TechnologyUniversity of Science and Technology of China Eco-Materials and Renewable Energy Research Center (ERERC) Jiangsu Key Laboratory for Nano Technology National Laboratory of Solid State MicrostructuresSchool of PhysicsCollaborative Innovation Center of Advanced MicrostructuresCollege of Engineering and Applied SciencesNanjing University Qian Xuesen Laboratory of Space Technology China Academy of Space Technology

Building up a lunar settlement is the ultimate aim of lunar ***, limited fuel and oxygen supplies restrict human survival on the ***,we demonstrate the in situ resource utilization of lunar soil for extraterrestrial fuel and oxygen production,which may power up our solely natural satellite and supply respiratory ***,the lunar soil is loaded with Cu species and employed for electro catalytic CO2conversion,demonstrating significant production of *** addition,the selected component in lunar soil（***3） loaded with Cu can reach a CH4F aradaic efficiency of 72.05% with a CH4production rate of 0.8 mL/min at 600 mA/***,an O2production rate of 2.3 mL/min can be ***,we demonstrate that our developed process starting from catalyst preparation to electrocatalytic CO2conversion is so accessible that it can be operated in an unmmaned manner via a robotic *** a highly efficient extraterrestrial fuel and oxygen production system is expected to push forward the development of mankind's civilization toward an extraterrestrial settlement.

关键词： Chang’E-5 lunar soil fuel production CO2 conversion extraterrestrial settlement in situ resource utilization

来源：评论

学校读者我要写书评

暂无评论

Secret key rate of continuous-variable quantum key distribution with finite codeword length

引用

science China(information sciences) 2023年第8期66卷 150-151页

作者： Yan FENG Runhe QIU Kun ZHANG Xue-Qin JIANG Meixiang ZHANG Peng HUANG Guihua ZENG School of Information Science and Technology Donghua University School of Electronics and Information Soochow University School of Information Engineering Yangzhou University State Key Laboratory of Advanced Optical Communication Systems and Networks Center of Quantum Sensing and Information Processing (QSIP) Shanghai Jiao Tong University

In recent years, continuous-variable quantum key distribution(CV-QKD) has been proposed as a promising alternative to the most commonly implemented discrete-variable QKD [1]. A typical CV-QKD system includes mainly tw...

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Blackbox Fuzzing Based on Automated state Machine Extraction 8

A Blackbox Fuzzing Based on Automated State Machine Extracti...

引用

8th International Conference on Data science in Cyberspace, DSC 2023

作者： Zhang, Zhaowei Yu, Wenjing Wang, Zibin Xiang, Youlin National Key Laboratory of Science and Technology on Information System Security Beijing China School of Computer Science Fudan University Shanghai Key Laboratory of Data Science Shanghai China

ISBN: (纸本)9798350331035

Currently, protocol fuzzing techniques mainly employ two approaches: greybox fuzzing based on mutation and blackbox fuzzing based on generation. Greybox fuzzing techniques use message exchanges between the protocol server and actual clients as seeds, and generate test cases through mutation. Although this approach can provide coverage information of the SUT's code and state space through instrumentation and feedback, its drawback lies in the relatively random mutation strategy, which makes it challenging to validate the SUT's message verification process. This paper addresses this limitation by utilizing artificial intelligence techniques to extract protocol state machines. It aims to overcome the reliance on manual work in blackbox fuzzing based on generation and leverage its advantages to generate more effective fuzzing test cases. The study utilizes Prompt-Learning technology to analyze the semantic information in protocol RFC documents, obtain corresponding intermediate representations, and extract protocol state machines from these representations. Taking the BGP protocol as an experimental subject, the experimental results demonstrate a certain level of accuracy in the obtained protocol state machines and the ability to generate test cases from these state machines, thereby enhancing the automation level of protocol fuzzing. © 2023 IEEE.

关键词： fuzzing network protocols network security protocol testing state machine extraction

来源：评论

学校读者我要写书评

暂无评论

An attribute-based access control scheme using blockchain technology for IoT data protection

引用

High-Confidence Computing 2024年第3期4卷 41-50页

作者： Zenghui Yang Xiubo Chen Yunfeng He Luxi Liu Yinmei Che Xiao Wang Ke Xiao Gang Xu Information Security Center State Key Laboratory of Networking and Switching TechnologyBeijing University of Posts and TelecommunicationsBeijing 100876China Information Center of China North Industries Group Corporation Beijing 100089China School of Information Science and Technology North China University of TechnologyBeijing 100144China

With the wide application of the Internet of Things(IoT),storing large amounts of IoT data and protecting data privacy has become a meaningful *** general,the access control mechanism is used to prevent illegal users from accessing private ***,traditional data access control schemes face some non-ignorable problems,such as only supporting coarse-grained access control,the risk of centralization,and high trust *** this paper,an attribute-based data access control scheme using blockchain technology is *** address these problems,attribute-based encryption(ABE)has become a promising solution for encrypted data access ***,we utilize blockchain technology to construct a decentralized access control scheme,which can grant data access with transparency and ***,our scheme also guarantees the privacy of policies and attributes on the blockchain ***,we optimize an ABE scheme,which makes the size of system parameters smaller and improves the efficiency of *** optimizations enable our proposed scheme supports large attribute universe requirements in IoT ***,to prohibit attribute impersonation and attribute replay attacks,we design a challenge-response mechanism to verify the ownership of ***,we evaluate the security and performance of the *** comparisons with other related schemes show the advantages of our proposed *** to existing schemes,our scheme has more comprehensive advantages,such as supporting a large universe,full security,expressive policy,and policy hiding.

关键词： Attribute-based encryption Access control Blockchain IoT data protection

来源：评论

学校读者我要写书评

暂无评论

ICCG:low-cost and efficient consistency with adaptive synchronization for metadata replication

引用

Frontiers of Computer science 2025年第1期19卷 53-70页

作者： Chenhao ZHANG Liang WANG Jing SHANG Zhiwen XIAO Limin XIAO Meng HAN Bing WEI Runnan SHEN Jinquan WANG State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China School of Cyberspace Security Hainan UniversityHaikou 570228China China Mobile Information Technology Center Beijing 100033China

The rapid growth in the storage scale of wide-area distributed file systems (DFS) calls for fast and scalable metadata management. Metadata replication is the widely used technique for improving the performance and scalability of metadata management. Because of the POSIX requirement of file systems, many existing metadata management techniques utilize a costly design for the sake of metadata consistency, leading to unacceptable performance overhead. We propose a new metadata consistency maintenance method (ICCG), which includes an incremental consistency guaranteed directory tree synchronization (ICGDT) and a causal consistency guaranteed replica index synchronization (CCGRI), to ensure system performance without sacrificing metadata consistency. ICGDT uses a flexible consistency scheme based on the state of files and directories maintained through the conflict state tree to provide an incremental consistency for metadata, which satisfies both metadata consistency and performance requirements. CCGRI ensures low latency and consistent access to data by establishing a causal consistency for replica indexes through multi-version extent trees and logical time. Experimental results demonstrate the effectiveness of our methods. Compared with the strong consistency policies widely used in modern DFSes, our methods significantly improve the system performance. For example, in file creation, ICCG can improve the performance of directory tree operations by at least 36.4 times.

关键词： metadata management metadata replication consistency directory tree replica index

来源：评论

学校读者我要写书评

暂无评论

High-frequency enhanced ultrafast compressed active photography

引用

Opto-Electronic Advances 2025年第1期8卷 32-43页

作者： Yizhao Meng Yu Lu Pengfei Zhang Yi Liu Fei Yin Lin Kai Qing Yang Feng Chen State Key Laboratory for Manufacturing System Engineering and Shaanxi Key Laboratory of Photonics Technology for Information School of Electronic Science and EngineeringXi’an Jiaotong UniversityXi’an 710049China School of Mechanical Engineering Xi’an Jiaotong UniversityXi’an 710049China

Single-shot ultrafast compressed imaging(UCI)is an effective tool for studying ultrafast dynamics in physics,chemistry,or material science because of its excellent high frame rate and large frame ***,the random code(Rcode)used in traditional UCI will lead to low-frequency noise covering high-frequency information due to its uneven sampling interval,which is a great challenge in the fidelity of large-frame ***,a high-frequency enhanced compressed active photography(H-CAP)is *** uniformizing the sampling interval of R-code,H-CAP capture the ultrafast process with a random uniform sampling *** sampling mode makes the high-frequency sampling energy dominant,which greatly suppresses the low-frequency noise blurring caused by R-code and achieves high-frequency information of image *** superior dynamic performance and large-frame reconstruction ability of H-CAP are verified by imaging optical self-focusing effect and static object,*** applied H-CAP to the spatial-temporal characterization of double-pulse induced silicon surface ablation dynamics,which is performed within 220 frames in a single-shot of 300 ps.H-CAP provides a high-fidelity imaging method for observing ultrafast unrepeatable dynamic processes with large frames.

关键词： ultrafast compressed imaging high-frequency enhanced sampling spectral-temporal transform transient processes high-fidelity reconstruction

来源：评论

学校读者我要写书评

暂无评论

Extinction Chains Reveal Intermediate Phases Between the Safety and Collapse in Mutualistic Ecosystems

引用

Engineering 2024年第12期43卷 89-98页

作者： Guangwei Wang Xueming Liu Ying Xiao Ye Yuan Linqiang Pan Xiaohong Guan Jianxi Gao Hai-Tao Zhang The MOE Engineering Research Center of Autonomous Intelligent Unmanned Systems State Key Laboratory of Digital Manufacturing Equipment and TechnologySchool of Artificial Intelligence and AutomationHuazhong University of Science and TechnologyWuhan 430074China Guangdong HUST Industrial Technology Research Institute Huazhong University of Science and TechnologyDongguan 523808China Guangdong Provincial Engineering Technology Center of Autonomous Unmanned Vessels Dongguan 523808China MOE Key Laboratory of Intelligent Networks and Network Security&State Key Laboratory of Manufacturing Systems Xi’an Jiaotong UniversityXi’an 710049China Tsinghua National Laboratory of Information Science and Technology Department of AutomationTsinghua UniversityBeijing 100084China Department of Computer Science Rensselaer Polytechnic InstituteTroyNY 12180USA

Ecosystems are undergoing unprecedented persistent deterioration due to unsustainable anthropogenic human activities,such as overfishing and deforestation,and the effects of such damage on ecological stability are *** recent advances in experimental and theoretical studies on regime shifts and tipping points,theoretical tools for understanding the extinction chain,which is the sequence of species extinctions resulting from overexploitation,are still lacking,especially for large-scale nonlinear networked *** this study,we developed a mathematical tool to predict regime shifts and extinction chains in ecosystems under multiple exploitation situations and verified it in 26 real-world mutualistic networks of various sizes and *** discovered five phases during the exploitation process:safe,partial extinction,bistable,tristable,and collapse,which enabled the optimal design of restoration strategies for degraded or collapsed *** validated our approach using a 20-year dataset from an eelgrass restoration ***,we also found a specific region in the diagram spanning exploitation rates and competition intensities,where exploiting more species helps increase *** computational tool provides insights into harvesting,fishing,exploitation,or deforestation plans while conserving or restoring the biodiversity of mutualistic ecosystems.

关键词： Complex system Network science Overexploitation Regime shift Metastability

来源：评论

学校读者我要写书评

暂无评论

Differentially Private and Heterogeneity-Robust Federated Learning With Theoretical Guarantee

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2024年第12期5卷 6369-6384页

作者： Wang, Xiuhua Wang, Shuai Li, Yiwei Fan, Fengrui Li, Shikang Lin, Xiaodong Huazhong University of Science and Technology Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Wuhan430074 China University of Electronic Science and Technology of China National Key Laboratory of Wireless Communications Chengdu611731 China Xiamen University of Technology Fujian Key Laboratory of Communication Network and Information Processing Xiamen361024 China University of Guelph School of Computer Science GuelphONN1G 2W1 Canada

Federated learning (FL) is a popular distributed paradigm where enormous clients collaboratively train a machine learning (ML) model under the orchestration of a central server without knowing the clients' private raw data. The development of effective FL algorithms faces multiple practical challenges including data heterogeneity and clients' privacy protection. Despite that numerous attempts have been made to deal with data heterogeneity or rigorous privacy protection, none have effectively tackled both issues simultaneously. In this article, we propose a differentially private and heterogeneity-robust FL algorithm, named DP-FedCVR to mitigate the data heterogeneity by following the client-variance-reduction strategy. Besides, it adopts a sophisticated differential privacy (DP) mechanism where the privacy-amplified strategy is applied, to achieve a rigorous privacy protection guarantee. We show that the proposed DP-FedCVR algorithm maintains its heterogeneity-robustness though DP noises are incorporated, while achieving a sublinear convergence rate for a nonconvex FL problem. Numerical experiments based on image classification tasks are presented to demonstrate that DP-FedCVR provides superior performance over the benchmark algorithms in the presence of data heterogeneity and various DP privacy budgets. © 2020 IEEE.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

CC-Net: Consistency Learning Combined with Contrastive Learning for Kidney Ultrasound Segmentation

CC-Net: Consistency Learning Combined with Contrastive Learn...

引用

2024 IEEE International Conference on systems, Man, and Cybernetics, SMC 2024

作者： Luo, Yang Liu, Jun Ding, Mengqian School of Computer Science and Technology Wuhan University of Science and Technology Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-Time Industrial System Wuhan China

ISBN: (纸本)9781665410205

Due to the scarcity of medical images with labels and the fact that medical image data is not easily accessible. Kidney ultrasound (KUS) images have speckle noise, low image quality, acoustic shadows, and other reasons, which pose significant challenges to the kidney ultrasound image segmentation task. To solve the above two problems, a novel consistency learning and contrastive learning-based kidney ultrasound image segmentation method (CC-Net) has been proposed. Specifically, the student-teacher model was adopted as the semi-supervised learning framework and uncertainty estimation was introduced. The Consensus Uncertainty Map (CUM) strategy was proposed to generate segmentation results for the teacher model when calculating uncertainty. To solve the problems of acoustic shadows and low image quality in kidney ultrasound images, a kidney ultrasound image data augmentation method (KUS-AUG) and a convolutional block (KUS-CONV) tailored to the characteristics of kidney ultrasound images were proposed. In addition, contrastive learning was implemented to enhance the encoder's ability to learn more semantic information, due to its inherent advantage in learning data distribution. Finally, a series of experiments were conducted on the ultrasound image dataset and the method achieved the best performance. © 2024 IEEE.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

A Lightweight and key Escrow-Free Access Control Scheme on Encrypted Data in Edge Computing 12

A Lightweight and Key Escrow-Free Access Control Scheme on E...

引用

12th International Conference on Advanced Cloud and Big Data, CBD 2024

作者： He, Heng Chen, Yuejia Lu, Jianfeng Zheng, Jiacheng School of Computer Science and Technology Wuhan University of Science and Technology Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan China

ISBN: (纸本)9798331511074

Attribute-based encryption provides fine-grained access control, ensuring data security in edge computing. However, existing access control schemes face issues such as high computational complexity due to bilinear pairing and key escrow with a single authority, which limit their effectiveness for lightweight terminal devices. To address these challenges, we propose a lightweight and key escrow-free access control scheme on encrypted data. This scheme replaces bilinear pairing with fast elliptic curve scalar multiplication, transferring most computational tasks to edge servers while preserving privacy, thus alleviating the computational burden on terminal devices. Additionally, we design a blockchain-based distributed key management method that allows multiple edge servers to distribute private keys collaboratively, resolving the key-escrow issue. Security analysis and performance evaluation demonstrate that our scheme effectively ensures data confidentiality, resists collusion attacks, and achieves high computational efficiency on the user side with low storage overheads, making it highly suitable for lightweight devices in edge computing. © 2024 IEEE.

关键词： Ciphertext

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：