基于涌现视角的MAS信任模型仿真分析方法

目前MAS信任模型研究关注的焦点是信任管理的微观机制设计,而从这些微观机制到系统的宏观特性,并不是显而易见的.因此,这些研究都采用了仿真分析.但是这些仿真实验的设计大多缺乏理论指导,往往不能正确反映系统的宏观特性.引入系统科学中的涌现视角来审视MAS,探讨基于涌现视角的MAS信任模型仿真分析方法.这一方法从相对清晰的微观层面入手,建立仿真运行模型;在充分考虑的相关宏观约束下,研究系统宏观层面的问题以及微观和宏观之间的联系.总结分析了信任模型微观机制的设计图式,在此基础上探讨了仿真Agent的设计框架;讨论了信任模型仿真分析中应考虑的宏观问题,包括宏观约束、威胁模型、评价指标以及仿真执行中的问题,最后实例验证了此方法的有效性.     

基于录制重放的区块链交易执行追溯方法

区块链上运行的智能合约具有一经部署难以修改、调用执行需经过共识等特点, 现有的需要修改智能合约代码或打断其执行过程的调试方法难以直接应用到智能合约上. 由于智能合约的运行过程由区块链交易顺序执行过程组成, 实现对区块链交易执行过程的追溯是提升智能合约可调试性的一个有效途径. 对区块链交易执行过程进行追溯主要目标是找出一条已经出块的区块链交易是如何得到当前的执行结果的. 区块链交易的执行依赖于区块链内部状态, 且该状态取决于之前区块链交易的执行结果, 因此存在着传递性依赖. 区块链交易的依赖性和区块链所提供的执行环境的特点给区块链交易执行追溯带来了挑战. 区块链交易执行追溯面临的挑战主要有3方面, 即如何从智能合约部署的生产环境中获取足够追溯的信息、如何获取区块链交易之间的依赖关系, 以及如何保证追溯结果与实际在线执行过程一致. 提出了一种基于录制重放的区块链交易执行追溯方法, 在合约容器中建立录制重放机制, 无需修改合约代码即可支持交易执行中对状态读写操作的录制, 并且不会打断智能合约运行; 提出了基于状态读写的交易依赖分析算法, 支持对存在依赖关系的前序交易进行按需回溯; 此外, 设计了录制读写操作记录的验证机制, 确保重放的执行过程与真实执行过程之间的一致性可被验证. 所提出的方法能够追溯区块链交易调用智能合约的执行过程, 可用于智能合约调试, 并且当智能合约异常造成损失时可用于举证. 在实验中对比了将录制的读写操作记录存储于链上和存储于链下之间的性能差异, 通过案例研究展示了所提方法在追溯区块链交易执行方面的有效性和优点.     

宏观篇章结构表示体系和语料建设

篇章结构分析是自然语言处理领域的一个重要研究方向.篇章结构分析有助于理解篇章的结构和语义,并为自然语言处理的应用（如自动文摘、主题抽取、问答系统等）提供有力的支撑.目前篇章结构分析主要集中在微观的层面,分析重点是句子内部或句子与句子之间的关系和结构,而宏观层面的研究相对较少.因此,本文以篇章结构作为研究对象,并将研究重点放在宏观篇章结构的表示体系和语料资源建设上.本文探讨了篇章结构分析的重要性,从理论体系、语料资源、计算模型等三个方面阐述了篇章结构分析的研究现状,提出了以篇章主次关系为媒介的宏观和微观统一的篇章结构表示框架,并分别构建了宏观篇章的逻辑语义结构和功能语用结构.在此基础上本文标注了规模为720篇新闻报道的宏观篇章结构语料,并对标注的结果进行了一致性分析和标注统计分析.     

呼吁风投造芯片

“吸引100亿美元海外基金，建设20条芯片生产线，打造中国硅谷。”VC马启元的建议被斥为“痴人说梦”。此话虽“痴”，所言却非皆“梦”。由国家投资驱动的芯片制造业表现不佳，风险资本的引入从微观层面可以优化企业治理结构，从中观层面可以整合行业资源，从宏观层面上也符合国家“十一五规划”大力发展芯片业的政策导向。     

