分布式关系型数据库管理系统C-POREL的代码生成机制设计

分布式数据库管理系统(DDBMS)中,代码生成模块是实现系统的分布透明性(分割透明性和分配透明性)的重要模块,其设计得好坏对整个系统有极大的影响。本文以分布式关系型数据库管理系统C-POREL的代码生成机制为例,讨论DDBMS中的代码生成层的设计方法。文中给出C-POREL系统的代码生成模块的设计方案,并提出了其中所必须的一些算法,最后给出了具体的例子。     

空间机器人自适应无源控制技术研究

建立了力觉临场感空间机器人的等效二端口网络模型,给出了定量分析系统透明性的方法,分析了通信时延对力觉临场感空间机器人无源性和透明性的影响,提出了一种基于有源阻抗匹配的自适应无源控制方法,这种方法能够保证整个系统有时延下的稳定性和良好的透明性。实验结果表明了该方法的有效性。     

演绎数据库管理系统结构

演绎数据库系统(DDBMS)是逻辑程序设计与数据库管理系统相结合的一个综合系统，它既具有知识的逻辑推理功能，又具有对大量数据进行管理的功能。本文讨论，三种DDBMS组成方式：松散结合型(loose coupling)、紧密结合型(tight coupling)和集成型(integrat)，并对它们的优缺点进行了分析。     

关于过程调用中的透明性和可靠性

以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。     

Verilog HDL代码生成与验证工具设计与实现

为规范代码设计模式,提高代码编写效率,减少编码错误,设计并实现了基于设计模式的可视化Verilog HDL代码生成与验证工具。对比现有代码生成方式,参考ZIPC表格设计思想,实现自定义模块模式、模板模式和在线编辑模式三种代码生成模式。最后,通过对代码生成工具的功能测试和性能测试分析,在2000个用户并行访问情况下,系统达到最高吞吐量,系统性能达到峰值。结果表明,该代码生成与验证工具可有效提高编码效率和质量,为该类设计提供了新的思路。     

基于SVG的图形化网络拓扑显示模块设计

将SVG(可伸缩矢量图形)引入网络拓扑管理模块,给出了基于SVG的图形化网络拓扑显示系统模型,并分别就数据解析、图形显示给出了具体模块设计和实现方案。该系统运用于网络管理系统后,可极大改善网管系统软件的用户界面,便于集成其它网络管理功能模块。     

遥操作康复机器人系统的透明性研究

针对遥操作康复机器人系统通信时延引起系统性能下降问题,通过建立系统的等效电路图,采用阻抗匹配的方法分析了系统在有时延和无时延两种情况下的透明性。仿真实验结果表明该方法的有效性,时延下的系统在保证稳定的基础上实现了良好的透明性。     

遥操作康复机器人系统的透明性研究

针对遥操作康复机器人系统通信时廷引起系统性能下降问题,通过建立系统的等效电路图,采用阻抗匹配的方法分析了系统在有时延和无时延两种情况下的透明性.仿真实验结果表明该方法的有效性,时延下的系统在保证稳定的基础上实现了良好的透明性.     

CORBA/JAVA在数据库系统的应用

针对网络规模不断扩大,传统 C/S 结构显示出的局限性,章分析了 CORBA 和 JAVA 技术,设计了基于 CORBA/JAVA 技术的数据库应用模型,它采用三层 B/S 结构,通过提供 HTTP 和 CORBA 服务的中间层将客户经 browser 发来的请求传递给数据库,并在数据库中完成数据服务后仍通过中间层的服务功能将结果返回客户端,实现了分布透明性和网络透明性,解决了基于传统 C/S 结构的数据库系统在异构环境下互操作困难,运行效率低,开发升级困难等问题。最后通过传染病疫情管理系统的开发介绍本模型的开发流程。     

基于块间关系的鲁棒视频水印算法设计

为了提高视频文件中水印算法的透明性和鲁棒性,在此提出了一种基于数据块间关系的水印嵌入算法,该方法以数据块之间的特定关系表示水印的比特值,从而避免了将水印值直观地嵌入原始的视频文件中。在介绍该水印算法的详细设计过程后,给出了水印的嵌入过程和提取过程,最后对设计的水印算法进行了透明性和鲁棒性的测试,测试结果表明该算法在高比特率的情况下具有较高的透明性。对于大部分常见的水印攻击方法具有较强的鲁棒性,但对于降低视频图像分辨率的攻击方法,水印的鲁棒性还有待提高。     

