搜索结果: 1-15 共查到“计算机软件 验证”相关记录46条 . 查询时间(0.258 秒)
共享公司技术实验室通过软件检测能力验证
技术实验室 软件检测 中国石化
2023/10/16
日前，共享服务公司技术实验室顺利通过2023年软件性能效率测试能力验证。这标志着该公司软件检测能力得到了业界认可，为下一步软件评测、项目监理等工作打下了坚实基础。本次验证由国家应用软件产品质量检验检测中心组织实施。
中国科学院声学研究所专利：一种基于模拟器的软硬件协同验证方法及系统
isQ量子程序设计与验证平台
isQ 量子程序设计 验证平台
2021/8/10
isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
第六届IEEE分布式应用建模与验证国际研讨会（The 6th IEEE International COMPSAC Workshop on Modeling and Verifying Distributed Applications）
第六届 IEEE 分布式应用建模 验证 国际研讨会
2017/6/23
Distributing applications and service applications among cloud systems offer many potential benefits. However, implementing robust, efficient, and flexible distributed applications is more complex tha...
2017 IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017 IEEE 国际自动化软件系统 验证 确认 研讨会
2017/6/23
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
2017IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017年 自动化软件系统验证与确认 研讨会
2017/6/21
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
IEEE2017国际大数据应用质量保证和验证研讨会（IEEE International Workshop on Quality assurance and verification for big data applications）
国际大数据应用质量保证和验证 研讨会
2017/3/27
A smart city integrates information and communication technologies, as well as Internet of Things (IoT) solutions to reduce costs and resource consumption, enhance performance, and connect and engage ...
2016年5月20日，国家863计划课题“面向多业务融合的软件定义网络（SDN）”规模试验与验证研讨会在云南大学信息技术中心召开。该课题是SDN/NFV产业联盟联合电信、移动、联通、中国信息通信研究院及国内相关制造商，围绕运营商的需求，开展面向数据中心应用场景的端到端SDN解决方案的研究，旨在了解产业成熟情况、推动国内SDN产业相关标准制定、技术研发和商业部署。
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销，阻碍了该技术部署后在系统中的应用。如何减小验证开销、提高验证效率，已成为亟待解决的难点问题；通过识别运行时验证优化过程中多目标约束间的内在依赖关系，定义并构建了可加速监控器的判定方程，作为验证加速的多目标约束模型。实验表明：该模型的求解结果能够用来判定哪些是可加速监控器，为实施软件运行时验证的加速提供量化依据。
南华大学计算机科学与技术学院软件工程概论课件第5章 软件验证技术（3）。
南华大学计算机科学与技术学院软件工程概论课件第5章 软件验证技术（2）。
南华大学计算机科学与技术学院软件工程概论课件第5章 软件验证技术（1）。
红外波长的随机激光器设计及FDTD软件特性验证
随机激光器 FDTD软件 红外波长
2016/3/17
深入研究了随机激光等效腔的局域化特性，引入了外部光反馈下激光器的理论分析速率方程，设计了磁旋光晶体的光隔离器件实现随机激光器的改进。采用的Nd：YAG激光器的实验结果验证了改进激光器可以降低散射损耗，实现紫外激光的方向性输出。FDTD仿真结果进一步表明波导的TE模的光增益近似是平面波导的两倍；信号和泵浦强度的耦合在改进波导结构有了明显改进；输出功率结果证实了结构降低随机激光器的散射损耗。研究结果对...
中国科学技术大学在并发程序验证研究中取得进展
中国科学技术大学 并发程序 编程语言原理 POPL
2016/1/29
2016年1月20日至23日，第43届编程语言原理国际会议（简称POPL）在美国佛罗里达州圣彼德斯堡召开。中国科学技术大学特任副研究员梁红瑾和教授冯新宇在并发程序验证领域取得新进展，首次设计出一种验证并发对象无饥饿性与无死锁性的程序逻辑，该研究成果发表在第43届POPL上。POPL是讨论编程语言和编程系统最新突破的主要论坛，内容涵盖编程语言的理论、编程语言的设计、编译器技术、程序分析、程序验证、可...