期刊文献+
共找到2,367篇文章
< 1 2 119 >
每页显示 20 50 100
PRECISION OF HSK TOOLING SYSTEM IN HIGH SPEED MACHINING 被引量:1
1
作者 王贵成 吴卫国 +2 位作者 王树林 裴宏杰 沈春根 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2007年第2期129-133,共5页
Based on the theory of elastic mechanics and material mechanics, the orientation precision of the hohl schaft kegel(HSK) tooling system in static and dynamic states is theoretically and experimentally studied. The r... Based on the theory of elastic mechanics and material mechanics, the orientation precision of the hohl schaft kegel(HSK) tooling system in static and dynamic states is theoretically and experimentally studied. The relation between the clamping force and the shank taper is obtained. And a proper clamping force is found to be essential to assure the axial and radial orientation precisions of the HSK tooling system in high speed machining (HSM). Analytical results show that the reason why the HSK tooling system can keep high precision at the high rotational speed is that the actual axial clamping force keeps the two surfaces of the shank and the spindle in contact all the time. 展开更多
关键词 high speed machining HSK tooling system orientation precision
在线阅读 下载PDF
MECHANICAL MODEL OF HSK TOOLING SYSTEM IN HIGH SPEED MACHINING
2
作者 王贵成 吴卫国 +2 位作者 沈春根 王树林 左健民 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2007年第2期145-149,共5页
According to the structure of the hohl schaft kegel(HSK) tooling system and its working principle, a mechanical model of the HSK tooling system is established. Major factors influencing the stiffness of the system a... According to the structure of the hohl schaft kegel(HSK) tooling system and its working principle, a mechanical model of the HSK tooling system is established. Major factors influencing the stiffness of the system are analyzed and the relationship between the load and the manufacturing quality is obtained. The basic rule of the stiffness variation is presented and the theoretical analysis is in a good agreement with experimental results. The dynamic stiffness must also be considered to evaluate the performance of the tooling system besides the staticstiffness. Finally, the selecting principles of the HSK types are proposed and their optimum operating conditions are established. 展开更多
关键词 mechanical model STIFFNESS LOAD HSK tooling system
在线阅读 下载PDF
晶振膜厚监控技术中Tooling Factor的精确标定 被引量:2
3
作者 张立超 《光机电信息》 2010年第11期56-60,共5页
晶振监控法是一种实现非规整膜系监控的重要手段。在晶振监控中,晶振片与镀膜基片上沉积薄膜厚度的比值,即Tooling Factor是相对固定的。采用晶振监控法实现薄膜厚度的精确控制必须对Tooling Factor进行精确标定。本文提出了精确标定Too... 晶振监控法是一种实现非规整膜系监控的重要手段。在晶振监控中,晶振片与镀膜基片上沉积薄膜厚度的比值,即Tooling Factor是相对固定的。采用晶振监控法实现薄膜厚度的精确控制必须对Tooling Factor进行精确标定。本文提出了精确标定Tooling Factor的方法,并对这种方法进行了实验验证。结果表明,该方法能够将膜厚控制误差从~20%降低到6%的水平,从而使多层膜的反射率曲线更加接近设计结果,实现多层膜膜厚的精确控制。 展开更多
关键词 膜厚控制 晶振监控 tooling FACTOR
在线阅读 下载PDF
Inconel 617 and Stellite 6 alloys for tooling in thixoforming of steels 被引量:18
4
作者 Y.BI ROL 《Transactions of Nonferrous Metals Society of China》 SCIE EI CAS CSCD 2010年第9期1656-1662,共7页
Thermal fatigue and high temperature wear are the two principle failure mechanisms for thixoforming dies. Samples of Inconel 617 and Stellite 6 alloys were submitted to thermal cycling under conditions which approxima... Thermal fatigue and high temperature wear are the two principle failure mechanisms for thixoforming dies. Samples of Inconel 617 and Stellite 6 alloys were submitted to thermal cycling under conditions which approximate thixoforming of steels and to sliding wear tests at 750 ℃. The experimental results thus obtained were compared with those of the X32CrMoV33 hot work tool steel. The Inconel 617 and Stellite 6 samples are much more resistant to oxidation and to softening than the hot work tool steel, providing a superior resistance to thermal fatigue cracking. The wear resistance of the Inconel 617 and Stellite 6 alloys at 750 ℃ is also markedly superior. The adhesive oxides growing slowly on Inconel 617 and Stellite 6 alloys sustain the wear action without spalling and are claimed to be responsible for the superior wear resistance of these alloys at 750 ℃. 展开更多
关键词 steel THIXOFORMING tooling thermal fatigue WEAR
在线阅读 下载PDF
Sprayformed Hot Work Steels for Rapid Tooling 被引量:5
5
作者 Yunfeng Yang Simo-Pekka Hannula 《Journal of Materials Science & Technology》 SCIE EI CAS CSCD 2003年第z1期169-172,共4页
The present work compares microstructures of hot work steels made by different processes, that is, by sprayforming,by casting, and a commercially supplied H13 steel. Material benefits are recognized by sprayforming ho... The present work compares microstructures of hot work steels made by different processes, that is, by sprayforming,by casting, and a commercially supplied H13 steel. Material benefits are recognized by sprayforming hot working tools such as die inserts for hot forging. The sprayformed hot work steels present a fine and homogeneous microstructure,which implies that, at a similar toughness level, the sprayformed steel can be higher alloyed, so that the thermal fatigue and wear resistance at elevated temperatures can be improved. A series of steels with higher vanadium content than commercial hot work steels are developed. There are no segregation and carbide network problems usually encountered in conventional ingot/forging processed high-vanadium steels. Microstructure and hardness of the new sprayformed steels are studied under different heat treatment conditions. It is justified that these sprayformed steels can be directly used for tooling without high temperature hardening. Sprayforming the tool steels onto a precision ceramic mould is demonstrated to extend the technoeconomical benefits, so that a net shape production tool can be rapidly made.Features of the rapid tooling process are also discussed. 展开更多
关键词 RAPID tooling Sprayforming HOT working steel DIE INSERT
在线阅读 下载PDF
Conception of tooling adapted to thixoforging of high solid fraction hot-crack-sensitive aluminium alloys 被引量:3
6
作者 G.VANEETVELD A.RASSILI +1 位作者 J.C.PIERRET J.LECOMTE-BECKERS 《Transactions of Nonferrous Metals Society of China》 SCIE EI CAS CSCD 2010年第9期1712-1718,共7页
Thixoforging is a type of semi-solid metal processing at high solid fraction (0.7<φs<1), which involves the processing of alloys in the semi-solid state.Tooling has to be adapted to this particular process to b... Thixoforging is a type of semi-solid metal processing at high solid fraction (0.7<φs<1), which involves the processing of alloys in the semi-solid state.Tooling has to be adapted to this particular process to benefit shear thinning and thixotropic behaviour of such semi-solid material.Tooling parameters, such as the forming speed and tool temperature, have to be accurately controlled because of their influence on thermal exchanges between material flow and tool.These thermal exchanges influence the high-cracking tendency and the rheology of the semi-solid material during forming, which affects parts properties and therefore their quality.Extrusion tests show how thermal exchanges influence quality of thixoforged parts made of 7075 aluminium alloys at high solid fraction by modifying process parameters like forming speed, tool temperature and tool thermal protector.Thus an optimum in terms of thermal exchanges has to be found between surface quality and mechanical properties of the part.A direct application is the evaluation of surface quality of thixoforged thin wall parts made of 7075 aluminium alloy. 展开更多
关键词 THIXOFORGING solid fraction near-net-shaping tooling 7075 aluminium alloys
在线阅读 下载PDF
AlTiN and AlTiON-coated hot work tool steels for tooling in steel thixoforming
7
作者 Y.BIROL D.ISLER 《中国有色金属学会会刊:英文版》 CSCD 2010年第S3期1022-1028,共7页
X32CrMoV33 hot work tool steel samples coated with AlTiN and AlTiON were submitted to thermal cycling under conditions that approximate thixoforming of steels and to sliding wear tests at 750 ℃,measured to be the cav... X32CrMoV33 hot work tool steel samples coated with AlTiN and AlTiON were submitted to thermal cycling under conditions that approximate thixoforming of steels and to sliding wear tests at 750 ℃,measured to be the cavity surface temperature shortly after the steel slurry is forced into the thixoforming die.AlTiN and AlTiON coatings provide adequate protection against oxidation of the tool steel substrate,but fail to avoid thermal fatigue cracking.This is attributed to the extensive softening of the substrate,the thermal expansion mismatch between the hot work tool steel and the coatings and residual compressive stresses inherited from the deposition process.The impact of AlTiN and AlTiON coatings on the high temperature wear resistance,on the other hand,is favourable.The improved wear resistance is attributed to the stable,protective surface oxide films. 展开更多
关键词 THIXOFORMING physical vapor DEPOSITION coating tooling STEELS thermal fatigue WEAR
在线阅读 下载PDF
Rapid Tooling Technique Based on Stereolithograph Prototype
8
作者 丁浩 狄平 +1 位作者 顾伟生 朱世根 《Journal of Donghua University(English Edition)》 EI CAS 2001年第2期105-107,共3页
Rapid tooling technique based on the sterelithograph prototype is investigated. The epoxy tooling technological process was elucidated. It is analyzed in detail that the epoxy resin formula is easy to cast, curing pro... Rapid tooling technique based on the sterelithograph prototype is investigated. The epoxy tooling technological process was elucidated. It is analyzed in detail that the epoxy resin formula is easy to cast, curing process, and release agents. The transitional plaster model is also proposed. The mold to encrust mutual.inductors with epoxy and mold to inject plastic soapboxes was made with the technique The tooling needs very little time and cost, for the process is only to achieve the nice replica of the prototype. It is benefit for the trial and small batch of production. 展开更多
关键词 STEREOLITHOGRAPHY prototype EPOXY resin tooling transitional MOLD
在线阅读 下载PDF
Rapid Tooling-Rapid Abrading Process Integratedwith Rapid Prototyping
9
作者 Wulanmuqi Deng Jiati(State 863/CIMS Design Automation LaboratoryManufacturing System institute 720)(Beijing University of Aeronautics & AstronauticsBeijing 100083P.R.China) 《Computer Aided Drafting,Design and Manufacturing》 1999年第2期28-33,共6页
The paper is to outline a new process for manufacturing rapid graphite electrode. It detailsthe steps in Providing integration with Rapid Prototyping (RP) into rapid electrode abrading Process.The key to this combinat... The paper is to outline a new process for manufacturing rapid graphite electrode. It detailsthe steps in Providing integration with Rapid Prototyping (RP) into rapid electrode abrading Process.The key to this combination is the successful model or patted creating using the RP technology.Significantly reduced lead-time, shortened learns curve, lowered revision changes cost and eliminatedor reduced mold polishing are the consequent results. high quality Electrical Discharge Machining(EDM) electrodes are sometimes difficult to be manufactured rapidly and are very time-consumingby conventional methods, even using Computer Numerical Control (CNC) machines. Abradingprovides a simple way to create etuemely detailed and complex electrode to make molds in toolingmaking industries. Integration with the rapid development of the Rapid Prototyping & Manufacturing(RP&M) technology, the rapid electrode abrading process has been regarded as one of the majorbreakthrough in tooling making technology. 展开更多
关键词 Rapid tooling Abrading Process Electrode Manufacturing Rapid Prototyping
全文增补中
The Principle of Square Hole Machining and It's Tooling Structure Design
10
作者 Jinxia NIU 《International Journal of Technology Management》 2015年第2期7-8,共2页
In order to meet the rapid needs of processing square hole in mechanical equipment, the paper expounds the square hole processing method: planetary wheel method, and analyze the principle of tooling structure and pro... In order to meet the rapid needs of processing square hole in mechanical equipment, the paper expounds the square hole processing method: planetary wheel method, and analyze the principle of tooling structure and process with computer graphics parameters design. The results that, as long as the appropriate parameters, using the above method not only can punch the square hole, can also be processed triangle, the five angle and hexagonal regular polygon holes. The square hole processing method can provide theoretical basis and engineering reliable reference for related engineering and technical personnel. 展开更多
关键词 Abstract: In order to meet the rapid needs of processing square hole in mechanical equipment the paper expounds the square hole processing method: planetary wheel method and analyze the principle of tooling structure and process with computer graphics parameters design. The results that as long as the appropriate parameters using the above method not only can punch the square hole can also be processed triangle the five angle and hexagonal regular polygon holes. The square hole processing method can provide theoretical basis and engineering reliable reference for related engineering and technical personnel. Keywords: Square hole processing Planet wheel Lelo triangle Square hole drilling
在线阅读 下载PDF
Development of AI-Based Monitoring System for Stratified Quality Assessment of 3D Printed Parts
11
作者 Yewon Choi Song Hyeon Ju +1 位作者 Jungsoo Nam Min Ku Kim 《Computer Modeling in Engineering & Sciences》 2026年第1期661-679,共19页
The composite material layering process has attracted considerable attention due to its production advantages,including high scalability and compatibility with a wide range of raw materials.However,changes in process ... The composite material layering process has attracted considerable attention due to its production advantages,including high scalability and compatibility with a wide range of raw materials.However,changes in process conditions can lead to degradation in layer quality and non-uniformity,highlighting the need for real-time monitoring to improve overall quality and efficiency.In this study,an AI-based monitoring system was developed to evaluate layer width and assess quality in real time.Three deep learning models Faster Region-based Convolutional Neural Network(R-CNN),You Only Look Once version 8(YOLOv8),and Single Shot MultiBox Detector(SSD)were compared,and YOLOv8 was ultimately selected for its superior speed,flexibility,and scalability.The selected model was integrated into a user-friendly interface.To verify the reliability of the system,bead width control experiments were conducted,which identified feed speed and extrusion speed as the key process parameters.Accordingly,a Central Composite Design(CCD)experimental plan with 13 conditions was applied to evaluate layer width and validate the system’s reliability.Finally,the proposed system was applied to the additive manufacturing of an aerospace component,where it successfully detected bead width deviations during printing and enabled stable fabrication with a maximum geometric deviation of approximately 6 mm.These findings demonstrate the critical role of real-time monitoring of layer width and quality in improving process stability and final product quality in composite material additive manufacturing. 展开更多
关键词 Large-scale material extrusion additive manufacturing vision-based process monitoring aerospace composite tooling real-time quality control deep learning
在线阅读 下载PDF
Design and Manufacture of a Wax Injection Tool for Investment Casting Using Rapid Tooling 被引量:1
12
作者 RAHMATI Sadegh REZAEI Mohamad Reza AKBARI Javad 《Tsinghua Science and Technology》 SCIE EI CAS 2009年第S1期108-115,共8页
A rapid wax injection tool of a gearbox shift fork was designed, simulated, and manufactured using rapid prototyping and rapid tooling technology to save time and cost of producing wax models used for the investment c... A rapid wax injection tool of a gearbox shift fork was designed, simulated, and manufactured using rapid prototyping and rapid tooling technology to save time and cost of producing wax models used for the investment casting process. CAE simulation softwares, in particular, MoldFlow, are used to get wax injection moulding parameters such as filling parameters, temperature profiles, freeze time, speed, and pressure. The results of this research were compared with conventional wax model production methods. The criteria of such comparison were based upon parameters such as time, cost, and other related characteristics, which resulted in saving of 50% in time and 60% in cost. In this research, design, assembly, and wax injection operation of the wax tool took 10 days. Considering the fact that wax melting temperature is as low as 70℃ and injection pressure of 0.5 MPa, the tool suffers no damage due to the thermal and pressure stresses, leading to the mass production of wax models. 展开更多
关键词 rapid prototyping STEREOLITHOGRAPHY rapid tooling wax injection moulding simulation investment casting
原文传递
Increasing the strength of carbon nanotube fibers and their use as a polishing medium
13
作者 Xue Zhiping Lu Jing Huang Hui 《新型炭材料(中英文)》 北大核心 2026年第1期209-221,共13页
We report a method for increasing the mechanical strength of carbon nanotube(CNT)fibers while enabling the uniform adhesion of cerium oxide(CeO_(2))abrasive particles to them using polyethyleneimine(PEI).Results show ... We report a method for increasing the mechanical strength of carbon nanotube(CNT)fibers while enabling the uniform adhesion of cerium oxide(CeO_(2))abrasive particles to them using polyethyleneimine(PEI).Results show that 5%of PEI increases the tensile strength of CNT fibers by approximately 175%.CeO_(2) particles were uniformly deposited on the reinforced CNT fibers by electrophoretic deposition.A flexible polishing tool was fabricated by weaving the CeO_(2)-CNT fibers into a non-woven fabric substrate.When used to polish potassium dihydrogen phosphate crystals,the tool reduced the surface roughness from 200 to 7.6 nm within 10 min.This approach has potential use for the development of new precision processing tools. 展开更多
关键词 CNT fiber Tensile strength Electrophoretic deposition Polishing tool Surface roughness
在线阅读 下载PDF
The FAIR Data Point:Interfaces and Tooling
14
作者 Oussama Mohammed Benhamed Kees Burger +4 位作者 Rajaram Kaliyaperumal Luiz Olavo Bonino da Silva Santos Marek Suchánek Jan Slifka Mark D.Wilkinsoni 《Data Intelligence》 EI 2023年第1期184-201,共18页
While the FAIR Principles do not specify a technical solution for'FAIRness',it was clear from the outset of the FAIR initiative that it would be useful to have commodity software and tooling that would simplif... While the FAIR Principles do not specify a technical solution for'FAIRness',it was clear from the outset of the FAIR initiative that it would be useful to have commodity software and tooling that would simplify the creation of FAIR-compliant resources.The FAIR Data Point is a metadata repository that follows the DCAT(2)schema,and utilizes the Linked Data Platform to manage the hierarchical metadata layers as LDP Containers.There has been a recent flurry of development activity around the FAIR Data Point that has significantly improved its power and ease-of-use.Here we describe five specific tools—an installer,a loader,two Webbased interfaces,and an indexer-aimed at maximizing the uptake and utility of the FAIR Data Point. 展开更多
关键词 FAIR Data Linked data Semantic Web METADATA User interfaces tooling Semantic query
原文传递
Individual Software Expertise Formalization and Assessment from Project Management Tool Databases
15
作者 Traian-Radu Plosca Alexandru-Mihai Pescaru +1 位作者 Bianca-Valeria Rus Daniel-Ioan Curiac 《Computers, Materials & Continua》 2026年第1期389-411,共23页
Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods... Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods,based on reliable existing data stored in project management tools’datasets,automating this evaluation process becomes a natural step forward.In this context,our approach focuses on quantifying software developer expertise by using metadata from the task-tracking systems.For this,we mathematically formalize two categories of expertise:technology-specific expertise,which denotes the skills required for a particular technology,and general expertise,which encapsulates overall knowledge in the software industry.Afterward,we automatically classify the zones of expertise associated with each task a developer has worked on using Bidirectional Encoder Representations from Transformers(BERT)-like transformers to handle the unique characteristics of project tool datasets effectively.Finally,our method evaluates the proficiency of each software specialist across already completed projects from both technology-specific and general perspectives.The method was experimentally validated,yielding promising results. 展开更多
关键词 Expertise formalization transformer-based models natural language processing augmented data project management tool skill classification
在线阅读 下载PDF
Blood biomarkers for Alzheimer’s disease:Key challenges of clinical implementation
16
作者 Rafaela Luiza C.Franco Tai R.Hunter Fernanda G.De Felice 《Neural Regeneration Research》 2026年第6期2361-2362,共2页
Alzheimer’s disease(AD)is a complex,progressive neurodegenerative disorder and the leading cause of dementia worldwide.It is characterized by the accumulation of extracellular amyloid-beta(Aβ)plaques and intracellul... Alzheimer’s disease(AD)is a complex,progressive neurodegenerative disorder and the leading cause of dementia worldwide.It is characterized by the accumulation of extracellular amyloid-beta(Aβ)plaques and intracellular tau neurofibrillary tangles,leading to synaptic dysfunction,neuronal loss,and cognitive decline.These pathological changes can begin decades before clinical symptoms emerge,highlighting the critical need for early,accessible,and accurate diagnostic tools. 展开更多
关键词 blood biomarkers amyloid beta plaques tau neurofibrillary tanglesleading alzheimer s disease ad clinical implementation Alzheimers disease neurodegenerative disorder diagnostic tools
暂未订购
Deep Learning-Based Toolkit Inspection:Object Detection and Segmentation in Assembly Lines
17
作者 Arvind Mukundan Riya Karmakar +1 位作者 Devansh Gupta Hsiang-Chen Wang 《Computers, Materials & Continua》 2026年第1期1255-1277,共23页
Modern manufacturing processes have become more reliant on automation because of the accelerated transition from Industry 3.0 to Industry 4.0.Manual inspection of products on assembly lines remains inefficient,prone t... Modern manufacturing processes have become more reliant on automation because of the accelerated transition from Industry 3.0 to Industry 4.0.Manual inspection of products on assembly lines remains inefficient,prone to errors and lacks consistency,emphasizing the need for a reliable and automated inspection system.Leveraging both object detection and image segmentation approaches,this research proposes a vision-based solution for the detection of various kinds of tools in the toolkit using deep learning(DL)models.Two Intel RealSense D455f depth cameras were arranged in a top down configuration to capture both RGB and depth images of the toolkits.After applying multiple constraints and enhancing them through preprocessing and augmentation,a dataset consisting of 3300 annotated RGB-D photos was generated.Several DL models were selected through a comprehensive assessment of mean Average Precision(mAP),precision-recall equilibrium,inference latency(target≥30 FPS),and computational burden,resulting in a preference for YOLO and Region-based Convolutional Neural Networks(R-CNN)variants over ViT-based models due to the latter’s increased latency and resource requirements.YOLOV5,YOLOV8,YOLOV11,Faster R-CNN,and Mask R-CNN were trained on the annotated dataset and evaluated using key performance metrics(Recall,Accuracy,F1-score,and Precision).YOLOV11 demonstrated balanced excellence with 93.0%precision,89.9%recall,and a 90.6%F1-score in object detection,as well as 96.9%precision,95.3%recall,and a 96.5%F1-score in instance segmentation with an average inference time of 25 ms per frame(≈40 FPS),demonstrating real-time performance.Leveraging these results,a YOLOV11-based windows application was successfully deployed in a real-time assembly line environment,where it accurately processed live video streams to detect and segment tools within toolkits,demonstrating its practical effectiveness in industrial automation.The application is capable of precisely measuring socket dimensions by utilising edge detection techniques on YOLOv11 segmentation masks,in addition to detection and segmentation.This makes it possible to do specification-level quality control right on the assembly line,which improves the ability to examine things in real time.The implementation is a big step forward for intelligent manufacturing in the Industry 4.0 paradigm.It provides a scalable,efficient,and accurate way to do automated inspection and dimensional verification activities. 展开更多
关键词 Tool detection image segmentation object detection assembly line automation Industry 4.0 Intel RealSense deep learning toolkit verification RGB-D imaging quality assurance
在线阅读 下载PDF
Proteolytic shedding of the prion protein:Uncovering“new”biological implications of a conserved cleavage event
18
作者 Feizhi Song Valerija Kovac +4 位作者 Behnam Mohammadi Josephine E.Pippi Vladka Curin Serbec Markus Glatzel Hermann C.Altmeppen 《Neural Regeneration Research》 2026年第6期2329-2330,共2页
Novel insights into complex biological processes very often critically depend on the establishment of new potent read-out tools and improved protocols.A lot has been learned over the past four decades on physiological... Novel insights into complex biological processes very often critically depend on the establishment of new potent read-out tools and improved protocols.A lot has been learned over the past four decades on physiological functions and,importantly,disease-related roles of the prion protein(PrP),a relatively broadly expressed membrane-anchored glycoprotein with high levels in several cell types of the nervous and immune system and with well-established key roles in different progressive and fatal neurodegenerative protein misfolding diseases(proteopathies). 展开更多
关键词 prion protein prp protein misfolding diseases prion protein neurodegenerative diseases read tools insights complex biological processes disease related roles physiological functions
在线阅读 下载PDF
JIMTOF2024展会报告(上)
19
作者 符祚钢 《世界制造技术与装备市场》 2025年第1期54-60,共7页
2024年日本机床展览会(JIMTOF2024)于2024年11月5~10日在东京Tokyo Big Sight举办,展出面积118540平方米。展会以“技术传承提供无限可能(Technologies passed down to the future offer unlimited possibilities)”为主题。
关键词 technologies passed down JIMTOF machine tool exhibition tokyo big sight unlimited possibilities
在线阅读 下载PDF
一种基于着色Petri网的密钥交换协议分析与改进方法
20
作者 缪祥华 张家临 《数据通信》 2025年第2期12-15,共4页
本文采用的着色Petri网(Colored Petri Nets,CPN)是一种基于模型检测法的自动化建模技术,它引入了"颜色集"的概念,以扩展Petri网的表达能力。该技术利用着色Petri网及其配套的建模工具CPN Tools对安全协议进行建模,能够使得... 本文采用的着色Petri网(Colored Petri Nets,CPN)是一种基于模型检测法的自动化建模技术,它引入了"颜色集"的概念,以扩展Petri网的表达能力。该技术利用着色Petri网及其配套的建模工具CPN Tools对安全协议进行建模,能够使得模型实现图形化和层次化,其内置的状态空间分析工具及CPN ML语言,能够高效地协助分析人员获取必要数据。本文以经典的密钥交换协议TMN为例,运用CPN方法对其进行形式化分析,成功识别出攻击者可能利用的攻击路径,并验证了协议中存在的安全漏洞。针对这些漏洞,本文提出了一种改进方法,经过验证,证实了该改进方法的有效性。 展开更多
关键词 安全协议 形式化分析 模型检测 着色PETRI网 自动化建模 CPN Tools
在线阅读 下载PDF
上一页 1 2 119 下一页 到第
使用帮助 返回顶部