Python语言中内置序列数据类型的应用研究

在这个海量数据的时代,数据的价值被人们广泛关注,若需通过计算机技术编程获取数据中蕴含的信息,则首先需要选择合适的存储数据类型,只有这样才能进行数据处理分析等。Python语言作为现在广泛使用的数据分析处理语言,提供了多种存储、处理数据类型,其中内置的序列数据类型效率较高,应用广泛。研究Python语言中处理批量数据的内置序列数据类型中的列表、元组、字符串等数据类型的应用场景。

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)

分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.

程序语言中的共归纳数据类型及其应用

归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类型的范畴对偶概念,共归纳数据类型利用共代数方法从观察的角度共归纳地描述了数据类型的动态行为。首先,从范畴论和代数的角度给出程序语言中的归纳数据类型定义,并分析了相应的递归操作;接着,利用共代数给出共归纳数据类型的范畴论定义,并根据共归纳数据类型的终结性分析了相应的共递归操作;最后,指出如何利用λ-双代数及分配律将归纳与共归纳数据类型有机地融合起来,探讨数据类型的语法构造与动态行为关系。

对C++中有关数据类型的探讨

本文主要描述了在C++中容易搞混和出错的数据类型转换,单精度和双精度数据类型的定义方法,以及数据类型长度运算符的使用。

高级程序设计语言中归并数据类型的研究

本文讨论如何用归并类型来代替高级程序设计语言中指针和记录(如PASCAL),归并类型的设计除了具有统一之外,还具有更高可靠性,本文已将归并类型插入到Modula-2程序语言中。

抽象数据类型概念多角度理解的教学探索

该文针对"数据结构"课程中抽象数据类型概念这一教学难点,分析抽象数据类型概念引入的原因,并从数学角度、程序设计角度以及面向对象的角度深刻理解这一概念,为学生把握"数据结构"课程内容的整体安排以及后续课程的铺垫奠定了坚实的基础。

数据类型对三维地面可控源电磁勘探效果的影响

本文基于考虑人工场源辐射的可控源地面电磁勘探三维数值模拟技术,以目前常用的标量可控源音频大地电磁勘探测量方式为依据,讨论地面可控源三维电磁勘探中,为达到最佳的探测效果,如何选择合适的反演数据类型.地面可控源数据的三维反演采用有限内存拟牛顿方法.反演过程中,三维可控源频率域响应数值计算采用交错网格有限差分法,求解基于二次电场的Helmholtz方程.发射装置采用长度为1000m的有限长直导线源,测量频率为10Hz;测点个数200个,分布在10条剖面上.在异常体分布区分别观测(1)电场Ex分量的振幅和相位,(2)Ex振幅,(3)Ex与Ey分量的振幅和相位,(4)Ex与Hy的振幅和相位.反演的数据类型分别为上述4种数据以及导出的阻抗Zxy振幅和相位.反演模型由30×30×20个网格组成,测区内水平方向大小为50m×50m,垂直方向厚度为50m,最后5层厚度倍增.反演都从均匀半空间开始,迭代120次结束.数值模拟结果发现,(1)单个电场分量Ex,其相位信息对异常体信息提取非常重要,若只反演该电场振幅,深部电阻率分辨率低;(2)观测正交电场的效果比单个电场分量效果好,其浅部异常的边缘效应明显减弱,深部异常形态完整;(3)同时观测正交的电场和磁场,反演效果与只观测电场振幅和相位的相当;(4)从阻抗数据反演得到的异常位置和电阻率分布均有较大的改善,反演模型分辨率最好.因此,在理论上,建议在野外数据采集时,最好测量正交电磁场;次之,同时测量正交的电场;最次的,可以只观测电场Ex的振幅和相位,亦可取得较足够的信息.但如果只能获得电场的振幅信息,反演结果的深部将出现较大的不确定性.

VBA访问远程数据库及长数据类型的方法

本文介绍了用WordVBA开发网络多媒体数据库时涉及的访问远程数据库、ADO技术以及存取长数据类型等问题的解决方法 ,并对使用扩充关系数据库的方法实现多媒体数据库 ,利用WordVBA/SQLServer分别作为前 /后端编程工具作了探讨。

用VC访问Oracle操作大数据类型的高效方法

在数据库应用开发过程中,经常要处理大量的大数据类型(如图形、声音文件或带格式的大文本文件等),如何处理这些数据是开发人员所面临的1个难题。本文阐明了在VC中利用OO4O包含的OracleC++ClassLibrary提供的一些基本类库来处理大数据类型的1种高效方法,并以处理Longraw数据类型和基本数据类型为例进行了比较说明。

抽象数据类型的双代数结构及其计算

程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律.

