检索结果-南通市图书馆

AFSTGCN:Prediction for multivariate time series using an adaptive fused spatial-temporal graph convolutional network

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第2期10卷 292-303页

作者： Yuteng Xiao Kaijian Xia Hongsheng Yin Yu-Dong Zhang zhenjiang qian Zhaoyang Liu Yuehan Liang Xiaodan Li School of Information and Control Engineering China University of Mining and TechnologyXuzhou221116China Department of Informatics University of LeicesterLeicesterLE17RHUK The Affiliated Changshu Hospital of Soochow University Changshu215500China School of Computer Science and Engineering Changshu Institute of TechnologySuzhou215500China

The prediction for Multivariate Time Series(MTS)explores the interrelationships among variables at historical moments,extracts their relevant characteristics,and is widely used in finance,weather,complex industries and other ***,it is important to construct a digital twin ***,existing methods do not take full advantage of the potential properties of variables,which results in poor predicted *** this paper,we propose the Adaptive Fused Spatial-Temporal Graph Convolutional Network(AFSTGCN).First,to address the problem of the unknown spatial-temporal structure,we construct the Adaptive Fused Spatial-Temporal Graph(AFSTG)***,we fuse the spatial-temporal graph based on the interrelationship of spatial ***,we construct the adaptive adjacency matrix of the spatial-temporal graph using node embedding ***,to overcome the insufficient extraction of disordered correlation features,we construct the Adaptive Fused Spatial-Temporal Graph Convolutional(AFSTGC)*** module forces the reordering of disordered temporal,spatial and spatial-temporal dependencies into rule-like *** dynamically and synchronously acquires potential temporal,spatial and spatial-temporal correlations,thereby fully extracting rich hierarchical feature information to enhance the predicted *** on different types of MTS datasets demonstrate that the model achieves state-of-the-art single-step and multi-step performance compared with eight other deep learning models.

关键词： Adaptive adjacency matrix Digital twin Graph convolutional network Multivariate time series prediction Spatial-temporal graph

A measurable refinement method of design and verification for micro-kernel operating systems in communication network

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and Networks 2023年第5期9卷 1070-1079页

作者： zhenjiang qian Rui Xia Gaofei Sun Xiaoshuang Xing Kaijian Xia School of Computer Science and Engineering Changshu Institute of TechnologySuzhou215500China Changshu Hospital of Soochow University Jiangsu215500ChangshuChina

A secure operating system in the communication network can provide the stable working environment,which ensures that the user information is not *** micro-kernel operating system in the communication network retains the core functions in the kernel,and unnecessary tasks are implemented by calling external *** to the small amount of code,the micro-kernel architecture has high reliability and *** the microkernel operating system in the communication network prototype VSOS as an example,we employ the objdump tool to disassemble the system source code and get the assembly layer *** this basis,we apply the Isabelle/HOL,a formal verification tool,to model the system *** referring to the mathematical model of finite automata and taking the process scheduling module as an example,the security verification based on the assembly language layer is *** on the Hoare logic theory,each assembly statement of the module is verified in *** verification results show that the scheduling module of VSOS has good functional security,and also show the feasibility of the refinement framework.

关键词： Assembly-level verification Finite automaton Hoare logic Isabelle/HOL Micro-kernel OS

基于Isabelle/HOL的文件系统形式化设计与验证

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机工程 2024年第4期50卷 277-285页

作者：王文斌钱振江靳勇孙高飞邢晓双苏超孙天琦苏州大学计算机科学与技术学院江苏苏州215000 常熟理工学院计算机科学与工程学院江苏苏州215500

对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工... 详细信息

对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工作大多基于宏内核操作系统,而忽视了微内核操作系统架构下文件系统的验证。为此,提出一种微内核架构下采用内联数据机制的文件系统的形式化设计和验证方法。以高阶逻辑(HOL)和自动机模型为基础,将文件系统中的工作对象和系统资源抽象为系统对象来构建文件系统的工作状态,形式化地描述文件系统的相关系统调用的功能语义,将系统调用提供服务的过程抽象为系统工作状态发生跃迁的过程,并给出文件系统功能正确性和安全属性的断言。以实现的安全可信微内核操作系统(VSOS)中的安全可信文件系统(VSFS)为例,在设计阶段构建VSFS的有限状态机模型,并在Isabelle/HOL中抽象描述VSFS的可移植操作系统接口(POSIX)系统调用,分析和归纳出VSFS文件系统正确性断言,使用定理证明的方式来验证VSFS的正确性。实验结果表明,该方法在Isabella/HOL中完成VSFS有限状态机模型细粒度的形式化验证,满足预期的安全需求规范。

