多对多转移链关系信息模型的设计及其应用

本文主要介绍在关系信息模型中增加联系,配置适当的数据完整性控制,实现有向的多对多关系,并在房地产权转移、变更管理信息系统中得到应用。     

一个具有多时间粒度时态函数依赖集的成员籍算法

对于具有函数依赖（FDs)约束的传统关系数据库规范化理论来说，判定一个FD是否被给定FD集所逻辑蕴涵（即成员籍问题）是非常重要的，这有助于设计有效的模式分解算法，而对于具有时态函数依赖（TFDs)约束的时态模式来说，由于多时间粒度的使用使成员籍问题的解决变得更加复杂，由此讨论了时态类型的一些特性，并提出了有限决定集的概念，基于求得属性的有限决定集，对每一个元素的左部属性集是单一属性的TFD集给出了一个有效的成员籍算法和相关的正确性证明。     

TTP/C组籍算法存在的问题

TTP/C通信协议已经应用于一些航空航天与地铁系统中,例如,空客A380的舱压控制系统、波音787梦想客机的辅助电源系统、环境控制系统等。以往我们仅看到对这种协议种种好处的分析,这是不全面的,它的组籍算法是高可信赖性应用的基础,但是其故障假设不符合很多现场使用环境,故障假设失效的概率大于功能安全容许的指标,协议的CRC检验将组籍向量的差包含在内,弱化了检错能力,所以需要用户特别重视。本文就这两点加以说明。     

强偏序时态模式中混合依赖集的成员籍问题

有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序模式混合依赖基、偏序时态函数依赖和偏序时态多值依赖的混合集闭包、强偏序模式混合闭包等概念,给出了求混合依赖集中属性的依赖基、属性集的闭包的算法,并在此基础上给出了强偏序模式混合依赖集成员籍问题的算法,证明了其正确性及可终止性,对该算法的时间复杂度进行了分析。应用实例表明相关理论和算法能解决强偏序混合依赖集中成员籍问题的判定问题,为解决强偏序时态模式规范化问题以及时态数据库设计提供了理论基础。     

时态函数依赖多值依赖混合集的成员籍问题研究

对于TFD和TMVD混合集约束的时态模式来说，由于多时间粒度的使用使成员籍问题的解决变得更加复杂．由于成员籍问题的解决对设计有效的模式分解算法必不可少，由此定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基及特殊有限依赖基等概念，给出了求属性集的有限闭包、有限依赖基和特殊有限依赖基、时态混合集成员籍问题的算法，并对算法的可终止性、正确性进行了证明，对时间复杂性进行了分析，     

强全序时态模式中混合依赖集成员籍问题的研究

对于TFD和RTMVD混合依赖集约束的强全序时态模式来说,成员籍问题的解决对设计有效的模式分解算法必不可少.由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂.为此定义了强全序时态模式下的属性集在给定时态类型上的混合闭包、属性集的混合闭包、属性集在给定时态类型上的混合依赖基、属性集的混合依赖基等概念,给出了求强全序时态模式下属性集的混合闭包、属性集的混合依赖基以及TFD和RTMVD混合依赖集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析.     

基于GIS的房地产权产籍信息系统设计

本文在对房地产权产籍业务关系分析的基础上进行了系统总体设计、功能设计和GIS功能设计.     

网站设计与实现的研究

随着计算机与网络的飞速发展,风格迥异、特色鲜明的网站层出不穷.运用网站进行生活和学习的辅助已成为人们日常生活中的重要部分,而对于网站的开发与设计也不再是一个难以攻克的技术难题.一个网站的设计涵盖的不仅有优秀的理念还有扎实的技术和实时的保障.因此,本文针对网站设计类型的选定、网站设计常用软件及网站设计需求分析三个方面进行分析研究,以期为网站设计与实现的研究提供更多的理论基础和参考价值.     

多时间粒度下时态函数依赖集的成员籍算法

为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常复杂。为了有效地解决此问题,分析了TFDs与FDs之间存在的联系和封闭时态类型集的特性,并且基于提出的有限导出时态类型集及其求解算法,提出一个有效地解决TFD集的成员籍问题的算法。     

数控加工工艺的设计

高速、高效率加工是金属切削行业的发展方向.高速加工是刀具、数控机床、数控系统以及加工工艺的综合技术.通过讨论数控加工中的工艺问题,重点介绍了数控加工工艺的设计要点.     

MCS-51和MSP430单片机定时器的应用比较

以单片机产生PWM波作为实例,对MCS-51单片机定时器T0和MSP430单片机的TimerA进行了比较,得知MCS-51单片机定时器T0结构简单、入门容易、使用方便,但功能较弱,对编程技巧要求较高,而MSP430单片机的TimerA结构复杂、功能强大、入门不易,但使用灵活,对编程技巧要求不高,从而建议用户应根据自身的知识基础和应用场合来选择单片机实现定时的功能。     

RCM理论应用于ATM维护管理的探讨

运用RCM理论的分析方法——FMEA方法,研究探讨了ATM维护管理策略。以某品牌ATM作为研究的对象,确定ATM吐钞机模块为关键模块,对吐钞机模块进行分析,列出故障等级,制定维护策略。根据FMEA的分析结果,制定维护计划,调整维护大纲。通过对比07年和08年的检验数据,对实施效果进行了评估,得出结论：效果改善明显。     