面向对象有限元程序几种新的数据类型

本文采用Borland C++定义了有限元程序几种新的数据类型,并对一系列C++操作符进行了重载。使用这些数据类型,不仅可以简化面向对象有限元程序的书写,而且可以更有效地实施内存动态管理。

Cobol到Java翻译中的数据类型转换方法

将Cobol代码迁移到新的平台,如Java是减轻Cobol代码维护负担的一个有效方法·怎样将Cobol数据平滑迁移到新平台则是必须解决的基本问题之一·以前的大部分研究工作都直接将Cobol数据映射到现代程序设计语言中的基本数据类型,比如int,float等·但是,这种简单映射并不能保持原来的Cobol语义,从而导致目标码并不能与原来的代码运行一致·首先利用数据抽象技术对Cobol数据进行初步建模,在此基础上进一步提出了一个纯Java的功能等价的封装方法,可以有效地将Cobol数据描述映射到Java类型系统·该方法已经在一个Cobol2Java翻译系统———C2J翻译器中得到实现,并且应用于一个近400万行的真实银行商用系统·实验结果表明,此方法可以在保持功能等价的情况下,将Cobol数据无需手工干预地迁移到Java平台·

共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定律,证明这些计算定律可用于简化共递归数据类型上的计算,从而提高程序语言对数据类型的动态行为描述能力.

程序语言中共归纳数据类型的一种fibrations方法

范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足。针对以上问题,提出了一种fibrations方法以对共归纳数据类型的语义行为与共归纳规则进行研究。该方法系统分析了fibration上共归纳数据类型的重索引函子、对偶重索引函子与真值函子等基本逻辑结构,应用等式函子与商函子等工具建立共归纳数据类型与其语义行为在程序逻辑上的对应关系,深入分析共归纳数据类型的语义行为;并以基范畴上自函子及其在全范畴上保持等式的提升为工具构造共递归操作,抽象描述共归纳数据类型具有普适意义的共归纳规则;最后通过实例分析简要介绍了fibrations方法的应用。

对象技术与抽象数据类型的实现

讨论了抽象数据类型的实现方案,并以"线性表"为例,说明对象技术在抽象数据类型实现中的应用。对于一种抽象的数据类型,先将它定义成一个抽象类,再结合某一种具体的存储方式加以实现。采用这种对象技术的特点是,任何存储方式或实现细节的改变都不会影响外界对类的使用。这种设计原则已应用于面向对象版的"数据结构"课程之中,取得了良好的效果。

关系数据库中用户定义数据类型及操作的引入与处理

扩充传统DBMS的功能,以适应各种应用领域,已经引起人们高度的重视。本文提出了一种扩充关系DBMS 以支持用户定义数据类型及操作的原理和方法,讨论了引入用户定义数据类型及操作后对DBMS 的影响,并介绍了一种基于数据字典的实现方案。

非结构网格的生成及新型数据类型的应用

本文基于 Ｄｅｌａｕｎａｙ三角化方法及局部重组的阵面推进法，给出了任意形状平面区域的非结构化网格剖分方法。文中对加点方法及数据结构和存取模式进行了改进，同时应用链表结构、动态数组和派生类型的数据变量，对算法进行优化，节省了计算内存，提高了网格的生成效率。本文研究为特殊计算区域的三维非结构化网格的生成提供了基本方法。

抽象数据类型条件方程的求取

抽象数据类型的代数规格说明关键在于条件方程的求取。如果能获得简明的条件描述，那么就容易写出条件方程。本文讨论了抽象数据类型的规格说明问题，并提出了基于串和数组求取条件方程的方法，同时给出了若干典型实例，并对求取条件方程方法的正确性作了讨论。

MFC中实现ADO对多种数据类型动态记录集的绑定

在MFC中用DAO进行本地数据库记录集绑定 ,极大地提高了数据的访问的效率 ,但在访问远程数据库方面却显笨拙。ADO作为一种通用数据访问对象模型 ,已成为数据访问的一种趋势。文中结合实际开发经验 ,详细地阐述了在MFC中如何使用ADO数据对象模型 。

HL7V3数据类型及其应用

随着医疗领域信息化的发展。信息的标准化日益显现出其重要性。要打破信息孤岛，实现医疗卫生信息跨机构真正的共享，信息不仅要能够被接收。更要能被接收方正确地理解和使用。HL7V3的数据类型标准就是要达到使信息接收者能正确理解和使用信息的目的。本文介绍了HL7V3数据类型的基本内容。举例说明了HL7V3数据类型XML表达规范及其在信息共享实现过程中所扮演的角色和重要性。同时指出，由于文化和医疗体制不同，我国在采用该标准时还需根据实际需要有所改进。