关键词：形式化验证文件系统定理证明有限状态机微内核

Research on Microkernel Integrity Semantics Model and Formal Verification

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2014年第1期23卷 43-48页

作者： qian zhenjiang LIU Wei HUANG Hao State Key Laboratory for Novel Software Technology Nanjing University Department of Computer Science and Technology Nanjing University

Microkernel integrity is an important aspect of security for the whole microkernel system. Many of the research works on microkernel integrity focus on analysis and safeguards against the existing kernel attacks, and security enhancements for the vulnerabilities of system design and implementation aspects. The formal methods for operating system design and verification ensure the system’s high level of security. The existing formalization work and research for operating system mainly focus on the code-level verification of program correctness. In this paper, we propose a formal abstraction model of microkernel in order to accurately describe the semantics of every kernel behavior, and achieve the description of the whole kernel. Based on the model we illustrate the microkernel integrity criterions and elaborate on the integrity mechanism. Meanwhile, we formally verify the completeness and consistency between the mechanism and the definition of the microkernel integrity. We use the self-implemented operating system VTOS(Verified trusted operating system) as an example to illustrate the design method for the microkernel integrity.

关键词： Microkernel integrity Integrity mechanism Integrity semantics model Formal verification

Multifunctional catalytic sites regulation of atomic-scale iridium on orthorhombic-CoSe_(2)for high efficiency dual-functional alkaline hydrogen evolution and organic degradation

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第5期92卷 271-281页

作者： Jingjing Huang Chenglin Zhong Yanjie Xia Jia Liu Guizhen Li Chao Yang Jiahong Wang qian Wang Zhenbao Zhang Feng Yan Jianghua Wu Yu Deng zhenjiang Zhou Xingchen He Paul K.Chu Woon-Ming Lau Xue-Feng Yu College of Chemistry and Chemical Engineering Linyi UniversityLinyi 276005ShandongChina Shenzhen Engineering Center for the Fabrication of Two-Dimensional Atomic Crystals Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055GuangdongChina National Laboratory of Solid State Microstructures Jiangsu Key Laboratory of Artificial Functional MaterialsCollege of Engineering and Applied Sciences and Collaborative Innovation Center of Advanced MicrostructuresNanjing UniversityNanjing 210093JiangsuChina College of Biosystems Engineering and Food Science Zhejiang UniversityHangzhou 310058ZhejiangChina Department of Physics Department of Materials Science and EngineeringDepartment of Biomedical EngineeringCity University of Hong KongTat Chee AvenueKowloonHong KongChina

The earth-abundant and high-performance catalysts are crucial for commercial implementation of hydrogen evolution reaction(HER).Herein,a multifunctional site strategy to construct excellent HER catalysts by incorporating iridium(Ir)ions on the atomic scale into orthorhombic-CoSe2(Ir-CoSe_(2))was *** hydrogen evolution activity in alkaline media such as a low overpotential of 48.7 mV at a current density of 10 mA cm^(-2)and better performance than commercial Pt/C catalysts at high current densities were found in the Ir-CoSe_(2) *** the experiments and theoretical calculations,it was revealed that Ir enabled CoSe_(2)to form multifunctional sites to synergistically catalyze alkaline HER by promoting the adsorption and dissociation of H_(2)O(Ir sites)and optimizing the binding energy for H^(*)on Co *** was noticeable that the electrolytic system comprising the Ir-CoSe_(2)electrode not only produced hydrogen efficiently via HER,but also degraded organic pollutants(Methylene blue).The cell voltage of the dual-function electrolytic system was 1.58 V at the benchmark current density of 50 mA cm^(-2),which was significantly lower than the conventional water splitting *** was indicated that this method was a novel strategy for designing advanced HER electrocatalysts by constructing multifunctional catalytic sites for hydrogen production and organic degradation.

关键词： Orthorhombic-CoSe_(2) Multifunctional sites design Hydrogen evolution reaction Synergistically catalyze Methylene blue oxidation

在线全文

学校读者我要写书评

暂无评论

基于eNSP的网络实验综合设计与渐进实践

实验室研究与探索 2022年第9期41卷 140-145页

作者：梁海华盘丽娜钱振江常熟理工学院计算机科学与工程学院江苏苏州215500

计算机网络是计算机专业的必修课,实验教学是课程重要的有机组成部分。针对理论与实验分离、实验内容零散的问题,面向应用型本科高校综合设计了实验,实验体现分层设计、化整为零的课程内涵,结合渐进实践,合零为整贯通理论知识;学生能自... 详细信息

