可能性测度下的LTL模型检测并行化研究

雷丽晖; 王静, 计算机科学 2018年04期 , 期刊

...的动态系统状态空间划分方法;在定性LTL分布式验证算法的基础上给出了定量模型检测并行化验证算法。首先,将系统模型转化为可能的Kripke结构并选取一个并发分量,依据状态之间的关系完成系统状态的分割,使得关系紧密的状态尽可能分布在同一个计算节点上;其次,调整划分结果以使得计算负载平衡;然后,将划分结果与其他并发分量的状态进行叉乘,以完成系统状态空间的划分;最后,将待检测性质用自动机表示,在两者的乘积上,利用扩展的基于嵌套DFS的分布式验证算法完成系统的定量验证。...


景区闸机异步串行通信协议的设计与实现

沙亚雄; 徐骏善, 机械制造与自动化 2018年02期 , 期刊

以景区闸机为设计平台,介绍了串行通讯协议的设计实现方法,包括通讯帧设计,通讯实现图设计,通讯状态设计及具体的编程实现。叙述了从帧结构设计到具体帧接收的实现方法,介绍了涉及到的相关技术,如环形缓冲区、队列和状态机。该方法对异步串行通讯协议的设计与实现有一定的参考意义。...


考虑串行工序紧密度的择时综合调度算法

谢志强; 张晓欢; 高一龙; 辛宇, 机械工程学报 2018年06期 , 期刊

...序紧密度的择时综合调度算法。该算法提出工序序列排序策略,从工艺树的整体结构出发,将其划分成内部工序只具有串行关系的工序序列,根据工序序列的长短确定其调度顺序;提出择时调度策略,结合工艺树自身特点,为调度工序选择若干合法加工时间点,分别在每个时间点调度工序,得到该工序的试调度方案集合,从其中选择加工总用时最小的方案作为工序调度方案,若不唯一,则选择工序加工时间最早的方案。实例表明,该算法既保证并行工序的并行处理,又有效提高串行工序的紧密度,优化了综合调度的结果。...


数据结构”在线课程建设研究与实践

文展; 张敏; 李文藻, 江苏科技信息 2018年08期 , 期刊

"数据结构"是计算机学科一门重要基础课程,是C语言的后续课程。由于该课程算法抽象,实验较难,导致学生学习兴趣不足。文章通过分析目前"数据结构"课程存在的问题,提出了在线课程的建设方案,使用Camtasia Studio作为视频录制软件,清华大学的"雨课堂"作为课件发布平台,搭建一个免费在线课程,作为学生课堂学习的补充和延伸。通过对学生的问卷调查显示,该在线课程帮助学生提高了学习兴趣,更好地掌握了课程的重点和难点。...


维持弧的唯一性优化粗粒度弧相容算法

李颖; 杨罡; 李占山, 哈尔滨工程大学学报 2018年04期 , 期刊

针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗余的弧放回操作,从而保证了弧的唯一性。改进后框架可用于改进所有的粗粒度弧相容算法。实验结果表明,经过AC_AO改进后的算法最多可以少检查77%的弧,最多可以减少30%的CPU求解时间。这将大大减少修正函数的调用次数,从而提高AC的执


采用基数排序算法的MMC优化均压策略

荣飞; 徐业事; 黄守道; 李幸, 电力系统及其自动化学报 2018年03期 , 期刊

为了减少模块化多电平变流器MMC在子模块过多时均压控制的排序运算量,同时降低子模块的开关频率,提出了一种采用基数排序算法的MMC优化均压策略。首先分析基数排序算法的原理,指出了在桥臂子模块很多时,将基数排序运用于MMC的均压控制,可以减少排序运算量;其次,根据子模块电容电压的波动允许空间和基数排序算法原理提出了一种优化均压策略,该策略通过减少基数排序中"收集"和"分配"的次数,能进一步减少排序运算量,同时也有效避免了因子模块电容电压发生微小的变化而引起的不必要的开关动作,


基于“军字一号”系统的医疗服务管理系统开发与应用

孙文桥; 石磊; 彭滢; 何建, 中国医学装备 2018年04期 , 期刊

...行为。方法:采用可扩展标记语言(XML)、消息队列、中间件接口及存储过程等技术为桥梁和纽带,使医院信息系统(HIS)与驾照式医疗服务管理系统对接,设计并优化"驾照式"医疗服务管理系统。结果:自2016年10月起,参照"驾照式"的医疗服务管理,医师的诊疗质量意识明显增强,自我管控和科室管控的作用明显加强,药占比、材料比及医保费用大幅度降低,病历缺陷明显减少。结论:"军字一号"HIS与"驾照式"医疗服务管理系统成功对接,可将患者信息、医嘱信息、费用信息和药品信息统一到1个监控平...


