由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述了一个大多数服务合约库系统所遵循的功能模型,然后基于此从服务合约库系统的结构和互连体系这两方面详细地阐述...
指定验证者签名可以实现签名者选择所期望的验证者验证签名的有效性,从而达到控制数字签名任意传播的目的.基于双线性对构造了一个新的基于身份的广义指定验证者签名方案.新方案采用引进两个独立PKG的方法,在一定程度上消除了现存方案中单个PKG可以随意伪造用户签名的安全隐患.证明了在GDH假设和随机预言模型下,新方案在基于身份的广义指定验证...
研究185nmUV对二苯甲酮浓度的降低和TOC（Total Organic Carbon）的去除方法.用185nm紫外及254nm紫外对光刻废水中二苯甲酮处理效果的对比.同时还研究了废水中二苯甲酮的降解过程及中间产物.
本文针对全数字PWM结构中存在的非线性误差,提出了一种数字校正方法.这种校正方法在delta-sigma调制器的各个积分器中加入校正系数.此方法计算量小,非常易于硬件实现实时的误差校正.在此基础上设计了一个全数字的PWM电路结构,并进行了仿真.仿真结果表明,经过校正的数字PWM具有良好的线性,完全消除了非线性误差.
PI控制器常用于主动队列管理中,但参数整定上的试凑法具有盲目性,算法的瞬态性能也不够理想.本文推导了基于流体流理论的网络简化模型,基于该模型将集群智能中的改进粒子群优化算法（PSO）应用于PID控制器参数优化,定义了一个综合调节时间、上升时间、超调量、系统静态误差、正弦跟踪误差等动静态性能指标函数,在给定的参数空间进行组合优化搜索...
解决协商僵局问题是协商优化中的重要研究课题.利用协商议题之间的相关性,提出了一种用于消解双边多议题协商僵局的多目标粒子群优化算法（MOPSO）.MOPSO首先动态放宽僵局议题的保留值,然后将僵局议题相关的多个议题的保留值缩紧问题转化为一个多目标优化问题,通过粒子群搜索到Pareto最优解集,从而并行优化了这些相关议题的保留值,最后在不降低...
本文采用系综Monte Carlo方法模拟了窄禁带n-InAs和宽禁带n-GaAs的THz时域波形,从理论上证实了n-InAs的THz辐射机制是光丹培场的作用.通过定量给出表面电场和光丹培场在半导体中的空间分布,我们发现导致n-InAs的THz辐射效率比n-GaAs高的一个重要原因是：在被大多数光生载流子占居的非耗尽层区域,n-InAs的电场比n-GaAs的大得多.而以前的研究工作...
本文将一种基于巨磁致电阻（Giant Magneto Resistive——GMR）的电流检测技术应用于同步整流技术中.该技术可以克服传统电流驱动同步整流器中电流检测器件损耗较大、不能测直流、漏感大、不能工作于高频等缺点.本文内容包括GMR电流检测技术原理和性能分析,GMR电流检测电流驱动同步整流正激变换器的实验研究.研究结果表明,该变换器工作性能理想,...
本文根据硬件线程的特征,为硬件线程调度建立了一个周期与非周期混合线程集的调度模型.在数学层面描述了硬件多线程调度中每个线程被成功调度的条件判据.并在此基础之上,提出一种以截止时间与最坏执行时间差为基本因子的DR-EDF算法,提供了一种实现这种DR-EDF算法的硬件多线程控制器的设计原理.最后用FPGA为载体,实现了一款硬件多线程处理器,通过...
本文根据异向介质中细导线阵列的电磁效应,利用均匀介质与均匀传输线的等效关系,建立起电磁波在导线阵列中传播时的等效电路,以此为依据从宏观上推导出异向介质中非均匀导线阵列的有效介电常数模型,在呈现出非常清晰的物理图景的同时,为人们从宏观物理学的角度理解导线阵列的等效负介电常数效应、从实质上揭示异向介质的构成理论向前跨进了一步....
提出了适用于被动传感器网数据关联的模糊数学模型,定义了模糊综合贴近度,基于模糊综合贴近度提出了模糊航迹起始算法.研究了最速下降法中搜索起始点选取、候选目标初始状态估计、目标检测、多义性处理等问题.模糊航迹起始算法的优点是不必已知杂波特性及目标探测概率.仿真实验结果表明,该算法能有效实现航迹起始.
分析了CCD电离效应和位移损伤机理,建立了一种国产埋沟CCD器件物理模型,实现了CCD信号电荷动态转移过程的数值模拟,计算了1MeV1、4MeV中子引起的CCD电荷转移效率的变化规律.建立了线阵CCD辐照效应离线测量系统,实现了CCD辐射敏感参数测试.利用Co-60γ源和反应堆脉冲中子,开展了商用器件总剂量和中子位移损伤效应模拟试验,在不同辐照条件下,给出了...
协商是多agent系统中联盟形成的重要手段,很少有对协商初始提议的讨论.提出了一种基于个体历史行为确定协商起点的方法,根据agent在历史任务中的各维能力贡献率,计算其在当前任务中的期望获利因子,并据此给出协商时的初始提议,在此基础上设计了一种联盟形成策略,试验表明了该方法的有效性.
编码问题是目前DNA计算中的重点和难点之一,编码问题的难点就是当这些编码以某种方式线性连接起来表示一个特定的信息（如图的一个路径或一个最大团等）,如何确保其中的每个编码能被唯一的识别.因此,如何有效使用编码是编码研究中要解决的另一个问题.本文在模板编码的基础上,提出了模板框的概念,并对其移位距离性质进行了研究.在此基础上,考察了...
快速层级算法（FHM）是边界元法求解3D电容积分方程的一种加速方法,该方法基于分层近似对电势系数矩阵隐式表示,使求解的时间复杂度降低到O（n）.改进算法对FHM做了两点改进：（1）给出了分层近似的理论依据,这种分层依据适用于所有导体结构而无需重复试验.（2）利用层级关系,直接计算面电荷,避免了迭代过程,加速了电荷求解.一系列典型3D互连线...
提出深海远程水声通信方案,利用深海声道特性,将通信节点置于声道轴以减小传播损失,提高通信距离.将分数阶Fourier变换（FRFT）应用于水声通信同步检测及Pattern时延差编码（PDS）水声通信体制,可减小多普勒频偏的影响.通过计算机仿真研究表明,分数阶Fourier变换相对于拷贝相关将更适用于存在多普勒频偏的相干多途水声信道条件,有助于实现低误码...
潜电路是一种潜伏在系统中的路径或状态,仅在特定的条件下产生,使系统出现非期望的功能.本文以一个降压式谐振开关电容变换器为例,详细分析了潜电路出现时变换器的工作过程,利用电路能量守恒定理推导出变换器的潜电路特性以及潜电路发生条件.得到潜电路出现后,变换器的输出电压不再保持恒定,而是与电路参数、运行条件等密切相关,呈现出非预期特...
本文提出了一种基于可信状态的多级安全模型,它以BLP模型为基础,引入可信度和可信状态测量函数,利用可信计算平台的完整性测量、存储和报告功能,检测进程和被访问对象的可信状态,并针对不同类型访问对象,动态调节进程访问范围,提高模型的抗攻击能力.文中说明了模型的基本设计思想,形式化描述和可信状态转换过程,证明执行新规则后系统仍然处于安...
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”步骤的缺陷,提出了消息唯一起源的概念和判定规则,严格区分“可靠信任”和“不可靠信任”,解决了“相信事情的发生”和“相信事情的真实性”两种不同信任的区别,并在此基础上建立了动态逻辑方法.通过实例分析,该方法...
双向路的车载网络中,两个方向上的数据流在竞争信道时存在严重的不公平现象,使得网络性能急剧下降.针对这种不公平问题,本文经理论分析得出数据包大小Packet与相向行驶车辆间的相对速度V、数据流接入信道几率P及数据流的平均吞吐率Throughput存在的函数关系,提出一种数据包大小自适应调节方案.模拟仿真表明,该方案有效的提高了信道竞争的公平性...
多边形近似是一种重要的曲线描述方法.研究用遗传算法求解平面数字曲线的多边形近似碰到的两个主要问题是不可行解难以处理和基本遗传算法局部搜索能力差.针对这两个问题,本文提出了一种组合拆分与合并技术的混合遗传算法（SMGA）.它将两种经典算法—拆分技术与合并技术引入到对染色体的修复过程.采用这种方法,一个不可行解不仅能得到快速的修复...
基于粒子滤波在非线性非高斯情况下具有较好的预测结果,本文提出了一种自适应背景图像分割新算法,该算法利用粒子滤波对下一帧的前景区域进行预测,进而计算出下一帧各像素点属于背景的概率以指导下一帧图像分割;在前景像素值与背景像素值相近的情况下利用先验知识进行图像分割是一种较好的方法,本文以粒子滤波预测结果与先验概率模型计算结果的...
概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的...
茫然传送作为安全多方计算的基础协议具有重要的理论研究和实用价值.目前已有的经典环境中的各茫然传送协议大都基于公钥密码学或一些附加的计算困难性假设,而这些基础在量子计算机制下将变得相当脆弱.本文根据量子贝尔态的特性,提出了一种新的量子茫然传送协议,对其正确性与安全性进行了分析与证明.该协议可同时抵抗通信信道中噪声和可能存在的...
机会通信作为一种对无线通信系统设计具有革命性意义的概念正在受到越来越多的关注.目前对机会调度算法的研究往往采用不同的模型进行性能评价,使得不同算法之间很难直接进行性能比较.本文主要将各种用于机会调度算法研究的理论模型进行分类和比较,对几种典型的机会调度算法在各类理论模型下的性能评价指标、方法和结果进行讨论,最后探讨了该领...
本文提出一种基于扩展控制流图（ECFG）的片上存储器（Scratch-Pad Memory,SPM）分配策略,该策略首先把程序划分为全局变量、全局堆栈、指令块等节点,用包含节点和节点间关系的ECFG来描述应用程序,接着采用考虑了节点间关系的改进的背包算法把选中的节点分配到SPM中.实验表明该策略比采用单纯背包算法的SPM分配策略减少应用程序执行时间11%,比不...
研究了开关电容DC-DC变换器输出电压与电容的关系,分析了变换器输出电压波纹产生的原因.针对变换器中大电容难集成的问题,提出了一种基于跨导放大器和第二代电流传输器的有源电容倍增器的新型拓扑结构.该电路只用较少的元件就可以实现开关电容变换器中的浮地和接地电容.以二阶开关电容DC-DC变换器为例,用PSPICE软件分别对采用了有源电容倍增器的...
针对传统区间优化算法求解高维问题耗时的缺点,本文将区间算法和遗传算法进行融合,给出了一种区间-遗传算法,该算法保留了传统区间优化算法简单、对问题本身信息要求不高的优点.重要的是在每次迭代中区间算法为遗传算法的搜索提供可靠区域,同时遗传算法为区间算法的区间分裂提供了一个方向、为区间删除给出了问题全局最优解的一个上界.最后给出...
本文介绍了采用纯数字相位合成法设计的高性能时钟50%占空比调节电路PB-DCC（Phase-Blending Du-ty-Cycle Corrector）.相比于传统的占空比调节方式,此电路通过采用SMD（Synchronous Mirror Delay）技术具有较强的抗PVT（Process,Voltage and Temperature）变化的能力,输出时钟和原时钟完全同步和较快的调节速度等特点.经0.13μmCMOS工艺版图实现...
谱聚类是近来出现的一种性能极具竞争力的聚类方法,它的成功很大程度依赖于相似性度量的选择.本文通过分析这一性质并结合数据聚类特性,提出一种数据依赖的相似性度量——密度敏感的相似性度量.该相似性度量可以有效描述数据的实际聚类分布.将其引入谱聚类得到密度敏感的谱聚类算法.与原有的谱聚类算法相比,新算法不仅能够处理多尺度聚类问题,而...
购物车(0)