基于unboxed数据类型的纯函数式I／O系统的实现

采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中着重讨论了基本操作ccall的实现。

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表示和推理模糊数据信息提供了理论基础.

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

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

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

本文基于考虑人工场源辐射的可控源地面电磁勘探三维数值模拟技术,以目前常用的标量可控源音频大地电磁勘探测量方式为依据,讨论地面可控源三维电磁勘探中,为达到最佳的探测效果,如何选择合适的反演数据类型.地面可控源数据的三维反演采用有限内存拟牛顿方法.反演过程中,三维可控源频率域响应数值计算采用交错网格有限差分法,求解基于二次电场的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的振幅和相位,亦可取得较足够的信息.但如果只能获得电场的振幅信息,反演结果的深部将出现较大的不确定性.

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

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

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

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

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

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

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

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

HL7V3数据类型及其应用

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

面向多模态数据的新型数据库技术专题前言

以数字技术为标志的新一轮科技革命方兴未艾,将人类带入数字经济时代.全球各行各业数据量呈现爆炸式增长,数据类型和数据格式也呈现多种形式,例如结构化关系表、半结构化JSON/XML、非结构化文本/图像/视频,以及图数据、流数据和时序数据等.这要求数据库系统能够同时高效地管理多种不同类型的数据.多模态数据管理与分析成为亟需解决的问题.目前的方法主要通过拓展现有的数据库或通过集成各种不同模态数据管理引擎来支持多模态数据管理与分析,缺少新颖的理论、方法与技术的支撑.本专题围绕多模态数据管理与分析的整个生命周期,通过结合大数据技术和人工智能方法探讨新型数据库系统理论、方法和技术,包括多模态数据统一建模、存储与索引、查询与挖掘、并发控制、多模态数据库系统构建及其典型应用等主题,赋予数据库系统新的管理能力,形成多模态数据管理与分析在各行各业的最新应用成果.

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

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

8086C逆编译数据类型恢复技术

本文提出了一种用于8086C逆编译系统的数据类型恢复技术.该技术的核心是通过阅读经过符号执行解释汇编码所产生的中间文本,全面收集各个变量的应用信息,然后加以综合分析,产生较完整的符号表,以恢复变量的数据类型.文中对C语言的主要数据类型的恢复进行了详细的分析,总结出了20多条信息收集与类型综合的规则.

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

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

抽象数据类型形式变换系统

程序设计自动化是计算机科学研究中的热点,也是软件工作者们追求的目标。抽象数据类型是一种新的、重要的程序设计方法,是程序设计自动化的重要手段。 本文对抽象数据类型的代数规格说明进行了讨论,并形式化的研究了代数规格说明。然后,针对现有抽象数据类型的实现方法,提出了一种抽象数据类型形式变换方法,思想是将用代数规格说明的抽象数据类型变换为一种特定的中间抽象数据类型MLIST的形式,规格说明简单的MLIST的最终实现可直接使用已有的各种方法和系统来完成。

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

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

C语言中的数据类型

数据类型是 C语言中的一个既简单又基本的问题 ,如果我们对它没有充分的理解 ,往往会导致一些莫名其妙的错误 .本文简要介绍 ANSI C推荐的数据类型处理方法 ,并结合 Turbo

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

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