搜索结果: 1-15 共查到“计算机软件 分析”相关记录495条 . 查询时间(1.754 秒)
计算机学科前沿论坛之二十——程序分析驱动的软件智能质量保障（图）
程序分析 软件测试
2023/12/24
软件质量问题难以预知。软件质量保障技术，包括测试、调试、重现等，可以有效降低人力消耗，提升软件生产效率。本报告围绕现代软件的质量保障的智能化，介绍程序分析驱动的软件质量保障的实践基础，及近期对该领域研究的浅显思考。
中国科学院声学研究所专利：一种基于模拟器的关键路径分析方法
近日，中国科学院软件研究所智能软件研究中心团队基于“源图”开源软件供应链重大基础设施平台开展的开源许可证（Open Source License）合规性分析工作取得进展。该项研究提出了基于人工智能技术的开源软件许可证风险分析方法与工具，实现了许可证声明条款自动提取，条款倾向智能判断以及条款冲突精准识别。该成果论文“An Empirical Study of License Conflict in ...
祝贺！西北工业大学软件学院力学分析工业软件团队斩获鲲鹏应用创新大赛金奖（图）
力学分析 工业软件 鲲鹏 金奖
2022/9/7
2022年9月6日，鲲鹏应用创新大赛2022·陕西赛区决赛在西安举行，软件学院季哲副教授带领力学分析工业软件团队，凭借《面向离散粒子多尺度模拟的异构适应性软件框架》斩获HPC赛题唯一金奖，团队将作为HPC赛道陕西赛区代表队参加全国总决赛。
2022年4月24日—28日，第29届国际网络和分布式系统安全会议（NDSS, Network and Distributed System Security）在美国圣地亚哥举行。网络空间安全学院博士生李士佳在26日的会议上介绍了其关于代码虚拟化分析技术的最新研究成果“Chosen-Instruction Attack Against Commercial Code Virtualization ...
2022年4月21日，国家重点研发计划“基础科研条件与重大科学仪器设备研发”重点专项“生物大数据管理和分析关键技术与系统”项目和青年科学家项目“科学数据自主应用软件研发”在牵头单位中国科学院北京基因组研究所（国家生物信息中心）举行项目启动会暨实施方案论证会。项目管理专业机构中国21世纪议程管理中心、主管部门中国科学院代表、项目专家组成员以及牵头单位和参与单位成员代表等通过现场及在线方式参加会议。
中国科学院软件所在二进制软件漏洞机理分析方面取得进展（图）
软件开发 自动化分析 计数检测
2022/1/5
2022年1月5日，中国科学院软件研究所可信计算与信息保障实验室在二进制软件漏洞机理的自动化分析方面取得研究进展。该研究提出了基于错误引用计数检测的释放后重用漏洞根因分析与定位方法，不仅可以帮助软件开发人员快速定位漏洞位置，还可以提供有效的补丁建议，为提高大规模软件漏洞的修复能力起到重要支撑作用。
近日，中国科学院软件研究所软件工程技术研究开发中心在Python程序构建中的依赖分析推断方面取得研究进展，该研究提出了知识驱动的Python程序依赖推断方法及工具,帮助开发人员提高代码复用效率，减少依赖缺失和依赖版本错误导致的Python程序构建和运行错误，为提升开发运维一体化中的应用构建自动化能力起到重要支撑作用。
中国水产科学研究院黑龙江水产研究所“施氏鲟和达氏鳇成鱼个体的行为特征检测分析系统V1.0”获国家计算机软件著作权（图）
中国水产科学研究院黑龙江水产研究所 施氏鲟 达氏鳇 行为特征检测分析系统 计算机软件著作权
2021/11/23
由寒地水域渔业资源调查与评估科技创新团队申请的“施氏鲟和达氏鳇成鱼个体的行为特征检测分析系统V1.0”获国家计算机软件著作权，登记号为2021SR0578956。该系统是大数据软件，通过全新开发设计，让用户无需培训即可进行操作，简单便捷，方便用户进行鱼类个体标记保存管理工作。
大数据技术与应用发展部与中国科学院微生物研究所等团队在微生物领域数据库及其分析系统建设取得新进展，相继联合发表两篇相关研究成果在国际知名学术期刊《核酸研究（Nucleic Acids Research）》。模式菌株（type strains）是在给微生物定名、分类记载和发表时，以纯菌状态所保存的菌种，是微生物分类学的标准参考物质，也是理想的生物技术研究工具，具有重要的科研和产业价值。模式菌株长期以...
面向软件演化的可靠性分析代数方法
软件可靠性 软件演化 软件架构 代数方法
2021/1/29
环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响,从而建立基于过程的可靠性分析方法.方法可分析演化关键环节及整体趋势,用以进一步...
山东大学编译原理与技术课件chapter4-2 语法分析
山东大学 编译原理与技术课件 chapter4-2 语法分析
2020/12/25
山东大学编译原理与技术课件chapter4-2 语法分析。
山东大学编译原理与技术课件chapter4-1 语法分析
山东大学 编译原理与技术 课件 chapter4-1 语法分析
2020/12/25
山东大学编译原理与技术课件chapter4-1 语法分析。