检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

自动驾驶仿真测试场景生成技术研究进展

计算机工程与应用 2025年第1期61卷 59-79页

作者：孙乐乐黄松郑长友夏春艳阳真中国人民解放军陆军工程大学指挥与控制工程学院南京210007

自动驾驶系统已经成为汽车行业和计算机科学的前沿研究领域。为了确保自动驾驶系统的安全性和可靠性,对自动驾驶系统进行充分的测试是十分必要的,而仿真测试因其测试成本低、安全性高等优点,并且测试场景是自动驾驶仿真测试的关键,因此... 详细信息

自动驾驶系统已经成为汽车行业和计算机科学的前沿研究领域。为了确保自动驾驶系统的安全性和可靠性,对自动驾驶系统进行充分的测试是十分必要的,而仿真测试因其测试成本低、安全性高等优点,并且测试场景是自动驾驶仿真测试的关键,因此仿真测试场景生成是自动驾驶测试过程中不可或缺的环节。目前,已有大量学者致力于研究自动驾驶仿真测试,也有许多关于自动驾驶仿真测试的研究进展报告,但是针对于自动驾驶仿真测试场景生成的研究进展报告却寥寥无几。因此,对关于自动驾驶仿真测试场景的文献进行了全面调查,并对自动驾驶仿真测试的相关背景知识进行概述;通过调研国内外几十篇相关文献,按照自动驾驶系统的模块进行归纳总结,对现有仿真测试场景生成方法进行详细分类阐述;通过调研目前主流的仿真测试工具,对现有仿真测试工具进行分析归纳;分析了自动驾驶仿真测试领域面临的挑战和未来展望。

关键词：自动驾驶仿真测试测试场景整车测试仿真测试工具

同方期刊数据库

Mutation Testing for Integer Overflow in Ethereum Smart Contracts

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2022年第1期27卷 27-40页

作者： Jinlei Sun Song Huang changyou zheng Tingyong Wang Cheng Zong Zhanwei Hui Command&Control Engineering College Army Engineering University of PLANanjing 210000China Institute of Evaluation and Assessment Research Academy of Military ScienceBeijing 100091China

Integer overflow is a common vulnerability in Ethereum Smart Contracts(ESCs)and often causes huge economic *** contracts cannot be changed once it is deployed on the blockchain and thus demand further *** testing is a fault-based testing method that can effectively improve the sufficiency of a test for smart ***,existing methods cannot efficiently perform mutation testing specifically for integer overflow in ***,by analyzing integer overflow in ESCs,we propose five special mutation operators to address such vulnerability in terms of detecting sufficiency in ESC *** empirical study on 40 open-source ESCs is conducted to evaluate the effectiveness of the proposed mutation *** show that(1)our proposed mutation operators can reproduce all 179 integer overflow vulnerabilities in 40 smart contracts,and the generated mutants have high compilation pass rate and integer overflow vulnerability generation rate;moreover,(2)the generated mutants can find the shortcomings of existing testing methods for integer overflow vulnerability,thereby providing effective support to improve the sufficiency of the test.

关键词： blockchain Ethereum Smart Contracts(ESCs) integer overflow mutation testing

A Formal Method for Service Choreography Verification Based on Description Logic

在线全文

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2020年第2期62卷 893-904页

作者： Tingting Zhang Yushi Lan Minggang Yu changyou zheng Kun Liu PLA Army Engineering University NanjingChina The 28th Research Institute of China Electronics Technology Group Corporation NanjingChina Southeast University NanjingChina

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography *** paper presents a new approach of choreography model verification based on Description Logic.A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service *** on the framework,a set of rules and constraints are defined in Description Logic for choreography model *** automate model verification,the UML-based service choreography model will be transformed,by the given algorithms,into the DL-based ontology,and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned.A case study is given to demonstrate applicability of the ***,the work will be compared with other related research.

关键词： Service choreography WS-CDL meta-concept model description logic formal verification

双层a+bE非线性电导介质界面极化特性的理论研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中国电机工程学报 2016年第24期36卷 6635-6646页

作者：李忠华索长友郑欢工程电介质及其应用技术教育部重点实验室(哈尔滨理工大学) 黑龙江省哈尔滨市150080

非线性电介质作为电场调控材料在高电压绝缘结构中广泛应用,理论研究探明双层非线性介质界面极化特性与双层线性介质界面极化特性的差异对双层绝缘介质工程应用的合理设计具有重要理论意义。该文以a+b E型非线性电导的双层非线性介质为... 详细信息

