-
公开(公告)号：CN112579437B
公开(公告)日：2022-11-29
申请号：CN202011378877.6
申请日：2020-12-01
申请人： 中国科学院电子学研究所苏州研究院 , 东南大学
IPC分类号： G06F11/36
摘要： 本发明提出了一种程序运行过程符合性验证方法，包括动态插桩和过程验证两个环节，动态插桩工作时，接收并解析用户传入的指令，执行插桩启停过程，并回传过程数据日志；过程验证接收过程数据日志，提取日志中方法间的关系建立过程图模型，并将过程图模型与标准规则进行顺序匹配，从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息，提供了一种程序运行流程验证的方法，填补了针对软件运行过程符合性验证的空白。
-
公开(公告)号：CN112579437A
公开(公告)日：2021-03-30
申请号：CN202011378877.6
申请日：2020-12-01
申请人： 中国科学院电子学研究所苏州研究院 , 东南大学
IPC分类号： G06F11/36
摘要： 本发明提出了一种程序运行过程符合性验证方法，包括动态插桩和过程验证两个环节，动态插桩工作时，接收并解析用户传入的指令，执行插桩启停过程，并回传过程数据日志；过程验证接收过程数据日志，提取日志中方法间的关系建立过程图模型，并将过程图模型与标准规则进行顺序匹配，从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息，提供了一种程序运行流程验证的方法，填补了针对软件运行过程符合性验证的空白。
-
公开(公告)号：CN107767324B
公开(公告)日：2020-11-06
申请号：CN201710998086.5
申请日：2017-10-24
申请人： 中国科学院电子学研究所苏州研究院
摘要： 本发明公开了一种大型遥感图像快速缓存方法，属于遥感图像可视化领域，主要面向大型遥感图像，提供了一种基于内存区块化的遥感图像数据缓存方法，将遥感图像以不同分辨率在内存中进行分层分块存储，建立对应图像区块的层、行、列链接关系，进行内存区块的动态调度，从而显著提高大型遥感图像的加载与浏览速度，在底层数据读取和渲染管线中间添加内存缓存层，减少磁盘读取频率，内存的读取速度约为磁盘的100倍。所以，在增加内存缓存机制后，系统对已缓存的数据读取效率可以得到极大的提升。减少频繁申请内存造成的内存碎片，提升系统性能。使用内存缓存区申请和释放内存可以避免内存泄漏问题。
-
公开(公告)号：CN111274569A
公开(公告)日：2020-06-12
申请号：CN201911341476.0
申请日：2019-12-24
申请人： 中国科学院电子学研究所苏州研究院
摘要： 本发明公开了一种统一登录认证的研发运维集成系统，包括登录模块、统一认证模块、集成显示模块、分级认证模块，登录模块用于提供CAS单点登录的统一入口；统一认证模块用于对登录用户的合法性和权限进行一级认证，为认证合法的用户分配访问令牌，供其查看权限范围内的研发运维分系统；集成显示模块用于向一级认证合法的用户展示与其权限范围对应的研发运维分系统；分级认证模块集成在各分系统内，用于对分系统登录用户的合法性和权限进行二级认证，供研发运维分系统向二级认证合法的用户授权对应的功能。本发明认证用户登录一次即可使用多个应用系统，减少了频繁切换应用系统的时间，减轻了系统服务器的负担，同时提高了系统使用的效率和安全性。
-
公开(公告)号：CN111176993A
公开(公告)日：2020-05-19
申请号：CN201911349236.5
申请日：2019-12-24
申请人： 中国科学院电子学研究所苏州研究院
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于抽象语法树的代码静态检测方法，对不同语言环境构建规则扩展模板；基于规则扩展模板的基类规则构建规则库；采用注册列表机制进行规则注册；将规则库嵌套到开源平台中；基于抽象语法树进行代码扫描与分析。本发明支持主流开发语言扫描规则的定制，可以快速集成到开源软件中，通过自动化手段进行代码扫描，找出程序中不安全、不明确和模糊的代码，减少软件或系统开发设计过程中的缺陷和问题，保证软件质量。
-
公开(公告)号：CN112416369B
公开(公告)日：2022-11-29
申请号：CN202011366095.0
申请日：2020-11-29
申请人： 中国科学院电子学研究所苏州研究院
摘要： 本发明提出了一种面向异构混合环境的智能化部署方法，对部署目标设备进行抽象建模，将部署目标设备的环境信息，包括硬件信息和软件信息，以及应用系统依赖项、应用系统配置项和应用系统集中存储管理；根据第一阶段管理的应用系统配置项信息和部署目标设备环境信息，训练智能决策算法模型，为待部署应用系统进行智能适配，得到应用系统在目标设备正常运行所需的依赖项和配置项；根据第二阶段的适配结果，完成软件服务的打包，并进行统一存储管理；基于打包的软件服务以及部署目标设备的硬件信息，完成部署配置，实现应用系统的自动化部署。本发明解决了现有技术中应用系统配置项管理混乱、部署能力以及适配能力不足等问题，提高了产品发布的效率以及成功率。
-
公开(公告)号：CN108595590A
公开(公告)日：2018-09-28
申请号：CN201810352667.6
申请日：2018-04-19
申请人： 中国科学院电子学研究所苏州研究院
摘要： 本发明公开了一种基于融合注意力模型的中文文本分类方法，通过分词预处理和分字预处理分别将文本切分为对应的词集合和字集合，并根据得到的词集合和字集合，采用特征嵌入的方法训练文本对应的词向量和字向量；采用双向门循环单元神经网络作为编码器分别对词向量和字向量进行语义编码，并采用词向量注意力机制和字向量注意力机制获取文本中的词注意力向量和字注意力向量；得到融合注意力向量；通过softmax分类器预测文本类别，解决了现有的中文文本分类方法忽略文本的字特征信息,导致提取的文本特征单一，难以涵盖文本所有的语义信息，并且没有重点关注对分类有明显贡献的特征，导致分类过程中存在较多的冗余特征的问题。
-
公开(公告)号：CN107767324A
公开(公告)日：2018-03-06
申请号：CN201710998086.5
申请日：2017-10-24
申请人： 中国科学院电子学研究所苏州研究院
CPC分类号： G06T1/0007 , G06T1/60
摘要： 本发明公开了一种大型遥感图像快速缓存方法，属于遥感图像可视化领域，主要面向大型遥感图像，提供了一种基于内存区块化的遥感图像数据缓存方法，将遥感图像以不同分辨率在内存中进行分层分块存储，建立对应图像区块的层、行、列链接关系，进行内存区块的动态调度，从而显著提高大型遥感图像的加载与浏览速度，在底层数据读取和渲染管线中间添加内存缓存层，减少磁盘读取频率，内存的读取速度约为磁盘的100倍。所以，在增加内存缓存机制后，系统对已缓存的数据读取效率可以得到极大的提升。减少频繁申请内存造成的内存碎片，提升系统性能。使用内存缓存区申请和释放内存可以避免内存泄漏问题。
-
公开(公告)号：CN112417403A
公开(公告)日：2021-02-26
申请号：CN202011368199.5
申请日：2020-11-29
申请人： 中国科学院电子学研究所苏州研究院
摘要： 本发明提出了一种基于GitLab API的系统自动化认证和授权处理方法，将本地账户与GitLab系统账户进行映射，采用GitLab系统的统一用户信息数据，完成用户信息及操作数据的同步；获取用户通过登陆模块输入的账户信息，对登陆请求进行处理，包括认证请求过滤和身份构建，生成对应用户的Token；模拟GitLab登陆获取用户认证信息，存储于Cookies中，结合对应用户的Token，进行GitLab对应API的访问和操作，实现GitLab全部功能操作和扩展。本发明一方面解决了定制扩展的功能API无认证信息的问题；另一方面，减少了人工参与的频次，认证和模拟处理过程全部为自动化，提高了处理效率，降低了操作风险。
-
公开(公告)号：CN109684215A
公开(公告)日：2019-04-26
申请号：CN201811588111.3
申请日：2018-12-25
申请人： 中国科学院电子学研究所苏州研究院
IPC分类号： G06F11/36
CPC分类号： G06F11/3672 , G06F11/3604
摘要： 本发明公开了一种自动化软件系统质量检查和快速迭代方法，首先，开发人员提交代码至待审核分支，当监控服务器检测到该分支有代码变动时，触发静态分析任务，进行代码自动评审；在代码审查通过后，自动分支合并到主干并触发单元测试和在线编译任务；在单元测试和在线编译没有问题时，进行打包和部署，同时启动自动化系统软件测试；最后将通过的测试的软件产品进行发布。该方法提高了软件研发的自动化水平；降低了人工评审的复杂度；建立了多种语言的自动测试框架，减少了人工参与成本，节省了人力资源；建立了软件系统研发各阶段的持续反馈机制，出现问题，及时反馈，实现了工程化的软件质量控制。
-
-
-
-
-
-
-
-
-
搜索结果
16 条记录 (耗时 0.042 秒)
