• 当期目录
  • 优先出版
  • 过刊浏览
  • 点击排行
  • 下载排行
    快速检索
    过刊检索
    全选反选导出
    显示模式:
    2021,30(9):1-11, DOI: 10.15888/j.cnki.csa.008076
    [摘要] (75) [HTML] (48) [PDF 1.89 M] (108)
    摘要:
    在MOFs研究领域, 探寻新型MOFs仍然是非常困难的研究问题. 将MOFs进行“材料基因编码”后, 应用遗传算法(Genetic Algorithm, GA)可以快速探索新型MOFs, 但其性能依赖于设定的个体适应度函数, 且对新生成的MOFs个体的有效评估也影响了该方法的效果. 机器学习方法可以对MOFs的构效关系进行评估与预测, 人工神经网络(Artificial Neural Network, ANN)是众多机器学习方法中具有代表性的一个, 可以发掘非线性的构效关系. 本文提出将神经网络用于预测遗传算法生成的新型MOFs个体对CH4气体的吸附能力, 从而帮助遗传算法搜索新型MOFs. 实验结果表明, 神经网络可以有效评估新型MOFs材料, 证明了将神经网络与遗传算法相结合用于新型MOFs搜索和筛选的可行性.
    2021,30(9):12-23, DOI: 10.15888/j.cnki.csa.008086
    [摘要] (54) [HTML] (50) [PDF 1.23 M] (127)
    摘要:
    在当今泛在计算和软件定义的大趋势下, 形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法, 渗透到软件工程的全寿命周期. Event-B作为一种“构造即正确”的方法, 为软件工程形式化方法的应用提供了支撑. 本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述, 主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型, 并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总, 为软件工程形式化方法提供参考和借鉴.
    2021,30(9):24-40, DOI: 10.15888/j.cnki.csa.008079
    摘要:
    随着当前知识图谱的蓬勃发展, 关系抽取作为信息抽取的关键一环, 已受到越来越多研究者的关注. 关系抽取发展至今, 总体可以分为基于模板的抽取方法和基于机器学习的抽取方法; 之后随着深度学习抽取方法的广泛应用, 关系抽取的性能得到了较大提高. 本文利用时间顺序法对限定域条件下二元关系抽取方法进行归纳总结. 首先对关系抽取的概念定义、数据集以及评价指标等内容进行了简要介绍; 随后对关系抽取的相关方法进行了系统梳理, 重点分析了目前研究较热的深度学习关系抽取方法; 最后对关系抽取的未来研究方向及其应用进行了分析和展望.
    2021,30(9):41-52, DOI: 10.15888/j.cnki.csa.008078
    [摘要] (58) [HTML] (44) [PDF 1.91 M] (165)
    摘要:
    自全卷积网络(Fully Convolutional Network, FCN)提出以后, 应用深度学习技术在图像语义分割领域受到了许多计算机视觉和机器学习研究者的关注, 现在这一方向已经成为人工智能方向的研究热点. FCN的核心思想是搭建一个全卷积网络, 输入任意尺寸的图像, 经过模型的有效学习和推理得到相同尺寸的输出. FCN的提出给图像语义分割领域提供了新的思路, 但也存在很多的缺点, 比如特征分辨率低、对象存在多尺度问题等. 随着研究者不断的钻研, 卷积神经网络在图像分割领域逐渐得到了优化和拓展, 基于FCN的主流分割框架也层出不穷. 图像语义分割对于场景理解的重要性日渐突出, 被广泛应用到无人驾驶技术、无人机领域和医疗影像检测与分析等任务中. 因此, 对图像语义分割领域的研究将值得深入研究, 使其能够更好在实际应用中大放异彩.
    2021,30(9):53-61, DOI: 10.15888/j.cnki.csa.008139
    [摘要] (38) [HTML] (34) [PDF 1.43 M] (146)
    摘要:
    大数据时代, 需要集成多样化数据管理分析工具完成业务需求, 然而不同工具的数据访问接口标准不一, 需要借助适配器进行接口转换以实现数据管理分析工具协作. 因此, 如何快速集成不同工具成为学术界与工业界亟待解决的问题. 本文提出了一种基于查询语言转换的多源数据统一访问框架BAF4DUA (Bi-Adapter Framework for Data Unified Access), 该框架采用双端接口适配方式, 在数据提供者工具端和数据消费者工具端分别引入适配器对系统数据与查询语义进行适配, 将查询语言与数据存储模型相分离, 从而实现了数据提供者与数据消费者之间多对多、即插即用的数据访问, 提高了应用的灵活性与扩展性.
    2021,30(9):62-68, DOI: 10.15888/j.cnki.csa.007981
    摘要:
    针对于大样本数据的客户流失预测, 从特征有效表达的角度, 提出了一种基于谱回归特征约简的预测模型. 模型在原始客户特征基础上, 利用基于谱回归的流形降维, 建立可区分性的低维特征空间, 在此之上采用支持向量机实现客户流失的二分类. 通过在网络客户和传统电信客户两种不同数据集上的大样本实验, 并与不同分类器、不同特征约简或选择方法的对比, 证明了该方法的有效性.
    快速检索
    过刊检索
    全选反选导出
    显示模式:
    优先出版日期:  2021-07-13 , DOI: 10.15888/j.cnki.csa.008280
    摘要:
    随着现阶段数字孪生技术的不断发展,围绕着数字孪生的研究和应用逐渐成为了热点。由于传统的自动驾驶测试方法存在着不同程度的功能性、安全性以及测试成本方面的各种缺陷,本文针对数字孪生的基本特征以及自动驾驶的测试方法,提出了一种混合现实下数字孪生自动驾驶测试环境的构建方法,利用空间坐标映射、碰撞检测模型、虚拟场景注册,将实际环境下的自动驾驶信息映射到虚拟场景中,同时构建了对应的混合现实的自动驾驶测试模型,并通过实验展示了混合现实系统具有交互特征的碰撞测试,对比了50ms、200ms和1000ms采样频率下系统的性能并进行了分析,实验表明,本文算法在采样频率200ms或以上,有较好的运行帧率特征。
    优先出版日期:  2021-06-23 , DOI: 10.15888/j.cnki.csa.008287
    摘要:
    大豆有许多品种(cultivar),它们的叶片图像模式的差异非常细微,因此很难通过叶片特征将大豆品种区分开。虽然在使用叶片图像模式进行植物种类(species)识别方面的研究已经取得了巨大的进步,然而,作为一项非常细粒度的模式识别问题,大豆品种的识别与分类研究尚未引起足够的重视。传统的手工叶片图像分析方法一般无法刻划不同大豆品种的叶片特征的细微差异,因此识别率很低。本文尝试使用深度学习来提取具有强的辨识能力的叶片特征,以解决大豆的品种识别问题。我们提出了一种新颖的深度学习模型,称为目标转换注意力网络(TAN)。该方法首先通过注意力机制提取细粒度的叶片图像特征,然后使用仿射变换纠正叶片姿势。我们构建了一个由240个大豆品种组成的大豆叶片品种图像数据集,每个品种有10个样本,以此数据集验证叶片图像模式中品种信息的可用性,并验证了所提出的深度学习模型对大豆品种识别的有效性。令人鼓舞的是实验结果证实了叶片图像模式在区分栽培大豆品种方面的有效性,并证明了所提出的方法优于流行的叶片手工特征提取方法和深度学习方法.
    优先出版日期:  2021-06-23 , DOI:
    摘要:
    为了分析我国源地址验证研究领域的研究现状、发展趋势和研究热点,梳理源地址验证研究的发展趋势,以推进国家网络数据可信化传输研究的进一步深入。以中国知网数据库收录的基于源地址验证研究的论文文献为研究的数据来源,应用文献计量学和科学知识图谱两种方法,采用可视化工具CiteSpace对研究样本进行信息统计、共引统计和聚类分析,绘制出该研究领域的文献年际变化图和共现聚类、时序分布的知识图谱,从而进行科学性分析。研究表明国内的源地址验证研究趋于动态发展,趋势平稳向好;核心研究力量:以吴建平教授为首,毕军、徐恪等为重要研究专家和以清华大学为首,解放军信息工程大学、中国科学院大学等为重要的研究机构;下一代互联网、软件定义网络等为重要的新兴研究热点,体现了源地址验证研究的未来研究方向及发展趋势。
  • 全文下载排行(总排行年度排行各期排行)
    摘要点击排行(总排行年度排行各期排行)

  • 快速检索
    过刊检索
    全选反选导出
    显示模式:
    2000,9(2):38-41, DOI:
    [摘要] (11340) [HTML] (0) [PDF ] (9132)
    摘要:
    本文详细讨论了VRML技术与其他数据访问技术相结合 ,实现对数据库实时交互的技术实现方法 ,并简要阐述了相关技术规范的语法结构和技术要求。所用技术手段安全可靠 ,具有良好的实际应用表现 ,便于系统移植。
    1993,2(8):41-42, DOI:
    [摘要] (8049) [HTML] (0) [PDF ] (9545)
    摘要:
    本文介绍了作者近年来应用工具软件NU清除磁盘引导区和硬盘主引导区病毒、修复引导区损坏磁盘的 经验,经实践检验,简便有效。
    1995,4(5):2-5, DOI:
    [摘要] (7739) [HTML] (0) [PDF ] (6618)
    摘要:
    本文简要介绍了海关EDI自动化通关系统的定义概况及重要意义,对该EDI应用系统下的业务运作模式所涉及的法律问题,采用EDIFACT国际标准问题、网络与软件技术问题,以及工程管理问题进行了结合实际的分析。
    2011,20(11):80-85, DOI:
    [摘要] (6587) [HTML] () [PDF 863160] (16057)
    摘要:
    在研究了目前主流的视频转码方案基础上,提出了一种分布式转码系统。系统采用HDFS(HadoopDistributed File System)进行视频存储,利用MapReduce 思想和FFMPEG 进行分布式转码。详细讨论了视频分布式存储时的分段策略,以及分段大小对存取时间的影响。同时,定义了视频存储和转换的元数据格式。提出了基于MapReduce 编程框架的分布式转码方案,即Mapper 端进行转码和Reducer 端进行视频合并。实验数据显示了转码时间随视频分段大小和转码机器数量不同而变化的趋势。结
    2008,17(5):122-126, DOI:
    [摘要] (6249) [HTML] (0) [PDF ] (21433)
    摘要:
    随着Internet的迅速发展,网络资源越来越丰富,人们如何从网络上抽取信息也变得至关重要,尤其是占网络资源80%的Deep Web信息检索更是人们应该倍加关注的难点问题。为了更好的研究Deep Web爬虫技术,本文对有关Deep Web爬虫的内容进行了全面、详细地介绍。首先对Deep Web爬虫的定义及研究目标进行了阐述,接着介绍了近年来国内外关于Deep Web爬虫的研究进展,并对其加以分析。在此基础上展望了Deep Web爬虫的研究趋势,为下一步的研究奠定了基础。
    2016,25(8):1-7, DOI: 10.15888/j.cnki.csa.005283
    [摘要] (6047) [HTML] () [PDF 1167952] (18765)
    摘要:
    从2006年开始,深度神经网络在图像/语音识别、自动驾驶等大数据处理和人工智能领域中都取得了巨大成功,其中无监督学习方法作为深度神经网络中的预训练方法为深度神经网络的成功起到了非常重要的作用. 为此,对深度学习中的无监督学习方法进行了介绍和分析,主要总结了两类常用的无监督学习方法,即确定型的自编码方法和基于概率型受限玻尔兹曼机的对比散度等学习方法,并介绍了这两类方法在深度学习系统中的应用,最后对无监督学习面临的问题和挑战进行了总结和展望.
    1999,8(7):43-46, DOI:
    [摘要] (5927) [HTML] (0) [PDF ] (8737)
    摘要:
    用较少的颜色来表示较大的色彩空间一直是人们研究的课题,本文详细讨论了半色调技术和抖动技术,并将它们扩展到实用的真彩色空间来讨论,并给出了实现的算法。
    2007,16(9):22-25, DOI:
    [摘要] (5713) [HTML] (0) [PDF ] (2242)
    摘要:
    本文结合物流遗留系统的实际安全状态,分析了面向对象的编程思想在横切关注点和核心关注点处理上的不足,指出面向方面的编程思想解决方案对系统进行分离关注点处理的优势,并对面向方面的编程的一种具体实现AspectJ进行分析,提出了一种依据AspectJ对遗留物流系统进行IC卡安全进化的方法.
    2012,21(3):260-264, DOI:
    [摘要] (4937) [HTML] () [PDF 336300] (18292)
    摘要:
    开放平台的核心问题是用户验证和授权问题,OAuth 是目前国际通用的授权方式,它的特点是不需要用户在第三方应用输入用户名及密码,就可以申请访问该用户的受保护资源。OAuth 最新版本是OAuth2.0,其认证与授权的流程更简单、更安全。研究了OAuth2.0 的工作原理,分析了刷新访问令牌的工作流程,并给出了OAuth2.0 服务器端的设计方案和具体的应用实例。
    2011,20(7):184-187,120, DOI:
    [摘要] (4926) [HTML] () [PDF 731903] (19815)
    摘要:
    针对智能家居、环境监测等的实际要求,设计了一种远距离通讯的无线传感器节点。该系统采用集射频与控制器于一体的第二代片上系统CC2530 为核心模块,外接CC2591 射频前端功放模块;软件上基于ZigBee2006 协议栈,在ZStack 通用模块基础上实现应用层各项功能。介绍了基于ZigBee 协议构建无线数据采集网络,给出了传感器节点、协调器节点的硬件设计原理图及软件流程图。实验证明节点性能良好、通讯可靠,通讯距离较TI 第一代产品有明显增大。
    2004,13(10):7-9, DOI:
    [摘要] (4901) [HTML] (0) [PDF ] (5888)
    摘要:
    本文介绍了车辆监控系统的组成,研究了如何应用Rockwell GPS OEM板和WISMOQUIKQ2406B模块进行移动单元的软硬件设计,以及监控中心 GIS软件的设计.重点介绍嵌入TCP/IP协议处理的Q2406B模块如何通过AT指令接入Internet以及如何和监控中心传输TCP数据.
    2008,17(8):87-89, DOI:
    [摘要] (4836) [HTML] (0) [PDF ] (20169)
    摘要:
    随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。基于模型的软件测试是软件编码阶段的主要测试方法之一,具有测试效率高、排除逻辑复杂故障测试效果好等特点。但是误报、漏报和故障机理有待进一步研究。对主要的测试模型进行了分析和分类,同时,对故障密度等参数进行了初步的分析;最后,提出了一种基于模型的软件测试流程。
    2008,17(8):2-5, DOI:
    [摘要] (4825) [HTML] (0) [PDF ] (11707)
    摘要:
    本文介绍了一个企业信息门户中单点登录系统的设计与实现。系统实现了一个基于Java EE架构的结合凭证加密和Web Services的单点登录系统,对门户用户进行统一认证和访问控制。论文详细阐述了该系统的总体结构、设计思想、工作原理和具体实现方案,目前系统已在部分省市的广电行业信息门户平台中得到了良好的应用。
    2008,17(1):113-116, DOI:
    [摘要] (4767) [HTML] (0) [PDF ] (25635)
    摘要:
    排序是计算机程序设计中一种重要操作,本文论述了C语言中快速排序算法的改进,即快速排序与直接插入排序算法相结合的实现过程。在C语言程序设计中,实现大量的内部排序应用时,所寻求的目的就是找到一个简单、有效、快捷的算法。本文着重阐述快速排序的改进与提高过程,从基本的性能特征到基本的算法改进,通过不断的分析,实验,最后得出最佳的改进算法。
    2010,19(10):42-46, DOI:
    [摘要] (4730) [HTML] () [PDF 1301305] (10226)
    摘要:
    综合考虑基于构件组装技术的虚拟实验室的系统需求,分析了工作流驱动的动态虚拟实验室的业务处理模型,介绍了轻量级J2EE框架(SSH)与工作流系统(Shark和JaWE)的集成模型,提出了一种轻量级J2EE框架下工作流驱动的动态虚拟实验室的设计和实现方法,给出了虚拟实验项目的实现机制、数据流和控制流的管理方法,以及实验流程的动态组装方法,最后,以应用实例说明了本文方法的有效性。
    2004,13(8):58-59, DOI:
    [摘要] (4694) [HTML] (0) [PDF ] (8635)
    摘要:
    本文介绍了Visual C++6.0在对话框的多个文本框之间,通过回车键转移焦点的几种方法,并提出了一个改进方法.
    2009,18(5):182-185, DOI:
    [摘要] (4636) [HTML] (0) [PDF ] (15407)
    摘要:
    DICOM 是医学图像存储和传输的国际标准,DCMTK 是免费开源的针对DICOM 标准的开发包。解读DICOM 文件格式并解决DICOM 医学图像显示问题是医学图像处理的基础,对医学影像技术的研究具有重要意义。解读了DICOM 文件格式并介绍了调窗处理的原理,利用VC++和DCMTK 实现医学图像显示和调窗功能。
    2009,18(3):164-167, DOI:
    [摘要] (4607) [HTML] (0) [PDF ] (17797)
    摘要:
    介绍了一种基于DWGDirectX在不依赖于AutoCAD平台的情况下实现DWG文件的显示、操作、添加的简单的实体的方法,并对该方法进行了分析和实现。
    2003,12(1):62-65, DOI:
    [摘要] (4549) [HTML] (0) [PDF ] (8091)
    摘要:
    本文介绍了一种将DTD转换成ER图,并用XMLApplication将ER图描述成转换标准,然后根据该转换标准将XML文档转换为关系模型的方法.
  • 全文下载排行(总排行年度排行各期排行)
    摘要点击排行(总排行年度排行各期排行)

  • 快速检索
    过刊检索
    全选反选导出
    显示模式:
    2007,16(10):48-51, DOI:
    [摘要] (3776) [HTML] (0) [PDF 0.00 Byte] (75224)
    摘要:
    论文对HDF数据格式和函数库进行研究,重点以栅格图像为例,详细论述如何利用VC++.net和VC#.net对光栅数据进行读取与处理,然后根据所得到的象素矩阵用描点法显示图像.论文是以国家气象中心开发Micaps3.0(气象信息综合分析处理系统)的课题研究为背景的.
    2002,11(12):67-68, DOI:
    [摘要] (2455) [HTML] (0) [PDF 0.00 Byte] (31511)
    摘要:
    本文介绍非实时操作系统Windows 2000下,利用VisualC++6.0开发实时数据采集的方法.所用到的数据采集卡是研华的PCL-818L.借助数据采集卡PCL-818L的DLLs中的API函数,提出三种实现高速实时数据采集的方法及优缺点.
    2001,10(11):8-9, DOI:
    [摘要] (3194) [HTML] (0) [PDF 0.00 Byte] (26543)
    摘要:
    文章分析了电子商务存在的问题和需求,以浙江省电子商务现状为背景,提出了一些电子商务发展对策,供时下的电子商务企业参考。
    2008,17(1):113-116, DOI:
    [摘要] (4767) [HTML] (0) [PDF 0.00 Byte] (25635)
    摘要:
    排序是计算机程序设计中一种重要操作,本文论述了C语言中快速排序算法的改进,即快速排序与直接插入排序算法相结合的实现过程。在C语言程序设计中,实现大量的内部排序应用时,所寻求的目的就是找到一个简单、有效、快捷的算法。本文着重阐述快速排序的改进与提高过程,从基本的性能特征到基本的算法改进,通过不断的分析,实验,最后得出最佳的改进算法。
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号