浙江大学信息与电子工程学系电子电路与信息系统研究所

作品数：41被引量：154H指数：8
导出分析报告
发文作者：章专朱承丞王攀徐扬朱丹更多>>
发文领域：自动化与计算机技术电子电信医药卫生电气工程更多>>
发文主题：PETRI网FPGA脑电信号无线传感器网络控制器设计更多>>
发文期刊：《传感技术学报》《控制理论与应用》《山东大学学报（理学版）》《计算机工程与应用》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划浙江省自然科学基金浙江省科技厅资助项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种多线程软件并发漏洞检测方法被引量：3
《西安电子科技大学学报》2015年第2期167-173,212,共8页朱承丞 董利达 
国家自然科学基金资助项目(61071062);浙江省自然科学基金资助项目(Y12F02030)
多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用...
关键词：多线程软件 PETRI网 S＊PR网 死锁检测 混合整数规划 
一种改进型的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网 柔性制造系统 信标 死锁预防 整数规划 
基于R-SET结构的逻辑门电路和触发器设计被引量：3
《浙江大学学报（理学版）》2013年第3期272-275,284,共5页章专 魏齐良 申屠粟民 
提出一种基于单电子晶体管的新型电路结构——R-SET结构,并从R-SET结构的反相器着手对该结构电路的工作原理和性能进行了分析.构造出基于R-SET结构的或非门、一位数值比较器、SR锁存器和D触发器.通过对各电路进行SPICE仿真,验证了各电...
关键词：单电子晶体管 R-SET 反相器 或非门 触发器 
一种基于盲源分离的眼电伪迹自动去除方法被引量：10
《浙江大学学报（工学版）》2013年第3期415-421,464,共8页计瑜 沈继忠 施锦河 
为解决传统盲源分离算法(BSS)用于眼电伪迹去除大都存在伪迹过估计、需要人为辨别伪迹成分而不适合在线应用的不足,提出一种基于BSS算法的眼电伪迹自动去除方法.利用BSS算法对脑电信号进行分离得到独立成分,以相关系数作为判据,针对垂...
关键词：眼电伪迹 自动去除 二阶盲辨识 相关系数 
S^4PR网的极小信标计算方法
《浙江大学学报（工学版）》2013年第3期431-441,共11页徐姗姗 董利达 朱丹 朱承丞 
国家自然科学基金资助项目(61071062);浙江省自然科学基金资助项目(Y12F02030)
为了解决S4PR网的信标求解问题,提出了一种计算网中全部极小信标的方法.该方法通过分析资源库所内工作环与资源库所集合之间的关系构建有向图(C-R图),获取强连通的C-R子图集合,而每个C-R子图对应着一个信标,由此得到包含2个及2个以上资...
关键词：PETRI网 柔性制造系统 信标 死锁预防 
基于传输电压开关理论的单栅极SET电路设计被引量：3
《浙江大学学报（理学版）》2012年第3期293-296,共4页章专 申屠粟民 魏齐良 
在分析了单电子晶体管(SET)的I-V特性后,通过对SET背景电荷的设置,使之具有类似PMOS或NMOS的电学特性;同时将传输电压开关理论引入到SET的电路设计中,并用单栅极SET实现了该理论的基本运算电路.随后以异或门和一位比较器为例,利用这些...
关键词：单电子晶体管 传输电压开关理论 异或门 比较器 
四类运动想象脑电信号特征提取与分类算法被引量：20
《浙江大学学报（工学版）》2012年第2期338-344,共7页施锦河 沈继忠 王攀 
针对脑机接口(BCI)系统中存在的信息传输速率较慢和脑电信号识别正确率较低的问题,对多通道四类运动想象脑电信号进行研究.通过对4种运动想象及休息状态脑电信号进行功率谱分析,合理确定预处理滤波器的最佳滤波频段,然后使用PW-CSP,Hilb...
关键词：脑机接口(BCI) 四类运动想象 特征提取 支持向量机(SVM) 
基于Petri网的并发编程死锁预防策略被引量：3
《浙江大学学报（理学版）》2012年第1期43-49,55,共8页丁力 董利达 朴云 
针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,...
关键词：并发编程 PETRI网 虹吸 死锁预防 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部