基于贡献度和数据有效性检验的共识机制

将区块链技术引入到分布式数据维护系统,旨在解决基于传统中心化数据库的分布式系统存在的数据维护不透明、数据易被篡改、历史记录不可追溯等问题,提出一种基于贡献度和数据有效性检验的共识机制.该算法提出一种贡献度优先的随机可验证领导者选举机制,保证记账权分配的随机性及可验证性.进一步引入密度峰值算法对交易数据有效性进行校验,对打包区块的正确性达成共识.最后将所提出的共识机制应用于梅花鹿分布式养殖场场景,结果验证了密度峰值算法在交易数据有效性检测任务中的准确性和高效性.出块时延分析和安全性分析表明,所提出的共识机制能够满足数据有效性验证的实时性需求,能耗较小,具有很强的灾备能力.

新时代审计工作“三个立”总要求的理论逻辑、时代内涵和实践导向

习近平总书记在浙江工作时提出“以审计精神立身、以创新规范立业、以自身建设立信”重要要求,为浙江审计工作留下了弥足珍贵的宝贵财富。审计工作“三个立”总要求是习近平新时代中国特色社会主义思想在审计领域的萌发和具体化,充分体现了政治方向性、系统前瞻性、实践变革性和自我革命性。18年来,浙江审计充分发挥“三个立”总要求实践地的先发优势,以卓有成效的浙江审计探索彰显出了“三个立”总要求的科学理论价值和强大实践力量。新时代,“三个立”总要求仍然蕴含着其独有的政治价值、精神价值、实践价值和时代价值。审计机关应准确把握“三个立”总要求在新征程中的实践导向,坚持政治统领为魂、审计项目为王、审计质量为要、队伍建设为本,着力推动审计工作高质量发展。

后秦汉时期叙事神话对象的形态演变考

随着大量神话资料的挖掘与调查,学界开始从不同的角度对中国神话的系统特征进行论证和研究,取得了丰硕的成果,但是对于中国神话叙事系统形态历程的研究还有进一步探讨的空间,尤其是依据古籍文本资料对秦汉后期神话叙事系统的追溯鲜有论述。本文梳理先秦古籍所载神话到魏晋南北朝时期神话演变、发展历程的线索,通过对同一神话进行比较研究,来讨论中国神话叙事形态经历先秦之零碎、简短、残缺,演变到魏晋南北朝时期之连贯、复杂、系统,以论证中国神话叙事对象形态的演变。

不同地区牛背最长肌营养成分对比分析

探索不同地区牛背最长肌的氨基酸、脂肪酸、微量元素等营养成分含量的差异。试验选取贵州、内蒙、新疆地区各6头36月龄左右公牛的牛背最长肌进行营养成分测定。结果表明:(1)内蒙地区牛背最长肌中甘氨酸、脯氨酸、丙氨酸等含量均显著高于贵州和新疆地区(P<0.05);(2)内蒙地区牛背最长肌中硬脂酸、油酸等含量极显著高于贵州和新疆地区(P<0.01);(3)贵州地区牛背最长肌中牛磺酸含量显著高于内蒙和新疆地区(P<0.05);(4)新疆地区牛背最长肌中总胆固醇含量极显著低于贵州和内蒙地区(P<0.01)。综上所述,内蒙地区氨基酸、脂肪酸含量高;贵州地区牛磺酸含量高;新疆地区胆固醇含量低。

电力系统扩展黑启动方案的研究

电力系统全停电后的黑启动恢复问题是系统安全防御的重要课题,科学合理的黑启动方案对于实现系统全停后的快速恢复具有重要意义。鉴于目前有些系统的黑启动电源有较大容量及较好的运行调节性能,提出一个黑启动电源同时启动多个被启动电厂的扩展黑启动策略。以黑启动形成的系统在一个时间段内机组发电量的加权和最大为优化目标,综合考虑被启动机组的启动约束及系统的运行约束,建立扩展黑启动方案优化模型,并将此优化问题转化为一个二维背包问题,结合最短路径法与回溯算法对扩展黑启动方案进行优化。最后,以新英格兰10机39节点系统和河北南网实际系统为算例验证所提方法的有效性。

基于网格化管理的农产品质量安全追溯系统的设计与实现

农产品质量安全追溯是通过标识和查询农产品过程信息、落实农产品质量安全的重要手段。农产品质量安全追溯体系的建设,对于保障"从农田到餐桌"的食品安全和我国农业现代化都具有重要意义。为此,笔者以中宁县枸杞生产为案例,采用了空间分析、数据网格化、云计算、移动互联网等一系列技术和方法,构建了包括宽度、深度和精确度三个维度的食品可追溯体系,突破了定位与地图显示、数据网格化、预警服务与推送、二维码关联与追溯等多项关键技术,形成了能够覆盖农产品生产全流程的农产品质量安全追溯系统。在系统建设与应用示范过程中,该系统在农作物质量安全追溯上可以基本满足管理人员、生产人员和消费者的需求,在未来该系统可以应用到全部农产品的质量安全追溯体系中,可继续研究并建立国家层面统一的、标准化的追溯标准。