非线性电介质作为电场调控材料在高电压绝缘结构中广泛应用,理论研究探明双层非线性介质界面极化特性与双层线性介质界面极化特性的差异对双层绝缘介质工程应用的合理设计具有重要理论意义。该文以a+b E型非线性电导的双层非线性介质为研究对象,根据回路电压定律和电流连续性原理建立了非线性双层介质界面极化微分方程。通过推导得出了介质内的电场、界面电荷密度和全电流密度的动态解析解。结果表明:每一层介质电场强度和界面电荷随时间的变化规律有指数、双曲正切和双曲余切三种形式。对于指数形式,可用一个由材料属性、结构参数和外加激励电压幅值三个因素决定的时间常数来表征极化动态特性;对于双曲正切和双曲余切极化的动态特性,需用两个由上述三个因素决定的参数来表征,分别定义为松弛时间和初始时间。总电流密度由松弛时间不同的两个吸收电流和直流稳态组成,具有多种表现形式。

关键词：非线性介质界面极化动态场强极化电流界面电荷

在线全文

学校读者我要写书评

暂无评论

基于区块链的众包测试知识产权可信管理框架

计算机应用与软件 2021年第10期38卷 27-32,99页

作者：阳真黄松郑长友王廷永陆军工程大学指挥控制工程学院江苏南京210000

在众测服务的发展过程中,长期存在众测知识产权管理不规范、归属不清晰、缺乏可信等问题。基于区块链去中心化、可追溯、不可篡改的特点,结合IPFS、SHA256算法、数字证书技术,提出一种四个层次、三大模块的众测知识产权可信管理框架,满... 详细信息

在众测服务的发展过程中,长期存在众测知识产权管理不规范、归属不清晰、缺乏可信等问题。基于区块链去中心化、可追溯、不可篡改的特点,结合IPFS、SHA256算法、数字证书技术,提出一种四个层次、三大模块的众测知识产权可信管理框架,满足众测知识产权溯源、确权与查询等需求,并针对链上数据膨胀带来的存储性能瓶颈问题,提出链上链下分解与融合技术,实现知识产权可信管理原型系统。对其进行功能实验与性能测试,结果表明该系统具有高稳定性,可保证知识产权的可信管理。

关键词：知识产权众包测试区块链可信管理

刚果(金)Lukuni铜钴矿区矿床地质特征及找矿前景

在线全文

学校读者我要写书评

暂无评论

中国矿业 2020年第S1期29卷 333-340页

作者：孙宁岳鹏军刘洋郑长友王如涛中色地科矿产勘查股份有限公司北京100012 北京中资环钻探有限公司北京100012 浙江华友钴业股份有限公司浙江桐乡314500

Lukuni铜钴矿产于著名的中非铜矿成矿带,在区域上位于卢菲利弧形构造带外部褶皱推覆带中,区内地层以新元古代加丹加超群罗安群、孔德龙古群和恩古巴群地层为主。矿区地层呈复式褶皱形态产出,受推覆构造作用影响和后期断裂构造破坏,背斜... 详细信息

Lukuni铜钴矿产于著名的中非铜矿成矿带,在区域上位于卢菲利弧形构造带外部褶皱推覆带中,区内地层以新元古代加丹加超群罗安群、孔德龙古群和恩古巴群地层为主。矿区地层呈复式褶皱形态产出,受推覆构造作用影响和后期断裂构造破坏,背斜核部南侧矿体被分割为3条,背斜北部1条矿体。矿体主要产于背斜核部南侧,主要赋存于罗安群矿山组(R2)白云岩为主的岩系中,呈层状和似层状产出。区内矿体以氧化和原生矿体为主,地表浅部为次生氧化富集型,深部原生矿体为层控型。该矿床类型为受地层、断裂、褶皱改造控制的层控型矿床。综合分析认为矿区北东方向、矿区南部区域仍有良好的找矿前景。

关键词：铜钴矿床地质特征矿床成因找矿方向刚果(金)

The role of axon guidance molecules in the pathogenesis of epilepsy

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2025年第5期20卷 1244-1257页

作者： zheng Liu Chunhua Pan Hao Huang Department of Neurology Affiliated Hospital of Zunyi Medical UniversityZunyiGuizhou ProvinceChina

