国家自然科学基金(60473030)

作品数：61被引量：173H指数：7
导出分析报告
相关作者：袁丁何明星宋文叶剑虹孙世新更多>>
相关机构：四川师范大学西华大学华侨大学电子科技大学更多>>
相关期刊：《计算机与信息技术》《计算机研究与发展》《计算机工程》《计算机应用》更多>>
相关主题：PETRI网密钥托管密钥管理动态密钥引擎更多>>
相关领域：自动化与计算机技术电子电信理学轻工技术与工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
柔性制造系统中混惑检测及控制被引量：1
《小型微型计算机系统》2017年第4期906-912,共7页龙章潮 叶剑虹 易科 
国家自然科学基金培育计划专项基金项目(J-ZR1130)资助;国家自然科学基金项目(60473030)资助;华侨大学科技创新团队和领军人才支持计划项目网络信息安全(2014KJTD13)资助;华侨大学研究生科研创新能力培育计划项目(1400214018)资助
并发和冲突在柔性制造系统中是普遍存在的,当并发和冲突混合在一起时,使人无法从系统可达图相同的终态观测到是否有冲突发生过,系统的这一特征称为混惑,存在混惑的系统不是一个好的系统,不便于对系统施加外部控制.为了解决这一问题,本...
关键词：PETRI网 柔性制造系统 混惑检测 混惑控制 广义互斥约束 
基于Petri网的柔性制造系统混惑检测与控制
《计算机应用研究》2016年第12期3565-3568,3624,共5页龙章潮 叶剑虹 宋文 
国家自然科学基金培育计划专项基金资助项目(JB-ZR1130);国家自然科学基金资助项目(60473030);华侨大学科技创新团队和领军人才支持计划资助项目(2014KJTD13);华侨大学研究生科研创新能力培育计划资助项目(1400214018)
已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可...
关键词：PETRI网 柔性制造系统 混惑检测 混惑控制 抑止弧 
基于工作流网的银行业务库高安全门禁系统被引量：1
《计算机工程与应用》2016年第8期221-228,共8页王晓晓 杜勇前 叶剑虹 孙世新 
国家自然科学基金培育计划专项基金(No.JB-ZR1130);国家自然科学基金(No.60473030);华侨大学科技创新团队和领军人才支持计划<网络信息安全>项目(No.2014KJTD13)
银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工...
关键词：PETRI网 工作流网 YAWL EDITOR 门禁系统 软硬件协同设计 
YAWL到BPMN的映射研究被引量：1
《厦门大学学报（自然科学版）》2011年第4期714-718,共5页叶双 叶剑虹 宋文 孙世新 
国家自然科学基金项目(60473030);厦门市科技局科技计划创新项目(3502Z20103027);华侨大学科研启动基金项目(09BS514);华侨大学基本科研业务费专项基金项目(JB-ZR1130)
针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中.
关键词：YAWL BPMN 形式化仿真 软件模型转换 
基于TdPN的迷宫问题求解被引量：1
《计算机科学》2011年第7期240-242,260,共4页叶剑虹 叶双 宋文 孙世新 
国家自然科学基金(60473030);厦门市科技计划项目(3502Z20103027);华侨大学科研启动基金项目(09BS514)资助
在对传统迷宫求解算法的不足进行分析的基础上,提出一种新的基于时延Petri网求迷宫通路的算法(Algo-rithm of Maze problem based on TdPN,M-TdPN)。先将迷宫中冗余点填充为墙,再将简化后的迷宫转换成时延Petri网,利用Petri网的并发性,...
关键词：时延PETRI网 迷宫 并发 托肯标签 
基于增广Petri网的实时交通信号控制系统被引量：6
《厦门大学学报（自然科学版）》2011年第1期28-32,共5页叶剑虹 叶双 宋文 孙世新 
国家自然科学基金资助项目(60473030);华侨大学科研启动基金项目(09BS514);厦门市科技局科技计划创新项目(3502Z20103027)
利用带抑制弧/使能弧、自控网技术的增广Petri网设计了一种交叉路口实时交通信号控制系统,通过采集路面车流量信息实时改变每个信号灯周期内各相位时长,模型通过了正确性分析.并依据该模型开发了Java原型系统,实验表明该系统能有效缓解...
关键词：PETRI网 交叉路口 实时 相位 仿真 
一种特征代码过滤方法的改进
《计算机应用与软件》2010年第8期286-288,共3页马金鑫 袁丁 
国家自然科学基金项目(60473030);四川省科技厅科技攻关项目(05GG007-008)
特征代码检测方法是一种严谨的病毒检测解决方法,在病毒防杀领域应用很广泛,具有较大的研究价值。对几种病毒检测技术分析研究,并且以文件过滤驱动的方法对特征代码检测方法进行了实现,针对这种方法的缺点提出了优化方案,添加专门的内...
关键词：文件过滤驱动 特征代码 内核线程 
基于Windows环境下的进程保护技术的研究与实现被引量：7
《计算机应用与软件》2010年第3期18-21,共4页马金鑫 袁丁 
国家自然科学基金项目(60473030);四川省科技厅科技攻关项目(05GG007-008)
进程保护技术可以保护一个进程不被非法操作关闭来保证进程的正常运行,这种技术在信息安全的主机防护领域具有其不可替代的作用。进程保护技术可以应用于安全系统、杀毒软件自保护等方面,具有重要的研究价值。通过展开讨论API钩子技术...
关键词：HOOKAPI PE 三线程保护 代码注入 
基于本体串连的XML语义发现和查询的研究
《四川师范大学学报（自然科学版）》2010年第1期132-136,共5页黎明 
国家自然科学基金(60473030)资助项目
XML因其灵活性和易扩展性已经成为Web上异构数据转换和传输的标准,但是含有不同模式的XML数据源之间却很难进行相互操作,这给XML数据检索带来了很大的不便.提出一种从XML模式到OWL本体的转换算法,然后借助共享全局本体和同义词典实现转...
关键词：XML模式 本体串连 语义查询 
基于NDIS内核过滤技术的截获网络包技术研究被引量：2
《通信技术》2010年第2期137-140,共4页马金鑫 袁丁 
国家自然科学基金项目(NO.60473030);四川省科技厅科技攻关项目(NO.05GG007-008)
对网络包的截获技术是防火墙技术的一部分,很多场合都采用的是这种技术,具有较大的商业价值。介绍了现有的一些网络包截获技术,包括SPI技术、NDIS技术。并且对现在应用最广泛的内核过滤技术进行了研究与实现,经测试表明,与传统的那些技...
关键词：服务提供者接口 网络驱动接口说明 驱动程序 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部