计算机网络是计算机专业的必修课,实验教学是课程重要的有机组成部分。针对理论与实验分离、实验内容零散的问题,面向应用型本科高校综合设计了实验,实验体现分层设计、化整为零的课程内涵,结合渐进实践,合零为整贯通理论知识;学生能自顶向下理解和分析网络层次结构,具备自底向上构建网络结构的能力。综合设计与渐进实践上下融合,通过仿真,培养学生解决复杂网络工程问题的能力,取得良好的教学效果。

关键词：综合设计渐进实践上下融合仿真实验

操作系统对象语义模型(OSOSM)及形式化验证

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2012年第12期49卷 2702-2712页

作者：钱振江刘苇黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系... 详细信息

操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系统对象语义模型(OSOSM).OSOSM采用分层结构,包括基本功效层、实现层和优化层.OSOSM将操作系统中的行为主体和资源抽象为操作系统对象,建立操作系统的论域,利用以操作系统对象变元集合为定义域到论域的映射表示操作系统的状态,描述操作系统系统调用等行为的语义,使用逻辑系统的谓词公式表达操作系统的安全属性,给出如何验证操作系统在运行过程中保持安全策略和属性的形式化描述方法.以实现并经过形式化验证的可信操作系统(VTOS)为例,阐述OSOSM的语义正确性.使用Isabelle定理证明工具验证设计和安全需求的一致性,以说明VTOS具有预期的安全属性.

关键词：操作系统对象语义模型形式化设计安全性验证 Isabelle定理证明

Tungsten oxide/nitrogen-doped carbon nanotubes composite catalysts for enhanced redox kinetics in lithium-sulfur batteries

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2024年第3期67卷 58-67页

作者： Deqing He Zihao Xie qian Yang Wei Wang Chao Su School of Energy and Power Jiangsu University of Science and TechnologyZhenjiang 212100China State Key Laboratory of Materials-Oriented Chemical Engineering College of Chemical EngineeringNanjing Tech UniversityNanjing 211816China

The sluggish redox kinetics of polysulfides in lithium-sulfur(Li-S)batteries are a significant obstacle to their widespread adoption as energy storage ***,recent studies have shown that tungsten oxide(WO_(3))can facilitate the conversion kinetics of polysulfides in Li-S ***,we fabricated host materials for sulfur using nitrogen-doped carbon nanotubes(N-CNTs)and WO_(3).We used low-cost components and simple procedures to overcome the poor electrical conductivity that is a disadvantage of metal *** composites of WO_(3) and N-CNTs(WO_(3)/N-CNTs)create a stable framework structure,fast ion diffusion channels,and a 3D electron transport network during electrochemical reaction *** a result,the WO_(3)/N-CNT-Li2S6 cathode demonstrates high initial capacity(1162 mA·h·g^(-1) at 0.5℃),excellent rate performance(618 mA·h·g^(-1) at 5.5℃),and a low capacity decay rate(0.093%up to 600 cycles at 2℃).This work presents a novel approach for preparing tungsten oxide/carbon composite catalysts that facilitate the redox kinetics of polysulfide conversion.

关键词： Li-S batteries Composites Ion diffusion channels 3D electron transport network Redox kinetics

Effect of annealing temperature on magnetic properties of a sintered Nd-Fe-B magnet after grain boundary diffusion with Dy_(70)Cu_(30) alloy

在线全文

学校读者我要写书评

暂无评论

Journal of Rare Earths 2024年第1期42卷 116-120,I0004页

作者： Ruipeng qian Yuxuan Ma Fugang Chen Hui Sun Yong Zhao Yunlong Chen School of Materials Science and Engineering Jiangsu University of Science and TechnologyZhenjiang212003China School of Energy and Power Engineering Jiangsu University of Science and TechnologyZhenjiang212003China

Grain boundary diffusion process(GBDP)has been developed as an effective approach to increase the coercivity of sintered Nd-Fe-B magnets by regulating the compositions and phase distributions near grain *** work aims to explore how to select the optimum annealing temperature after *** this work GBDP was performed on a sintered Nd-Fe-B magnet using Dy_(70)Cu_(30) *** GBDP the low eutectic temperature of the grain boundary phases decreases from the initial 492 to 451℃.The magnetic property dependent on different annealing temperatures near the low eutectic temperature was *** magnetic properties,especially the squareness factor of demagnetization curve show a strong dependence on the annealing *** GBDP the optimal magnetic properties can be obtained after annealing just above the low eutectic temperature of the grain boundary *** mechanism is discussed based on the microstructure analysis.

关键词： Nd-Fe-B magnet Grain boundary diffusion Annealing Dy_(70)Cu_(30)alloy Rare earths