期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
龙滩水电站汛期分期及合理性检验 预览
1
作者 陈立华 潘子豪 +1 位作者 刘为福 滕翔 《水力发电》 北大核心 2019年第5期17-21,共5页
合理的汛期分期是提出分期汛限水位决策意见的重要前提,对充分发挥水电站防洪、发电、生态、压咸能力及提高洪水资源利用率有重要意义。为此,研究运用矢量统计法和模糊集合分析法对龙滩水电站进行汛期分期计算,通过相对频率计算、置信... 合理的汛期分期是提出分期汛限水位决策意见的重要前提,对充分发挥水电站防洪、发电、生态、压咸能力及提高洪水资源利用率有重要意义。为此,研究运用矢量统计法和模糊集合分析法对龙滩水电站进行汛期分期计算,通过相对频率计算、置信区间计算、非参数统计自助法取样和模糊优选4步对汛期分期进行合理性检验。经检验后可知,相对优属度最高、较合理的汛期分期方案:龙滩水电站前汛期为4月1日~6月9日,主汛期为6月10日~9月1日,后汛期为9月2日~10月31日。 展开更多
关键词 汛期分期 合理性检验 矢量统计法 模糊集合分析法 龙滩水电站
在线阅读 下载PDF
MapReduce rationality verification based on object Petri net 预览
2
作者 DING Zeliu GUO Deke +1 位作者 CHEN Xi CHEN Jin 《系统工程与电子技术:英文版》 SCIE EI CSCD 2019年第5期861-874,共14页
As a powerful distributed data processing mechanism,MapReduce supports abundant parallel applications that process massive data on computer clusters.To process the massive data efficiently and correctly,a rational des... As a powerful distributed data processing mechanism,MapReduce supports abundant parallel applications that process massive data on computer clusters.To process the massive data efficiently and correctly,a rational design for the MapReduce procedure is desired.An irrational MapReduce procedure can cause great waste of computing resources and even paralyze the execution system.With the wide application of MapReduce,the unavoidable drawback of irrational MapReduce procedures becomes increasingly serious.To solve this problem,a method for verifying the rationality of a MapReduce procedure before executing it on a computer cluster is proposed.This method constructs the rationality criteria for MapReduce,and then studies an automatic approach for modelling MapReduce with an executable model object Petri net(OPN).Finally,the approaches for automatically identifying the rationality criteria by analyzing the consequence of model execution is developed.The results from extensive case studies demonstrate that the proposed method is feasible and effective. 展开更多
关键词 MAPREDUCE RATIONALITY VERIFICATION CLOUD computingframework
在线阅读 下载PDF
集料图像测量系统(AIMSⅡ)的评价指标研究与合理性验证 预览
3
作者 陈甲康 高俊锋 +1 位作者 汪海年 卜胤 《筑路机械与施工机械化》 2019年第9期100-105,共6页
为了研究集料的测量与评价问题,阐释了集料图像测量系统(AIMSⅡ)设备的工作原理,研究了集料3个形态特征分量,即形状、棱角和表面纹理的评价指标;测量并分析了3种标准形状物体(球体、标准多边体1、标准多边体2)的形态特征。结果表明:集... 为了研究集料的测量与评价问题,阐释了集料图像测量系统(AIMSⅡ)设备的工作原理,研究了集料3个形态特征分量,即形状、棱角和表面纹理的评价指标;测量并分析了3种标准形状物体(球体、标准多边体1、标准多边体2)的形态特征。结果表明:集料图像测量系统(AIMSⅡ)的测量结果与物体实际情况相吻合,采用该系统评价集料的形状、棱角和表面纹理均有一定的合理性。 展开更多
关键词 集料检测 图像测量系统 形态特征 合理性验证
在线阅读 下载PDF
一种基于改进Petri网的工作流案件分布式处理系统模型 预览 被引量:1
4
作者 刘施羽 刘知贵 《计算机应用研究》 CSCD 北大核心 2015年第2期475-478,共4页
针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作流技术,解析案件处理特征,对案件处理系统动态过程进行规划、调度和调整,在建模过程中引入Petri网分布式... 针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作流技术,解析案件处理特征,对案件处理系统动态过程进行规划、调度和调整,在建模过程中引入Petri网分布式处理框架和工作流的路由结构、触发机制,建立了一种改进Petri的网工作流案件分布式处理系统模型,并对模型进行定义化描述和合理性验证,为司法部门案件处理提供高效、安全、可靠的平台。 展开更多
关键词 案件处理 PETRI网 工作流 分布式处理 动态规划 合理性验证 系统模型
在线阅读 下载PDF
一种Web服务组合模型合理性验证方法 预览 被引量:1
5
作者 胡晓静 刘士喜 王涛 《湖北工程学院学报》 2015年第3期16-20,共5页
为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其... 为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的W eb服务组合Petri网模型证明了本文方法的有效性。 展开更多
关键词 WEB服务 PETRI网 合理性验证 自由选择网
在线阅读 免费下载
靖安油田大路沟二区流动单元划分及合理性验证 预览 被引量:5
6
作者 张富美 方朝刚 +6 位作者 彭功名 姚文礼 李昆 孙怀遐 李宗毅 闫国峰 郭华粘 《油气地质与采收率》 CAS CSCD 北大核心 2013年第1期44-47,共4页
为了提高油藏开发效果,根据大路沟二区油藏的渗流特征,采用岩性物性方法划分了流动单元,并且用判别分析法、微观渗流实验法、生产动态法、井间示踪剂法、数值模拟法进行了合理性验证。研究区共分为A,B,C和D共4类流动单元,不同流... 为了提高油藏开发效果,根据大路沟二区油藏的渗流特征,采用岩性物性方法划分了流动单元,并且用判别分析法、微观渗流实验法、生产动态法、井间示踪剂法、数值模拟法进行了合理性验证。研究区共分为A,B,C和D共4类流动单元,不同流动单元分布的相位不同,具有不同物性和微观渗流特征。综合验证结果表明,研究区的产能特征、储层吸水状况及见水见效特征和剩余油分布规律,与各流动单元的物性特征对应较好,表明所划分的流动单元是合理的。B类和C类流动单元及几类流动单元结合的区域为剩余油富集区,应作为调整挖潜的重点;可以根据流动单元的水驱优先顺序组合,决定注水调配原则。 展开更多
关键词 流动单元划分 剩余油调整挖潜 合理性验证 大路沟二区靖安油田
在线阅读 下载PDF
CTCS-3级列控系统测试序列合理性验证的研究 预览 被引量:2
7
作者 张仕雄 《铁道标准设计》 北大核心 2012年第12期共4页
CTCS-3级列控系统测试序列是实验室以及现场调试和测试的基础,而测试序列的合理性将决定测试过程是否能够正确完成.在分析测试序列设计原则的基础上,结合测试序列生成条件、方法和步骤,得出测试序列合理性验证所需验证的内容.并在此基... CTCS-3级列控系统测试序列是实验室以及现场调试和测试的基础,而测试序列的合理性将决定测试过程是否能够正确完成.在分析测试序列设计原则的基础上,结合测试序列生成条件、方法和步骤,得出测试序列合理性验证所需验证的内容.并在此基础上开发了测试序列合理性验证工具,从而提高了测试序列合理性验证的效率和智能化程度. 展开更多
关键词 测试序列 合理性验证 列控系统
在线阅读 下载PDF
膨胀土填料分类指标体系的合理性验证 被引量:6
8
作者 杨和平 湛文涛 +1 位作者 肖杰 赵文建 《公路交通科技》 CAS CSCD 北大核心 2012年第8期1-7,共7页
为进一步检验膨胀土填料分类指标体系的合理性,对在建广西百隆高速路上3种膨胀土系统开展了基本土性和各种强度、变形等路用性能试验,全面分析测试结果并对照新填料分类体系,3种土样均满足以改进CBR值、改进CBR膨胀量和稠度为指标的... 为进一步检验膨胀土填料分类指标体系的合理性,对在建广西百隆高速路上3种膨胀土系统开展了基本土性和各种强度、变形等路用性能试验,全面分析测试结果并对照新填料分类体系,3种土样均满足以改进CBR值、改进CBR膨胀量和稠度为指标的分级标准,都可直接用于下路堤填筑。据此,按物理处治技术原理并结合工程实施条件,采取粘土包边膨胀土夹层填芯方案,将性质最差的1号土分2阶段填筑于ZK176+135~+410路段,共消耗膨胀土60000m3,跟踪检测表明,路堤施工质量良好。通过系统试验和修建工程实体验证了膨胀土填料三指标分类体系的合理性。 展开更多
关键词 道路工程 膨胀土 土性试验 三指标分类体系 物理处治 合理性验证
工作流网合理性验证的矩阵实现 预览
9
作者 刘川 陈金玉 《重庆理工大学学报:自然科学》 CAS 2012年第11期75-79,共5页
业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理性进行验证,改进了一种工作流网模型的合理性验证算法,将工作流网模型用矩阵及向量的形式表示,基于矩阵... 业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理性进行验证,改进了一种工作流网模型的合理性验证算法,将工作流网模型用矩阵及向量的形式表示,基于矩阵运算对合理性进行判断。该方法更便于计算机实现,并且对不合理性情况进行了判断处理,在一定程度上提高了验证的效率。 展开更多
关键词 工作流网 合理性验证 不合理检查
在线阅读 免费下载
基于控制关系和数据关系的科学工作流验证 预览
10
作者 刘茜萍 韩京宇 《计算机工程》 CAS CSCD 北大核心 2011年第23期 40-42,共3页
面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性。为此,分析科学工作流中的4种控制关系和2种数据关系,给出相关合理性定义,提出相应算法以遍历获得科学工作流中存在的控制关系和数据关... 面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性。为此,分析科学工作流中的4种控制关系和2种数据关系,给出相关合理性定义,提出相应算法以遍历获得科学工作流中存在的控制关系和数据关系,实现对科学工作流的合理性验证。通过正反实例证明了该验证方法的有效性。 展开更多
关键词 科学工作流 合理性验证 控制关系 数据关系 互斥 共存
在线阅读 下载PDF
遥测雨量站网的布设与合理性论证 预览 被引量:2
11
作者 李伟珮 张诚 +1 位作者 李全胜 盖永岗 《水利水文自动化》 2009年第3期 41-43,共3页
遥测雨量站网的布设是水情自动测报系统建设中一项重要的工作,应使拟定的遥测站网密度恰当,分布合理。根据遥测雨量站布设原则,分析有资料和无资料流域2种情况下雨量站的布设。并根据实际经验,结合实例,分别以面雨量和以流量精度... 遥测雨量站网的布设是水情自动测报系统建设中一项重要的工作,应使拟定的遥测站网密度恰当,分布合理。根据遥测雨量站布设原则,分析有资料和无资料流域2种情况下雨量站的布设。并根据实际经验,结合实例,分别以面雨量和以流量精度作为目标函数,对水情自动测报系统遥测雨量站网的布设及合理性进行分析论证。在实际应用中,应根据工程特点,结合流域雨洪特点、现有站网和预报模型综合确定雨量布设站网。 展开更多
关键词 遥测 雨量站 站网布设 合理性论证
在线阅读 下载PDF
中轻冰区输电线路设计冰厚分析计算 预览 被引量:1
12
作者 潘晓春 《江苏电机工程》 2008年第6期 21-24,共4页
中轻冰区往往因缺乏覆冰资料,难以进行覆冰频率统计。基于覆冰强度的概念,提出一种简单的覆冰重现期分析模型,试图解决历史覆冰重现期难以确定的问题,并认为在同一气候区内相邻地区间冰厚随高程的变率是相近的。据此,导出安徽沿江... 中轻冰区往往因缺乏覆冰资料,难以进行覆冰频率统计。基于覆冰强度的概念,提出一种简单的覆冰重现期分析模型,试图解决历史覆冰重现期难以确定的问题,并认为在同一气候区内相邻地区间冰厚随高程的变率是相近的。据此,导出安徽沿江江南地区设计冰厚的经验关系,并进行合理性检验。 展开更多
关键词 覆冰重现期模型 冰厚修正 合理性检验 冰区划分 分析
在线阅读 下载PDF
试论建设项目环评中总量控制目标的确定及验证 预览
13
作者 周伟 《干旱环境监测》 北大核心 1998年第2期 85-86,89,共3页
就环评报告书如何根据环境管理的要求和项目的特点,对所确定污染物总量控制目标的合理性,从多方面进行了验证。
关键词 污染物 总量控制目标 建设项目 环境影响评价
在线阅读 下载PDF
高层钢框架多遇地震下合理刚度设计方法的验证分析 预览
14
作者 于海博 何若全 高晓莹 《苏州科技学院学报:工程技术版》 CAS 2004年第4期 33-37,45,共6页
高层钢结构的合理刚度设计方法是一种不同于传统设计思路的新的抗震设计方法,它将抗震验算转换为对抗震结构的刚度设计,从而掌握了抗震设计的主动性,使结构设计做到科学合理.总结了高层钢框架结构多遇地震下的合理刚度设计方法,并对该... 高层钢结构的合理刚度设计方法是一种不同于传统设计思路的新的抗震设计方法,它将抗震验算转换为对抗震结构的刚度设计,从而掌握了抗震设计的主动性,使结构设计做到科学合理.总结了高层钢框架结构多遇地震下的合理刚度设计方法,并对该设计方法进行了反应谱和时程的验证分析. 展开更多
关键词 高层钢框架 抗震设计 合理刚度 验证分析
在线阅读 下载PDF
关系自我中也存在自我证实动机吗?——来自表征激活与启动的实验考察 预览 被引量:1
15
作者 胡小勇 周西堉 郭永玉 《苏州大学学报:教育科学版》 2015年第4期42-52,共11页
采用社会认知研究的表征激活范式和自我证实领域常用的启动程序,在中国文化背景下,考察关系自我与寻求他人的评价证实之间关系。发现无论是在遇到与积极重要他人相似的陌生人发生移情的情况下(研究1),还是通过短文写作启动重要他人表... 采用社会认知研究的表征激活范式和自我证实领域常用的启动程序,在中国文化背景下,考察关系自我与寻求他人的评价证实之间关系。发现无论是在遇到与积极重要他人相似的陌生人发生移情的情况下(研究1),还是通过短文写作启动重要他人表征时(研究2),关系自我与对自身的看法的重要程度这两个因素都具有显著的交互作用,重要他人的表征激活或启动条件下重要自我特质的评价得分在自评和期望他评得分上的一致性最高。结果证明了关系自我定义会在特定关系情境中向重要他人寻求对自身的看法的评价证实。最后在自我证实理论和社会认知模型基础上,对本研究结论展开了讨论。 展开更多
关键词 关系自我 自我证实动机 重要他人 社会认知模型
在线阅读 免费下载
5000HPAHTS轴系合理校中安装工艺实践与总结 预览
16
作者 夏秀山 于全国 +1 位作者 王世栋 史太斌 《造船技术》 2012年第4期26-30,34共6页
介绍了5000HPAHTS主动力装置长轴系采用先进合理校中安装、顶举法进行负荷检验的工艺及技术要点,并对DNV最新版轴系分析计算程序的改进和校中要求的变化进行了说明。经航行试验验证了效果,最后对AHTS船型主动力设备、轴系的校中安装... 介绍了5000HPAHTS主动力装置长轴系采用先进合理校中安装、顶举法进行负荷检验的工艺及技术要点,并对DNV最新版轴系分析计算程序的改进和校中要求的变化进行了说明。经航行试验验证了效果,最后对AHTS船型主动力设备、轴系的校中安装提出了总结性建议。 展开更多
关键词 轴系 合理校中 顶举法
在线阅读 下载PDF
一种分数阶微积分算子的有理函数逼近方法 预览 被引量:9
17
作者 李文 赵慧敏 《自动化学报》 EI CSCD 北大核心 2011年第8期999-1005,共7页
基于有理函数逼近理论,提出了一种分数阶微积分算子s域最佳有理逼近函数的构造方法.详细讨论了构造最佳有理逼近函数的思路、方法及具体算法.运用最佳有理逼近定义及特征定理,对所构造的分数阶积分算予最佳有理逼近函数进行了验证... 基于有理函数逼近理论,提出了一种分数阶微积分算子s域最佳有理逼近函数的构造方法.详细讨论了构造最佳有理逼近函数的思路、方法及具体算法.运用最佳有理逼近定义及特征定理,对所构造的分数阶积分算予最佳有理逼近函数进行了验证.其结果表明:该分数阶微积分算子最佳有理逼近函数构造方法足有效的,且对确定的逼近误差及逼近频带,所构造的最佳有理逼近函数能够以最低阶次取得最佳逼近特性. 展开更多
关键词 最佳有理逼近 分数阶微积分算子 有理函数构造 算法验证
在线阅读 下载PDF
对门诊处方用药适宜性审核工作的思考 预览 被引量:10
18
作者 安文婷 滕丽克 李运密 《中国药房》 CAS CSCD 北大核心 2006年第16期 1267-1269,共3页
目的:探讨门诊处方审核工作的方法及对开展药学服务的意义。方法:对我院2005年1月~2005年6月门诊处方的审核结果进行汇总、分析,并对突出问题作重点讨论。结果:在所审核的处方中,各类非合理用药的比例除抗感染药物占47.39%外,... 目的:探讨门诊处方审核工作的方法及对开展药学服务的意义。方法:对我院2005年1月~2005年6月门诊处方的审核结果进行汇总、分析,并对突出问题作重点讨论。结果:在所审核的处方中,各类非合理用药的比例除抗感染药物占47.39%外,存在相互作用和重复用药的比例分别为25.78%、12.89%。结论:门诊处方审核可为药剂人员搭建起掌握医师用药状态的平台;医师需要更多药物相互作用方面的信息,为药学服务注入了新的工作内容。 展开更多
关键词 用药适宜性 门诊处方 审核 药学服务
在线阅读 下载PDF
基于UML的养老金发放在线指纹识别系统设计 预览 被引量:9
19
作者 陈桂友 胡晓鹏 +1 位作者 孙同景 钟麦英 《计算机工程》 EI CAS CSCD 北大核心 2006年第15期 261-262,265,共3页
基于统一开发过程,利用统一建模语言UML,阐述了面向对象分析和设计思想在养老金发放在线指纹识别系统开发中的应用,建立了系统的需求分析与系统设计UML模型。基于该方法设计的系统已成功应用于山东某地区的养老金发放系统中,彻底解... 基于统一开发过程,利用统一建模语言UML,阐述了面向对象分析和设计思想在养老金发放在线指纹识别系统开发中的应用,建立了系统的需求分析与系统设计UML模型。基于该方法设计的系统已成功应用于山东某地区的养老金发放系统中,彻底解决了养老金的仿冒领问题,具有重大的社会效益和推广应用价值。 展开更多
关键词 UML 基于统一开发过程 在线指纹识别 社会养老保险系统
在线阅读 下载PDF
转识成智与理性直觉——冯契智慧学说述评 预览 被引量:1
20
作者 赵卫东 《山东师范大学学报:人文社会科学版》 北大核心 2004年第2期 15-18,共4页
金岳霖对知识论的态度与元学的态度、名言之域与非名言之域的区分,把知识与智慧割裂开来,为了避免金岳霖在理论上的弊端,冯契提出了以'转识成智'为核心的智慧学说.他通过理性的直觉、辩证的综合与德性的自证,从理论上实现了由... 金岳霖对知识论的态度与元学的态度、名言之域与非名言之域的区分,把知识与智慧割裂开来,为了避免金岳霖在理论上的弊端,冯契提出了以'转识成智'为核心的智慧学说.他通过理性的直觉、辩证的综合与德性的自证,从理论上实现了由知识到智慧的超越.但由于其立足于实证主义的立场,从经验角度来处理知识与智慧的关系,从而也导致了诸多理论上的弊端,使其由知识到智慧的超越缺乏必然性与普遍性的理论保证,未能真正打通由知识通往智慧的道路. 展开更多
关键词 冯契 智慧学说 述评 知识论 理性直觉 德性 “转识成智” 元学
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部 意见反馈