Current treatments for epilepsy can only manage the symptoms of the condition but cannot alter the initial onset or halt the progression of the disease. Consequently, it is crucial to identify drugs that can target novel cellular and molecular mechanisms and mechanisms of action. Increasing evidence suggests that axon guidance molecules play a role in the structural and functional modifications of neural networks and that the dysregulation of these molecules is associated with epilepsy susceptibility. In this review, we discuss the essential role of axon guidance molecules in neuronal activity in patients with epilepsy as well as the impact of these molecules on synaptic plasticity and brain tissue remodeling. Furthermore, we examine the relationship between axon guidance molecules and neuroinflammation, as well as the structural changes in specific brain regions that contribute to the development of epilepsy. Ample evidence indicates that axon guidance molecules, including semaphorins and ephrins, play a fundamental role in guiding axon growth and the establishment of synaptic connections. Deviations in their expression or function can disrupt neuronal connections, ultimately leading to epileptic seizures. The remodeling of neural networks is a significant characteristic of epilepsy, with axon guidance molecules playing a role in the dynamic reorganization of neural circuits. This, in turn, affects synapse formation and elimination. Dysregulation of these molecules can upset the delicate balance between excitation and inhibition within a neural network, thereby increasing the risk of overexcitation and the development of epilepsy. Inflammatory signals can regulate the expression and function of axon guidance molecules, thus influencing axonal growth, axon orientation, and synaptic plasticity. The dysregulation of neuroinflammation can intensify neuronal dysfunction and contribute to the occurrence of epilepsy. This review delves into the mechanisms associated with

关键词： axon guidance drug-resistant epilepsy epilepsy nerve regeneration nervous system diseases neural pathways neuroinflammatory diseases neuronal plasticity neurons synaptic remodeling

Effect of a Carbon Fibre-steel Fibre-graphite Conductive Filler on the Electrothermal Properties of Cementitious Materials

在线全文

学校读者我要写书评

暂无评论

Journal of Wuhan University of Technology(Materials Science) 2025年第1期40卷 141-151页

作者： FAN Yanan WEI Hong zheng Hongyong DU Hongxiu Department of Architecture and Environmental Engineering Taiyuan UniversityTaiyuan 030032China College of Civil Engineering Taiyuan University of TechnologyTaiyuan 030032China

Carbon fibre,steel fibre and graphite were used as conductive fillers to prepare cementitious materials with excellent electrothermal *** electrically conductive cementitious materials with different volume dosages were analysed through compressive and flexural strength,electrochemical impedance spectroscopy and temperature rise *** equivalent circuit model was established to study the electrically conductive heat generation mechanism in the electrically conductive cementitious *** results indicate that the mechanical properties of cementitious composite materials with a ternary conductive phase are better than those of pristine cementitious materials because the fibrous filler improves their mechanical ***,the incorporation of graphite in the material reduces its *** fibrous and point-like conductive phase materials into the cementitious material enhances the overall conductive pathway and considerably reduces the electrical resistance of the cementitious material,enhancing its conductive *** volume ratios of carbon fibre,steel fibre and graphite that achieve an optimal complex doping in the cementitious material were 0.35%,0.6%and 6%,*** was determined using the mutation point of each circuit element parameter as the percolation *** addition,at a certain safety voltage,there is a uniform change between the internal and surface temperatures of the conductive cementitious material,and the heating effect in this materialis is considerably better than that in the pristine cementitious material.

关键词： cementitious composites conductive fillers electrothermal properties electrochemical impedance spectroscopy

Multi boron-doping effects in hard carbon toward enhanced sodium ion storage

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2025年第1期100卷 730-738页

作者： Peng zheng Wang Zhou Ying Mo Biao zheng Miaomiao Han Qin Zhong Wenwen Yang Peng Gao Lezhi Yang Jilei Liu College of Materials Science and Engineering Hunan Joint International Laboratory of Advanced Materials and Technology for Clean Energy Hunan Province Key Laboratory for Advanced Carbon Materials and Applied Technology Hunan University Greater Bay Area Institute for Innovation Hunan University Changsha Research Institute of Mining & Metallurgy Co. LTD.

Hard carbon （HC） has been considered as promising anode material for sodium-ion batteries （SIBs）.The optimization of hard carbon’s microstructure and solid electrolyte interface （SEI） property are demonstrated effective in enhancing the Na+storage capability,however,a one-step regulation strategy to achieve simultaneous multi-scale structures optimization is highly ***,we have systematically investigated the effects of boron doping on hard carbon’s microstructure and interface chemistry.A variety of structure characterizations show that appropriate amount of boron doping can increase the size of closed pores via rearrangement of carbon layers with improved graphitization degree,which provides more Na+storage ***-situ Fourier transform infrared spectroscopy/electrochemical impedance spectroscopy （FTIR/EIS） and X-ray photoelectron spectroscopy （XPS） analysis demonstrate the presence of more BC3and less B–C–O structures that result in enhanced ion diffusion kinetics and the formation of inorganic rich and robust SEI,which leads to facilitated charge transfer and excellent rate *** a result,the hard carbon anode with optimized boron doping content exhibits enhanced rate and cycling *** general,this work unravels the critical role of boron doping in optimizing the pore structure,interface chemistry and diffusion kinetics of hard carbon,which enables rational design of sodium-ion battery anode with enhanced Na+storage performance.

关键词： X ray photoelectron spectroscopy