检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于动作细化的握手扩展

电子科技大学学报 2011年第3期40卷 406-410页

作者：杨昕梅孙秀莉李绍荣电子科技大学光电信息学院美国波特兰州立大学电子与计算机工程学院

基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化... 详细信息

基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为。构建的最大化并发模型,能有效地处理并发信息的综合和验证。

关键词：并发系统无死锁握手扩展真并发模型等待事件结构

基于接口自动机与符号执行的嵌入式软件测试用例生成

在线全文

学校读者我要写书评

暂无评论

计算机学报 2015年第11期38卷 2125-2144页

作者：王博白晓颖张超贺飞 SONG Xiao-Yu 清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室北京100084 清华大学软件学院北京100084 波特兰州立大学Maseeh电气与计算机工程学院美国波特兰97207

随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期... 详细信息

随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.

关键词：扩展语义接口自动机符号执行测试用例生成

判定非确定离散事件系统稳定性的梯度搜索算法

在线全文

学校读者我要写书评

暂无评论

控制与决策 2008年第3期23卷 346-348页

作者：舒少龙林峰黄志强同济大学电信学院上海200092 韦恩州立大学电子与计算机工程系美国底特律

讨论基于非确定自动机/形式语言模型的非确定离散事件系统(NDES)稳定性问题.引入非确定离散事件系统稳定性的定义,并得到了稳定性的判据定理.给出了基于梯度的搜索算法,该算法可有效消除观测器的冗余,从而降低了计算复杂度.

关键词：非确定离散事件系统非确定自动机/形式语言稳定性梯度搜索

在线全文

学校读者我要写书评

暂无评论

汽包锅炉单元机组协调系统的线性自抗扰控制

中国电机工程学报 2011年第23期31卷 94-100页

作者：楼冠男谭文郑勤玲华北电力大学控制与计算机工程学院北京市昌平区102206 克利夫兰州立大学电子与计算机工程系美国克利夫兰44115

在线性自抗扰控制技术基础上,引入解耦补偿器,提出汽包锅炉单元机组协调系统的新控制方案。该方案首先对单元机组设计解耦补偿器,进行一定程度解耦;再将其他通道耦合作为扰动,分别设计炉侧和机侧线性自抗扰控制器,进一步消除耦合的影响... 详细信息

在线性自抗扰控制技术基础上,引入解耦补偿器,提出汽包锅炉单元机组协调系统的新控制方案。该方案首先对单元机组设计解耦补偿器,进行一定程度解耦;再将其他通道耦合作为扰动,分别设计炉侧和机侧线性自抗扰控制器,进一步消除耦合的影响。由于线性自抗扰控制技术采用扩张状态观测器,可以对扩张状态(系统未建模动态摄动和未知扰动)进行在线实时估计,因此其设计的扰动补偿可以不依赖于模型达到快速消去扰动的效果。将该方法应用于一500 MW汽包锅炉单元机组协调系统进行仿真研究,结果表明该方案可以实现良好的动静态解耦,有较强的鲁棒性和抗干扰能力,并且算法简单、调试容易。

关键词：汽包锅炉单元机组协调控制系统线性自抗扰控制动态解耦扩张状态观测器

基于ZnO纳米片多级结构的柔性染料敏化太阳能电池的制备

在线全文

学校读者我要写书评

暂无评论

无机材料学报 2018年第5期33卷 507-514页

作者：程厚燕罗俊黄丽群李家科杨志胜郭平春王艳香张琦锋景德镇陶瓷大学材料科学与工程学院景德镇333403 美国北达科他州立大学电子和计算机工程系

采用水热合成法制备基于钛箔的ZnO纳米片薄膜,采用化学浴沉积法在ZnO纳米片薄膜表面原位沉积ZnO纳米粒和微球,制备了ZnO纳米片/纳米粒/微球复合结构薄膜,并将膜组装成柔性染料敏化太阳能电池。研究了钛箔预处理方式、化学浴沉积工艺对Zn... 详细信息