数据结构”课程中算法教学的探索与思考

马欢飞, 科教文汇(中旬刊) 2018年03期 , 期刊

各类算法是数据结构课程中的一个重要组成部分,也是一个教学难点。本文结合作者几年来在本科教学过程中的经验和体会,浅谈一下针对不同特点的算法,如何综合使用各类教学方法获得较好的教学效果。...


数据结构》课程教学改革研究

李勤, 现代商贸工业 2018年11期 , 期刊

首先对《数据结构》课程的教学现状进行了分析,然后结合实际教学中遇到的重难点问题,分别从教材、教学计划、教学方法、实践环节、考核方式等方面进行探讨,提出了一系列改革措施,以期待今后数据结构课程的教学工作能够取得满意的教学效果。...


基于法向量变化的快速网格模型简化算法

王翠玲, 烟台职业学院学报 2017年04期 , 期刊

...于边折叠的模型简化算法。此类算法中,简化序列的选择是一个复杂的优化问题。以往的简化算法通常基于贪心策略,需要为所有的可折叠边建立一个优先级队列,并随着边折叠进行不停的调整该队列,运算耗时,且内存开销大。基于边折叠的模型简化算法采用基于多选择技术的概率优化策略,只在随机选择的若干个边中计算最优目标。在计算边折叠代价时,基于边折叠的模型简化算法主要考虑折叠前后相关三角形法向量方向发生的改变。实验表明基于边折叠的模型简化算法能够快速产生高质量的简化模型。...


基于Linux内核framebuffer的图像采集与显示系统设计

李艳; 吴浩; 刘政科, 计算机测量与控制 2018年03期 , 期刊

...210微控制器为控制单元,基于Linux内核移植了framebuffer驱动,调用Linux内核提供的V4L2编程接口,基于Epoll架构进行多路图像采集;对采集到YUVU格式图像进行编码,转化成BMP和JPEG保存,以便后续对图片做相应的应用开发;最后调用libjpeg库函数对jpeg图片进行解码,并显示在TFTLCD屏幕上;实验结果显示:能够采集到图片数据,并能成功在LCD屏幕上显示,framebuffer驱动能正常工作,满足工业自动化生产图象处理的需求。...


区块链技术的一致性和容量的研究与发展及在物联网中的应用

查选; 王旭; 倪巍; 刘仁平; 郭英杰; 钮心忻; 郑康锋, 物联网学报 2017年01期 , 期刊

...们现有的生活方式,并带来巨大的经济利益。然而,数据的安全性不足和信任危机限制了物联网的发展。区块链(blockchain)作为一种能够实现数据防篡改的分布式数据存储服务,具有解决物联网中现有的安全性、数据完整性和可靠性问题的潜力。区块链技术在物联网中的应用面临许多挑战,包括物联网系统中海量物联网设备、低下的设备计算能力以及无线链路的带宽限制和不可靠传输等特性。这些挑战都会对物联网环境下区块链的一致性和容量产生重大影响。对现有的分布式网络一致性和容量均衡理论进行了调研,讨论了...


OFtest开源测试工具分析与应用

田姣姣; 叶晓舟, 网络新媒体技术 2018年02期 , 期刊

OFtest是思博伦公司和印第安纳大学inCNTER实验室联合推出的OpenFlow交换机协议一致性测试工具,是基于Python实现的开源项目,OFtest是基于Python实现的开源项目,已成为SDN最流行的测试工具之一。该文从系统实现的角度,对OFtest进行了分析,并详细说明了系统框架、控制模块、数据模块、测试辅助模块4个部分;从实际应用的角度,介绍了本地虚拟交换机的测试方法和设计测试用例需要遵循的规则,并提出了面向POF交换机的扩展建议。...


网络安全态势感知系统中攻击轨迹精准显示技术

李娜; 樊蓉, 网络安全技术与应用 2018年04期 , 期刊

针对网络安全态势感知系统中,网络攻击轨迹定位要求精准直观呈现,而传统的基于文本及简单线条的攻击轨迹设计存在认知负担过重以及轨迹重合呈现不全面的问题,通过引入贝塞尔曲线对网络攻击轨迹的优化处理,可以帮助管理员及时发现网络威胁,提高管理员整体把控网络安全状况的能力。


变阶马尔科夫模型算法实现

王兴; 吴艺; 林劼; 卓一帆, 计算机系统应用 2018年04期 , 期刊

