浙江大学信息与电子工程学系电子电路与信息系统研究所 作品数:44 被引量:166 H指数:8 相关作者: 章专 朱承丞 王攀 徐扬 朱丹 更多>> 相关机构: 杭州师范大学杭州国际服务工程学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 浙江省自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 医药卫生 电气工程 更多>>
一种改进型的S^4PR网活性条件 被引量:5 2013年 研究了顺序资源共享分配系统的建模模型S4PR(Systems of sequential systems with shared resources)网的活性问题.已有的研究成果表明,一个S4PR网在所有信标都满足max,max或max-controlled时能保持活性,但现有的活性条件对信标的限制严格且不适用于某些网系统,本文提出了一类名为max*-controlled的改进型条件,并证明了当一个S4PR网的所有信标都满足max*-controlled条件时,网系统能保持活性.与现有的其他条件相比,新的活性条件更加宽松,为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑. 傅健丰 董利达 徐姗姗 朱丹 朱承丞关键词:PETRI网 信标 FPGA的布线结构参数Fc对其功耗的影响 被引量:1 2005年 为了降低FPGA功耗,使用开关级模型,在不同的布线结构参数--输入端口和输出端口的连接块复杂度(Fc,input;Fc,output)设置下,研究了FPGA的功耗利用率问题.提出了基于LUT和逻辑块结构的FPGA,使用fpgaEVA-LP构架,给出了估计电容的FPGA基元的等效电路,通过同时分析电容和开关转换频率估算了功耗.实验数据结果表明,设置Fc,input为0.8、Fc,output为0.3最有利于低功耗设计,从而得到了利于低功耗设计的合理布线结构参数值. 徐新民 尚丽娜 严晓浪关键词:FPGA 低功耗设计 布线结构 结构参数 FC 等效电路 针对有限禁止状态的Petri网控制器综合 2008年 针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效. 董利达 兰守珍 陈桂忠关键词:离散事件系统 PETRI网 四类运动想象脑电信号特征提取与分类算法 被引量:19 2012年 针对脑机接口(BCI)系统中存在的信息传输速率较慢和脑电信号识别正确率较低的问题,对多通道四类运动想象脑电信号进行研究.通过对4种运动想象及休息状态脑电信号进行功率谱分析,合理确定预处理滤波器的最佳滤波频段,然后使用PW-CSP,Hilbert变换及归一化处理的方法,对四类运动想象脑电信号进行特征提取,分类算法分为特征信号算术求和与阈值比较的预分类过程及包含单个支持向量机(SVM)的细分类过程,算法复杂度明显比采用多个SVM组合的多类分类算法要低,为实现算法的在线应用打下基础.仿真结果表明,该算法分类正确率高,时间开销小,并且可以通过调节阈值,在正确率与算法复杂度之间获得平衡. 施锦河 沈继忠 王攀关键词:特征提取 连接复杂度对非对称FPGA功耗的影响 2010年 FPGA因为开发周期短、使用灵活、价格低廉等优点,在嵌入式系统中被广泛应用.随着开发需求的扩大,嵌入有DSP、MCU等宏模块的非对称FPGA应运而生.本文根据非对称FPGA的结构,研究连接复杂度Fc参数对功耗的影响.在不同Fc参数的非对称FPGA结构下对MCNC电路仿真,实验结果表明输入Fc参数在80%,输出Fc参数在70%时,其功耗最低.与Fc参数100%相比,输入Fc参数在80%时,平均功耗减少25.76%,最高功耗减少29.08%;输出Fc参数在70%时,平均功耗减少27.07%,最高功耗减少43.83%.这对低功耗非对称FPGA架构设计有一定的意义. 徐科君 沈继忠关键词:FPGA 低功耗 基于TSTWT网系统的显式控制器设计 在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构, 目前而言,只有当Petri网的最大不可控子网中前向... 董利达 郑寒 程曦浩关键词:PETRI网 文献传递 基于工作流的安全库所替换网特性研究 被引量:1 2010年 基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性. 董利达 程曦浩 郑寒关键词:PETRI网 工作流网 基于TSTWT网系统的显式控制器设计 2008年 在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。 董利达 郑寒 程曦浩关键词:离散事件系统 受控PETRI网 基于门控时钟的低功耗时序电路设计新方法 被引量:2 2010年 为了实现更优化的时序电路低功耗设计,提出一种新的基于门控时钟技术的低功耗时序电路设计方法,设计步骤为:由状态转换表或状态转换图作出各触发器的行为转换表及行为卡诺图;根据实际情况对电路中的冗余时钟进行封锁,综合考虑门控时钟方案在系统功耗上的收益和代价,当门控代价过高时,对冗余的时钟实行部分封锁,得到各触发器的冗余抑制信号;将前一步骤中的保持项改为无关项,作出各触发器的次态卡诺图,得到激励函数;由冗余抑制信号和激励函数画出电路图,并检验电路能否自启动.以8421二-十进制代码同步十进制加法计数器和三位扭环形计数器作为设计实例,经Hspice模拟与能耗分析证明,采用该方法设计的电路具有正确的逻辑功能,并能有效降低电路功耗,与已有方法设计的电路相比,能够节省更多的功耗或者提升电路性能. 徐扬 沈继忠关键词:门控时钟 低功耗 时序电路 基于Petri网的并发编程死锁预防策略 被引量:3 2012年 针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,使网系统保持活性,从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性. 丁力 董利达 朴云关键词:并发编程 PETRI网 虹吸 死锁预防