采用水热合成法制备基于钛箔的ZnO纳米片薄膜,采用化学浴沉积法在ZnO纳米片薄膜表面原位沉积ZnO纳米粒和微球,制备了ZnO纳米片/纳米粒/微球复合结构薄膜,并将膜组装成柔性染料敏化太阳能电池。研究了钛箔预处理方式、化学浴沉积工艺对ZnO薄膜和电池性能的影响。采用X射线衍射仪、透射电子显微镜和扫描电子显微镜对钛箔和ZnO薄膜的物相组成和形貌进行表征,采用太阳光模拟器和数字源表测试了电池的J-V光电性能曲线,通过电化学阻抗谱分析了电池内部电子传输情况。研究结果表明:当钛箔基底采用酸抛光处理,将所得ZnO纳米片膜用已经预热24 h的0.15 mol/L二水乙酸锌甲醇溶液改性5 h,所得电池光电性能最好,其短路电流密度、开路电压、填充因子和光电转化率分别为11.26 mA/cm^2,0.67 V,0.60和4.51%。

关键词：柔性染料敏化太阳能电池 ZnO纳米片复合光阳极电池性能

在线全文

学校读者我要写书评

暂无评论

面向突发业务的云服务并发量应对策略研究

计算机学报 2019年第4期42卷 864-882页

作者：郭军武静邢留冬张斌张荣东北大学计算机科学与工程学院沈阳110819 麻省大学电子与计算机工程学院达特茅斯美国027472300

云服务突发并发量是导致服务质量(QoS)降级的重要因素.传统的突发并发量应对策略存在时效性差、资源利用率低的问题,会导致服务请求响应时间增长、请求违例率及拒绝率增大.针对上述问题,该文首先提出了基于多级队列的并发量分级缓存机制... 详细信息

云服务突发并发量是导致服务质量(QoS)降级的重要因素.传统的突发并发量应对策略存在时效性差、资源利用率低的问题,会导致服务请求响应时间增长、请求违例率及拒绝率增大.针对上述问题,该文首先提出了基于多级队列的并发量分级缓存机制ATBM,可有效避免突发并发量对缓存队列的持续拥堵,确保缓存队列中请求的持续流通,进而提高整体的QoS.在此基础上,提出了一个主动式突发并发量应对策略GMAC,该策略能以较低的欠预测比例及规模预测用户并发量,得出欠分配规模较低的资源需求量,并根据系统当前的资源配置、并发量处理情况以及SLA(Service Level Agreement),全面、准确地量化资源可用量,最后通过对比资源需求量及可用量,提前制定及执行资源调整策略.该文采用真实并发量数据对ATBM在改善QoS方面的有效性进行验证,最后利用对比实验就GMAC的突发并发量应对效果进行评估.实验结果表明,ATBM下并发量的违例率仅为传统单级缓存队列下违例率的24.6%;相对于根据并发量峰值预留,GMAC可在保证服务不发生SLA违例的前提下,将系统资源利用率提高1.45倍;与基于并发量均值预留资源相比,GMAC能将系统的平均响应时间及拒绝率分别降低8.6%及16.9%.

关键词：云服务突发并发量 QoS 资源调整欠预测

在线全文

学校读者我要写书评

暂无评论

基于压电薄膜传感器的机器人触觉识别系统

浙江大学学报（工学版） 2022年第4期56卷 702-710页

作者：王云灏孙铭会辛毅张博宣吉林大学计算机科学与技术学院吉林长春130012 吉林大学仪器科学与电气工程学院吉林长春130061 美国波特兰州立大学工程与计算机科学学院俄勒冈州波特兰97201

为了使机器人通过触觉感知外部环境信息,弥补视听交互信息缺失的不足,根据聚偏氟乙烯(PVDF)材料的压电效应设计开发基于触觉传感器和卷积神经网络的机器人触觉识别系统,能够根据所采集的触觉信号识别出材质类型.提出基于渐进式级联卷积... 详细信息