高分辨率SAR影像同名点自动匹配技术

由于SAR工作原理跟光学遥感成像技术截然不同,而经典同名点匹配方法已不能完全满足SAR自动配准需要。为了快速有效地进行SAR影像配准,基于SAR影像自动配准技术的发展,提出了一种新颖的高分辨率SAR影像同名点自动匹配算法,该算法首先创建金字塔影像,同时在金字塔影像上回溯搜索,以确定初始变换函数类型及相应的变换参数;然后通过分层回溯逐层加密控制点来解求最佳变换函数类型及相应变换参数;最后在原始影像分辨率下修正同名点坐标,以获取最终匹配同名点对。这种分层回溯策略不仅很好地解决了同名点搜索计算复杂度问题,使获取的同名点对分布更趋均匀、精度更高,而且能确保每层变换函数达到全局最小二乘最优。另外,以高分辨率SAR影像为实验数据进行的实验结果表明,该同名点搜索算法不仅计算时间可由221 s缩短至34 s,而且可达到0.284 636 p ixels的配准精度。

电力系统恢复的主从递阶决策模型及其优化算法

引入主从递阶决策概念,建立了一种适合于大面积停电后分布式恢复的主从递阶决策模型。该模型包括主从递阶恢复决策结构和基于承诺与约定的主从递阶决策模型。通过自下而上的可行性检验与自上而下的目标优化,限制问题的求解规模,避免了对大规模系统直接求解的困难。针对主从递阶决策问题的优化求解,提出基于回溯算法的优化方法。山东电网的仿真结果表明,该方法充分考虑了电力系统分层递阶调度的特点,能满足大规模电力系统大面积停电后分层分区恢复协调调度决策的要求。

基于位置集回验的并联分片频谱压缩感知算法

提出了基于压缩感知的认知无线电频谱检测方法,该方法采用并联分片压缩采样法,同时引入了基于位置集回验的重构算法。分析了不同重构算法的性能差异,阐述了并联分片压缩采样的实现方法。通过仿真分析了不同分片数条件下,并联分支数对CoSaMP和OMP重构算法重构概率的影响,并说明了频带划分的估计方法。

城市密集不规则障碍空间无人机航路规划

随着国家低空开放和民用无人机的普及,小型无人机在城市空间的使用将会越来越广泛,城市空间的密集不规则障碍环境对无人机的安全提出了严峻挑战.针对传统的全局航路规划方法在密集不规则障碍环境中容易陷入局部"死区"而导致飞行危险的问题,通过设计当前航点到无人机视界的航路代价函数,建立了局部视界范围内的最优回溯模型,提出基于局部回溯和广度优先思想相结合的综合路径规划方法.仿真对比实验表明,本文提出的航路规划方法避免了传统的全局规划方法存在的局部"死区"问题,可在密集障碍环境中为无人机规划出安全可飞的航路,使无人机能够规避任意不规则形状的危险障碍,提高了无人机在城市低空环境中飞行的安全性.

创新型城市研究的理论演进与反思

通过对创新型城市研究的理论性追溯及其主要研究内容回顾,梳理出创新型城市研究的发展演进脉络。着重反思了当前创新型城市研究方面存在的薄弱环节,认为其突出表现为创新型城市研究的指标化困境以及对于城市创新外生力量源泉关注的不足,并明确指出,个性化的城市创新路径选择以及有效利用国际创新资源是未来创新型城市研究与实践的主要突破方向。

畜产品追溯系统中关键RFID技术的研究与实现

针对畜产品追溯系统中需要对远距离标识进行识别的问题,研究了有源射频识别(RFID)中的关键射频通信技术。根据畜产品追溯系统的特点,在射频通信过程中设计了特定的有源RFID数据帧结构,并加入了轻量级的防冲突和丢包检测,以及基于应答方式的重传机制,用于实现有源RFID系统中读写器与电子标签的通信。实验测试表明,该系统关键技术的构建有效且可行,较好的保障了有源RFID系统数据通信,为建立有效的畜产品可追溯系统提供了可行的解决途径。

高速低功耗维特比译码器的设计与实现

提出了一种基于改进T 算法和回溯法的高速低功耗维特比 (Viterbi)译码器 该译码器采用了并行和流水结构以提高速度 ,减少了加 比 选模块中不必要的操作 ,并在回溯过程中采用了幸存路径复用的方法 ,为利用时钟关断技术降低系统功耗提供了可能 利用 0 2 5 μmCMOS工艺 ,成功地设计并实现了 (2 ,1,7)Viterbi译码器 ,其电路规模约为 5万等效门 ,芯片内核面积为 2 18mm2 ,译码速度可达 10 0MHz,而译码延迟仅为 32个时钟周期 。

