简介：三人分享图灵奖正当我们忙于抗震救灾和准备奥运的时候，2008年6月21日晚，美国计算机协会（ACM）在旧金山召开了2007年度ACM颁奖盛典。颁布了2007年度图灵奖、ACMInfosys基金会奖以及人工智能、软件系统、计算机理论与实践、计算科学与工程等领域的多个奖项。

简介：摘要目的全自动灯检检测设备目前已应用小容量注射剂的可见异物检测。介绍全自动灯检检测设备调适与验证同步进行方法。方法将四种全自动灯检设备在调适与验证中的优缺点进行介绍与评价。结果根据各验证方法的特点，合理设计验证进程，采用调适与验证同步有助于在较短的时间里，对设备的检测能力做出科学的、客观的确认。

简介：摘要目的用LIS自动审核功能实现尿液常规分析的快速报告。方法用13043尿液常规分析人工审核与自动审核进行比较。结果尿常规自动审核规则通过率约为40%。结论目前实验室使用的自审规则未出现假阳性和假阴性报告，基本符合临床工作要求。

简介：摘 要：为了解决飞机复合材料加筋壁板生产制造过程中自动翻转及精确对接的生产需求，在飞机复合材料加筋壁板生产工艺流程及翻转对接难点分析的基础上，提出一种自动翻转及精确对接装备方案，其主要由大尺寸围框翻转升降装置和柔性对接翻转装置组成，试验验证结果表明：该自动翻转及精确对接装备可将待翻转对接产品自动翻转及与被对接产品进行精确对接，且工作过程平稳、安全、可靠；自动翻转及精确对接效率高，平均每次全流程耗时为20min。

简介：在哥哥十四岁我九岁的那年,是我童年里最快乐的时光。哥哥那时为他自己和我各做了一付滑板车,每天我们脚踩着滑板车在巷子里快速滑行,惹得路人侧目而视。哥哥胆大而技熟,他可以在水泥道路上做一些花样滑冰动作。滑板车运动很快在我们那个街道风靡开来,二十来岁以下的男孩女孩每人都有一付。在某个日子里,巷子里会出现一长队滑板车手,穿着艳丽花衣服的女孩子混杂在一帮赤膊的男孩子里,其中还有两个男孩子剃着光葫芦头,很引人注目。他们打着唿哨,尖叫着,朝路人做着滑稽的鬼脸。我跟在哥哥的后面,虽然每天都要受到其他大孩子的推搡和斥责,骂我什么“小屁孩”,“鼻涕虫”,但我还是快乐的,因为象我

简介：摘要通过对计量自动化系统客户停电时间自动统计分析，结合东莞供电局实际停电样本数据进行大量分析验证，在计量自动化系统现有的停电逻辑判断规则基础上提出新的客户停电事件自动修正和过滤机制，有效控制计量自动化系统的漏报和误报行为，确保计量自动化系统对停电事件统计分析的正确性，减少人工后期的比对分析，提高工作效率。

简介：本刊讯据科技日报3月9日消息，全国人大代表、中国铁路总公司党组书记、总经理陆东福3月8日透露，新建京沈高铁有望实现智能技术新突破。目前已准备在新建京沈高铁组织全面测验，做好自主化列控、自动驾驶、铁路下一代移动通信、智能变电所、基于北斗及BIM平台的应用系统等关键技术的试验验证，推进智能高铁技术实现新突破，试验成果将在京张高铁开通时投入应用。

简介：摘要： 通用验证方法 (UVM) 是一种基于 SystemVerilog 类库的验证平台开发框架，其可重复使用的组件使验证工程师能够创建具有标准化层次和接口的功能性验证环境。 UVM 将随机生成的测试激励、自我测试平台和随机约束等方法有效地结合起来，采用最佳框架来执行基于区域覆盖范围的验证，从而使验证工程师能够降低风险并满足缩短时间的迫切需要。本文是基于 UVM 验证自动化方法的讨论。本文通过学习 UVM 框架的寄存器模型思想，提出一种新的寄存器验证解决方案，将对寄存器的验证操作封装在一个 Ral 模型之内，通过修改寄存器模型实现维护修改工作，大大提高验证效率。

简介：摘要：本文针对热轧钢卷喷印作业中人工喷印出错率高、劳动强度大等问题，以安川公司的多关节工业机器人为基础，设计了热轧钢卷自动喷印系统代替人工作业。系统基于笔划式喷印方式提出了整体设计方案和通讯设计方案，并设计了末端喷印执行机构的机械和气动结构；该系统还提出一种字符轨迹的设计思路，构建字符库，并使用INFORM语言编写轨迹程序，最后在软件中进行了仿真验证。