为了使机器人通过触觉感知外部环境信息,弥补视听交互信息缺失的不足,根据聚偏氟乙烯(PVDF)材料的压电效应设计开发基于触觉传感器和卷积神经网络的机器人触觉识别系统,能够根据所采集的触觉信号识别出材质类型.提出基于渐进式级联卷积神经网络的触觉识别算法.该算法基于卷积神经网络提取机器人传感器的信号特征,包括经过短时傅里叶变换的触觉数据频谱图和信号表征周期内的时域特征.为了解决特定材质识别混淆的问题,利用K-Medoids聚类算法和动态时间规整(DTW)距离度量算法将分类过程区分为粗、细2个层次,构建渐进式分类模型.实验表明,设计的触觉传感器对物体材质的平均识别正确率约为97%,机器人能够成功识别触摸到的真实材质,为下一步的探索交互任务奠定基础.

关键词：机器人触觉聚偏氟乙烯(PVDF) 压电薄膜卷积神经网络传感器聚类算法

基于自适应最优抛物线核函数的Wigner-21/2维时频表示算法

在线全文

学校读者我要写书评

暂无评论

上海交通大学学报 2015年第10期49卷 1551-1557页

作者：刘义海张效民张炳骐西北工业大学航海学院西安710072 美国纽约州立大学电子与计算机工程系纽约11794

针对低信噪比条件下非平稳、非线性和非高斯信号的时频特征分析,提出了一种基于自适应最优抛物线核函数的Wigner-212维时频表示算法.采用依赖于特定时频点的二维时频局部模糊函数替代传统Cohen类高阶时频分析中通用的全局时频模糊函数;... 详细信息

针对低信噪比条件下非平稳、非线性和非高斯信号的时频特征分析,提出了一种基于自适应最优抛物线核函数的Wigner-212维时频表示算法.采用依赖于特定时频点的二维时频局部模糊函数替代传统Cohen类高阶时频分析中通用的全局时频模糊函数;利用自适应核处理技术获得局部模糊函数的最佳抛物线核函数,以最大限度地抑制交叉项的影响,提高算法的时频分辨率和信号自适应性;通过合成信号和水声信号的仿真实验进行时频分析,并与现有时频算法加以对比.结果表明,在低信噪比条件下,所提出算法对瞬态信号的检测优势明显,能够取得优良的时频特征解析效果.

关键词：时频表示非平稳信号处理时频局部模糊函数自适应抛物线核函数

基于模糊PID的Z源逆变器直流链升压电路控制

在线全文

学校读者我要写书评

暂无评论

中国电机工程学报 2008年第24期28卷 31-38页

作者：丁新平钱照明崔彬彭方正浙江大学电气工程学院浙江省杭州市310027 密歇根州立大学电气与计算机工程学院美国兰辛mi48824

提出一种模糊PID补偿器用以直接控制Z源逆变器直流链电压最大值。控制至直流链电压最大值传递函数有一左(左半平面)一右(右半平面)2个零点,同时零、极点位置相近且靠近虚轴,具有严重的非最小相位现象。该文在详细的分析了控制至直流链... 详细信息

提出一种模糊PID补偿器用以直接控制Z源逆变器直流链电压最大值。控制至直流链电压最大值传递函数有一左(左半平面)一右(右半平面)2个零点,同时零、极点位置相近且靠近虚轴,具有严重的非最小相位现象。该文在详细的分析了控制至直流链电压最大值传递函数的基础上,针对Z源逆变器应用场合(燃料电池或光伏发电)中,输入电压大范围波动的特点,设计了具有良好非线性控制性能的模糊PID控制器。应用相平面响应轨迹特征向量法修正了模糊规则库,使系统具有良好的动态响应,同时用相平面法对闭环控制器进行了稳定性分析。该控制器能够实现直流链电压最大值的直接控制,消除了2个靠近极点的零点(1个右半平面和1个左半平面)造成的影响。减少了非最小相位系统阶跃响应的超调和负调。控制器设计简单,鲁棒性好,对输入电压扰动和负载电流变化具有良好的抗扰能力,动态、静态性能有了明显的改善。通过仿真和实验结果验证了理论分析的正确性。

关键词： Z源逆变器模糊PID控制器升-降压右半平面零点非最小相位系统