ML语言环境下抽象数据类型的构造型说明

用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代数系统的类别及操作的语义，以及如何用ＭＬ的函于（ｆｕｎｃｔｏｒ）来完成从输入代数到输出代数的扩充。     

基于ADT的数据结构规范化方法研究

讨论了数据结构规范化方法和抽象数据类型的问题．给出了基于ＡＤＴ实例的解决方法及实现技术．     

关系数据库系统数据类型的抽象

对人工智能应用中的有关知识采用抽象数据类型进行描述，并在对关系数据库系统进行不同层次抽象的基础上，提出了一种用户自定义关系数据库的抽象数据类型机制，运用这个机制可以灵活地处理复杂的数据类型，以构造适合人工智能应用的关系数据库。     

抽象数据类型及其应用

设计软件系统需要大量的智能活动，完成一个有效的，具有可靠性和可维护性的大型软件系统的设计，是一种非常艰巨的任务，引入抽象数据类型可大大降低程序设计的复杂性，提高程序设计的质量，本文讨论了抽象数据类型的规范描述，特点及其在程序设计中的应用。     

立体二叉树及其满结构编码的研究

本文提出了立体二叉树的数据结构,对满立体二叉树结构的结点分布和结点编码之和问题进行了研究并给出了有关的公式,对立体二叉树的基本概念、遍历方法、一些性质、抽象数据类型和多重链表表示及其操作的实现也进行了讨论。     

公路网最佳路径算法的研究

道路最佳路径的算法是公路网信息化建设中的电子导航系统的关键技术之一,首先对公路网抽象出数学模型,定义出公路网的抽象数据类型,用二维数组存储表示,然后对最短路径的经典逄法即Dijkstra算法进行了分析,最后对优化算法进行分析和比较,从而给出优化算法。     

Ada语言与软件重用

详细讨论了Ａｄａ８３和Ａｄａ９５语言机制对软件重用的支持．内容涉及Ａｄａ８３的抽象数据类型、静态多态、派生类型和Ａｄａ９５的类型扩展与继承、动态多态、子库单元等．     

范畴数据类型中的几乎同态问题

范畴数据类型可以看成是抽象数据类型的扩充，它的对象就是封装了数据表达式以及涉及同态操作的控制流的集合。因此同态的关系是构造范畴数据类型关键，但是，在数据类型中有些操作并不是同态操作。本文扩充了范畴数据类型中同态思想，得到了范畴数据类型中几乎同态的理论基础，同时我们通过例子说明了同态方法不能解决的并行计算问题可以用几乎同态的方法来解决。总之，在元组元素的运算上几乎同态问题比同态问题更复杂些，并且它扩充了范畴数据类型变换的应用范围。     

2—3查找树：概念,算法和分析

从抽象数据类型观点提出２－３查找的概念，给出一系列与集合运算有关的算法，包括求并集，交集，差集，测集合包含关系等，并分析算法的时间复杂性，结果表明，它比二元查找树更为有效。     

超文本的数据模型

本文采用ＶＤＭ技术描述了一种基本的超文本的数据数值，在该模型中，形式地定义了超一中几种主要的抽象数据类型，如节点，链，网与结构等，超文本的数据模型是超文本标准化的基础，且超文本应用的表现与浏览语义应从超文本数据库的数据对象中分离出来。     

多路自标校温度控制系统设计

多路温控系统面临对温度进行模数转换时保持一致性的挑战。设计了一种具有自标校功能的温度控制系统。采用两种温度传感器,以STM32F103作为主控MCU,设计对Pt100型温度传感器进行模数转换,使用I~2C协议直接读取ADT7420的温度数据。温度的自我标校使用PID脉宽调制方式进行,并通过串口通信与上位机进行原理性实验,实验结果表明该温控温度检测系统能够实现±0.2℃温度控制精度。     

动态测量控制系统关键技术及应用

动态控制测量有其广泛的应用前景,通过借助信息流测控模型、测量数据ADT数据结构,在具有容错数据通讯的传输模式支持下,结合虚拟机测试环境和SQL数据库的应用,构建一个稳固的、可实用化、通用的动态测量控制系统。     

配电网潮流计算的实用算法

