纳米散热——Kingmax大力神DDR3 2200内存测试

内存在这个寒冷的冬日谈散热似乎不合时宜,但Kingmax最新采用纳米散热技术的大力神Nano DDR32200内存确实来了。大力神DDR3 2200内存运用了Kingmax最新的"纳米散热"技术,这是一种全新的将胶状复合材料涂抹在     

享受H61的东风——技嘉PA65-UD3-B3主板评测

主板Sandy Bridge的东风已经刮了有一阵子了,随着1月初Sandy Bridge发布P系列的P67和H系列的H67芯片组亮相,而真正性价比的中坚力量H61在3月中旬才真正在中国市场上市。但是它可观的性价比和低廉的价格,相比H67和P67系列芯片组更具竞争力,也更被大家看好。规格简介H61芯片组产品相比它的同门师兄H67并没有被"阉割"多少,制程相同,功耗相同,仅仅是少了两个原生     

混合投影时序逻辑与混合系统的形式化验证

为了描述混合系统的性质和行为，10多年来，各种时序逻辑，如Hybrid Temporal Logic等相继出现。这些时序逻辑适用于刻画混合系统的性质和规范，但不适宜表示描述系统的实现模型。本文定义了一个混合投影时序逻辑（Hybrid Projection Temporal Logic，简称HPTL），既能刻画混合系统的性质，又能表示混合系统的实现。这样，混合系统的验证就可以很方便地在统一的数学模型框架下进行。同时，给出了HPTL的基本的逻辑等价式系统和一个用HPTL进行混合系统验证的实例。     

总有一款适合你——3款UE耳机试用

耳机音乐爱好者们又有耳福了,因为罗技旗下的UE在2011年底推出了全新的耳机产品。新产品中包含高、中、低价位段的产品,可以让音乐爱好者都可以使用到UE耳机。本次我们要试用的产品分别是罗技UE 200vm隔音耳机+麦克风、罗技UE600vm隔音耳机+麦克风、罗技UE 3500无线头戴式耳机+麦克风。     

Windows 8的礼物——微软Sculpt触控鼠标

鼠标今年10月微软将推出全新的Windows 8操作系统,触控鼠标的出现预示着Windows 8时代真的是来了。今天,我们就来一起体验微软硬件新推出的支持Windwos 8的无线蓝牙鼠标——微软Sculpt触控鼠标。与1983年微软与Microsorft Word销售捆绑的     

拍摄,“云”起来——ez Share易享派无线分享闪存卡试用体验

存储卡你是否经常懒得去整理相机SD卡中的照片?要连接读卡器,或者给相机、摄像机连接数据线,这真是太麻烦了。如果不拔出存储卡,直接通过无线来管理存储卡内的图像数据就会便捷很多。梦想不再是梦想,无线闪存卡产品已经面试。这次我们测试的就是一款带有无线Wi-Fi连接功能的SD闪存卡——ez Share易享派无线分享闪存卡。     

大型火电厂空气预热器间隙控制系统的现场改造与自动投入

针对空气预热器间隙控制系统存在的问题,提出相应的改造措施,结果表明改进后的系统完全可以满足实际工作的需要,系统的自动调节品质及安全经济性都有了明显的提高.     

软件中的错误传播研究

随着计算机技术的广泛应用，计算机软件的安全性显得越来越重要。为了保证软件的安全可靠，必须了解软件可能的错误行为，井采取相应的补救措施来提高其性能。本文采用了基于软件故障注入的方法，对计算机软件中数据状态错误的传播行为进行了研究。结果发现，在给定位置注入的数据状态错，要么所有的都会传播到输出，要麽一个也不会传播到输出。这表明软件测试中的大量数据状态的错误行为，可以通过少量的数据状态错误行为来进行模拟。     

电惯量模拟机械转动惯量方法的研究

制动器实验台是测试制动器性能和质量的装置。目前,国内外的制动器试验台系统大多采用机械方式：用大型惯量盘的转动惯量来模拟汽车直线运动的动量。本文从制动器实验台系统动力学数学模型和直流电动机原理两个方面分析了电惯量模拟机械转动惯量的实现方法：即按照一定的控制算法控制他励直流电机的电枢回路输入电压,以控制电动机的输出转速,从而实现用电惯量对机械转动惯量的模拟。