搜索结果: 31-45 共查到“知识库 计算机软件”相关记录5795条 . 查询时间(6.033 秒)
isQ量子程序设计与验证平台
isQ 量子程序设计 验证平台
2023/3/16
isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第九期）。
江苏科技大学计算机学院数字化智能应用研究所团队研发的系列产品已在中铁隧道集团三处有限公司张吉怀高铁建设项目、国家超级工程-深中通道项目、广州如意坊项目、深圳地铁、东莞地铁、无锡地铁等推广应用，怀邵衡铁路公司明文（怀邵衡综[2017]9号）推广本项目系列产品。
国产民机运行故障事故数据库设计与开发
国产民机 故障事故 数据库
2022/9/9
国产民机运行故障事故数据库设计与开发。获奖年度：2020年。获奖级别：中国智能交通协会科学技术奖二等奖。该项目由中国民航科学技术研究院、中国航空综合技术研究所等单位完成，本项目来源于工业和信息化部民机专项科研项目，属于应用技术基础领域。主要内容包括在民航运行部门与民机工业部门协同合作、有效利用民航现行的故障事故数据报告系统及其相关数据的基础上，研究民机运行故障事故数据收集、分析、安全预警及发布机制...
《红色报刊档案数据库》包含从1921年7月1日中国共产党诞生到1949年10月1日新中国成立这个时期内，由中国共产党直接领导或间接创办的党报党刊。这些红色进步报刊，真实记录和见证了伟大的中国共产党成立后所走过的波澜壮阔的光辉历程，是中国共产党领导的中国人民革命斗争历史的真实写照，是中国革命核心价值观和民族复兴精神的体现，是一部丰富生动、记载详尽、充满革命激情的历史教科书。
中共党史·中国国史数据库
中共党史 中国国史 数据库 权威资源
2022/6/30
《中共党史经典文献数据库》以党的重要历史文献档案，历次党代会重要文献，中央领导人及老一辈革命家的著作、自传、年谱、手稿，党和国家重大决策和重大事件一手文献记录，党的十二大至十八大以来重要文献汇编，十一届三中全会以来重要一手文献资料选编等为主要内容。全库共收录图书200余卷，总体量约1.8亿字，是正确总结历史经验的权威性党史资源数据库。对于深入贯彻《中共中央关于加强和改进新形势下党史工作的意见》和全...
中国近代报刊数据库收录了中国台湾地区出版的《公论报》、《自立晚报》、《台湾民报》系列及满铁文献系列；其中《台湾民报》系列、满铁文献系列已实现全文检索，其余报刊可提供索引检索及图像全文。
面向软件演化的可靠性分析代数方法
软件可靠性 软件演化 软件架构 代数方法
2024/1/23
环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响,从而建立基于过程的可靠性分析方法.方法可分析演化关键环节及整体趋势,用以进一步...
sentine1-2影像的植被指数计算软件--遥感影像区域特征统计软件
内蒙古自治区农牧业科学院综合试验示范中心科研成果：种子萌发指标计算统计系统（图）
种子萌发 指标计算 统计系统
2022/6/22
内蒙古自治区农牧业科学院综合试验示范中心科研成果：种子萌发指标计算统计系统。
南京工业大学计算机科学与技术学院智能信息处理团队
南京工业大学计算机科学与技术学院 智能信息处理团队
2022/7/24
智能信息处理团队主要从事软件理论与方法和人工智能两个方面的研究，设有人工智能研究所和计算机应用研究所等。软件理论与方法主要围绕软件分析与测试、软件质量保证、新型软件方法与技术、软件服务工程、领域软件工程等方向开展理论研究和技术开发，人工智能主要围绕机器学习、计算机视觉、图形与图像处理、数据挖掘和分析、智能优化等方向开展理论研究与工程应用。
东南大学电子科学与工程学院嵌入式系统及软件学科始建于2004年。该学科致力于前沿嵌入式技术的研究与开发，经过数年的努力，培养了一大批优秀科技人才和教育骨干，为国家的经济技术发展做出贡献。嵌入式系统对性能以及功耗的追求越来越成为设计的瓶颈。为了迎接这一挑战，嵌入式系统以及软件学科从处理器微体系结构评估，嵌入式系统与应用，以及嵌入式并行计算这三个方向开展了大量研究工作。
北京科技大学计算机与通信工程学院服务计算与软件测试课题组长期从事服务计算与软件测试方向的研究工作。在服务计算方向，围绕着新型服务软件开发中的适应性、一致性、可靠性等关键问题，在适应性服务组装、服务组装中事务集成与管理、服务软件的测试与调试等方面取得了一系列原创性的研究成果，研制了相应的支撑平台。软件测试方向，长期从事蜕变测试、变异测试、模型驱动测试、基于故障的软件测试等新型软件测试理论与技术研究工...
智能超算大数据融合应用技术依托“教育部智能超算融合应用技术工程研究中心”，拥有一批毕业于国内一流大学的教师团队，是学院内最大、最紧密科研团队。团队主要从事高性能计算、大数据和社交网络分析、软件工程、安全工程等方面的研究。近年来承担多项国家重大项目（课题），其中“数值核反应堆应用软件开发项目”是高性能计算领域唯一获得“超额完成中期考核指标”的重大研发计划项目。近年来在国内外顶级学会会议（CCF A、...