简介：国家光伏质检中心实现“一测三证”；国内首个太阳能玻璃行业标准获得通过；欧瑞康太阳能获得非微晶堆叠（Micromorph）Master认证。

简介：摘要：目的：清洁验证中取样瓶选择的验证。方法：主要是通过TOC分析方法验证，判断以及评价选择的取样瓶是否科学、合理，是否能有效控制设备清洁后的残留物限度。结果：定量限及检测限，线性、精密度试验、系统适用性、准确度试验测试结果均能满足要求。结论：选择空白水平可控的取样用具，提高化学残留清洁验证中检验结果的准确性，更好地反应共线生产的交叉污染情况。

简介：摘要：目的：清洁验证中取样瓶选择的验证。方法：主要是通过TOC分析方法验证，判断以及评价选择的取样瓶是否科学、合理，是否能有效控制设备清洁后的残留物限度。结果：定量限及检测限，线性、精密度试验、系统适用性、准确度试验测试结果均能满足要求。结论：选择空白水平可控的取样用具，提高化学残留清洁验证中检验结果的准确性，更好地反应共线生产的交叉污染情况。

简介：摘要：药品生产应按照特定程序在药品生产过程中做好防止污染和交叉污染的工作，这样能有效保障药品的生产质量，药品生产设备中采取清洁验证方法能考虑到清洁验证范围、明确残留物的限度，科学合理地评估药品和设备，这样才能让药品质量达到安全可靠的效果。

简介：摘要：为验证便携自吸式半自贵州省烟草公司六盘水市公司水城区分公司盐井烟叶工作站效率高及剪叶质量，在贵州省六盘水市钟山区木果镇杨家寨育苗点进行四种不同剪叶方式对比研究，研究表明：便携自吸式半自动剪叶机在剪叶效率上仅优于人工剪叶，但与220V电动剪叶机不具有优势，需要搬运浮盘出来剪叶，剪叶结束又要运回育苗池，费工费力，导致剪叶效率不高，但它采用220V交流电和蓄电池双供电系统，能适应各种类型的育苗棚（点），特别对地处偏僻烟区，无供电设施的育苗中、小棚更具有明显优势，同时剪叶的速度和剪叶的深度，均可自由调节，适合各种苗龄剪叶。可向无供电设施育苗点和育苗小棚推广使用。

简介：摘要目的对BECKMANAU2700全自动生化分析仪的主要性能进行评价。方法按照美国CLIA,88的关于性能验证文件的方法，通过评价丙氨酸氨基转移酶（ALT）、甘油三酯（TG）、钾（K）、总蛋白（TP）、血糖（GLU）、镁（Mg）6个项目的精密度、正确度、线性范围、携带污染率等，评估仪器性能。结果贝克曼AU2700全自动生化分析仪性能良好，符合ISO15189分析质量要求。

简介：针对无人直升机自动着舰的特点和需求，研究着舰导引轨迹生成，进行着舰导引轨迹跟踪控制设计，并通过仿真和飞行试验验证跟踪控制的精确性。

简介：摘要：目前，传统雷达监视手段仍广泛在我国空中交通管制中应用，近年来国内航空领域前所未有的迅猛发展，对监视手段要求、数据可靠精准性需求与日俱增。现阶段广播式自动相关监视（ADS-B）技术因其更新快、精度高、成本低等优点，将逐步替代传统监视手段，但就目前发展趋势来看，丢数据、误操作和信号干扰都有存在降低ADS-B数据完整的可能性，文章将针对ADS-B定义、TDOA原理及ADS-B时延数据分析等方面进行详细描述。

简介：在学习了“用计算机探索规律”一课后，我的脑海中立马出现了这么一个问题：是不是所有的算式都有这样有趣的规律呢？如果不是，那怎样的算式才有规律呢？有着怎样的规律呢？带着好奇，我进入了自己的数学研究：

简介：

简介：整理抽屉,偶然在角落里发现一张废弃的50元面额的假钞。那难堪的一幕立即浮现在我的眼前……去年初秋,我到一家时装店购买秋衣。当我挑好衣服付款时,店主对这张钞票反复拿捏观察了一番,满脸怒色硬邦邦地说:"这是假的,给我换一张!"那神情,好像是我故意欺骗和坑蒙他似的。我不信,到隔壁超市的验钞机上一验,果如其言。自此,我对兜里的钱再也没了信心,真担心啥时又蹦出几张假钞。上储蓄所存款,尤其令人战