用人工智能原理实现大学课程表编排的探索

利用人工智能的原理，对解决大学课程表编排的有效方法进行了探索，对利用领域知识提高编排速度及减少死锁次数提出了切实可行的方法．

基于RFID的无公害蔬菜质量安全管理系统设计与实现

以RFID技术为依托,以农超对接中的"基地-加工企业-超市"为主要模式,围绕无公害蔬菜生产、包装、销售的主要环节,建立基于RFID的无公害蔬菜质量安全管理系统,实现对无公害蔬菜从产地到加工经营企业整个流程实施有效监管和追溯,增加对无公害蔬菜产品农药残留检测的密度和范围,及时依据检测结果做出准否上市的正确判断。

ATLAS语言实现中的设备分配算法研究

ATLAS是一种专业领域测试语言,其特有的设备分配给该语言的实现带来一定困难.本文提出了一种基于剥夺的启发式双重回溯搜索静态设备分配算法;并针对实际应用中ATE的特点,给出了两个实用的启发函数指导设备分配过程.通过若干实例表明,该算法能够以较高的效率实现静态设备分配.

装配生产线人因质量事故的追溯方法

研究了离散制造业装配生产线人因质量事故的追溯方法.在分析Swain的人因失误分类方法和Ras-mussen的S-R-K(skill-based behaviors,rule-based behaviors,knowledge-based behaviors)分类方法的基础上,综合2种方法的优点提出了一种新的复合分层人因失误辨识方法.基于这种方法,结合故障树分析,对某厂传感器线束装配生产线终端的产品泄漏的人因失误因素进行了分层辨识,辨识结果表明:人因失误的内在因素(求快、侥幸心理、粗心大意)对失误过程影响较大,是人因失误的主要影响因素.此外,泄漏质量事故的发生同时受到环境与管理因素的影响,它是在外在环境因素及内在因素的共同诱导下产生的.

基于层次混合的高效概率包标记WSNs节点定位算法

在利用概率包标记技术对无线传感器网络(WSN)恶意节点的追踪定位中,标记概率的确定是关键,直接影响到算法的收敛性,最弱链,节点负担等方面。该文分析并指出了基本概率包标记(BPPM)和等概率包标记(EPPM)方法的缺点,提出了一种层次式混合概率包标记(LMPPM)算法,可以克服以上算法的不足。该算法对无线传感器网络进行分簇,将每个簇看成一个大的"簇节点",整个网络由一些大的"簇节点"构成,每个"簇节点"内部又包含一定数量的传感器节点。在"簇节点"之间采用等概率包标记法,在"簇节点"内部采用基本概率包标记法。实验分析表明,该算法在收敛性、最弱链方面优于BPPM算法,在节点计算与存储负担方面优于EPPM算法,是在资源约束条件下的一种整体优化。

高速Viterbi译码器的VLSI设计与实现

在优化结构的基础上,实现了一种回溯长度为64的(2,1,7)高速Viterbi译码器.该译码器采用改进的加比选单元(ACS),降低了硬件复杂度,提高了时钟运行频率.改进的回溯单元采用了分块循环存储器,对数据读取结构进行改进,提高了译码器的数据吞吐率.基于SMIC0.18μmCMOS工艺,该译码器最高工作时钟频率可达180MHz,等效逻辑门约为28683门.经过验证比较,结果表明实现的高速Viterbi译码器在各个指标上如实现面积、回溯长度和约束长度比现有的各种方案有较大幅度的提高,因此该译码器在数字通信领域具有良好的应用前景如DTV和HDTV.

边缘计算场景下车联网身份隐私保护方案研究

针对车联网(Internet of Vehicles,IoV)环境中身份隐私信息易泄漏问题,基于椭圆曲线上的双线性对性质,提出一个隐私保护认证方案.该方案通过选取覆盖区域内某一移动边缘计算(Mobile Edge Computing,MEC)服务器作为可信中心(Trust Agency,TA),对车载终端(On Board Unit,OBU)和路侧单元(Road Side Unit,RSU)进行匿名化处理,实现终端用户身份隐私保护;采用单个及批量消息签名验证和去匿名化技术,实现终端车辆和路侧单元的可追溯性.分析表明,方案不仅满足正确性、不可链接性、不可伪造性、可追溯性、前/后向安全性和抵抗重放攻击等安全特性,而且在通信复杂度和时间复杂度方面具有一定的优势.实验结果显示,方案降低了消息丢失率、缩短了消息延迟.