基于随机访问扫描的低功耗确定性测试方案

大规模高密度的集成电路在测试中面临着测试数据量大、测试时间长和测试功耗高的问题.为此提出了一种基于随机访问扫描(random access scan,RAS)的混合模式测试体系结构,该测试方法先通过自动测试模式生成一个确定测试集,再将确定测试集嵌入片上生成的测试序列中进行确定性测试.测试分两个阶段进行,第一阶段利用块固定折叠计数器生成的具有块固定特征的测试模式序列,测试电路中的大部分故障;第二阶段,通过位跳变方法生成确定测试模式,测试剩余的难测故障.在ISCAS-89基准电路上的实验结果表明,该方案不仅减少了测试存储量和测试时间,而且有效地降低了测试功耗.     

全球现役航母大扫描

今年6月初,陈炳德总参谋长在接受《香港商报》专访时说：“航母已在建,但还没建成!等建完再说。”这是迄今为止我军高级将领首次对外承认中国正在建造航母。当今世界上,有9个国家拥有航母,航母的类型也不尽相同——有大型航母,有中小型航母。有核动力航母,也有常规动力航母。     

低温热解二茂铁制备碳包裹纳米铁及其结构

以二茂铁为碳源和铁源在100 mL不锈钢高压釜中经520℃直接热解制备碳包裹纳米铁.研究不同反应物量对热解产物的影响,并采用X射线衍射仪(XRD)和扫描电子显微镜(SEM)对热解产物的物相、形貌和结构进行分析.结果表明:二茂铁520℃热解碳产物以无定形炭和Fe3C相为主.当二茂铁的量为1 g时,热解产物是蜂窝状的多孔炭...     

电力企业网的安全漏洞状况及划分

在利用安全漏洞扫描工具对计算机系统进行扫描时,能够发现大量的安全漏洞,但是目前对漏洞严重性的划分没有和应用环境相结合,划分的也不够细致。分析了一个电力企业网内部安全漏洞的状况,提出了与应用环境相结合的漏洞严重性的划分方法。该方法使漏洞严重性划分得更加细致,从而使系统安全管理员可以在最短的时间内修补更严重的安全漏洞。     

GC/MS法测定尿中的8-羟基脱氧鸟苷

利用气相色谱/质谱(GC/MS)法测定尿中的8-羟基脱氧鸟苷(8OHdG)含量.根据MS的定性结果,强峰m/z 383对应的碱基 1(B 1)为8OHdG的特征离子峰.利用选择性离子扫描方式(SIM)进行定量分析,测定结果重复性较好,整个分析流程的系内相对标准偏差为4.23%,系间相对标准偏差为8.25%.该方法的检测限可达0.5 nmol/L,线性范围为5~10 000 nmol/L.分析尿样的相对标准偏差为5.12%,并测定了正常人和癌症病人尿中8OHdG的排放水平,癌症病人尿中8OHdG的排放水平明显高于正常人.     

综合物探手段在城市道路浅层病害中的应用分析

依托天津市东区建成区道路翻修工程前期检测项目,采用地面三维地质雷达扫描、RDScan地震散射法和CCTV管道机器人的综合物探检测手段,对城市道路地质体和管道进行检测。研究结果表明,CCTV管道机器人可以直接采集管道内影像,研究区的管道病害主要集中在管道腐蚀、管道脱节和管道渗流,缺陷等级以Ⅱ级缺陷为主;道路浅层土层疏松位置处地质雷达波的波长较大,与高频的地质背景存在明显的差异,表现为高能量团;采用RDScan地震散射方法可以得到大面积的连续地震波速度分布图像,具有直观连续和高效低成本的应用效果。     

若干因素对多孔水泥混凝土内部孔隙状态影响研究

为研究骨料因素和成型工艺的不同对多孔水泥混凝土内部孔隙状态的影响,采用工业CT扫描技术对多孔水泥混凝土试件内部孔隙进行识别,并通过CT图像数据提取方法获得多孔水泥混凝土内部孔隙率、孔隙连通状态及孔径尺寸等。结果发现,不同骨料级配中,随骨料粒径增大,多孔水泥混凝土试件内部孔隙率、平均孔径大小以及孔隙连通状态整体呈增长趋势。与碎石相比,卵石多孔水泥混凝土孔隙率和平均孔径略小,连通孔隙率略高。振动时间越长,孔隙率越低,平均孔径越小,但随时间的增加,变化并不明显。与此相反,采用插捣法制备的试件内部孔隙分布均匀性较振动法差,且试件内部连通孔隙率要高于振动法。相较于骨料体积比、骨料种类以及成型工艺,骨料级配对孔隙状态影响最为显著。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于方位FNCS的斜视TOPS SAR成像方法

针对斜视循序扫描地形观测（terrain observation by progressive scans, TOPS）合成孔径雷达（synthetic aperture radar, SAR）模式,提出了一种新的全孔径成像处理方法。首先对距离走动校正后的数据进行方位预处理得到无模糊的二维频谱,在此基础上采用修正的线频调变标算法完成距离脉压及距离徙动校正;然后在距离多普勒域进行频域非线性变标（frequency nonlinear chirp scaling, FNCS）以校正调频率的空变性,并结合谱分析（spectral analysis, SPECAN）技术将信号聚焦在方位频率域,最后校正几何形变。仿真和实测数据处理结果验证了算法的有效性。