会员中心
搜索
登录
注册

解决方案

数字化转型通用方案行业方案安全方案大数据人工智能物联网行业展望自动控制其他

产品|技术

白皮书产品介绍技术介绍技术创新模型算法

政策|规范

政策规范行动计划

电子书

电子书课件

报告|论文

报告模板论文

基于模块化Abstract_Re_省略_ine算法框架的软件模型检测方法_王舜

Abstract-Refine（抽象—精炼）方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析和解释了Abstract-Refine算法所接受的输入程序的精细结构和特性,并对Abstract-Refine算法和相关子算法运用平衡操作符做以模块化解耦,使得子算法的修改和更换不需要依赖对上层的变更.经过实验验证,本方法可有效实现传统算法模块化解耦,同时不对原算法的性能造成冲击.

  • 2021-04-30
  • 阅读441
  • 下载0
  • 6页
  • pdf

基于群智能图形化编程语言的三防转换控制程序设计与实现

群智能建筑平台是一种扁平化、无中心的新型建筑智能化系统。 将群智能建筑平台技术应用于国防工程 智能化领域，可为国防工程智能化保障提供一种全新的技术平台。 基于群智能建筑图形化编程语言，开发了国防 工程中核心的三防转换控制程序，将国防工程系统物理对象及其运行机制抽象为简单、易操作的编程语言图元符 号。 结果表明，该语言能够显示刻画三防转换控制的并行特征并降低程序开发的复杂度，从而为国防工程复杂管 控程序高效开发提供了有益探索。

  • 2021-04-25
  • 阅读441
  • 下载0
  • 6页
  • pdf

计及_源_荷_不确定性的增量配电网多目标优化模型及算法_李俊贤

针对可再生分布式电源（RDG）和需求响应负荷（DR）的不确定性增加了增量配电网中"源-网-荷"多利益主体协调运行难度问题,提出了计及"源-荷"不确定性的增量配电网多目标优化模型及算法。首先,采用基于拉丁超立方采样的蒙特卡洛模拟方法和同步回代缩减法,产生关于RDG可发电功率和DR负荷电价弹性系数的典型场景集合,简化描述RDG和DR负荷的不确定性特征；在此基础上,分别以RDG运营商、配电网运营商和DR负荷用户的收益或成本最优为目标,建立"源-荷"不确定性场景集下的增量配电网多目标优化模型；然后,采用基于Pareto熵的多目标差分进化算法对模型进行求解,并利用模糊隶属度函数从Pareto最优解集选取最优折衷解；最后,以IEEE30节点配电网为例,证明了所建模型的合理性和所提算法有效性。

  • 2021-04-25
  • 阅读441
  • 下载0
  • 9页
  • pdf

Norm_DP模型行人检测优化算法_柴恩惠

传统深度金字塔模型作为一种有效的行人检测算法备受关注,融合可变形部件模型和卷积神经网络模型,但特征提取部分使用的算法像素区域的大小不同,导致模型之间不能完全融合,在行人数量多、姿势复杂和有遮挡情况时的检测效果不理想。因此,提出一种基于规范化函数的深度金字塔模型（Norm-DP）算法,使用规范化函数融合可变形部件模型和卷积神经网络模型,直接从金字塔特征中提取正负样本,使用隐变量支持向量机进行模型训练,结合柔性非最大抑制（soft-NMS）算法和边界框回归（BBR）算法对定位框进行优化。分别使用INRIA和MS COCO数据集进行实验验证,在行人数量多、姿势复杂和有遮挡情况时,检测精度高于最优的可变形部件模型算法、卷积神经网络算法、深度金字塔模型算法和结合区域选择的卷积神经网络算法。

  • 2021-04-24
  • 阅读441
  • 下载0
  • 8页
  • pdf

基于免疫连通模型的多路径传输选择算法_张争万

为解决无线传感器网络（WSN）中节点部署不均匀造成的节点能量消耗大、数据传输可靠性低的问题,提出了一种基于免疫连通模型的多路径传输选择算法。当数据传输发生故障时,免疫机制被用来选择路径的适应度函数,从而达到优化传输路径和减少节点能耗的目的。实验从网络寿命、端到端传输延迟、覆盖率、传输可靠性、载荷分布等指标对算法进行评价。实验结果显示,所提算法可更好地平衡负载,延长网络的生命周期,以及保证数据传输的可靠性。所提算法可以应用于对能量效率、可扩展性、延长网络寿命和降低网络开销有较高要求的传感器网络设计。

  • 2021-04-25
  • 阅读441
  • 下载0
  • 7页
  • pdf

基于改进鸡群算法的区域水资源配置模型研究_卞雨

为了满足很多应用对于Web服务传输性能要求不断增加的需求,提高Web服务性能,同时降低系统响应时间,最有效的方法是对SOAP进行文档压缩,然而当前主流的压缩算法仅适于单文档压缩,对于多文档（文档集）压缩,效率低下并且无法解决文档间冗余问题。首次将XDrill压缩算法应用于Web服务,在单机条件下的测试结果表明,XDrill压缩算法极大地提高了文档集压缩效率,与传统的Gzip和XMill相比,平均压缩效率增加约30%；进一步用XDrill压缩算法对Web服务进行改进,成功解决了文档间冗余问题,和Pure-SOAP（不进行SOAP压缩）以及XMill相比,其平均响应效率分别提升47.23%和8.61%。

  • 2021-04-22
  • 阅读441
  • 下载0
  • 6页
  • pdf

四川省区块链行业协会2019四川省区块链产业白皮书

区块链是一种以密码安全为核心的新型信息技术，四川省作 为信息安全产业大省，在区块链技术方面具有较为深厚的技术积 累和较为广阔的市场前景，其中以中国电子科技网络信息安全有 限公司为代表的相关企业机构积极从事区块链技术研究突破、区 块链产品研发推广，为四川省走在区块链技术世界前列奠定了坚 实的基础。

  • 2021-04-21
  • 阅读440
  • 下载0
  • 53页
  • pdf

国家互联网应急中心CNCERT2016年中国互联网网络安全报告

报告对计算机恶意程序传播和活动、移动互联网恶意程序传播和活动、网站安全监测、DDoS 攻击监测、安全漏洞预警与处置、网络安全事件接收与处理等情况进行深入细致的分析。

  • 2021-03-29
  • 阅读440
  • 下载0
  • 258页
  • pdf