期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
一种高效的具有无条件安全可验证性的秘密共享方案 被引量:1
1
作者 陈振华 李顺东 +1 位作者 杨晓元 刘新 《小型微型计算机系统》 CSCD 北大核心 2015年第6期1301-1305,共5页
当欺骗者的个数t≤(k-1)/3.时,给出一种新的可识别t个欺骗者的门限秘密共享方案.该方案采用单一密钥的强泛Hash函数充当消息验证码M AC,取得了无条件安全的可验证性;利用中国剩余定理取代传统的多项式进行秘密的分配和重构,降低了计算成... 当欺骗者的个数t≤(k-1)/3.时,给出一种新的可识别t个欺骗者的门限秘密共享方案.该方案采用单一密钥的强泛Hash函数充当消息验证码M AC,取得了无条件安全的可验证性;利用中国剩余定理取代传统的多项式进行秘密的分配和重构,降低了计算成本.在该方案中,由于所有参与者分享同一个MAC的密钥,而不是每人分配一个密钥,因此方案简单有效,并且份额大小不会随着参与者和欺骗者的增加而线性增长,节省了通信开销.最后的分析和比较显示,我们的方案在计算成本,通信量方面取得了较好的效率. 展开更多
关键词 条件安全可验证 秘密共享 识别 中国剩余定理 RS码 强泛Hash函数
下载PDF
发电机群相关识别算法假设条件的验证 被引量:3
2
作者 王建功 闫有朋 云昌钦 《电力系统及其自动化学报》 CSCD 北大核心 2005年第4期53-58,共6页
常用的发电机群相关识别算法,大都针对电网扰动和计算模型对相关机群识别结果的影响做出一定假设。为了验证这些假设的合理性,使用动态稳定分析程序针对一个6机22节点的电网模型进行各种条件下的相关识别结果对照。根据计算得到的发电... 常用的发电机群相关识别算法,大都针对电网扰动和计算模型对相关机群识别结果的影响做出一定假设。为了验证这些假设的合理性,使用动态稳定分析程序针对一个6机22节点的电网模型进行各种条件下的相关识别结果对照。根据计算得到的发电机转子摇摆曲线数据,计算出两两发电机组相关程度指标,并进行量化对比。对比的结果显示:电网扰动的大小、发电机模型的复杂程度、负荷模型的类型对发电机群相关识别的结果影响很小,从而验证了假设条件的合理性。 展开更多
关键词 电力系统 相关识别 假设条件验证 相关度指标 定量分析
下载PDF
电流表内接和外接判定条件的一种验证方法
3
作者 张云山 《甘肃联合大学学报(自然科学版)》 2010年第S2期101-,103,共2页
伏安法测电阻电流表外接或内接都存在误差,当R_x/R_v<R_A/R_x时电流表外接,当R_x/R_v>R_A/R_x时,电流表内接,对该判剧进行了验证性证明.
关键词 伏安法测电阻 内外接法 判定条件验证
下载PDF
机载电子系统验证能力建设研究
4
作者 张军才 刘绚 李碧涵 《航空计算技术》 2023年第1期131-134,共4页
随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证... 随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证使能设备总体清单、实现路径和验证平台设计进行分析,提出验证条件的建设思路;对设计仿真技术、自动化测试技术和健壮性测试技术进行分析,提出验证技术的研发思路。 展开更多
关键词 验证能力 验证体系 验证条件 验证技术
下载PDF
一个用于指针程序验证的自动定理证明器的设计与实现 被引量:2
5
作者 王振明 陈意云 王志芳 《小型微型计算机系统》 CSCD 北大核心 2010年第5期801-806,共6页
对高可信软件需求的增加使得指针程序的验证成为近期的研究热点.指针逻辑作为Hoare逻辑的扩展,可以对指针程序进行精确的分析.介绍一个针对指针逻辑的自动定理证明器的设计和实现,描述了一些算法.实验结果表明,该定理证明器可以完全自... 对高可信软件需求的增加使得指针程序的验证成为近期的研究热点.指针逻辑作为Hoare逻辑的扩展,可以对指针程序进行精确的分析.介绍一个针对指针逻辑的自动定理证明器的设计和实现,描述了一些算法.实验结果表明,该定理证明器可以完全自动的证明用类C语言编写的关于单链表,双链表和二叉树的指针程序的验证条件,并生成机器可检查的证明. 展开更多
关键词 指针逻辑 验证条件 自动定理证明器 证明检查算法
下载PDF
响应曲面法漂白紫胶真空干燥条件的优化 被引量:9
6
作者 于连松 周梅村 +4 位作者 郑华 甘瑾 张汝国 张弘 陈智勇 《食品科学》 EI CAS CSCD 北大核心 2009年第18期121-125,共5页
为得到漂白紫胶真空干燥的优化条件,研究了不同温度和压强条件下漂白紫胶产品的颜色指数和干燥时间,用响应曲面法(RSM)设计试验并建立了真空干燥方法的拟合方程。结果表明,预测值和实测值的一致性较好,所建立的数学模型可以用于描述漂... 为得到漂白紫胶真空干燥的优化条件,研究了不同温度和压强条件下漂白紫胶产品的颜色指数和干燥时间,用响应曲面法(RSM)设计试验并建立了真空干燥方法的拟合方程。结果表明,预测值和实测值的一致性较好,所建立的数学模型可以用于描述漂白紫胶的真空干燥。通过优化得到了漂白紫胶真空干燥的最优条件:温度30℃,压强30kPa,可以得到颜色指数为1.0的漂白紫胶,其指标符合国家精制漂白紫胶1级标准;温度50℃,压强30kPa,可以得到颜色指数为1.4的漂白紫胶,其指标符合国家精制漂白紫胶2级标准。同时对此条件进行了验证,结果表明这两种条件下制得的漂白紫胶符合国家标准,可以为生产提供参考。 展开更多
关键词 漂白紫胶 真空干燥 条件优化验证 响应曲面法
下载PDF
’98全市《统计岗位证书》验证工作已全面展开
7
《数据》 1998年第8期6-6,共1页
关键词 验证工作 统计人员 证书验证 验证时间 统计局 普法工作 北京市 部门组织 岗位培训 验证条件
下载PDF
一个出具证明编译器原型系统的实现 被引量:1
8
作者 刘诚 陈意云 +1 位作者 葛琳 华保健 《计算机工程与应用》 CSCD 北大核心 2007年第21期99-102,114,共5页
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。
关键词 软件安全 出具证明编译器 验证条件 形式化证明方法 证明生成器
下载PDF
用于指针逻辑的自动定理证明器(英文) 被引量:1
9
作者 王振明 陈意云 王志芳 《软件学报》 EI CSCD 北大核心 2009年第8期2037-2050,共14页
提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自... 提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自动定理证明器. 展开更多
关键词 指针程序 指针逻辑 验证条件 自动定理证明器 证明检查器
下载PDF
FORTRAN程序正确性的形式证明
10
作者 宋国新 郑坚平 孙永强 《上海交通大学学报》 EI CAS 1987年第6期17-26,116,共11页
本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。
关键词 程序的正确性 程序规范 路径 验证条件
下载PDF
一类奇异积分在空间L[0,1]的收敛性 被引量:1
11
作者 李绍奎 《大学数学》 1995年第2期133-137,共5页
本文构造了一类奇异积分,并讨论了在空间L[0,1]的收敛性,它包含了和研究过的三个线性算子,并将前面两个算子的收效性由空间C[0,1],推广到空间L[0,1]。
关键词 奇异积分 收敛性 几乎处处收敛 实变函数论 线性算子 验证条件 天津医科大学 收敛判别法 积分核 函数构造论
下载PDF
测风塔与风力发电机组风速数据相关性分析 被引量:8
12
作者 刘昌华 《内蒙古电力技术》 2012年第3期16-20,共5页
由于风力发电机组与测风塔所处位置不同,风速计高度和地形不同等原因,造成风力机与测风塔数据存在差异。对大唐国际卓资风电场一期工程32台风力发电机组与风电场内测风塔风速数据进行对比,确定二者的相关性。选用各自10 min间隔的风速... 由于风力发电机组与测风塔所处位置不同,风速计高度和地形不同等原因,造成风力机与测风塔数据存在差异。对大唐国际卓资风电场一期工程32台风力发电机组与风电场内测风塔风速数据进行对比,确定二者的相关性。选用各自10 min间隔的风速平均值的最高分辨率数据作为比对数据,提取2011年全部数据导入Excel软件中,进行严格的数据可信度分析后对数据进行处理,并通过Pearson系数及平均差、绝对值差、均方根差、平均绝对百分比差等5种方法进行验证,结果证明了风力发电机组与风电场内测风塔风速数据具有极强的相关性。 展开更多
关键词 风力发电机组 测风塔 风速 验证条件 数据对比 相关性
下载PDF
冬季基础施工中的质量保证措施 被引量:1
13
作者 施永辉 《中国新技术新产品》 2016年第12期159-160,共2页
送电线路施工经常会受到地形、气候条件等复杂的外部环境影响,使基础施工难度增大,尤其是冬季施工,外部条件恶劣,基础混凝土质量很难得到有效控制,并且冬季浇制混凝土的施工成本高,容易造成资源浪费,因而如何控制冬季混凝土浇制施工成... 送电线路施工经常会受到地形、气候条件等复杂的外部环境影响,使基础施工难度增大,尤其是冬季施工,外部条件恶劣,基础混凝土质量很难得到有效控制,并且冬季浇制混凝土的施工成本高,容易造成资源浪费,因而如何控制冬季混凝土浇制施工成本又能保证其混凝土的质量一直是送电线路施工中的难题。本文介绍了利用施工现场的地形、环境气候条件及现场施工条件解决冬季混凝土浇制的一些问题及施工中的注意事项。 展开更多
关键词 初凝 终凝 验证施工条件 暖棚法
下载PDF
Isomerization of alkyl naphthalene and refining of 2-methylnaphthalene 被引量:2
14
作者 Hao Sun saijian Shi Zhenggui Gu 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2017年第2期149-152,共4页
A preparation process of 2-methylnaphthalene (2-MN) was proposed by isomerization, side-stream distillation and extractive distillation. The isomerization of alkyl naphthalene was catalyzed by acid-treated HBEA zeol... A preparation process of 2-methylnaphthalene (2-MN) was proposed by isomerization, side-stream distillation and extractive distillation. The isomerization of alkyl naphthalene was catalyzed by acid-treated HBEA zeolites, and the 2-MN selectivity of isomerization was 92.70%. Side-stream distillation and extractive distillation were investigated by simulation, and effects of operation parameters on 2-MN were studied. Further, the simulated results were verified by experiment. Under the optimal condition, the mass fraction of 2-MN reached to 98.09%; in the oroduct, and the yield was 83.84% in refining orocess. 展开更多
关键词 Side-stream distillationExtractive distillationlsomerization2-MethylnaphthaleneSimulationCatalyst
下载PDF
A new type of facility to assist ship safely though the Rapids Rubber Dam
15
作者 XlA Demin 《International English Education Research》 2016年第4期79-81,共3页
Rapids and shoals in the channel have a huge impact on the safety of the ship navigation, Based on the principle of a rubber dam can always adjust the height of the dam and raise upstream water level, This thesis crea... Rapids and shoals in the channel have a huge impact on the safety of the ship navigation, Based on the principle of a rubber dam can always adjust the height of the dam and raise upstream water level, This thesis creatively proposed the principle which applied to rapids and shoals in the Channel. In order to achieve the purpose of assisting ship through the channel safely. In this paper, through theoretical calculations verified the rubber dam has characteristics of raising water level, increasing the depth of the shoals, reducing the flow velocity, reducing water surface slope and improving the conditions of navigation. Therefore, this study has a wide range of practical value and application prospects in the project 展开更多
关键词 Rubber dam Rapids and shoals Raise water level Flow velocity Water surface slope Navigation condition
下载PDF
关于洛必达(L′Hospitol)法则的一点注记
16
作者 李运樵 《高等数学研究》 2004年第5期43-44,55,共3页
给出使用洛必达法则的程序 ,并给出判别法则中条件limf′g′,limf″g″,…存在性的方法。
关键词 洛必达法则 微分 极限 条件验证 可去间断点
下载PDF
Hyaluronidase Proof for Endothelial Glycocalyx as Partaker of Microcirculation Disturbances
17
作者 Alexander Maksimenko Askar Turashev +2 位作者 Anatoly Rogoza Elena Tischenko Andrey Fedorovicht 《Journal of Life Sciences》 2013年第2期171-188,共18页
Covalent modification of bovine testicular hyaluronidase with chondroitin sulphate led to changes in the pattern of glycation of native and modified enzyme in its reaction with neutral saccharides and N-acetylhexosami... Covalent modification of bovine testicular hyaluronidase with chondroitin sulphate led to changes in the pattern of glycation of native and modified enzyme in its reaction with neutral saccharides and N-acetylhexosamines. Thus, mono- and di-saccharides inactivated the native hyaluronidase to a greater extent than the chondroitin sulfate-modified enzyme. N-acetylhexosamine, on the opposite, inactivated the modified hyaluronidase to a greater extent than the native one. These properties made it possible to use native and modified hyaluronidase as an informative research system for in vivo measurement of the predominant type of saccharide agents in the circulation. The proposed approach was experimentally substantiated by obtained results of the study on these interactions of hyaluronidase derivatives with hyaluronan fragments and their mixture. In a model of post-ischemic perfusion of the rat limb, the effect of hyaluronidase derivatives and their components on restoration of the microcirculation were tracked using laser Doppler flowmetry. Native hyaluronidase accelerated the restoration of initial level of microcirculation, but modified enzyme was markedly inhibited by glycocalyx degradation products. N-acetylhexosamine was positioned at the reducing terminal of these products as a natural label for these glycocalyx fragments. These and other data obtained under various experimental conditions supported the participation of endothelial glycocalyx in microcirculation disturbances. 展开更多
关键词 MICROCIRCULATION vascular biology endothelial glycocalyx chondroitin sulfate HYALURONIDASE laser Doppler flowmetry.
下载PDF
Validation of the TASS/SMR-S Code for the Core Heat Transfer Model on the Steady Experimental Conditions
18
作者 In Sub Jun Kyoo Hwan Bae Young Jong Chung Won Jae Lee 《Journal of Energy and Power Engineering》 2012年第3期338-345,共8页
The SMART (System-integrated Modular Advanced ReacTor) which is a 330 MWt advanced integral PWR was developed by the KAERI (Korea Atomic Energy Institute) for electricity generation and seawater desalination. To e... The SMART (System-integrated Modular Advanced ReacTor) which is a 330 MWt advanced integral PWR was developed by the KAERI (Korea Atomic Energy Institute) for electricity generation and seawater desalination. To enhance its safety, the various design concepts were adopted such as the most containing of the RCS (reactor coolant system) components and a PRHRS (passive residual heat removal system). To ensure the safety and performance of the SMART, a thermal hydraulic evaluation and safety analysis are performed by the TASS/SMR-S code. It uses a one dimensional node/path modeling and point kinetics for the core power simulation. The code also has specific models reflecting the design features of the SMART such as a helical tube and PRHRS heat transfer models. In this study, the validation of the core heat transfer model in the TASS/SMR-S code on the steady conditions was performed with the Bennett's heated tube tests and THTF (thermal hydraulic test facility) experiment. From the results of the TASS/SMR-S code calculation, the CHF (critical heat flux) point and the fuel rod surface temperature were predicted conservatively compared to the test results. 展开更多
关键词 SMART TASS/SMR-S code core heat transfer model Bennett tube test THTF experiment.
下载PDF
Thermal Response Test for Kelix GHE System
19
作者 Ron Xia Gino Di Rezze 《Journal of Energy and Power Engineering》 2013年第6期1066-1072,共7页
The performance of a BTES (borehole thermal energy storage) system is primarily governed by ground heat flux, soil thermal properties and groundwater conditions. However, the design of the heat exchanger used within... The performance of a BTES (borehole thermal energy storage) system is primarily governed by ground heat flux, soil thermal properties and groundwater conditions. However, the design of the heat exchanger used within the BTES system can also make a significant difference in the efficiency of the system. A thermal response test was carded out for a Kelix GHE (ground heat exchanger) system, the latest innovation in geothermal ground loop construction, on an Ecofarm in the town of Caledon East, Ontario, Canada. In addition, a verifying test was performed for a CEES (conventional earth energy system) located 6 m away from the Kelix GHE. The boreholes for these two different heat exchanger designs were drilled with the same diameter, to the same depth and were located in the same/identical geo-hydrological conditions. The response test provided the effective average of undisturbed ground temperature, geothermal properties including thermal conductivity, heat capacity and thermal resistance between the fluid and the borehole wall. The mathematical analysis method used for the response test is presented here. Results of the response test were verified, analyzed and are further discussed. 展开更多
关键词 Response test Kelix GHE CONDUCTIVITY thermal resistance heat pump ground source energy system.
下载PDF
JJG443-2023《燃油加油机检定规程(试行)》解读(二)
20
作者 杨静 杨经荣 《中国计量》 2024年第4期46-50,54,共6页
文章对JJG 443-2023《燃油加油机检定规程(试行)》的部分条款进行了解读,重点阐述了执行该规程前的条件验证、铭牌标记和结构型式检查、自锁功能检查等内容,旨在指导检定人员正确理解并执行该规程。
关键词 计量学 燃油加油机 检定规程 条件验证 铭牌标记和结构型式检查 自锁功能检查
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部