以太坊智能合约模糊测试技术研究综述

运行在区块链平台之上的智能合约,完成了不同参与者之间协议的达成和自动执行,同时也管理了大量的数字资产,智能合约漏洞的频繁爆出,造成了难以估量的经济损失。模糊测试是一种有效的动态漏洞检测技术,已经被应用于智能合约安全研究。文中分析了现有综述工作对智能合约模糊测试的总结不足的问题,并提出了智能合约模糊测试的基本框架;以目前智能合约安全研究中最广泛的以太坊智能合约为例,介绍了与智能合约紧密相关的账户机制和交易结构,总结了智能合约区别于传统程序的特点;阐述了智能合约的漏洞,并对这些智能合约模糊测试技术覆盖的漏洞进行了比较;进一步地,从单交易和交易序列两个方面对已有智能合约模糊测试技术的输入生成进行了分析;从函数层面、交易层面和交易序列层面对测试输入变异进行了总结;对已有智能合约模糊测试技术的测试预言使用进行了简述;另外,还总结了智能合约模糊测试的技术评价指标。最后,提出了当前智能合约模糊测试技术研究面临的问题,并对未来的研究方向进行了展望。     

农民工有序政治参与的现实可能性和机制创新——农民工政治参与边缘化的成因

农民工有序政治参与是构建社会主义和谐社会的客观要求。创新农民工有序政治参与机制,在制度层面上,要彻底破除城乡二元结构,努力建立和完善城乡一体化的政治、经济和社会体制;在法律层面上,必须将公民特别是农民工的政治权利及其保障与实现在宪法和其他法律上予以明确、巩固和发展;在政治结构上,要发挥政治性组织的作用,培育非政治性社团组织的成长,促进我国治理架构的合理调整。     

我国金融支持农业发展的思考

金融促进农业发展,中国社会主义新农村建设离不开金融.由于城乡二元经济结构形成的城乡发展差距、农村信贷制度、统一标准的金融监管、支农资金风险高等原因,国家金融支持农业发展的力度不够,资金供给方向边缘化,农村金融主体自身服务与创新能力不足,民间信贷活跃但弊端多,农村金融服务和管理人才缺乏.提出要加强金融服务创新,优化农村金融服务,通过加强财政政策调控进一步促进农村发展;要根据农业贷款的特点,建立农业风险补偿机制,以降低和减少支农资金的风险和损失和促进信贷;同时完善<担保法>法规,加强农村金融管理和服务人才队伍建设,使金融更好地支持农业发展.     

杨凌农业高新技术产业示范区农村金融 改革试验与政策建议

解决“三农”问题,要靠金融强力支持与推动;发展现代农业,需要高效运转、便捷、低成本的现代农村金融体系作保障。必须 推进农村金融创新,构建多层次的农村金融服务体系,才能满足“三农”发展多元化的信贷需求,促进农村经济和谐发展。杨凌农业 高新技术产业示范区在农地使用权、大型农业机械设备设施、农业生物资产、农业知识产权和专利等农村产权抵押方面做了大量 改革探索,初步解决了农民贷款抵押难、资金筹措难、农村产权变现难等突出难题。为了总结、推广此项惠及农民的农村金融改革 试验,推动农村金融改革向纵深发展,提出设立“杨凌农村金融改革试验示范跟踪研究与模式推广”重大课题,组建国家级研究团 队,探索建立“现代农业产业—科技—人才—金融—财政—保险”一体化大平台,成立国际农村金融培训中心,开展农村金融学术 交流与人才培训,建立“产业—科技—金融信息服务”联合机制,积极探索形成农产品期货、农业保险参与、适度竞争的农村金融市 场体系,率先建立“专业农户注册登记”制度,逐步培育农村金融需求主体等若干政策建议。     

产业生态系统——理解产业集群竞争优势来源的一个理论视角

