电火花加工与加工中心的集成

提出了一种新的复合型机床——在加工中心上进行电火花加工的机床，研究了电火花加工与加工中心集成所存在的主要技术要求，提出并设计了伺服控制系统，介绍了伺服控制系统的原理。为验证这个想法的合理性，在普通的铣床上进行了模拟集成试验并进行了分析与评价。     

爱色丽（X-Rite）收购AMAZYS控股公司

2006年1月31日，爱色丽有限公司（Nasdaq：XRIT）和Amazys控股公司（SWX：AMSN）已达成最终协议，爱色丽公：司将收购Amazys控股公司已发行的全部登记股票，每股收购价为77瑞士法郎，外加爱色丽2．11股股份，交易总价近2．8：亿美元。爱色丽有限公司和Amazys控股公司（旗下拥有：Gretag Mgcbeth品牌）同为世界范围内颜色管理领域的领先供应商，提供用于颜色数据验证和交流的硬件、软件和服务。     

农业部农药检定所农药检（生测）函[2006]115号 关于规范阿维菌素等3个农药品种使用技术的通知

阿维菌素、代森锰锌、草甘膦均为登记、应用多年的广谱性药剂，为加强农药登记后管理，规范农药产品标签,安全、科学、合理地指导农民用药．并应部分企业和技术推广部门的要求。我所于2005～2006年组织开展了阿维菌素等3个农药品种的药效验证试验。通过对验证试验结果的科学分析和系统总结，并征求有关专家意见，现提出了阿维菌素等3个品种在验证试验作物及防治对象上的使用技术。根据验证试验的结论，部分取得登记产品的使用剂量及使用技术应做必要的调整，以保证产品的有效性和安全性。同时，对于阿维菌素等3个农药品种的扩大使用范围登记，企业可在规定的适用范围内自愿使用验证试验结果。现将有关要求和事项通知如下：     

山东农药专项整治突出重点

从3月15日开始，为期3个月的山东省农药生产经营秩序专项整治活动正式启动，无证经营、生产销售无登记证、无生产许可证或无生产批准证书的农药产品，以及生产销售掺杂使假、以次充好等假冒伪劣农药产品将成为这次专项整治的重点。     

基于悖论证明与局部搜索的不可满足子式求解算法

随着软硬件设计规模日益增加,功能越来越复杂,功能验证与调试在整个设计周期中占有的比重越来越大,迫切需要高效的方法诊断与定位设计中的错误,而求解不可满足子式可以显著提高自动化工具定位错误的效率.近年来,求解不可满足子式的算法多是基于DPLL(Davis-Putnam-Logemann-Loveland)回溯搜索过程的完全算法,很少有研究涉及到不完全方法.文中针对求解不可满足子式的不完全方法,提出了悖论证明与悖论解析树的概念,并提出一种启发式局部搜索算法,从布尔公式的悖论证明中求解不可满足子式.算法首先采用融合了布尔推理技术、动态剪枝方法及蕴含消除方法的局部搜索过程,逐步构建悖论证明所对应的悖论解析树;然后调用递归函数搜索悖论解析树,最终得到不可满足子式.基于实际测试集与随机测试集进行了实验对比,结果表明文中提出的算法优于同类算法,而且动态剪枝与蕴含消除技术能够有效地减少存储空间及运行时间.     

Silicon Labs推出世界最小尺寸的电视调谐器

<正>2014年10月29日,硅电视调谐器领导厂商Silincon Labs宣布推出高性能且经过现场验证的第六代电视调谐器IC——Si151/41。该系列产品满足全球数模混合电视和数字电视市场的需求,同时支持模拟和数字视频广播接收,并符合全球所有的地面/有线电视标准。据Display Search的数据表明,中国已经连续四年居于全球电视机出     

合成气燃烧数值模拟与验证

以整体煤气化联合循环(IGCC)系统中的合成气燃烧室为研究对象,针对天然气改烧合成气后非预混火焰的燃烧特性开展数值模拟与实验验证,经与实验数据对比,结果显示大涡模拟能够准确预测燃烧室内的平均流场与温度场、速度脉动分布,对燃烧过程产物OH自由基的预测与实验结果有所偏差,为后续分析工作奠定基础。通过将数值模拟与实验测量相结合,对同一喷嘴结构燃烧室内使用天然气、氢气、一氧化碳以及合成气等不同燃料时的燃烧特性进行了对比分析,结果表明该喷嘴结构适用于合成气燃烧,与天然气火焰相比,合成气火焰在喷嘴出口位置形成的高温区对改善合成气燃烧室的不稳定性具有积极的意义,同时燃烧室壁面的热负荷更高。     

基于改进Das协议的无线传感器网络用户认证协议UAPL

针对在无线传感器网络中采用用户认证的方式获取节点数据时,容易出现密码被破译,以及容易遭受多种网络攻击等安全性问题,在改进Das协议的双因素身份验证的基础上,引入了用户与网关、网关与传感器节点之间的互相验证机制以及用户密码变更机制,提出了UAPL协议。UAPL协议具有防止网关节点旁路攻击、伪装攻击等网络攻击的安全验证机制,提供的密码变更防护能防止由于密码泄露而引发的安全问题。实验结果表明,UAPL协议与其他改进Das协议相比具有较高的安全性。     

溶出度在工艺验证中运用及方法学建立时的若干问题

介绍了溶出曲线比较系数F1和F2计算方法以及对制药过程中工艺变更的判断作用.对溶出度方法建立时常见的几个问题进行分析,指出溶出度方法设计时要考虑方法测量的标准偏差控制,并提供一些相应的改进思路.     

CPU卡虚拟原型验证平台设计

针对CPU卡设计规模小以及设计时间和成本有限等特点,选择合适的片上总线互联结构,设计一套虚拟原型验证平台。介绍虚拟原型验证平台的原理,着重分析采用AHB-lite片上总线结构能够极大地减小CPU卡设计的复杂度。运用搭建的CPU卡虚拟原型验证平台,对CPU卡的架构和自主设计的IP模块进行测试,并在实际的物理原型验证平台上对整个架构进行测试。测试结果表明设计的虚拟原型验证平台可以切实地减少设计的时间和成本。