考虑类型信息的异构数据源信息交换方法研究

异构信息源模式集成中,除解决模式结构冲突外,还需要考虑模式结构对应的数据类型差异,以保证模式集成和信息交换过程的准确性.本文在考虑不同模型语言类型约束和复合对象类型的基础上形式化描述了类型体系,在公共类型体系内容定义的基础上给出了考虑约束和复合对象类型的中间模型类型体系的构建方法,建立了异构数据模式类型体系与中间模型类型体系的类型映射关系.相比其他类型匹配方法,具有搜索空间小、处理范围广的特点.     

非纯变量下标的数组类型恢复

逆编译中,复合数据类型恢复是最困难的问题,文中介绍按特征进行数据流分析,收集变量的各种定义和引用信息,然后通过计算地址表达式和合并地址区间的方法恢复数组类型,与其他方法不同之处在于,它可以恢复非纯变量下标引用的数组类型,文中最后分析了该方法的实际使用效果。     

基于抽象类型void构建混合类型链表

计算机中的数据都有数据类型,不同数据类型其存储空间大小不同,在程序中不同数据类型的变量不能随意直接相互赋值。如果要将一种数据类型变量的值赋给另一种类型的变量,对于相容的类型系统会先自动进行转换再赋值,对于不相容的则要先进行强制数据类型转换再赋值。     

基于抽象类型ovid构建混合类型链表

计算机中的数据都有数据类型，不同数据类型其存储空间大小不同，在程序中不同数据类型的变量不能随意直接相互赋值。如果要将一种数据类型变量的值赋给另一种类型的变量，对于相容的类型系统会先自动进行转换再赋值，对于不相容的则要先进行强制数据类型转换再赋值。     

也谈C语言中的指针

指针是Ｃ语言中一种重要的数据类型 ,学习Ｃ语言若不学好指针数据类型 ,就不能更好地掌握Ｃ语言的精华。近几年笔者在从事Ｃ语言教学中发现很多同学在学习指针时非常困难 ,而且往往处于一知半解。笔者将从以下几个方面来阐述Ｃ语言中的指针这一数据类型。1　指针与指针变量　　所谓指针 ,英文单词为ｐｏｉｎｔ,也就是变量的地址 ;而指针变量则是用于存放地址值的量。可见指针类型的数据和平常所说的整型、浮点型等数据一样 ,它也是一种数据类型。指针变量 ,和其它类型变量相同 ,在计算机内同样也占有存储单元 ,不同的是这种类型的变量存放的…     

在VB中可变类型变量的使用

在VB中变量的数据类型有很多种类,如字符型串型、数值型、日期型、布尔型等。还有一种特殊类型:可变类型(Variant)。定义了一个可变类型变量后,该变量可以存放任何类型的数据(数值、字符、日期等),这样在给变量赋值时就不用对数据进行转换了,VB系统会根据赋给变量的值的不同自动进行数据类型的转换。     

面向数据的新语言Comega综述

本文介绍了微软一种新的强类型面向数据的编程语言COmega,这种语言旨在增强C#语言的类型构造,使之能够更好地处理诸如XML、对象信息和关系数据等结构和半结构化数据类型。它将填补半结构化分层数据(XML)、关系数据(SQL)和.NETCTS(通用类型系统)之间的空白。文章将从几个方面概述这种语言的强大功能。     

手把手教你学单片机的C语言程序设计（十三）

数组基本数据类型(如字符型、整型、浮点型)的一个重要特征是只能具有单一的值。然而,许多情况下我们需要一种类型可以表示数据的集合,例如:如果使用基本类型表示整个班级学生的数学成绩,则30个学生需要30个基本类型变量。如果可以构造一种类型来表示30个学生的全部数学成绩,将会大大简化操作。C语言中除了基本的的数据类型(例如整型、字符型、浮点型数据等属于基本数据类型)外,还提供了构造类型的数据,构造类型数据是由基本类型数据按一定规则组合而成的,因此也称为     

面向数据的新语言Comega综述

本文介绍了微软一种新的强类型面向数据的编程语言COmega，这种语言旨在增强C#语言的类型构造，使之能够更好地处理诸如XML、对象信息和关系数据等结构和半结构化数据类型。它将填补半结构化分层数据(XML)、关系数据(SQL)和．NETCTS(通用类型系统)之间的空白。文章将从几个方面概述这种语言的强大功能。     