传统产业背景下的生态系统理论是否存在内生的平台结构原理?对这一问题的探究是理解产业集群竞争优势来源的一个有益视角.基于这一研究意图,本文梳理了产业生态系统的概念和构成,分析了产业生态系统的特征和运行,从结构效率和约束效率入手,探讨企业如何利用平台架构促进产业发展.这一研究有利于利用产业内生的产业秩序,通过跨企业的数字化...     

分布式多主体仿真的开发环境研究

基于主体的计算机仿真技术,又称为“ABS”(AgentBasedSimulation),由于在建模方法上强调刻画各种系统主体的微观结构和行为机制,引入学习机制使主体适应环境变化,并以消息建立主体间的联系,使形成的模型在宏观层面上具备了分化、突现等复杂系统特征,在各种复杂系统的研究中得到了广泛应用,日益成为社会科学、经济学、生物学等学科中的重要研究手段。该文讨论基于主体仿真系统的分布式技术,并介绍一个开发平台DABS,该环境可用于开发分布式的经济仿真系统。     

恰当运用多媒体提高初中生物课堂教学效果

多媒体的运用要把握"度"在制作生物课件时,部分教师为了追求"创新"经常会盲目地使用大量图片、音乐、动画等,导致在教学中,课件对学生的感官刺激过强,学生的注意力停留在课件上,不能专心学习教学内容。事实上,是否有必要运用多媒体辅助教学,应取决于教师组织教学的需要。像生物的生长发育过程、生理变化以及生态系统的结构和功能等一些较抽象的内容,可利用多媒体将其变静为动、变抽象为具体、变微观为宏观,从而     

基于概率分布的动态矩阵演化算法

传统演化算法通常以宏观层面的种群之间或个体之间的相互作用来进行协同演化,较少考虑个体基因编码在微观层面进行局部优化时的相互作用。针对该情况,提出基于种群基因分布结构的动态矩阵演化算法。利用二进制基因矩阵的方式构建种群个体,结合基因编码差异及适应度评价种群个体,通过对比种群基因列决定个体基因结构调整的位置,并根据优势种群的基因结构产生下一代个体,通过微观层面上基因位之间的协同作用引导种群的演化。实验结果表明,该算法对于中、高维函数均表现出良好的优化性能,同时能较好地平衡宏观全局优化和微观局部优化之间的关系。     

BETASCO: 面向智能合约分片的联盟区块链系统

基于区块链的去中心化应用已在加密数字货币、云存储、物联网等多个领域提供健壮、可信且持久的服务, 然而区块链的吞吐能力难以满足去中心化应用日益增长的性能需求. 分片是当前主流的区块链性能优化技术, 但现有的区块链分片主要面向用户和用户之间的转账交易, 并不完全适用于以智能合约调用交易为主的去中心化应用. 针对此问题, 设计并实现面向智能合约分片的联盟区块链系统BETASCO. BETASCO为每个智能合约提供一个分片作为独立执行环境, 通过基于分布式散列表的合约定位服务将交易路由至目标智能合约所在的分片, 并通过智能合约间的异步调用机制满足跨智能合约的通信和协作需求. BETASCO通过节点虚拟化允许一个节点加入多个分片, 支持同一组节点上多个智能合约的并行执行. 实验结果表明, BETASCO整体吞吐能力可随智能合约数量的增加而线性增长, 且执行单个智能合约的吞吐能力与HyperLedger Fabric相当.     

基于层级注意力机制与双向长短期记忆神经网络的智能合约自动分类模型

针对区块链平台上智能合约应用种类繁多,人工筛选合适的智能合约应用服务日益困难的问题,提出一种基于层级注意力机制与双向长短期记忆（Bi-LSTM）神经网络的智能合约自动分类模型——HANN-SCA。首先,利用Bi-LSTM网络从智能合约源代码和账户信息两个角度同时建模,最大限度地提取智能合约的特征信息。其中源代码角度关注智能合约中的代码语义特征,账户信息角度关注智能合约的账户特征。然后,在特征学习过程中从词层面和句层面分别引入注意力机制,重点捕获对智能合约分类有重要意义的单词和句子。最后,拼接代码特征与账户特征以生成智能合约文档级特征表示,通过Softmax层完成分类任务。实验结果表明,所提模型在Dataset-E、Dataset-N和Dataset-EO数据集上的分类正确率分别达到了93.1%、91.7%和92.1%,效果明显优于传统的支持向量机模型（SVM）和其他神经网络基准模型,且具有更好的稳定性与更高的收敛速度。     

