一种新的广义(k,n)门限秘密共享方案*

基于离散对数的安全性和(k,n)门限方案给出了一种新的k-(k1,n1;k2,n2;...;kt,nt)门限方案.在该方案中,各参与者的子秘密自己选取,甚至连秘密分发者也不知道.秘密恢复过程中,各参与者能够验证其他参与者是否进行了欺骗.每个参与者只需要维护一个子秘密,就可以实现对多个秘密的共享.     

高参数超超临界汽轮机关键部件用材性能验证平台研究

将高温参数超超临界汽轮机关键部件用材的性能验证分为4个阶段:试验室验证阶段、模拟工况条件验证阶段、部分工况条件实际运行验证阶段、完整工况条件实际运行验证阶段,并综述了国内外汽轮机关键部件用材性能验证现状,对高参数汽轮机关键部件用材性能验证建设给出了建议。     

过硫酸铵-银盐氧化光度法快速测定气阀钢中锰含量

本文引入一种定锰混酸溶液,采用过硫酸铵-银盐氧化光度法测定气阀钢中锰元素含量,通过标准曲线线性检查、准确度检查、精密度检查、实验室间结果比对等方法验证与确认,证明此方法简便、快速、易操作,大大提高分析速度满足炉前快速分析的实际需要,与国家标准方法相比,结果精确度较好。     

盒形拉深件的CAD系统开发

阐述了运用软件工程学原理开发盒形拉深件CAD系统的整个过程，详细介绍了从盒形件拉深的工序尺寸计算到最终计算结果的输出，给出了具体的验证实例，说明了系统的可行性。     

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

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

爱色丽（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个农药品种的扩大使用范围登记，企业可在规定的适用范围内自愿使用验证试验结果。现将有关要求和事项通知如下：     

《自动化学报》总目次

正~~     

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

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

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

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