检索结果-南通市图书馆

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

Computer Modeling in Engineering & Sciences 2024年第3期138卷 2641-2663页

作者： ke yang Meihua Xiao Zehuan Li School of Electrical Engineering and Automation East China Jiaotong UniversityNanchang330013China School of Software East China Jiaotong UniversityNanchang330013China

Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.

关键词： Fair exchange protocols fairness formal analysis logic reasoning

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Influence of pore structure on thermal stress distribution inside coal particles during primary fragmentation

引用

Particuology 2024年第2期85卷 49-61页

作者： Kai Qiao Shan Zhong Siyang Tang ke yang Hairong Yue Kui Ma Lei Song Bin Liang School of Chemical Engineering Sichuan UniversityChengdu610065China Institute of New Energy and Low-carbon Technology Chengdu610207China

Thermal stress is an important reason of coal particle primary fragmentation,during which the role of pore structure is ambiguous.Thermal stress induced fragmentation experiments were conducted with low volatile coal/char particles,and the results show that the fragmentation severity enhances with increasing porosity.Various porous thermal stress models were developed with finite element method,and the influences of the pore shape,size,position and porosity on the thermal stress were discussed.The maximum thermal stress inside particle increases with pore curvature,the pore position affects the thermal stress more significantly at the particle center and surface.The expectation of the maximum tensile thermal stress linearly increases with porosity,making the particles with higher porosity easier to fragment,contrary to the conclusion deduced from the devolatilization theory.The obtained results are valuable for the analysis of different thermal processes concerning the thermal stresses of the solid feedstocks.

关键词： Coal particle Primary fragmentation Thermal stress Pore structure Porosity

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Degradable magnesium alloy suture promotes fibrocartilaginous interface regeneration in a rat rotator cuff transosseous repair model

引用

Journal of Magnesium and Alloys 2024年第1期12卷 384-393页

作者： Baoxiang Zhang Wen Zhang Fei Zhang Chao Ning Mingyang An ke yang Lili Tan Qiang Zhang Department of Sports Medicine Chinese PLA General HospitalBeijing 100853China Shi-changxu Innovation Center for Advanced Materials Institute of Metal ResearchChinese Academy of SciencesShenyang 110016China School of Materials Science and Engineering University of Science and Technology of ChinaShenyang 110016China Medical School of PLA Beijing 100853China Institute of Orthopedics Chinese PLA General HospitalBeijing Key Lab of Regenerative Medicine in OrthopedicsKey Lab of Musculoskeletal Trauma&War Injuries of Chinese PLABeijing 100853China

Despite transosseous rotator cuff tear repair using sutures is widely accepted for tendon-bone fixation,the fibrocartilaginous enthesis regeneration is still hardly achieved with the traditional sutures.In the present work,degradable magnesium(Mg)alloy wire was applied to suture supraspinatus tendon in a rat acute rotator cuff tear model with Vicryl Plus 4±0 absorbable suture as control.The shoulder joint humerus-supraspinatus tendon complex specimens were retrieved at 4,8,and 12 weeks after operation.The Mg alloy suture groups showed better biomechanical properties in terms of ultimate load to failure.Gross observation showed that hyperplastic response of the scar tissue at the tendon-bone interface is progressively alleviated over time in the both Mg alloy suture and Vicryl suture groups.In the histological analysis,for Mg alloy suture groups,chondrocytes appear to proliferate at 4 weeks postoperatively,and the tendon-bone interface showed an orderly structural transition zone at 8 weeks postoperatively.The collagenous fiber tended to be aligned and the tendon-bone interlocking structures apparently formed,where transitional structure from unmineralized fibrocartilage to mineralized fibrocartilage was closer to the native fibrocartilaginous enthesis.In vivo degradation of the magnesium alloy wire was completed within 12 weeks.The results indicated that Mg alloy wire was promising as degradable suture with the potential to promotes fibrocartilaginous interface regeneration in rotator cuff repair.

关键词： Rotator cuff repair Mg alloy wire Tendon-bone healing Fibrocartilaginous interface

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Hybrid Approach for Predicting the Remaining Useful Life of Bearings Based on the RReliefF Algorithm and Extreme Learning Machine

引用

Computer Modeling in Engineering & Sciences 2024年第8期140卷 1405-1427页

作者： Sen-Hui Wang Xi Kang Cheng Wang Tian-Bing Ma Xiang He ke yang School of Mechatronics Engineering Anhui University of Science and TechnologyHuainan232001China Institute of Energy Hefei Comprehensive National Science CenterHefei230031China

