扩展XML-RL查询代数的设计与实现

XML的迅猛发展使得对XML查询语言的需求进一步地增强,XML查询语言已成为一个新的研究热点。扩展XML-RL查询代数的设计是为了支持具有面向对象特征的查询。其设计思想借鉴了Lore系统的查询代数。因此首先介绍了几种典型的XML查询代数,其次论述了扩展XML-RL查询代数包含的逻辑操作符和物理操作符的设计思想与具体实现算法。

面向对象的XML-RL更新语言的设计与实现

XML的迅猛发展使得对XML更新语言的需求进一步地增强,XML更新语言已成为一个新的研究热点。面向对象的XML-RL更新语言的设计支持具有面向对象特征的XML更新。首先介绍面向对象XML-RL更新语言,其次论述了逻辑操作符和物理操作符的设计思想与具体实现算法。

面向跨域作战体系的多维架构设计方法研究

针对跨域作战体系架构设计的特殊复杂性,提出了一种多维架构设计方法,包括作战概念架构、物理架构、逻辑架构设计。给出了上述3种架构的定义、设计内容与设计流程,其中从威胁态势研究、作战对手研究、能力需求研究与作战概念生成等方面开展了作战概念架构设计,从组成要素选择、连接关系描述、配系部署设计等方面开展了物理架构设计,从层级与组织关系设计、作战过程设计、信息交互设计、信息精度传递关系设计等方面开展了逻辑架构设计。提出的方法可为跨域作战体系架构设计提供参考。

基于MEMS强链的移动硬盘加密系统设计和FPGA实现

设计实现一种新型加密系统——基于MEMS强链的移动硬盘加密系统,具备使用物理密钥的安全身份认证和先进的加密算法。根据ATA协议,该系统利用FPGA硬件加密方法实现数据透明加密和流水线操作来达到高吞吐率。利用现代数据加密技术,提出一种既适用于常用对称加密算法,又适用于用户自主开发的对称加密算法的数据流硬件加密逻辑结构。

关于施密特触发器的教学方法研究

对电子技术基础理论中极为重要的单元电路施密特触发器的几种类型进行了归纳、比较,指出了常用的2类不同芯片实现的施密特触发器之间的相同、相似之处以及它们的主要区别,并且首次提出了判断反相施密特触发器与同相施密特触发器简易可行的法则.对于由运算放大器实现的反相与同相施密特触发器的阈值电压计算公式给出了标准式.同时建议教师在讲授这部分内容时,在作必要的分析、讲解的同时,也应采用一些归纳、比较和小结的教学手段,以取得更为理想的教学效果.

扩充逻辑程序设计的R－演算──知识库维护的操作方法

本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驳，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论．

有向几何编程在数控系统中的实现

在数控加工中,G代码描述的零件加工过程不够直观。为了解决这个问题,提出采用有向几何编程语言GPL(geometric programming language)来辅助G代码进行编程,使得编程变得简单直观。设计了GPL语法规则,并依据GPL语法规则设计实现了GPL解释器,提出一种计算检测码的方法对GPL语法进行检查,创建关键字的属性值表以支持检测码的计算。该方法使GPL语法规则容易扩展,便于解释器的二次开发。采用位运算方法进行参数的冲突检测,增强语法分析器的可扩展性,提高分析速度和效率。

长期低功率运行对CNP600堆芯中子学参数的影响

随着我国能源形势的发展,核电将面临调峰运行的挑战。CNP600是我国现役的重要堆型,有必要对CNP600长期低功率运行进行评估。为了验证CNP600在长期低功率运行时中子学方面的安全性,从反应堆物理角度对CNP600长期低功率运行进行初步分析,包括长期低功率运行对堆芯径向及轴向功率分布的影响、停堆深度、焓升因子F_(△H)与功率峰因子F_Q的变化、燃耗及最大线功率的变化。计算结果显示,CNP600实行长期低功率运行对径向功率分布的改变很小,对轴向功率偏移的改变剧烈,通过控制棒的调节,可以维持轴向功率偏移的稳定;停堆深度、F_(△H)、燃耗及最大线功率密度均满足安全要求。初步的分析结果表明,CNP600在反应堆方面能满足长期低功率运行。

建筑机电系统物理连接关系自动修复方法

建筑机电设备逻辑关系自动提取成为建筑信息模型(BIM)从施工向运维阶段应用的关键技术要点之一。针对实际工程项目BIM模型中设备、管线之间的物理连接错误、缺漏较多、自动化提取设备逻辑连接关系难度高等问题,提出了建筑机电系统物理连接关系自动修复和效率优化的方法。针对跨文件连接断点、错位连接、连接方向错误等3类问题进行准确定义,提出自动检查和修复方法,能够自动快速修复现有BIM模型中常见的物理连接大量缺失的问题。该方法在工程的实施支持施工BIM模型向运维BIM模型的快速转化,有利于实现基于BIM的机电系统运维维护管理。

物理不可克隆函数-多位并行异或运算一体化设计技术

物理不可克隆函数(PUF)和异或(XOR)运算在信息安全领域均发挥着重要作用。为突破PUF与逻辑运算之间的功能壁垒,通过对PUF工作机理和差分串联电压开关逻辑(DCVSL)的研究,该文提出一种基于DCVSL异或门级联单元随机工艺偏差的PUF和多位并行异或运算电路一体化设计方案。通过在DCVSL异或门差分输出端增加预充电管并在对地端设置管控门,可实现PUF特征信息提取、异或/同或(XOR/XNOR)运算和功率控制3种工作模式自由切换。此外,针对PUF响应稳定性问题,提出极端工作点和黄金工作点共同参与标记的不稳定位混合筛选技术。基于TSMC 65 nm工艺,对输入位宽为10位的电路进行全定制版图设计,面积为38.76 μm^(2)。实验结果表明,PUF模式下,可产生1024位输出响应,混合筛选后可获得超过512位稳定的密钥,且具有良好的随机性和唯一性;运算模式下,可同时实现10位并行异或和同或运算,功耗和延时分别为2.67 μW和593.52 ps。功控模式下,待机功耗仅70.5 nW。所提方法为突破PUF“功能墙”提供了一种新的设计思路。