技术简介： 软件所含缺陷的风险或数目是合理安排软件测试资源，提高软件测试效率，衡量软件设计及开发质量的关键信息，应用模式识别技术对软件所含缺陷进行有效预测将对我国航空工业软件测试工作从被动测试…… 查看详细 >
技术简介： 针对特定的故障现象（尤其是随机故障、间歇性故障等），通过综合贝叶斯网络、FMEA、FTA等多种故障分析方法、融合多元故障相关信息（故障现象、故障案例、专家经验、故障模型等），进行系统深入…… 查看详细 >
技术简介： 针对大中型计算集群，提供Windows图形界面的计算任务启动、暂停、终止及资源分配监控功能。可针对具体计算任务定制，支持上百个计算节点。图形界面可以提供方便快捷的任务控制功能和直观的资源…… 查看详细 >
技术简介： 嵌入式软件在航空电子系统中扮演着重要的角色，软件的可靠性很大程度上决定了航电系统的可靠性。对航空电子系统软件进行可靠性试验与评估，可以对航电系统的可靠性水平进行定量的摸底，发现潜在…… 查看详细 >
技术简介： 艾维虚拟化软件基于X86硬件平台，采用了基于内核的KVM虚拟化的技术，提供包括虚拟机迁移、虚拟网络、HA、计算与存储资源动态调整等功能，可用于创建按需、弹性、实现自我管理且可以作为服务进行…… 查看详细 >
技术简介： 通用软件测试平台QETEST旨在帮助软件开发组织建立软件质量保证和软件测试体系，实现对软件测试过程的规范和量化的管理，并为面向软件源代码的分析、理解、审查和测试提供有力支持，从而显著地提…… 查看详细 >
技术简介： 该软件用在ＩＢＭ－ＰＣ机上进行汽车用永磁直流电机优化设计。该软件采用当前最流行的ＦＯＲＴＲＡＮ语言编制，包括电机电磁设计软件、绘图软件、特性模拟软件和数据输入输出几大部分。该软件主…… 查看详细 >
技术简介： 该项目针对典型的过程控制回路研究了快速预测控制算法，基于系统的阶跃响应模型开发了相应的动态矩阵控制算法，解决了非自衡系统的预测控制问题；提出了一种基于模糊目标和模糊约束的预测控制方…… 查看详细 >
技术简介： 以JPEG2000图像压缩标准为基准，创建一个新的图像编解码软件包，在提供对数字图像低码率压缩的同时，实现对压缩码流的进一步的处理。它基于EBCOT算法,采用离散小波变换，使用两层编码策略,对压…… 查看详细 >
技术简介： 通过对桥梁进行动力结构参数的识别，并用非线性全过程分析方法了解桥梁的缺陷位置和程度，计算它的极限承载能力，从而为加固设计提供依据。它包括非线性极限承载力高为表度分析和桥梁现状动态系…… 查看详细 >
技术简介： 为便于广大结构设计人员严格遵照《大开间住宅钢筋混凝土异形柱框轻结构技术规程》设计异形柱结构编制本软件。该软件直接读取TAT、SATWE形成的基本输入文件、各层标准内力输出文件，不需重新准备…… 查看详细 >
技术简介： １．该成果对地磁流方程作了系统研究。研究了该方程初边值总是无穷维动力系统特性，证明了弱解存在性，平稀解全局渐近稳定性，紧吸引子存在及维数会计。这些结论是关于地磁方程目前见到的最好结…… 查看详细 >
Copyright © 2015 科易网 版权所有 闽ICP备07063032号-5