论《太阳照常升起》中的“准则英雄”(英文)

海明威,20世纪的一位知名美国作家,其小说多围绕个人经历和情感展开铺垫。作为迷惘的一代的代表作者之一,他无法适应战后美国的社会,因而引入准则英雄这种新的人物角色。在海明威的小说中,准则英雄们以悲剧的性格弱点与环境相抗争。文章着重分析了海明威的准则英雄的特点以及在《太阳照常升起》中的例证。     

基于System View的巴可码识别器仿真及分析

介绍了动态系统分析设计软件System View的特点，建立了仿真巴可码识别器模型，在System View环境下实现了仿真，并给出了仿真结果。     

自动Java代码缺陷检测技术

代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种劳动力密集型的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.     

OFDM信号峰均功率比的统计分布

正交频分复用(OFDM)由于能有效对抗码间干扰而特别适用于无线环境下的高速传输,被普遍认为是下一代通信系统必不可少的技术。OFDM的一个主要缺点是峰均功率比特别高,而高的峰均比会对系统的设计带来很多问题。掌握了峰均比的统计分布,可以知道信号受高峰均比影响的严重程度,同时也是评价峰均比降低技术性能的参照。已有关于峰均比分布的分析均是针对所有载波都使用的情况,而在几乎所有的国际标准中都规定不用靠边沿的子载波,以便于信号的谱成形和避免邻近信道干扰。本文分析了这种情况下OFDM连续信号峰均比的渐近分布,结果表明,OFDM信号的峰均比是由实际采用的载波数和各载波的功率分配方案决定,而与FFT的点数N无关。     

一种基于CPLD编码器的实现方法

数字通信过程中,基带信道对传输信号的码型有严格的限制。曼彻斯特码(BPH码)、密勒码(MILLER码)、传号反转码(CMI码)是适合基带信道传输的二元码型,在通信工程中被广泛使用。采用传统分立元件设计的专用编码器体积较大,一般只适合某种具体码型的编码,并且在传输速率和每帧有效数据的位数等方面有严格限制,用户不能修改编码器。文章利用EDA设计方法,实现了在一个CPLD芯片上集成BPH码、MILLER码、CMI码三种基带传输码型的编码器,弥补了专用编码器的不足。     

地基沉降量的Excel算法

地基沉降量的计算一般采用分层总和法和规范法．分层总和法要由p1和p2查e-p曲线来求出e1和e2的值，然后才能求出各分层的沉降量；规范法要查表求平均附加应力系数．查图或查表，人为的误差必然存在．为了避免人为的计算误差，并且加快计算速度，采Excel来计算地基的沉降量，收到了意想不到的效果．     

PCM编码的ISP技术实现

在简述实现PCM(Pulse Code Modulation)逐次反馈编码方法的基础上,采用先进的ISP(In-System Programmable)技术现代电子设计平台和开发软件,以ispLSI1016E芯片为核心,辅以相应的外围电路,实现了PCM编码的硬件电路配置和功能仿真设计.     

应用软件的自动生成

本文叙述采用人工智能技术研制的基于知识、基于交互对话的面向管理信息系统的自动设计和程序自动生成环境AGE。AGE由自动设计系统ISADS和基于知识的程序生成器KBPG所组成,前者用于产生满足用户需求的设计描述,后者则把这种用SDL语言描述的设计转换为C语言程序。这两个系统已在VAX-11/750机上用C语言建立了实现模型。     

基于蚁群优化算法的钢架结构优化设计

采用蚁群优化算法对3跨24层168杆件的钢架结构重量进行优化计算,并对此结构采用美国钢结构规范(ASCI)、英国钢结构规范(BC5990)、国标钢结构规范(GB50017)3种规范体系进行对比分析。分析结果表明,基于TSP模型的蚁群优化算法对钢框架结构优化设计具有很好的适用性,尤其是对复杂钢结构的优化设计具有更快更强的适用性。