如何快速有效对历史数据进行统计建模和规律挖掘具有重要意义.鉴于模型在实际数据挖掘应用的局限及马尔科夫模型的良好统计特性,设计实现了基于后缀数组和后缀自动机的变阶马尔科夫模型.算法在后缀树形结构实现的基础上,引入后缀链,实现各状态子序列的快速跳转,能动态自适应计算不同阶长概率的需求.实验结果表明:相比传统马尔科夫模型,模型能在线性时间和空间复杂度内,构建历史数据的概率统计特征及各状态后缀子序列之间的链接关系,大大降低了存储空间和时间,能实现大规模数据的在线学习和应用....


高性能计算机资源管理系统改进设计与实现

顾文静; 常飚; 李娟, 计算技术与自动化 2017年04期 , 期刊

...精细化的统计查询和跨区域调配管理,调研中国气象局(CMA)和各区域中心需求,分析现有资源管理系统的实现方法和不足,充分利用数据库索引和预处理技术优化数据结构,整合SSH和jQuery框架重新设计和实现资源管理系统。测试及业务应用表明,新系统在响应速度、系统可维护性、功能可扩展性和使用便捷性等诸多方面均得到提升。系统管理员可据此调整系统资源分配调度策略,用户可选择空闲时段和队列提交作业,从而更合理高效的利用系统资源,有效提高系统运行效益。...


面向实体解析的无监督聚类方法综述

高广尚, 计算机工程与应用 2018年07期 , 期刊

...从特定类型、经典算法角度研究了无监督聚类的思路;从经典算法改进、演化分析角度研究了无监督增量聚类的思路;最后,对无监督聚类研究下一步需要解决的问题进行了展望。无监督聚类技术不仅能很好地解决传统实体解析过程中存在的聚类效率和质量问题,而且还能利用已有的聚类结果对快速演化的数据进行增量解析,进而进一步满足大数据环境下亟需的增量解析需求。没有深入分析无监督聚类算法的评价指标,尽管面向实体解析的无监督聚类方法有诸多优势,但仍然面临着准确性和可扩展性等挑战。...


一种可重构资源管理模型及其调度技术

米捷; 王佳欣, 计算机工程与应用 2018年07期 , 期刊

针对多任务操作系统的可重构资源管理,提出了一种管理模型和在线调度算法,具体实现了把任务分配给基于块划分的可重构器件。一方面,可重构器件由一个主CPU控制,主CPU运行在线调度器和放置器;另一方面,可重构器件由具有相同垂直尺寸的固定大小的块构成,但块可以有不同的宽度,目的是为了在资源和任务之间实现更好的匹配;同时在在线调度器和放置器运行两个函数fSPLIT和fSELECT来实现任务在可重构器件上的配置和调度。仿真结果表明,提出的资源管理模型和调度算法不仅能够实现


多模式匹配算法研究和优化

曹为政; 葛蒙蒙, 智能计算机与应用 2018年02期 , 期刊

模式匹配在网络安全领域有着重要的应用,随着网络环境的日益复杂,模式集合也随之增加。如何高效处理千万模式集下的字符串匹配成为网络安全的瓶颈之一。本文针对多模式匹配算法AC算法和WM算法进行了研究,采用了新型基于层次扫描和子节点数目搜索的双数组AC算法;从hash函数的选取和模式串的Tree树存储对WM算法进行了优化。能有效减少系统的内存占用,提高匹配效率。


动态图模式匹配技术综述

许嘉; 张千桢; 赵翔; 吕品; 李陶深, 软件学报 2018年03期 , 期刊

随着大数据时代的到来,多源异构数据的快速增长已经成为开放性问题,数据之间的内在关联通常可以用图数据的形式来表现.然而在实际应用中,例如网络安全分析和社交网络舆情分析,描述实体对象之间关系的图数据结构和内容往往不是固定不变的,图数据结构以及节点和边的属性会随着时间的推移发生更新变化.因此,如何在动态更新的图数据中进行高效的查询、匹配,是目前研究的热点问题.从关键技术、代表性算法和性能评价方面概述动态图模式匹配技术的研究进展.最后,对动态图模式匹配技术的典型应用、面临的挑战...


相关搜索
 找到 41,701 条结果 
首页上一页123456789下一页
关于iData
iData是第三方交流学术成果的公益互联网项目,旨在促进知识的传播和最新学术科技的共享,所有信息均来自公开、透明的互联网查询网站,iData重新对这些信息进行整合和优化,从而高效地输出有用信息,提高人与知识的连接效率。iData从创建之初便提供免费的学术文献浏览和下载。