针对辐射状配电网的特点,应用前推回代法进行潮流计算,以广度优先搜索策略为理论基础,通过广度优先搜索遍历并借用ADT栈形成网络层次结构,来确定前推回代的支路顺序,形成一种实用的配电网潮流计算方法。该方法可以处理多分支辐射网,无需复杂的网络编号、不用形成导纳矩阵,而且迭代次数少,结果精确,用算例证明了方法的有效性。     

基于Android的设施果树休眠期预警装置

介绍了一种基于Android平台的设施果树休眠期预警系统,实现了Android设备与C8051F342单片机之间的USB数据通信,设计基于ADT7320的环境温度采集,并简述了Android USB Host通信方式及应用开发.实验表明,该系统可以实时采集数据,利用Android设备实时处理、存储采集的数据,并绘制图形,通过移动互联网实现远程数据交换及集散控制.     

线性检波下CA—CFAR的两种近似方法性能分析

由于瑞利分布情况下难以得到CA-CFAR性能分析解析式,通常采用多个Х^2概率密度的混合近似瑞利分布和基于中心极限定理的CA-CFAR两种近似方法分析其检测性能.为此对上述两种近似方法近似程度问题进行了研究.首先基于平均判决阈值（ADT）的定义导出了两种近似方法相对CFAR损失比解析式,然后对两种近似方法与理论CA-CFAR处理之间的相对CFAR损失进行了详细地仿真和分析,最后给出了相应的结论.     

基于GPS旅游景点导览APP的设计

在Android平台上开发出一款具有文字导览、语音播报、景点标识翻译等多种功能的旅游类APP。该软件采用Eclipse作为开发工具,下载谷歌提供的SDK以及安装（Android Developer Tools,ADT）插件来搭建开发环境。系统通过SQlite动态数据库将用户的行走路线坐标和景点介绍文字及音频文件存储在客户端,并调用百度地图服务器的接口完成定位及路线规划,实现文字语音导览功能。系统内置OCR文字识别引擎,并通过调用百度翻译接口的方式对多种语言的景点标识进行实时翻译。实验测试结果表明,该款APP可以向游客提供全面综合的服务,极大的满足了用户国内外旅游多种需求,用户体验良好。     

Long-term antibacterial properties and bond strength of experimental nano silver-containing orthodontic cements

The purpose of this study was to evaluate the long time antibacterial properties and shear bond strength of experimental nano silver-containing cements (NSC). Nano silver base inorganic antibacterial powder was added to the reinforced glass ionomer cement at five different weight ratios to obtain a series of nano silver-containing cements, then the antibacterial properties of three orthodontic cement products and five NSC samples were evaluated by the direct contact test (DCT) and the agar diffusion test (ADT). The DCT, which was based on turbidness determination of bacterial growth in 96-well microtiter plates, was performed in both fresh and aged for 1 day, 1 week, 2 weeks, 3 weeks, 4 weeks, 6 weeks, and 8 weeks tested materials. The shear bond strengthes of three orthodontic cement products and five NSC samples were examined using a universal testing machine. The ADT results indicated that there were no significant differences between NSCs and ORTHO LC fresh specimens. In the DCT experiment, all fresh silver nanoparticles-containing tested samples presented powerful antibacterial properties, but they gradually lost the effective antimicrobial agents with the extension of aging time. Finally, none of the tested materials maintained its antibacterial property after aging for 8 weeks. A gradually decreasing trend of bond strength presented with the increasing incorporation of nano silver base inorganic antibacterial powder into the glass ionomer cement, even though all the tested material specimens reached the ideal bond strength range. We may conclude that NSCs can contribute to decrease the demineralization rate around brackets without compromising bond strength.     

非守望则守望--《麦田里的守望者》禅宗思想探析

禅宗教诲世人要奋发独立自救,放下法执我执,皆因世间万物虚则实、实亦虚。《麦田里的守望者》主人公霍尔顿·考尔菲德很好体现了这种悖论---非守望则守望,他想成为一个对社会负责的人,去指引和保护那些比他年幼者,但他没有去实践。当我们这个世界已变成一个机械的、科学的、二元论的世界时,我们内在的精神日见迷茫。在此境遇中,《麦田里的守望者》所体现出的禅宗思想,无疑是一种找回失落精神家园的重要途径。     

半一致空间上最优化问题

提出半一致结构的概念，验证半一致结构上所有环境的交是一个偏序关系；给出半一致空间上极值的定义和等价条件；最后在半一致空间上给出最优化问题的一般模型，并将下半连续泛函在紧集上可达到下确界定理推广到半一致空间上。