期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
认证测试中协议主体串参数一致性研究 被引量:1
1
作者 余磊 魏仕民 卓泽朋 《计算机工程与应用》 CSCD 北大核心 2015年第13期86-91,152,共7页
针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对消息组件结构的形式化,以及认证测试结构的共性分析,基于认证测试基础理论对认证测试结构进行形式化建模... 针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对消息组件结构的形式化,以及认证测试结构的共性分析,基于认证测试基础理论对认证测试结构进行形式化建模;在认证测试结构模型上,运用协议主体密钥的认证测试构造规则,分析协议主体串在不同类型参数上满足一致性的条件,在明确参数一致性判定规则的同时,给出协议主体串参数一致性分析的形式化方法。协议分析实践表明,该方法较传统方法不仅具有简洁高效、易于自动化实现的优点,而且能够准确定位协议缺陷并给出相应的修正方案。 展开更多
关键词 安全协议 形式化分析 空间模型 认证测试 串参数
下载PDF
船舶主机滑油管系串油工艺的影响因素研究 被引量:2
2
作者 赵春吉 安超 武燊 《中国水运(下半月)》 2019年第2期100-101,共2页
随着造船业的迅速发展,船舶产品工艺技术及质量方面的突破已经成为各个造船企业竞争的核心区域。船舶主机作为"船舶的心脏",在造船过程中尤为重要,而主机滑油管路的串油又是船舶主机安装建造的重中之重,因此主机滑油管系串油... 随着造船业的迅速发展,船舶产品工艺技术及质量方面的突破已经成为各个造船企业竞争的核心区域。船舶主机作为"船舶的心脏",在造船过程中尤为重要,而主机滑油管路的串油又是船舶主机安装建造的重中之重,因此主机滑油管系串油工作需要尤为重视。本文通过对安装MANME系列主机船舶的不同串油工况、串油参数的调节,利用光阻塞颗粒技术设备对串油油样杂质颗粒大小进行检测,可以探索主机滑油管路串油过程中最佳串油方法、工况。 展开更多
关键词 主机滑油管系 参数
下载PDF
基于多目标函数的黏弹性全波形反演 被引量:1
3
作者 梁旭 马越 +4 位作者 刘超 陈真 贾栋栋 李志勇 潘文勇 《煤田地质与勘探》 CAS CSCD 北大核心 2023年第4期152-163,共12页
全波形反演是勘探地球物理领域兴起的核心技术之一,不但可以构建地下速度结构,也能够反演衰减参数(品质因子Q)模型,有助于识别地下介质类型和构造(如流体和煤层陷落柱),对煤和油气等自然资源的勘探和开发有重要意义。参数串扰是黏弹性... 全波形反演是勘探地球物理领域兴起的核心技术之一,不但可以构建地下速度结构,也能够反演衰减参数(品质因子Q)模型,有助于识别地下介质类型和构造(如流体和煤层陷落柱),对煤和油气等自然资源的勘探和开发有重要意义。参数串扰是黏弹性全波形反演的关键难点,受速度误差影响,反演的Q模型会包含非常强的串扰噪声。针对该问题,提出了基于多目标函数的黏弹性全波形反演理论与方法,首先通过旅行时反演速度结构,再通过中心频率目标函数反演Q模型,最终使用波形差目标函数同时反演速度和Q模型。由于中心频率主要受衰减影响,因此,可有效减弱速度误差对Q反演的影响。最后,通过数值模拟验证了算法可有效地反演速度和Q模型。 展开更多
关键词 地震全波形反演 黏弹性 目标函数 参数
下载PDF
基于Prolog的安全协议在线自动化分析
4
作者 陈铁明 张杰 蔡家楣 《计算机应用研究》 CSCD 北大核心 2008年第8期2447-2449,共3页
基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。
关键词 形式化 空间 参数 约束消减 PROLOG
下载PDF
A Novel Technique of Parameter Extraction for Short Channel Length LDD MOSFETs
5
作者 于春利 郝跃 杨林安 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2004年第10期1215-1220,共6页
A novel parameter extraction technique suitable f or short channel length lightly-doped-drain (LDD) MOSFET's is proposed which seg ments the total gate bias range,and executes the linear regression in every subs ... A novel parameter extraction technique suitable f or short channel length lightly-doped-drain (LDD) MOSFET's is proposed which seg ments the total gate bias range,and executes the linear regression in every subs ections,yielding the gate bias dependent parameters,such as effective channel le ngth,parasitic resistance,and mobility,etc.This method avoids the gate bias rang e optimization,and retains the accuracy and simplicity of linear regression.The extracted gate bias dependent parameters are implemented in the compact I-V model which has been proposed for deep submicron LDD MOSFET's.The good agreemen ts between simulations and measurements of the devices on 0.18μm CMOS technolo gy indicate the effectivity of this technique. 展开更多
关键词 LDD MOSFET parameter extraction parasitic se ries resistance MOBILITY
下载PDF
A Novel Interconnect Crosstalk Parallel RLC Analyzable Model Based on the 65nm CMOS Process
6
作者 朱樟明 钱利波 杨银堂 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2008年第3期423-427,共5页
Based on the 65nm CMOS process,a novel parallel RLC coupling interconnect analytical model is presented synthetically considering parasitical capacitive and parasitical inductive effects. Applying function approximati... Based on the 65nm CMOS process,a novel parallel RLC coupling interconnect analytical model is presented synthetically considering parasitical capacitive and parasitical inductive effects. Applying function approximation and model order-reduction to the model, we derive a closed-form and time-domain waveform for the far-end crosstalk of a victim line under ramp input transition. For various interconnect coupling sizes, the proposed RLC coupling analytical model enables the estimation of the crosstalk voltage within 2.50% error compared with Hspice simulation in a 65nm CMOS process. This model can be used in computer-aided-design of nanometer SOCs. 展开更多
关键词 nanometer CMOS interconnect coupling crosstalk parallel RLC analytical model parameter extraction function approximation
下载PDF
The Statistical Distribution for 0-Deformed Crystal Lattice Vibration for Generic Atomic String
7
作者 Nguyen Thi Ha Loan 《Journal of Physical Science and Application》 2014年第2期136-138,共3页
In this paper, a g-deformation of crystal lattice vibration for generic atomic string is suggested. The expression for energy spectrum depends on g-deformed parameter have been obtained. The statistical distribution o... In this paper, a g-deformation of crystal lattice vibration for generic atomic string is suggested. The expression for energy spectrum depends on g-deformed parameter have been obtained. The statistical distribution of g-deformed crystal lattice vibration is calculated and this result is very much different from there of q-deformed crystal lattice vibration. 展开更多
关键词 Quantum CRYSTAL LATTICE VIBRATION
下载PDF
Network approach to understanding the organization of and the consequence of targeted leader removal on an end-oriented task 被引量:1
8
作者 Sumana ANNAGIRI Swetashree KOLAY +1 位作者 Bishwarup PAUL Chandan SONA 《Current Zoology》 SCIE CAS CSCD 2017年第3期269-277,共9页
Relocation is an important event in the lives of several social insects whereby all colony members have to be transferred to a new nest when conditions in the old nest become unfavorable. In the current study, network... Relocation is an important event in the lives of several social insects whereby all colony members have to be transferred to a new nest when conditions in the old nest become unfavorable. In the current study, network tools were used to examine the organization of this goal-oriented task in the Indian queenless ant Diacamma indicum Which relocate their colonies by means of tandem running. Individual ants were used as nodes and tandem runs as directed edges to construct unweighted networks. Network parameters were characterized in control relocations (CRs) and in relocations where the node with the highest outdegree, that is, the Maximum tandem leader (Max TL) was experimentally removed. These were then compared to 1) randomized networks, 2) simu- lated networks in which Max TL was removed, and 3) simulated networks with removal of a random leader. Not only was there complete recovery of the task, but the manner in which it was organized when Max TL was removed was comparable to CRs. The results obtained from our empirical study were significantly different from the results predicted by simulations of leader removal. At an individual level, the Max TL had a significantly higher outdegree than expected by chance alone and in her absence the substitute Max TL did comparable work. In addition, the position of the Max TL in the pathway of information flow was conserved in control and experimentally manipulated conditions. Understanding the organization of this critical event as more than the sum of individual interactions using network parameters allows us to appreciate the dynamic response of groups to perturbations. 展开更多
关键词 Diacamma indicum division of labor networks RELOCATION tandem running
原文传递
Multi-objective parameter optimization for a single-shaft series-parallel plug-in hybrid electric bus using genetic algorithm 被引量:4
9
作者 CHEN Zheng ZHOU LiYan +2 位作者 SUN Yong MA ZiLin HAN ZongQi 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2016年第8期1176-1185,共10页
Recently, the single-shaft series-parallel powertrain of Plug-in Hybrid Electric Bus (PHEB) has become one of the most popu- lar powertrains due to its alterable operating modes, excellent fuel economy and strong ad... Recently, the single-shaft series-parallel powertrain of Plug-in Hybrid Electric Bus (PHEB) has become one of the most popu- lar powertrains due to its alterable operating modes, excellent fuel economy and strong adaptability for driving cycles. Never- theless, for configuring the PHEB with single-shaft series-parallel powertrain in the development stage, it still faces greater challenge than other configurations when choosing and matching the main component parameters. Motivated by this issue, a comprehensive multi-objectives optimization strategy based on Genetic Algorithm (GA) is developed for the PHEB with the typical powertrain. First, considering repeatability and regularity of bus route, the methods of off-line data processing and mathematical statistics are adopted, to obtain a representative driving cycle, which could well reflect the general characteristic of the real-world bus route. Then, the economical optimization objective is defined, which is consist of manufacturing costs of the key components and energy consumption, and combined with the dynamical optimization objective, a multi-objective op- timization function is put forward. Meanwhile, GA algorithm is used to optimize the parameters, for the optimal components combination of the novel series-parallel powertrain. Finally, a comparison with the prototype is carried out to verify the per- formance of the optimized powertrain along driving cycles. Simulation results indicate that the parameters of powertrain com- ponents obtained by the proposed comprehensive multi-objectives optimization strategy might get better fuel economy, meanwhile ensure the dynamic performance of PHEB. In contrast to the original, the costs declined by 18%. Hence, the strat- egy would provide a theoretical guidance on parameter selection for PHEB manufacturers. 展开更多
关键词 multi-objective parameter optimization single-shaft series-parallel powertrain plug-in hybrid electric bus (PHEB) genetic algorithm (GA) driving cycle city bus route
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部