基于小波变换的无驱动结构微机械陀螺信号自旋频率的提取

针对一种新型陀螺,它能敏感旋转载体的俯仰、偏航和滚转角速度,敏感信号是一种调幅波信号,载波频率是自旋频率,包络是横向角速度。实际应用中,需要精确提取自旋频率。基于此,提出了一种提取载波频率的新的方法——小波变换构造解析函数法,对自旋频率解算算法进行了理论推导,并通过MATLAB软件对噪声比为30 dB的模拟陀螺调幅波信号进行了自旋频率的提取和误差分析,其中Hilbert变换相对误差为0.033 6,小波变换相对误差为0.017 8。对三轴精密转台实时测试的横向角速度为180°/s的陀螺信号进行了自旋频率的提取和误差分析,其中Hilbert变换相对误差为0.035 9,均方差MSE为7.915 9;小波变换相对误差为0.001 8,均方差MSE为0.293 7。小波变换较Hilbert变换求解自旋频率精度提高二十倍,降噪性能和频率稳定性更好。     

差动感应式扭矩传感器及其有限元分析

扭矩是机械设备运行状态的重要监测信息,设计了一种新型差动感应式扭矩传感器,其输出绕组采用分段差动式串接,工作时首先利用弹性轴拾取扭矩信号,再通过电磁感应原理将负载扭矩转换成输出绕组的感应电动势。根据欧姆定律和磁路的基本定律推导了传感器的输出特性,并建立了传感器的有限元模型,对传感器在空载和负载运行时的磁场情况进行了仿真,验证了测量原理的正确性。采用高精度扭力扳手对传感器样机进行了标定,结果是灵敏度约为32.6 mV/(N·m),线性误差约为0.24%,重复性误差约为0.16%,迟滞误差约为0.18%。     

基于ANSYS Workbench的T形结构优化设计

针对T形结构传统设计周期长、材料利用率低、设计成本高等问题,使用SolidWorks建立数字模型,将其转换成ANSYS Workbench可读的格式文件,进行拓扑优化设计。对T形结构在载荷作用下进行最优化设计,建立以单元材料密度为设计变量,以结构最小柔顺度为目标函数,以质量减少百分比为约束函数的数学模型。采用ANSYS Workbench的Topology Optimization模块进行拓扑优化设计,对比优化前、后结构的应力和变形,可知运用拓扑优化技术实现T形结构的轻量化设计合理有效。     

线点包容检测算法

提出的算法是先以快速的方法判断线与多边形是否有交点,如有,则求出线与多边形的各个交点,将交点进行排序,将此线按交点顺序分为多段;如果无交点,则此线只有一段。检测各段中点是否位于多边形内,如果位于内部,则此段在内,否则此段在外。以倾斜射线法检测点的包容性,其特点是此射线不与多边形的顶点或边重合,无须作特殊情况的处理,计算区域小,因而计算量小,对自相交多边形及带孔多边形等多类情况同样适用。通过编写程序计算验证表明,此算法简单有效、稳定可靠,适用于多类情况。     

无形是形 形(型)——空间创造的途径

自从有建筑以来,就有关于空间的话题。建筑本来是朴素具体的东西,是与日常生活密切相关的事物。对空间的认知亦是如此,本文以单纯直接的命题,揭示空间的本义和认识创造的途径。即:空间就是形(型)。实体是型,虚体亦是型。有形是形,无形亦是形。空间的特征就是形态的特征,空间的表情就是形态的表情。空间的色彩就是形态的色彩,矛盾的空间就是矛盾的形(型)。空间构成就是形的构成,空间质感就是形态的质感。     

基于DMX512的LED智能舞台灯具的设计

本文以DMX512为基本的数据传输协议,采用双向隔离放大器,具有大电流、低功耗的LM3404HV为LED驱动器,以C8051F410为核心控制器,以SN75176为总线收发器,介绍了现代智能LED灯具的相关硬件和软件设计技术.基于双向隔离放大器,本文将普通的单工DMX512网络扩展为半双工的双向通信网络,使灯具的使用更...     

基于中间变量的空间直角坐标到大地坐标的转换方法研究

利用迭代法实现空间直角坐标向大地坐标的转换,虽然精度较高,但是运算复杂,效率低.为了提高坐标转换的精度和运算效率,提出了一种新的空间直角坐标到大地坐标的转换方法,仅仅引入了几个中间变量就实现了坐标的转换,计算过程简单并且结果精确.采用卫星接收机的实测数据进行算法验证,最后通过与迭代法比较进行了精度评定.结果表明,该方法对经纬度的转换精度比迭代法高出两个数量级,对高度的转换精度也高出0.2m左右.     

基于ARP与DNS欺骗的重定向技术的研究

网络信息的检测与控制是网络管理的基本职责,限制客户端对非法网站访问是网络管理的重要任务.通过分析ARP欺骗的原理,利用ARP欺骗的方法对局域网内信息进行监听,分析DNS查询数据报内容,在ARP欺骗的基础上结合DNS欺骗对非法访问进行重定向技术进行了研究,并提出了相应的算法,减少了客户端对非法网站访问,实现了自动网络监控的功能.