基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。     

达索系统发布新一代社交创新平台——3DSwYm

2012年4月23日,达索系统宣布正式发布新一代社交平台——3DSwYm。目前大多企业基本上都在使用静态的局域网和信息系统。企业社交平台——3DSwYm带来了新的突破:它改变了公司和员工的创新方式,并促使他们为实现公司的愿景和战略做出积极贡献。3DSwYm旨在为动态地分享和运用知识     

Intersil推出低噪声高带宽差分放大器

Intersil公司推出3．3V单电源供电且只消耗35mA静态电流（155mW）的低噪声高带宽差分放大器ISL55211。     

协调的分布式决策虚拟企业风险管理模型

虚拟企业要取得预期的利润,就必须成功规避运行中的风险.考虑虚拟企业的分布性以及联盟成员之间关系多样性的特点,根据非合作完全信息静态博弈理论,采用分布式决策的思想对虚拟企业风险进行管理.针对各盟员构成非团队关系,并且不存在机会主义行为的虚拟企业,探讨了其风险管理的特点,以及在风险管理问题上各盟员之间可能达成的协作;建立了协调的分布式虚拟企业风险管理模型,给出了模型的求解方法,同时设计了相应算法对模型进行求解,并对解的不同情况进行了分析;另外还比较了不同协调原则下联盟总利润以及各盟员利润的变化情况.仿真分析表明,所提出的模型和算法,能在虚拟企业各盟员风险管理中起到协调控制的作用,达到“双赢”的目的.     

基于虚拟仪器的传感器静态特性测试系统研究

采用虚拟仪器技术,对CSY10B型传感器的输出进行了数据采集和处理,设计了传感器静态性能测试系统。在Windows系统环境下,利用LabVIEW软件编程,构建虚拟仪器,实现了对传感器输出电压的实时测量、显示、记录;同时对其输出电压数据进行数据拟合,确定了其最佳拟合曲线,实现了对传感器的静态特性的自动分析与测定。所提出的传感器静态性能测试系统具有良好的人机交互界面,简单实用。     

基于内容的静态语义概念视频检索方法研究

本文针对互联网视频检索技术的发展,阐述了目前主流视频搜索引擎的技术现状,分析了互联网视频检索的关键技术,特别是对于视频特征的提取技术。本文的创新点是提出了一种通用的基于内容的静态语义视频检索方法,该方法可以弥补基于文本视频检索的有关不足,并且在TRECVID的视频概念检索数据的静态语义概念中得到验证,运行稳定。     

一种基于QAC和Klocwork软件的静态测试方法

为了提高软件的测试质量和效率,在软件测试中越来越多的测试工具被应用进行软件自动化测试。文章提出了一种基于软件测试工具QAC和Klocwork对代码进行静态测试的方法。首先,文章简要地介绍了这2种软件测试工具,并阐述了它们的测试过程;之后,分析了它们各自的特点及侧重方向;接着,指出了该方法对提高软件质量的影响;最后,结合实例验证了该方法的优越性。     

JVC GC-PX10数码相机

正JVC GC-PX10是一款数码相机与高速摄照的混合体,它可以满足用户静态图像摄影和视频录制的需求。JVC GC-PX10以拍摄1200万像素静态图像,以及录制Full HD1920×1080全高清视频,还能够在已拍摄的视频中抓     

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。