数据库逻辑设计性能优化关键技术研究

数据库逻辑结构设计是把概念结构转化为具体DBMS所支持的逻辑模型,对初步设计的逻辑模型进行调整、修改和优化,是逻辑结构设计的重要工作。文中从三个方面研究逻辑设计性能优化关键技术。首先,通过四个定义研究消除依赖的方法,包括函数依赖、部分函数依赖、传递函数依赖、第三范式;其次,研究主关键字,包括聚簇索引的创建以及设计主关键字的通用规则;最后,研究关系的分解与合并,其中分解包括水平分解和垂直分解。文中研究的性能优化技术与通常的性能优化技术既有一致性也有冲突,实际运用要通过具体分析采用切实可行的策略。     

Linux下G代码解释器的设计与实现*

在论述G代码解释器总体结构设计的基础上,详细介绍了G代码关键字函数表和G代码分组。G代码关键字的分解是解释器的骨架,采用G代码关键字函数表实现对G代码关键字的分解使解释器具有良好的结构和扩展性;对G代码的分组则是语法检查的基础,详细讨论了对G代码的分组和实现。     

具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常．对于时态数据库也是如此．提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖（TFD）约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态Boyce—Code范式的时态初等关键字范式（TEKNF）及时态简单范式（TSNF）,并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析．     

基于概率SLCA的XML过滤

不确定数据管理逐渐成为一个重要的研究方向.作为网络交换重要标准的XML数据的不确定管理也成为一个研究热点.基于关键字的概率XML检索是其中一个重要的分支.目前对于概率XML关键字检索的研究,都只考察了结点之间的独立(IND)关系和互斥(MUX)关系.由于更普遍的结点依赖关系在表述和计算上的复杂性,较少有工作讨论.文中讨论概率XML模型PrXML~({exp,ind,mux})中基于SLCA语义的关键字过滤.这种模型中通过EXP结点描述更普遍的结点依赖关系.文中在定义了子树中关键字概率分布表tab及其相关的运算后,分别给出了模型中不同类型结点关键字概率分布表的计算方法,并给出了不需要构造可能世界直接求解SLCA结点概率的算法.文章通过实验评估了算法的特性和性能.     

浅析C＋＋与C语言的几点联系与区别

文中从主函数、类与结构、模板与宏三方面阐述了C/C++之间的联系,从编程思想、关键字和语法格式三方面论述了二者的区别,最后给出培养学生编程思路这一教学原则.     

基于蚁群算法的逻辑函数化简

仿真硬件是一种新近发展起来的将仿真优化算法的思想应用于硬件物理结构设计的技术,特别是电子系统的设计.针对代数法和卡诺图法难以化简规模很大的逻辑函数问题,提出使用蚁群算法处理大规模逻辑函数化简.详细阐述了蚁群算法处理逻辑函数化简问题模型以及重要技术实现.试验表明演化硬件设计方法能够化简规模很大的逻辑函数.     

关键字驱动框架中关键字划分方法研究

文中针对目前关键字驱动框架中的关键字划分方法进行研究,提出了在eTOM（增强的电信运营图,enhanced Telecom Operations Map）业务过程分解思想指导下的关键字划分方法,建立了关键字划分模型,并根据关键字划分模型设计了关键字驱动框架中脚本划分模型（高层脚本对应高层关键字、中层脚本对应中层关键字和低层脚本对应低层关键字）。结束了对关键字驱动框架中关键字划分无理论研究的历史,提高了关键字驱动脚本的执行效率。最后,简单介绍了生成高层脚本、中层脚本和启动脚本的方法。     

不确定数据库上的top-k关键字查询

关系数据库上的关键字检索和不确定数据处理过去一直是两个独立的研究方向。研究了运用关键字方法检索不确定数据的问题,定义了不确定关键字查询的基本模型和语义,提出了一种在属性级粒度的不确定数据库上进行top-k关键字检索的算法。该算法根据用户指定的k值,计算并返回分数最高的前k个结果,其查询结果的评价函数综合考虑了结果与关键字的相关度和结果在可能世界语义下的概率大小。对算法进行了优化,显著降低了计算复杂度。最后通过实验,证明了算法的高效性和实用性。     

求关系模式全部候选关键字的算法

本文利用对属性进行分类的方法研究了一个属性成为主属性应该满足的条件.着重讨论了当一个属性既出现于函数依赖的左部,又出现于函数依赖的右部时成为主属性的必要条件和充分条件.并在此基础上,提出了一个求关系模式全部候选关键字的有效、易行算法.     

基于双逻辑门级图形表示的功耗优化技术

针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性,提出逻辑函数基于传统布尔逻辑和Reed-Muller逻辑的双逻辑门级图形表示的功耗优化方法.首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示;然后通过代数分解和布尔分解获得双逻辑门级表示,进而基于功耗成本估算进行门级功耗优化;最后实现变量级和门级的两层次的优化方法.与学术界著名的ABC和工业界最先进的工具Design Compile(DC)进行比较的实验结果表明,该方法均具有一定的优势.     

基于互补电阻开关的忆阻乘法器设计

