多主体系统时态认知规范的"On the Fly"模型检测算法研究

时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“On the Fly”模型检测算法．在“On the Fly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“On the Fly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“On the Fly”模型检测时态认知规范,并且算法的复杂性是多项式时间的．最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性．     

基于角色PMI的电子政务安全模型

论文介绍了角色规范属性证书和角色指派属性证书,讨论了基于角色的PMI体系结构,探讨了基于角色PMI的电子政务安全模型。     

PowerMill中参考线的定义方法

本文主要介绍在PowerMILL中参考线的定义方法以及对参考线进行操作的相关选项     

UG CAM环境介绍

主要介绍首次进入UGCAM模块时初始化加工环境；加工界面简介；自定义加工环境；自定义操作模板；模板、模板集和模板零件。     

中国建材联合会书画艺委会笔墨助力——中国建材行业抗疫主题 书画作品选登

正~~     

PowerMILL概述及加工流程

本文主要介绍PowerMILL加工能力及其特点、PowerMILL的用户界面、鼠标键的功能、以及加工流程。     

PowerMILL刀具路径初始设置（1）

本文主要介绍在PowerMILL创建刀具路径之前所需要的初始设置：定义毛坯、定义切削刀具、设置进给率等。     

基于主成分与层次分析法的焦煤质量综合评价研究

针对焦煤性能评价指标的不足,提出了一种基于主成分分析与层次分析耦合的焦煤单项性能与综合性能的评价方法。该方法综合考虑了焦煤的工艺性能指标与化学成分指标,研究了体现焦煤性能差异的关键特性指标与焦煤不同指标的相关性关系。主成分分析结果可知：14项工艺性能指标可提取热态性能、结焦性能、黏结性能3个主成分指标,并得出24种焦煤这3种性能的分值;层次分析结果可知：该方法可对焦煤的热态性能、结焦性能、黏结性能、硫分性能、灰分性能5个单项性能指标进行科学权重赋值,并得出客观、量化的综合性能分值。     

硬质聚氨酯泡沫塑料贮存寿命预测研究

对硬质聚氨酯泡沫塑料进行了贮存寿命预测研究。在室内贮存过程中,硬质聚氨酯泡沫塑料的10%定应变压缩应力不断下降。利用人工加速湿热老化实验数据,采用阿累尼乌斯方程外推法和时温等效原理初步预测了硬质聚氨酯泡沫塑料在贮存条件为20℃5、0%RH下的贮存寿命分别为20.1a和34.4a。     

UG CAM平面铣的参数设置

主要介绍UGCAM平面铣操作中的控制点(Control Point)的参数设置。