【摘 要】
:
2010年10月19日,MathWorks宣布推出对其Polyspace嵌入式代码验证产品的改进,此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板(metrics
论文部分内容阅读
2010年10月19日,MathWorks宣布推出对其Polyspace嵌入式代码验证产品的改进,此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板(metrics weh dashboard)、自动计划验证工作、电子邮件通知以及增强的代码指标支持,这些新特性使工程师能够选择并跟踪嵌入式软件质量的
On October 19, 2010, MathWorks announced the release of an enhancement to its Polyspace embedded code verification product that proves that there are no operational errors in the source code. Included in the new Polyspace metrics metrics dashboard, automated plan validation efforts, e-mail notification, and enhanced code metrics support, these new features give engineers the ability to select and track embedded software quality
其他文献
在磁悬浮系统的功放中采用0PA544功率器件实现对系统输出负载电流的放大作用,其性能将随功放的类型而变化。针对毫米级气隙的悬浮系统,设计前级PID控制调理电路,与0PA544功率放
一、畜牧业机械化推广应用现状随着伊犁州农业结构战略性调整的深入推进,畜牧业得到了快速发展,机械化在畜牧业生产中的应用越来越广泛。截至2013年底,伊犁州共有15858台畜牧业
日前,普源精电推出一款高性能经济型频谱产品—DSA1030A频谱分析仪。新的频谱分析仪性能指标包括:采用8.5英寸TFT彩色宽屏显示;频率范围从9kHz到3GHz;最小分辨率带宽达10Hz;小于1d
提出了一种基于FPGA的DMA方式高速数据采集系统设计方案。该方案由底层控制器提供精确采样时序,保证ADC器件的采样吞吐;采用支持PCI协议的DMA方式的数据采集机制,优化数据采集存
4月26日,“内蒙古东部地区玉米保护性耕作及农机化新技术现场演示会”在兴安盟呼和马场举行。现场演示会旨在筛选适宜性强、稳定性好的玉米免耕播种机具,促进玉米保护性耕作技
目前,鲜食大豆摘荚环节因没有适用的机械成为鲜食大豆全程机械化生产发展的瓶颈。为解决这一难题,南通市农机化技术推广中心与海门市万科保田机械制造有限公司、江苏省农机技术
提出一种基于马尔科夫随机场模型的火焰图像分割算法。将由系统装置获取的原始火焰图像从RGB空间变换到HSV颜色空间,以提取颜色特征。分别对原始图像建立Potts标记场模型和有
本文以广东省东北部地区某高速公路桥梁为实例,简明阐述山区公路桥梁的水文水力计算过程,强调山区公路桥梁水文水力计算分析结果作为其设计参考依据的重要性。
短信作为一种使用方便、费用低廉的即时通讯方式,有着极广泛的群众基础。而且随着移动设备和手机技术日益成熟,短信收发也变得越来越可靠及时,特别适合数据量不大的场合使用,例如
随着财务共享服务中心信息化建设,网上报销系统、ERP、资金平台、FMIS系统、集中报销平台等逐步嵌入到企业经营中,使得企业的物流、资金流、信息流同步一致、集成共享。与此相