国家自然科学基金(61071062)

作品数：22被引量：48H指数：4
导出分析报告
相关作者：董利达沈继忠朱承丞朱丹管林波更多>>
相关机构：浙江大学杭州师范大学中国人民解放军陆军军官学院浙江工商大学更多>>
相关期刊：《电子与信息学报》《自动化学报》《计算机应用》《传感技术学报》更多>>
相关主题：PETRI网低功耗多值逻辑信标无线传感器网络更多>>
相关领域：电子电信自动化与计算机技术机械工程医药卫生更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种多线程软件并发漏洞检测方法被引量：3
《西安电子科技大学学报》2015年第2期167-173,212,共8页朱承丞 董利达 
国家自然科学基金资助项目(61071062);浙江省自然科学基金资助项目(Y12F02030)
多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用...
关键词：多线程软件 PETRI网 S＊PR网 死锁检测 混合整数规划 
基于特征点分类策略的移动机器人运动估计被引量：1
《计算机应用》2015年第2期590-594,共5页尹俊 董利达 迟天阳 
国家自然科学基金资助项目(61071062);浙江省自然科学基金资助项目(Y12F020155);杭州师范大学校长基金资助项目(2013JGJ001)
为解决移动机器人视觉导航系统在进行机器人运动估计时使用传统运动估计算法计算时间较长而导致实时性较差的问题,提出了一种基于特征点分类策略的移动机器人运动估计方法。根据移动机器人视觉导航系统提供的特征点三维坐标计算出特征...
关键词：移动机器人 视觉导航 特征检测 运动估计 随机采样一致算法 
局域精确定位的工业移动机器人惯性导航方案被引量：5
《计算机应用》2014年第4期1205-1208,共4页管林波 董利达 尹俊 
国家自然科学基金资助项目(61071062);浙江省自然科学基金资助项目(Y12F020155);杭州师范大学校长基金资助项目(2013JGJ001)
为解决工业移动机器人投入使用前需沿路密集布设地面磁条或激光反射点等外部装置的复杂性,以及因工作路线固定而缺少灵活性的问题,提出了基于惯性器件和超声波传感器的局域导航方案。操作人员事先通过遥控器训练机器人从一目标位置沿特...
关键词：移动机器人 惯性导航 局域定位 运动决策 超声波 
基于双树结构的无线HART调度策略被引量：4
《浙江大学学报（工学版）》2014年第3期391-397,共7页董利达 黄聪 管林波 
国家自然科学资金资助项目(61071062);浙江省自然科学资金资助项目(Y12F02030)
为了解决全局网络调度过程中的网络通信资源调度和维护复杂性的问题,根据无线可寻址远程传感器高速通道(HART)数据流特点,将原始网络拓扑结构简化表达为双树结构,基于此提出一种适用于规模已知而且最大深度确定的无线HART网络的调度策略...
关键词：无线传感器网络 无线HART 调度策略 双树 
基于MOS-NDR负阻器件的D触发器设计
《浙江大学学报（理学版）》2013年第6期641-645,649,共6页向光平 沈继忠 
国家自然科学基金资助项目(No.61071062);浙江省自然科学基金资助项目(No.LY13T010001)
负阻器件由于在电流-电压特性曲线中表现出独特的负微分电阻特性,从而大大增加了单个器件所能实现的逻辑功能.如果将其用于数字逻辑电路设计,尤其是触发器的设计,可有效减少器件的数目.通过分析CMOS工艺负阻器件MOS-NDR及单双稳态转换...
关键词：负阻器件 MOS-NDR MOBILE D触发器 
一种改进型的S^4PR网活性条件被引量：5
《自动化学报》2013年第9期1439-1446,共8页傅健丰 董利达 徐姗姗 朱丹 朱承丞 
国家自然科学基金(61071062);浙江省自然科学基金(Y12F02030)资助~~
研究了顺序资源共享分配系统的建模模型S4PR(Systems of sequential systems with shared resources)网的活性问题.已有的研究成果表明,一个S4PR网在所有信标都满足max,max或max-controlled时能保持活性,但现有的活性条件对信标的限制...
关键词：PETRI网 S4PR网 活性条件 信标 
基于MIP的顺序资源共享分配系统的虹吸寻找方法
《浙江大学学报（理学版）》2013年第4期416-423,共8页董利达 傅健丰 朱丹 朱承丞 
国家自然科学基金资助项目(No.61071062);浙江省自然科学基金资助项目(No.Y12F02030)
研究了S4PR(systems of sequential systems with shared resources)网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S4PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存...
关键词：PETRI网 虹吸寻找 S4PR网 活性 
一类活性Petri网控制器的冗余检测及结构简化被引量：8
《控制理论与应用》2013年第6期673-682,共10页徐姗姗 董利达 朱丹 朱承丞 
国家自然科学基金资助项目(61071062);浙江省自然科学基金资助项日(Y12F02030)
S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的...
关键词：PETRI网 柔性制造系统 信标 死锁预防 整数规划 
一种共振隧穿二极管三值逻辑电路设计方法被引量：1
《山东大学学报（工学版）》2013年第3期94-98,共5页韦一 沈继忠 
国家自然科学基金资助项目(61071062)
通过对多值单稳态—多稳态转换逻辑单元的分析,发现开关信号理论可以准确地解释其工作原理。在此基础上,提出了三值共振隧穿二极管电路一般结构,用于实现任意三值逻辑函数。相应的电路设计方法可归为求取开关函数的最简表达式,并用异质...
关键词：纳米电子器件 共振隧穿二极管 三值逻辑 电路设计 开关信号理论 
基于BiCMOS的高性能CML三值D型触发器的设计
《山东大学学报（工学版）》2013年第3期99-104,共6页赵祥红 沈继忠 
国家自然科学基金资助项目(61071062);宁波市自然科学基金资助项目(2011A610109)
结合电流模逻辑(current-mode logic,CML)电路的高速低摆幅、抗干扰能力强、适合在高频下工作的优点以及BiCMOS电路高速大驱动的优点,设计了一种结构简单的基于BiCMOS的高性能CML三值D型触发器。采用TSMC 180 nm工艺,使用HSPICE进行模...
关键词：触发器 多值逻辑 电流模逻辑 低功耗 高速集成电路 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部