Accurately predicting the remaining useful life(RUL)of bearings in mining rotating equipment is vital for mining enterprises.This research aims to distinguish the features associated with the RUL of bearings and propose a prediction model based on these selected features.This study proposes a hybrid predictive model to assess the RUL of rolling element bearings.The proposed model begins with the pre-processing of bearing vibration signals to reconstruct sixty time-domain features.The hybrid model selects relevant features from the sixty time-domain features of the vibration signal by adopting the RReliefF feature selection algorithm.Subsequently,the extreme learning machine(ELM)approach is applied to develop a predictive model of RUL based on the optimal features.The model is trained by optimizing its parameters via the grid search approach.The training datasets are adjusted to make them most suitable for the regression model using the cross-validation method.The proposed hybrid model is analyzed and validated using the vibration data taken from the public XJTU-SY rolling element-bearing database.The comparison is constructed with other traditional models.The experimental test results demonstrated that the proposed approach can predict the RUL of bearings with a reliable degree of accuracy.

关键词： Bearing degradation remaining useful life estimation RReliefF feature selection extreme learning machine

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Love wave propagation in one-dimensional piezoelectric quasicrystal multilayered nanoplates with surface effects

引用

Applied Mathematics and Mechanics(English Edition) 2024年第4期45卷 619-632页

作者： Xin FENG Liaoliang ke yang GAO College of Science China Agricultural UniversityBeijing 100083China School of Mechanical Engineering Tianjin UniversityTianjin 300350China

The exact solutions for the propagation of Love waves in one-dimensional(1D)hexagonal piezoelectric quasicrystal(PQC)nanoplates with surface effects are derived.An electro-elastic model is developed to investigate the anti-plane strain problem of Love wave propagation.By introducing three shape functions,the wave equations and electric balance equations are decoupled into three uncorrelated problems.Satisfying the boundary conditions of the top surface on the covering layer,the interlayer interface,and the matrix,a dispersive equation with the influence of multi-physical field coupling is provided.A surface PQC model is developed to investigate the surface effects on the propagation behaviors of Love waves in quasicrystal(QC)multilayered structures with nanoscale thicknesses.A novel dispersion relation for the PQC structure is derived in an explicit closed form according to the non-classical mechanical and electric boundary conditions.Numerical examples are given to reveal the effects of the boundary conditions,stacking sequence,characteristic scale,and phason fluctuation characteristics on the dispersion curves of Love waves propagating in PQC nanoplates with surface effects.

关键词： piezoelectric quasicrystal(PQC)material multilayered plate dispersion characteristic surface effect

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Exercise-induced adaptation of neurons in the vertebrate locomotor system

引用

Journal of Sport and Health Science 2024年第2期13卷 160-171页

作者： Yue Dai Yi Cheng Renkai Ge ke Chen Liming yang key Lab of Adolescent Health Assessment and Exercise Intervention of Ministry of Education College of Physical Education and Health CareEast China Normal UniversityShanghai 200241China Shanghai key Laboratory of Multidimensional Information Processing School of Communication and Electronic EngineeringEast China Normal UniversityShanghai 200241China School of Physical Education and Health Care East China Jiaotong UniversityNanchang 330013China key Laboratory of High Confidence Software Technologies of Ministry of Education School of Computer SciencePeking UniversityBeijing 100871China

Vertebrate neurons are highly dynamic cells that undergo several alterations in their functioning and physiologies in adaptation to various external stimuli.In particular,how these neurons respond to physical exercise has long been an area of active research.Studies of the vertebrate locomotor system’s adaptability suggest multiple mechanisms are involved in the regulation of neuronal activity and properties during exercise.In this brief review,we highlight recent results and insights from the field with a focus on the following mechanisms:(a)alterations in neuronal excitability during acute exercise;(b)alterations in neuronal excitability after chronic exercise;(c)exercise-induced changes in neuronal membrane properties via modulation of ion channel activity;(d)exercise-enhanced dendritic plasticity;and(e)exercise-induced alterations in neuronal gene expression and protein synthesis.Our hope is to update the community with a cellular and molecular understanding of the recent mechanisms underlying the adaptability of the vertebrate locomotor system in response to both acute and chronic physical exercise.

关键词： Dendritic plasticity Excitability Exercise Ion channel modulation Neuron adaptation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Why Are Arctic Sea Ice Concentration in September and Its Interannual Variability Well Predicted over the Barents–East Siberian Seas by CFSv2?

引用

Journal of Meteorological Research 2024年第1期38卷 53-68页

作者： Yifan XIE ke FAN Hongqing yang School of Atmospheric Sciences Sun Yat-sen Universityand Southern Marine Science and Engineering Guangdong Laboratory(Zhuhai)Zhuhai 519082

