排序方式: 共有49条查询结果,搜索用时 0 毫秒
1.
针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证. 相似文献
2.
本文采用SAP2000分析设计软件建立21层巨型框架结构模型,进行pushover分析,并与非线性时程分析的结果对比。 相似文献
3.
王小兵 《科技情报开发与经济》2012,22(20):138-140
通过对比分析两台机组主要辅机在典型负荷下的耗电率,找出厂用电率偏高的原因,采取了一系列节电技改措施,包括凝泵变频技改、电除尘节能技改、空预器漏风治理、给水泵运行方式优化等,取得了很好的效果,厂用电率比2008年降低了0.41%。 相似文献
4.
编辑的学术作用是编辑理论体系中的一个重要组成部分,如果忽视编辑的学术作用,编辑学就失去了建立的必要,即使建立也就成了纯粹的文章学。编辑的学术作用与编辑工作改革也紧密相关,如果忽视编辑的学术作用,编辑工作改革就会失去正确的方向,而可能片面地引导编辑去追求一年创造多少利润。实际上,这两种倾向或苗头是存在的,因而有必要对编辑的学术作用进行研讨。编辑的学术作用涉及编辑的社会地位,编辑工作的特点,编辑工作的方法以及编辑素质的提高等方面。1出版与科研体现了编辑的地位从形式上看,科学过程包括知识的生产、收集、检验、修改、信息传播、综合、讲授和应用。古代,科学不发达,上述环节中,除“应用”外,主要由一个人完成,即作者、编辑、教师集于一身,在这个意义上,可以把孔子说成是我国编辑的鼻祖。近代,确立了出版者综合与传播信息的作用,但作者与编辑还常常分不开,在这个意义上,可以把鲁迅说成是编辑的楷模。到了现代,科学技术高速发展,信息越来越多,分工越来越细,作者同时当编辑已不是最佳方案,科学过程的各环节就由作者、编辑、出版者和使用者来体现了。正规的科技编辑可以为科学界进行广泛的交流和建立科学发现的优先秩序提供基础。但是,人们对这样形成正规... 相似文献
5.
6.
现代小型无人机一次飞行过程中大气温度变化量可以达到80℃左右.为追求发动机合理的空燃比和飞行效费比,测量了燃油粘度-温度特性,并利用计算及试验法,研究了小型无人机发动机使用纯汽油或混合油温度在-40℃~+40℃条件下,其粘度-温度特性对化油器各量孔燃油流量系数的干扰力度.研究结果表明,当燃油温度变化量在80℃范围内时,... 相似文献
7.
8.
氢氯噻嗪药物共晶的制备、表征及量化计算 总被引:2,自引:0,他引:2
以氢氯噻嗪(HCT)作为药物活性成分(API),以烟酰胺、烟酸作为共晶形成物(CCF),在室温条件下制得2种药物共晶HCT·NCA(1)、HCT·NNA(2).通过X-射线单晶衍射测定了它们的晶体结构,并进行了元素分析、红外光谱、X-射线粉末衍射表征.此外,利用Gausian 03W程序,在B3LYP/6-31G(d)水平上对2种化合物进行了结构全优化,对其分子轨道能量、前线分子轨道、自然键轨道(NBO)等进行了量子化学计算分析. 相似文献
9.
为解决无人机发动机高度特性,首次提出并研制出了应用在TILLOTSON膜片式化油器省油器上的高度补偿器,其结构轻巧并能自动调节,装机后使耗油量减少,从而使得巡航高度增加且留空时间增长;推导出了满足工程要求的补偿器截流量校核方法.大量飞行实验结果表明,改进后的化油器其结构合理,效果明显,较大程度缓和了巡航高度与续航时间的矛盾. 相似文献
10.
目前圆标志定位主要通过拟合边缘像素获取中心位置,理想情况可达亚像素级精度;但计算复杂且受噪声影响大。对此,引入一种无需圆拟合,在边缘提取与粗定位基础上利用圆标志边缘像素迭代逼近圆心的高精度定位方法;并着重探究迭代中心点误差随叠加噪声与迭代次数不同而存在的影响规律。研究结果表明:在叠加相同水平噪声而迭代不同次数情况下,迭代中心点误差呈指数函数分布;在迭代相同次数而叠加不同水平噪声情况下,其呈傅里叶函数分布;且圆标志x与y方向误差分布模型相似,进一步说明通过该类模型可对圆标志在不同噪声下的定位精度进行较为精确地估计。最后实际标志成像计算结果表明定位精度达到0.02像素。 相似文献