对C语言中指针的学习探讨

针对指针这一C语言学习的难点和重点,介绍了变量数据类型与变量存储区大小的关系、指针数据类型与指针移动量的关系。以变量的指针、一维数组指针、行指针、结构变量的指针为例,采用对比的方法,介绍了使用指针存取的步骤和语句,并在此基础上,给出了一种对指针语法规则的理解和学习使用指针的方法。     

二进制翻译中的函数返回类型恢复技术

函数返回类型恢复分为库函数和用户函数返回类型恢复两类。分析IA-64体系结构在函数调用和返回方面的特性得知,用户函数返回类型恢复不是只能从调用者的角度进行分析，还可从被调用者的角度进行分析。综合两种分析方法的优缺点,提出了一种全新的函数返回类型恢复方法。介绍了静态二进制翻译系统ITA中基于控制流和数据流分析的函数返回类型恢复技术，并给出相应的实现算法。由IA-64体系结构的实例验证证明，该方法是一种实用的函数返回类型恢复方法。     

一种恢复状态模式的状态转换图的方法

现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。     

基于关键类型的对象抽取工具的设计与实现

提出了一种新的基于子程序关键类型的对象抽取方法,使用该方法实现的对象抽取工具通过计算面向过程的C系统中各子程序参数的类型复杂度,找出每个子程序的关键类型,将子程序与关键类型打包,抽取出独立的对象。本文还提出了可以简化数据类型复杂度计算的类型系数概念,这些概念及方法对非面向对象系统的软件维护与代码重用技术的研究具有一定的参考价值。     

整体数据存储技术在EMTDC快照功能中的应用

介绍了EMTDC软件快照功能的基本原理,提出了一种基于数据整体存取技术实现EMTDC仿真模型快照数据存取功能的方法。该方法以应用程序为单位构造成员变量结构体,以结构体为单位对快照数据进行存储空间的分配和恢复,以页面为单位进行数据的刷新,不需要区分单个变量的数据类型,也不需要为每个变量分别添加快照功能的处理代码,有效地提高了程序代码的开发效率和执行效率。     

车辆牌照类型判定方法研究

本文提出一种基于车牌图像梯度直方图和灰度直方图确定车牌类型的方法。该方法首先对车牌图像进行水平方向一阶差分;然后,根据梯度直方图中值对应的灰度级,以及目标像素点占图像像素点比例这个统计特征确定车牌类型。通过对300幅图像进行实验,结果证明本方法均能够正确判定车牌类型。     

基于模板的数据结构类属实现方法

从抽象数据类型的多型数据类型观点出发,对数据结构的概念进行了拓延。通过实例对采用面向对象的模板技术实现数据结构的类属编程进行了讨论,为将数据类型作为数据结构的参数,实现多型数据类型提供了方法。     

基于NT降阶的乘积型区间二型模糊控制器结构分析

目前区间二型模糊控制器的结构分析主要基于Zadeh的取小推理和KM降阶算法。KM算法是一循环迭代过程,没有解析解,无法进行控制器的稳定性分析,且取小推理需要进行输入空间的划分,过程较为繁琐。提出了一种简化的区间二型模糊控制器分析方法,该方法首先采用乘积推理,模糊规则的激发隶属度为输入变量隶属度的乘积,统一了控制器的表达式形式,避免了输入空间的划分过程,模糊控制器的结构分析更加简单。二型模糊集合采用NT降阶算法,该算法直接利用首隶属度函数的上、下限的平均值来进行解模糊化操作,避免了迭代计算,简化了降阶过程。控制器的表达式等效于一个增量式PI（位置式PD）控制器,其比例增益、积分增益以及补偿项均为非线性可调。而且还能得到控制器的闭环表达式,易于进行区间二型模糊控制器的稳定性分析与设计等。     

一种快速灾难恢复方法

提出并实现了一种在异地容灾系统中的快速灾难恢复方法。通过快速数据恢复和数据更新两步完成数据恢复,其中快速数据恢复采用差异拷贝恢复技术实现;数据更新采用对基于磁盘块的增量备份进行写重放来实现。该方法的实现使得灾难恢复的速度快、网络负载小、系统服务的丢失少。