现有的忆阻算术逻辑多采用单个忆阻器作为存储单元,在忆阻交叉阵列中易受到漏电流以及设计逻辑电路时逻辑综合复杂度高的影响,导致当前乘法器设计中串行化加法操作的延时和面积开销增加。互补电阻开关具有可重构逻辑电路的运算速度和抑制忆阻交叉阵列中漏电流的性能,是实现忆阻算术逻辑的关键器件。提出一种弱进位依赖的忆阻乘法器。为提升忆阻器的逻辑性能,基于互补电阻开关电路结构,设计两种加法器的优化方案,简化操作步骤。在此基础上,通过改进传统的乘法实现方式,并对进位数据进行拆解,降低运算过程中进位数据之间的依赖性,实现并行化的加法运算。将设计的乘法器映射到混合CMOS/crossbar结构中,乘法计算性能得到大幅提高。在Spice仿真环境下验证所提乘法器的可行性。仿真实验结果表明,与现有的乘法器相比,所提乘法器的延时开销从O(n²)降低为线性级别,同时面积开销降低约70%。     

航空结构大规模并行分析与优化应用

针对飞机设计精细化数值分析模型自由度已经达到亿级,对高性能计算的要求也越来越高的问题,围绕大规模并行计算环境下结构分析和优化的若干关键问题,研究满足高性能计算体系特点的区域分解并行算法、超大规模结构变量敏度高效求解和结构非线性振动特性求解等关键技术.对国产CAE软件HAJIF进行并行化改造,初步实现基于最大航程的气动结构综合优化设计和基于精细化模型的复合材料机翼综合优化设计.HAJIF的计算效率和精度得到明显提高.     

Function synthesis algorithm based on RTD-based three-variable universal logic gates

Compared with complementary metal–oxide semiconductor (CMOS), the resonant tunneling device (RTD) has better performances; it is the most promising candidate for next-generation integrated circuit devices. The universal logic gate is an important unit circuit because of its powerful logic function, but there are few function synthesis algorithms that can implement an n-variable logical function by RTD-based universal logic gates. In this paper, we propose a new concept, i.e., the truth value matrix. With it a novel disjunctive decomposition algorithm can be used to decompose an arbitrary n-variable logical function into three-variable subset functions. On this basis, a novel function synthesis algorithm is proposed, which can implement arbitrary n-variable logical functions by RTD-based universal threshold logic gates (UTLGs), RTD-based three-variable XOR gates (XOR3s), and RTD-based three-variable universal logic gate (ULG3s). When this proposed function synthesis algorithm is used to implement an n-variable logical function, if the function is a directly disjunctive decomposition one, the circuit structure will be very simple, and if the function is a non-directly disjunctive decomposition one, the circuit structure will be simpler than when using only UTLGs or ULG3s. The proposed function synthesis algorithm is straightforward to program, and with this algorithm it is convenient to implement an arbitrary n-variable logical function by RTD-based universal logic gates.     

串行背板收发器VSC870接口逻辑的设计与实现

论述了路由器研发项目中网络处理器IXP1200与串行背板收器VSC870之间的数据转换逻辑的设计，详细介绍了VSC870接口逻辑的设计与具体实现，包括系统的构成、接口逻辑的基本功能、串行背板收发器工作模式的选择以及虚拟输出队列、提前促裁方式等关键问题的设计思想与实现方法以及采用FPGA的实现过程。经过系统测试，验证了数据转换逻辑的正确性，对完成网络处理器与串行背板收发器之间数据转换逻辑的设计及高速路由器项目的研发具有典型意义。     

基于ASP.NET的教学服务门户系统设计与开发

介绍了全国机械原理与机械设计教学门户网站建设的意义,给出了其服务功能与组织模型。分析了门户系统的三层体系结构,介绍了系统的主要开发技术。给出了系统实现的部分关键要点,包括教学资源信息库组织模型的设计技术,ASP.NET2.0技术的运用方法,门户结构优化与再组织技术。目前,该门户系统实际运行效果良好。     

高性能联盟区块链技术研究

以上海证券交易所“去中心化的主板核心交易系统”作为业务场景，旨在研究高性能联盟区块链的优化算法.在联盟链关键技术研究的基础上，结合现有主板证券竞价交易系统的业务，提出了系统架构以及关键技术的实现.对业务逻辑与共识分离、存储优化和数字签名验证优化（包括合并验签和GPU加速）等可提高联盟链性能的优化策略进行了详细的介绍和分析.最后，通过一系列对比实验来验证优化策略的有效性.实验结果表明，这些优化手段极大地提高了去中心化的主板核心交易系统的性能.     

集成电路设计中的逻辑加速优化算法

为了尽可能提高实际电路的运行速度,针对传统“逻辑优化”过程中的问题和不足,以“多级逻辑变换”技术为核心,提出了“逻辑加速优化”设计方法。在优化过程中,既考虑了与工艺无关的优化也考虑了工艺库单元的实际延时性能;由于对原电路进行了较大规模的重建,因此可得到传统“分解”技术无法生成的逻辑结构。.     

关于SQL数据库的性能优化问题的研究

随着科学技术的发展,数据库中系统的数据逐渐增加,效率成为了数据库管理及开发过程中的重要问题。因此,对SQL数据库的优化问题进行探讨十分必要,从对数据库的设计与其硬件方面入手,并结合SQL本身的查询、性能、逻辑结构、文件等方面进行阐述,并提出优化的具体措施,从而使数据库的性能及运行效率均能有所提高。     

基于逻辑"或"约束优化的实时系统设计

标准约束优化问题的等式或不等式约束之间是逻辑"与"关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑"与"关系,而且还包含逻辑"或"关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑"或"关系的不等式约束转换为一组具有逻辑"与"关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.