To further understand the prediction skill for the interannual variability of the sea ice concentration(SIC)in specific regions of the Arctic,this paper evaluates the NCEP Climate Forecast System version 2(CFSv2),in predicting the autumn SIC and its interannual variability over the Barents–East Siberian Seas(BES).It is found that CFSv2 presents much better prediction skill for the September SIC over BES than the Arctic as a whole at 1–6-month leads,and high prediction skill for the interannual variability of the SIC over BES is displayed at 1–2-month leads after removing the linear trend.CFSv2 can reasonably reproduce the relationship between the SIC over BES in September and such factors as the surface air temperature(SAT),200-hPa geopotential height,sea surface temperature(SST),and North Atlantic Oscillation.In addition,it is found that the prescribed SIC initial condition in August as an input to CFSv2 is also essential.Therefore,the above atmospheric and oceanic factors,as well as an accurate initial condition of SIC,all contribute to a high prediction skill for SIC over BES in September.Based on a statistical prediction method,the contributions from individual predictability sources are further identified.The high prediction skill of CFSv2 for the interannual variability of SIC over BES is largely attributable to its accurate predictions of the SAT and SST,as well as a better initial condition of SIC.

关键词： sea ice concentration the Barents-East Siberian Seas Climate Forecast System version 2(CFSv2) prediction skill predictability source atmospheric and oceanic factors initial condition

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Byzantine Robust Federated Learning Scheme Based on Backdoor Triggers

引用

Computers, Materials & Continua 2024年第5期79卷 2813-2831页

作者： Zheng yang ke Gu Yiming Zuo School of Computer and Communication Engineering Changsha University of Science and TechnologyChangsha410114China

Federated learning is widely used to solve the problem of data decentralization and can provide privacy protectionfor data owners. However, since multiple participants are required in federated learning, this allows attackers tocompromise. Byzantine attacks pose great threats to federated learning. Byzantine attackers upload maliciouslycreated local models to the server to affect the prediction performance and training speed of the global model. Todefend against Byzantine attacks, we propose a Byzantine robust federated learning scheme based on backdoortriggers. In our scheme, backdoor triggers are embedded into benign data samples, and then malicious localmodels can be identified by the server according to its validation dataset. Furthermore, we calculate the adjustmentfactors of local models according to the parameters of their final layers, which are used to defend against datapoisoning-based Byzantine attacks. To further enhance the robustness of our scheme, each localmodel is weightedand aggregated according to the number of times it is identified as malicious. Relevant experimental data showthat our scheme is effective against Byzantine attacks in both independent identically distributed (IID) and nonindependentidentically distributed (non-IID) scenarios.

关键词： Federated learning Byzantine attacks backdoor triggers

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Is yang-Mills theory unitary in fractional spacetime dimensions?

引用

Science China(Physics,Mechanics & Astronomy) 2024年第7期67卷 59-64页

作者： Qingjun Jin ke Ren Gang yang Rui Yu Graduate School of China Academy of Engineering Physics Beijing 100193China School of Physics and Astronomy Sun Yat-Sen UniversityZhuhai 519082China CAS key Laboratory of Theoretical Physics Institute of Theoretical PhysicsChinese Academy of SciencesBeijing 100190China School of Fundamental Physics and Mathematical Sciences Hangzhou Institute for Advanced StudyUniversity of Chinese Academy of SciencesHangzhou 310024China International Centre for Theoretical Physics Asia-Pacific Hangzhou 310024China School of Physical Science and Technology Inner Mongolia UniversityHohhot 010021China Beijing Computational Science Research Center Beijing 100193China

We present concrete evidence that yang-Mills theory exhibits non-unitarity in non-integer spacetime dimensions.This violation of unitarity stems from evanescent operators that,while vanishing in four dimensions,are non-zero in general d dimensions.We demonstrate that these evanescent operators lead to the emergence of both negative-norm states and complex anomalous dimensions.

关键词： gauge field theories field theories in dimensions other than four renormalization

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Observation of ballistic-diffusive thermal transport in GaN transistors using thermoreflectance thermal imaging

引用

Rare Metals 2024年第1期43卷 389-394页

作者： Zhi-ke Liu yang Shen Han-Ling Li Bing-yang Cao key Laboratory for Thermal Science and Power Engineering of Ministry of Education Department of Engineering MechanicsTsinghua UniversityBeijing 100084China

To develop effective thermal management strategies for gallium-nitride (GaN) transistors, it is essential to accurately predict the device junction temperature. Since the width of the heat generation in the devices is comparable to phonon mean free paths (MFPs) of GaN, phonon ballistic transport exists and can significantly affect the heat transport process.

关键词： temperature. transistors GaN

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：