动态描述逻辑的可拓集合扩展

通过对可拓集合与经典集合、模糊集合的分析比较,说明可拓集合的特点和优点,用可拓集合代替经典集合或模糊集合作为动态描述逻辑DDL的集合论基础,对DDL进行扩展,生成了一种新的描述逻辑DDES,并给出了DDLES中概念、关系和实例的描述形式以及它们的语义解释,最后对传统描述逻辑ALC、模糊DDL和DDES中的Abox形式进行了比较.     

防控网络病毒 构建安全和谐的网络环境

从第一次造成全球性危害的CIH病毒爆发到现在,经过10年的发展和演化,计算机病毒已经呈现出完全不同的面貌,变成人们见怪不怪的社会公害。然而随着计算机病毒的危害不断渗透到各个领域的信息化建设中,其发展程度却大大超越了普通人的想象。本期,编辑部特以“计算机病毒防治”为主题,从计算机病毒的发展现状、防御技术、解决方案和管理措施,以及其新变化、新趋势等角度,对计算机病毒防治进行全面剖析。期望读者能够通过这一期对目前计算机病毒防治的情况有一个整体的把握。     

大公司抢夺“第二个地球村”

1月26日,瑞士达沃斯世界经济论坛将进入"第二人生"开设网络论坛,这标志着现实世界正在接受虚拟世界创造性的一面,同时全球社会也将随之发生必然变化。这一消息虽然与商务无关,但它却彰显出"第二人生"目前惊人的影响力,而其后潜藏的商业机会更是毋庸置疑。     

基于模块化设计方法实现FPGA动态部分重构

介绍了Xilinx FPGA的配置原理和FPGA模块化设计流程以及划分重构模块的原则.通过一个实例介绍了采用模块化设计方法实现Virtex-E FPGA动态部分重构的过程,能使重构模块在系统运行时改变其逻辑功能,而固定模块逻辑功能不中断,同时器件的重构时间大大减少.     

基于VxWorks的PCIe多路传输系统驱动设计

针对QorIQT2080处理器外设特征,结合工控设备高实时、高性能、灵活组态的需求,设计基于VxWorks的PCIe多路传输系统驱动程序;通过PLX公司的PEX8619交换机芯片拓展链路,并给出PCIe多路传输系统整体结构。在介绍VxWorks驱动体系的基础上,结合PCIe设备驱动程序开发实际需求,分析并介绍了PCIe地址映射、DMA传输、MSI中断处理等关键技术的解决方案及其驱动实现方法。经测试,该驱动程序可正确完成外设读写,实时性和处理效率满足工业控制装置中控制处理单元等设备要求;PCIe多路传输系统驱动程序设计合理,便于扩展到其他实时性高、组态灵活的嵌入式系统中,对工程应用具有积极指导作用。     

基于数值求解的油浸式变压器瞬态热点温度计算北大核心CSCD

文中分析了变压器温度流体场耦合数值仿真求解方法,基于互感器小模型的温度流体场计算确定了瞬态数值求解的时间步长和迭代步数,进而对一台S13-M-100kVA/10kV型油浸式变压器的三维温度流体场进行了瞬态数值仿真。与预埋光纤的变压器温升试验获得的绕组瞬态热点温度相比,变压器绕组瞬态热点温度数值仿真结果与试验结果最大偏差不超过3%,基于经验公式计算的热点温度平均相对偏差为9.8%,验证了文中变压器温度流体场仿真模型的有效性及准确性。     

基于SICL的宽频带毫米波多波束阵列天线设计

为实现第五代移动通信技术(5G)毫米波阵列天线的多波束扫描,提出了一种基于基片集成同轴线(Substrate Integrated Coaxial Line, SICL)的宽频带毫米波多波束阵列天线。多波束阵列天线主要包括基于SICL的宽频带毫米波罗特曼透镜和基于SICL馈电的宽频带磁电偶极子天线,罗特曼透镜腔体采用平板波导结构,移相段采用非色散结构SICL,设计了一种平板波导透镜腔体和SICL移相段的宽频带匹配结构实现宽频带罗特曼透镜。采用SICL耦合馈电的宽频带磁电偶极子天线作为多波束阵列的辐射单元,易于直接与基于SICL的罗特曼透镜连接使用,可实现宽频带波束扫描。基于此设计了一种7个波束端口、9个阵列单元的宽频带多波束阵列天线。仿真结果表明,该罗特曼透镜的-10 dB阻抗带宽约为42%(20.5～31.5 GHz),磁电偶极子天线的-10 dB阻抗带宽约为45%(20.5～32.5 GHz),组成的多波束阵列天线在20.5～31.5 GHz(约42%)频带内可实现±30°的波束扫描,天线结构简单紧凑、剖面低、易集成且能实现宽频带波束扫描,适用于5G毫米波通信。     

闪电AR谱的多重分形特性分析及放电类型的识别

对闪电时域波形的分形研究由于忽略了其频率特性,致使复杂多变的闪电过程的全部特性无法得到充分表征。针对此问题,本文将多重分形理论引入到现代谱估计中,提出了一种基于AR(auto-regressive)谱的闪电电场信号的多重分形特性分析及放电类型的识别方法。首先基于AR模型谱估计法获得闪电电场信号的功率谱,然后,通过多重分形去趋势波动分析(multifractal detrended fluctuation analysis,MF-DFA) 法验证了闪电AR谱序列具有多重分形特性,并进一步对AR谱序列的Hurst指数以及多重分形谱进行了讨论,最后将相关参数作为闪电信号的有效特征值输入支持向量机进行了云闪(intracloud lightning) 和地闪(cloud-to-ground lightning,CG) 不同放电类型的识别。实验结果表明,本文方法对云、地闪信号的有效识别率达到了94%以上,该研究成果对闪电的特性研究与自动化识别技术均具有一定的参考价值。     

一种临近空间高动态飞行器等离子鞘套自动判别方法

临近空间高动态飞行器在高速飞行过程中与大气强烈作用,形成十分复杂的高温等离子鞘套,改变了目标的散射回波特性,给目标探测带来不确定性,需要及时判别当前目标是否处于等离子鞘套状态。本文提出一种基于波形熵判别和变带宽确认的等离子鞘套自动判别方法,首先提取目标回波波形熵、包络长度等特征信息,利用模糊分类器进行基于波形熵的群目标判别,其次根据鞘套与目标和目标之间的距离与信号带宽的关系差异,通过检测不同带宽回波的包络长度变化,对鞘套和目标进行判别。仿真结果验证了本文所提方法的有效性。     

RTDMiner: 基于数据挖掘的引用计数更新缺陷检测方法

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.