期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
无线认证协议Linear MAKEP的模型检验
1
作者 刘霞 陈维 彭军 《计算机工程》 CAS CSCD 北大核心 2008年第3期186-188,212,共4页
模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议LinearMAKEP建模,并对该协议的认证性用CTL公式进行形式化描述,将得到的模型和公式输入模型检验工具SMV进行检验。对检验结果进行分析发现:在Linear MAKEP协... 模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议LinearMAKEP建模,并对该协议的认证性用CTL公式进行形式化描述,将得到的模型和公式输入模型检验工具SMV进行检验。对检验结果进行分析发现:在Linear MAKEP协议中,入侵者可以冒充服务器与客户进行通信,不满足认证性。给出了协议的一种改进,使其满足认证性。 展开更多
关键词 linear MAKEP协议 模型检验 认证性 形式化
在线阅读 下载PDF
基于Linear Cohesion模型的含水堆积体滑坡过程数值模拟 被引量:2
2
作者 高道路 王林峰 《水资源与水工程学报》 CSCD 2020年第1期227-233,共7页
水通常是堆积体滑坡发生的触发因素,采用数值方法模拟堆积体滑坡时加入水的液桥力有助于提高计算结果的合理性。为了研究含水堆积体滑坡过程的各项运动特性,提出采用Linear Cohesion接触模型模拟含水湿润状态下松散堆积体滑坡的运动过程... 水通常是堆积体滑坡发生的触发因素,采用数值方法模拟堆积体滑坡时加入水的液桥力有助于提高计算结果的合理性。为了研究含水堆积体滑坡过程的各项运动特性,提出采用Linear Cohesion接触模型模拟含水湿润状态下松散堆积体滑坡的运动过程,利用离散元程序EDEM 2017建立了含水堆积体滑坡水槽数值模型,计算堆积体从失稳-滑动-堆积整个运动过程。结果表明:能量密度k是Linear Cohesion模型模拟含水堆积体滑坡的关键参数;当k<5000 J/m^3时,随着能量密度值逐渐增大,堆积体滑动过程的流动性越来越小,最大平均速度值和最大动能越大,当k≥5000 J/m^3时,含水堆积体的各项滑动特征变化不明显;较小能量密度的湿颗粒堆积体在滑动过程中结构体易发生破坏,形成的颗粒群流动性更强,滑动距离更远,扩大了滑坡灾害的影响范围。相关研究成果对今后类似的含水堆积体滑坡灾害的预测和评估有一定参考价值。 展开更多
关键词 滑坡 含水堆积体 linear Cohesion接触模型 离散单元法(EDEM) 能量密度 液桥力
在线阅读 下载PDF
基于工艺的自适应数据质量多模型择优预测 被引量:1
3
作者 张庆新 崔展博 +3 位作者 陈磊 王路平 马睿 吴毅平 《科学技术与工程》 北大核心 2014年第4期74-79,共6页
针对钢铁企业实际生产过程中,采用单一预测模型进行预测难以把握大规模启停设备用电规律,预测精度较低等问题,根据生产-检修阶段的实际工艺情况,将生产,检修问题采用随机近似贪婪搜索RAGS对复杂特征进行特征选择,建立了一个自适应数据... 针对钢铁企业实际生产过程中,采用单一预测模型进行预测难以把握大规模启停设备用电规律,预测精度较低等问题,根据生产-检修阶段的实际工艺情况,将生产,检修问题采用随机近似贪婪搜索RAGS对复杂特征进行特征选择,建立了一个自适应数据质量的多模型择优预测框架进行建模;将其应用于宝钢电网。仿真结果表明,提出多模型择优预测框架可以准确预测钢铁企业电力日负荷,为实现电力系统能源调度提供决策依据。 展开更多
关键词 特征选择 随机近似贪婪搜 非负最小二乘法(nuclear NORM REGULARIZED linear liast NNLS) 最小二乘支持的重机(LS—SVM) 紧急服务号码(emergencg service number ESN) 模型择优
在线阅读 下载PDF
基于随机模糊聚类的负荷建模与参数辨识 被引量:22
4
作者 林济铿 刘露 +2 位作者 张闻博 刘劲松 王刚 《电力系统自动化》 EI CSCD 北大核心 2013年第14期50-58,共9页
针对实际负荷的无功功率变化范围比有功功率大的特点以及电力负荷的时变性和变结构性,提出了一种新的负荷建模与参数辨识方法。首先,对linearized-GNLD模型的无功部分进行了改进,以刻画实际负荷的无功部分往往比有功部分具有更大变化范... 针对实际负荷的无功功率变化范围比有功功率大的特点以及电力负荷的时变性和变结构性,提出了一种新的负荷建模与参数辨识方法。首先,对linearized-GNLD模型的无功部分进行了改进,以刻画实际负荷的无功部分往往比有功部分具有更大变化范围的特点;进而将有效性函数引入随机模糊聚类中,获得了无需事先给定分类数就能同时获得最佳分类数及相应聚类隶属度的随机模糊聚类新方法;最后,把所提出的新方法与改进的linearized-GNLD模型以及先聚类后辨识策略相结合而获得了新的负荷建模与参数辨识方法。相对于其他方法而言,所建立的模型无需事先给定负荷模型个数而使得实际应用更为方便;同时,由于先聚类后辨识策略,使得每一类负荷模型均是基于类似负荷曲线(节点电压、有功功率、无功功率的负荷曲线组)而获得,相应地所获得的负荷模型也具有更高的辨识精度和更好的推广性。算例证明了所提方法的有效性及正确性。 展开更多
关键词 负荷建模 参数辨识 linearized—gnld模型 随机模糊聚类法 有效性函数
在线阅读 下载PDF
社会科学研究中的分层数据问题 被引量:6
5
作者 葛建军 《内蒙古社会科学》 CSSCI 北大核心 2004年第5期113-116,共4页
带有分层数据的问题实际上是非常常见的,有时候我们只是为了回避一些容易遇到的麻烦而对其视而不见。当然,方法的不成熟也是制约对这类问题讨论的另一个原因。随着自然科学和社会科学研究的日益完善,也由于研究中不得不将分层数据的问... 带有分层数据的问题实际上是非常常见的,有时候我们只是为了回避一些容易遇到的麻烦而对其视而不见。当然,方法的不成熟也是制约对这类问题讨论的另一个原因。随着自然科学和社会科学研究的日益完善,也由于研究中不得不将分层数据的问题提到一个显著的位置供人们重新思考,分层模型就在各类科学研究中越来越占有它应有的地位了。 展开更多
关键词 社会科学研究 分层数据 分层线性模型(HLM:Hierarchical linear models) 路径分析(Path analysis)
在线阅读 下载PDF
基于遗传算法和最小二乘支持向量机的织物剪切性能预测 被引量:2
6
作者 卢桂馥 王勇 +1 位作者 窦易文 Gui-fu Yi-wen 《计量学报》 CSCD 北大核心 2009年第6期-,共4页
提出了一种基于最小二乘支持向量机的织物剪切性能预测模型,并且采用遗传算法进行最小二乘支持向量机的参数优化,将获得的样本进行归一化处理后,将其输入预测模型以得到预测结果.仿真结果表明,基于最小二乘支持向量机的预测模型比BP神... 提出了一种基于最小二乘支持向量机的织物剪切性能预测模型,并且采用遗传算法进行最小二乘支持向量机的参数优化,将获得的样本进行归一化处理后,将其输入预测模型以得到预测结果.仿真结果表明,基于最小二乘支持向量机的预测模型比BP神经网络和线性回归方法具有更高的精度和范化能力. Abstract: A new method is proposed to predict the fabric shearing property with least square support vector machines ( LS-SVM ). The genetic algorithm is investigated to select the parameters of LS-SVM models as a means of improving the LS- SVM prediction. After normalizing the sampling data, the sampling data are inputted into the model to gain the prediction result. The simulation results show the prediction model gives better forecasting accuracy and generalization ability than BP neural network and linear regression method. 展开更多
关键词 基于遗传算法 最小二乘支持向量机 织物 剪切 性能预测模型 SUPPORT VECTOR MACHINES sampling data SUPPORT VECTOR MACHINES generalization ability simulation results linear regression genetic algorithm BP neural network prediction model 线性回归方法 LS-SVM least square 归一化处理 new method 预测结果
在线阅读 下载PDF
面向城市固废焚烧过程的缺失数据填充及应用 被引量:3
7
作者 汤健 徐雯 +1 位作者 夏恒 乔俊飞 《北京工业大学学报》 CAS CSCD 北大核心 2023年第4期435-448,共14页
针对城市固废焚烧(municipal solid waste incineration, MSWI)过程中存在的随机和连续数据缺失问题,提出了一种基于专家经验和约简特征集成模型的填充方法.首先,将过程数据缺失情况识别为随机分布、时间维度和特征维度缺失3种类型.接着... 针对城市固废焚烧(municipal solid waste incineration, MSWI)过程中存在的随机和连续数据缺失问题,提出了一种基于专家经验和约简特征集成模型的填充方法.首先,将过程数据缺失情况识别为随机分布、时间维度和特征维度缺失3种类型.接着,基于专家经验对前2种类型进行缺失填充后,面向第3种类型基于分布相似性和互信息相关性为缺失特征预测模型选择建模数据集和约简特征,建立具有互补特性的随机森林、梯度提升决策树和反向传播神经网络子模型对缺失值进行初步预测,利用贝叶斯线性回归(Bayesian linear regression, BLR)构建集成模型以获得最终填充值.最后,利用填充后的MSWI数据建立基于跨层全连接深度森林回归的二噁英排放浓度软测量模型.实验结果表明所提方法提高了MSWI过程数据的质量. 展开更多
关键词 城市固废焚烧(municipal solid waste incineration MSWI) 数据填充 专家经验 约简特征 集成模型 贝叶斯线性回归(Bayesian linear regression BLR)
在线阅读 下载PDF
应用最佳线性无偏估计法选择加系大约克猪选育的遗传进展与分析
8
作者 楼平儿 汪黎明 +1 位作者 华坚青 钟土木 《养猪》 2005年第6期21-22,共2页
关键词 最佳线性无偏估计 遗传进展 估计法 大约克猪 应用 育种值估计 大约克种猪 选育 linear 动物模型
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部