面向涌现的多Agent系统研究及其进展

在多Agent系统研究领域,涌现现象越来越引起人们的注意.面向涌现的多Agent系统研究正成为多Agent系统研究中值得注意的一个新方向.它关注的是多Agent系统宏观层面的涌现性问题以及系统涌现的宏观与微观层面的联系机制,并最终希望发展出一套面向涌现的多Agent系统的设计和控制方法.该文在介绍涌现的概念和特征之后,考察了多Agent系统宏观特征的面向涌现描述方法;然后对多Agent系统涌现的微-宏观机制进行了总结,比较分析了面向涌现的多Agent系统设计方法和设计模式;最后分析讨论了该领域研究存在的问题和进一步的研究方向.     

启明星辰电信运营商解决方案

主观安全包括：微观安全，宏观安全和中观安全。上面的执行模型分为底层的实现层，体现为安全部件，即安全产晶和规范化的安全服务；中间的运营层，体现为对于安全产品的集成管理和各种安全仟务的流程管理；顶层的决策层，包括决策支持．残余风险确认，以及顶尖上的“使命”。从微观到中观足一个协调管理的过程。从中观到宏观足一个总体监控的过程。从宏观到中观是一个全局指导的过程，从中观到微观是一个控制和配置的过程．事实上，同一安全要素可能同时包括了微观、中观、宏观三个层次的内容。     

基于多种信息组合模式的非负矩阵分解链路预测模型

针对基于拓扑结构相似性的链路预测算法中网络稀疏性和噪声问题,提出一种基于非负矩阵分解的链路预测模型。该模型从微观与宏观两个层面出发,融合网络内部和外部的辅助信息,减轻了网络稀疏性造成的影响,提升了算法预测的整体性能。提出的三种信息组合模式体现出宏观与微观角度下的信息融合策略。在13个真实网络数据集上的实验结果展示了算法预测性能上的优越性。     

区块链在健康产业预约与管理的研究与应用

区块链技术现在极为火热,其最核心的思想是为人类各种活动建设一个可信任的底层机制,使各类数据上链,并保证其数据的可信性.将区块链技术作为底层支撑与健康产业相结合,改进了其中的共识机制,提出剩余优势概念保证使用者即为管理者,真正做到自我管理,并提高其区块链的运行效率;同时利用智能合约中公平公正自动执行的特点保证具有更好的可...     

普惠金融视角下保定市新型农村金融组织发展与创新

发展新型农村金融组织是实现普惠金融目标的重要途径,也是未来农村金融改革的重点之一。探讨农村新型金融组织的创建路径对于中国多层次农村金融体系的构建以及新型农村金融组织可持续发展具有极其重要的理论价值和实践意义。文章首先分析了农村新型金融组织的类型及特点,阐述了保定市农村新型金融组织发展现状以及存在的问题,并针对性的探讨了普惠金融视角下保定市农村新型金融组织发展的路径选择。     

金融产业中农村商业银行法人更替问题研究——基于混合委托代理关系的视角

农村商业银行是农村金融产业的主导力量,对农村金融产业的发展起着重要的作用。农村信用社改制成立农村商业银行后,在农村商业银行法人更替的问题上依然沿用了省级信用联社主导更替的方式。本文从委托代理理论出发,通过对农村商业银行法人更替问题的论述,建立了一个混合委托代理模型,分析这个模型对于农商行法人治理结构的影响。本文认为省联社应该弱化对于农商行法人更替的主导,强化农商行本身的独立性,这是具有经济意义与产权意义的合理性制度性安排,也是促进农村金融产业可持续发展的必然选择。