简单生活 让你生活远离噪音

对于许多用户来说,键鼠产品不仅要求性能够好,还要使用舒适,最好还能保持较低的声音。摩天手X120无线套装采用薄膜结构加上超薄键帽,不仅按键灵敏度高,而且噪音极小,使用起来非常的趁手。X120拥有出色的手感,这主要取决于其薄膜结构＋超薄键帽的设计。在操作过程中,这款键盘的超薄键帽设计使得它在触发距离和弹性力度上都有着不错的表现,对于需要大量录入文字的工作者来说是个不错的选择。     

新品发布

佳能彩色版照片一体机发布2012年5月,佳能(中国)有限公司正式发布了彩色版多功能喷墨一体机,此次推出彩色机身的机型为:腾彩PIXMAMG6280和腾彩PIXMAMG3180。除了已有的黑色机身版外,腾彩PIXMA     

全仰角2．1 创舰CJC-258隆重上市

CJC-258整体小仰角设计,更适合近声场聆听,拉近声音与听者之间的传播距离,有效减少谐振。卫星箱光亮面板嵌入,时尚大气。低音炮在时尚的外表下隐藏着强劲的动力,释放澎湃十足的激清。卫星箱典雅稳熏,营造十分灵动的空间。     

粉红俏佳人 天敏本耀n86摄像头上市

天敏本耀-酷虹R86无驱摄像头外形设计精致时尚,采用粉红色外壳,给人感觉清新亮丽。它采用紧轴夹座式设计,可稳固扣于笔记本边缘。同时,它的体积小巧,便于携带,非常适合女生。它采用无驱方案,支持Windows XP SP2／Visto／Win7操作系统,可以即插即用;支持最新的“人脸识别与追踪”功能,图像高帧率显示,画面顺畅不间断：     

迎接世界杯 天敏产品大促销

四年一次的足球盛事——第19届世界杯足球赛将于6月11日在南非举行。为了与广大球迷一起迎接本次精彩比赛,天敏科技众多产品举行促销活动,赶快来参与吧。从5月1日～6月30日,登录“http：／／www.10moons.com／2010worldcup／”参与相关活动,就有机会获得多重惊喜。     

王者降临戴尔U3011 30英寸IPS面板显示器

戴尔UltroSharp系列显示器一直活跃在专业显示领域,最新30英寸显示器产品U3011可支持2560×1600的分辨率和16：10的宽高比。100000：1动态对比度、7ms灰阶响应时间、1000：1静态对比度、370流明亮度都是极为强悍的指标。     

渐进式标记-清扫垃圾收集机制验证

垃圾收集已经成为可靠、高效程序运行平台的一个重要组成部分.渐进式垃圾收集由于在用户程序运行时并行的执行垃圾收集操作,其算法及实现则更为复杂,其可靠性也更难以得到保证.本文论述使用Hoare风格的程序验证框架形式验证渐进式标记-清扫垃圾收集机制及其写拦截器在汇编语言层次上的实现的研究工作.被验证的属性涵括了简单的类型安全到整个内存堆上的数据保持.本文所有的验证工作都实现在Coq辅助定理证明工具中,从而可以迅速的用于构造携带证明的代码包.     

超声波声速测量新方法

双踪示波法是测量声速的一种新方法．它利用示波器的双踪功能．以发射信号的波形为参考对象，与接收信号波形直接进行比较．当连续单向移动接收换能器时，可观察到发射信号的波形与接收信号波形发生多次重合现象．连续两次重合图象所对应的位置值之差就是我们所要测量的波长值．双踪示波法不仅适用于测量声波在空气中的传播速度．同样也可以用于测量声波在液体中的传播速度．     

LD端面抽运矩形截面YAG-Nd:YAG复合晶体热效应

通过对LD端面和射复合晶体工作特点分析,建立了符合实际工作情况的热模型,利用热传导方程一种新求解方法,提出了矩形截面复合晶体的温度场分布和端面热形变场通解表达式。研究结果表明,当使用输出功率为18W LD端面中心入射复合晶体YAG-Nd：YAG（YAG部分为2mm,Nd：YAG部分掺Nd^3＋质量分数为1%）时,在抽运端面中心获得101.35℃最高温升（比全部掺杂Nd：YAG晶体降低了22.3%）和2.61μm最大热形变量。得出了复合晶体可以有效降低晶体中最高温升,但是不能减少晶体端面热形变的重要结论。     

动态存储管理安全验证的Coq实现

随着软件规模和复杂度的日益提升,软件安全的问题变得越来越严峻,同时有越来越多的研究工作集中在高可信软件的开发上 .由于类型系统表达能力的不足,现有的研究不触及底层软件的验证 .由于Hoare逻辑更好的表达能力,采用Hoare逻辑风格的推理,在汇编语言级别,使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库,这是程序验证技术一次有意义的实践 .实践表明,程序验证技术可以应用到高可信软件的开发上 .