DM3用户定义类型的设计

在分析了国外相关经验的基础上,提出了对国产数据库管理系统DM3进行扩展以支持用户定义类型的基本策略,并具体介绍了用户定义类型包括用户定义函数的设计方案。

浅谈包含自定义类型数学公式的权利要求的检索

自定义类型数学公式,一般是申请人基于发明创造具体的技术方案提出的关于若干数学参数之间关系的表达式,现有技术中很难找到类似的数学公式。而在检索中,直接输入数学公式进行检索往往收效甚微,且在检索系统中,对数学公式的表达有很大难度。本文针对自定义类型数学公式的特点,以两个实际案例出发讨论如何对自定义类型数学公式的权利要求进行有效的检索。

国内外类型电影的变革与发展

类型电影研究虽然几经变革,但仍存在类型定义混乱、类型电影发展后继乏力等问题。因此,寻找一个可以被广泛接受的稳定文本模式,成为亟待解决的问题。类型电影研究要面对瞬息万变的电影发展,但其已经具备相当的理论基础。在商业化电影高速发展的今天,已有越来越多的学者将市场考虑进类型电影的研究以及类型电影创作实践的突破之中。现归纳国内外类型电影研究的历史发展和研究现状,指出其面临的问题,以期促进类型电影的发展。

城市生态敏感区定义、类型与应用实例

在综述了国内外生态敏感区研究现状的基础上,对生态敏感区的概念进行了界定,并作为广义生态敏感区,将用于分割城市组团、防止城市无序蔓延的建设敏感区也纳入了生态敏感区范畴。根据不同的土地利用性质、所具有的生态功能以及对周边的影响作用,将城市区域生态敏感区归类为:自然保护型、环境改善型、用地控制型、污染影响型和资源储备型五种类型。并以上海浦东新区为例,对新区内生态敏感区进行了分类,提出了促进新区生态敏感区保护、建设的对策和建议。

高中化学教科书中概念定义类型的分析与思考——从高考争议试题谈起

2018年高考理科综合试卷(全国I卷)单项选择题第8题存在2个正确答案,引起了争议,其实质是对教科书中"酶"的概念界定的争议。借此契机,以人教版高中化学教科书为例,分析了教科书中化学概念定义类型及特点,发现教科书概念定义类型丰富,但对同一概念的定义类型较为单一,造成某些概念内涵或外延不清晰,这是引起此次争议的重要原因;其次从概念定义类型与课程主题内容关系的角度考虑,教科书中"酶"的概念实质上是介绍作为"酶"的一类蛋白质的功能和作用,而并非揭示酶的构成,因此也不能片面地判定教科书中"酶"的概念存在错误;最后为教科书概念表达和教师教学提供了建议。

一种支持自定义模糊数据类型表示的模糊OWL扩展

语义网需要能够以一种智能的方式来表示和处理模糊知识与数据信息,但最近的研究证明,OWL在数据类型表示方面存在严重的局限性:首先,它不能处理在语义网和本体中广泛存在的不精确以及不确定信息;其次,它不支持自定义数据类型及自定义数据类型谓词的表示。为了解决上述局限性,提出了一种新的模糊描述逻辑F-SHOIN(G),给出了F-SHOIN(G)的语法、语义。然后,以F-SHOIN(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL。f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,为模糊本体的研究提供了新的表示方法。最后,还给出了由OWL文件到f-OWL文件的转换规则,从而实现了f-OWL对OWL的兼容。

基于上下文的异构文档类型定义匹配

XML 文档的模式匹配是许多应用中的重要步骤 .提出一种匹配算法来发现不同 DTD中对应的元素和属性 ,通过转化规则将 DTD转化成一个有向图模型 ,先给出了两个 DTD树之间的匹配算法 ,然后将其推广一般的 DTD图匹配的情形 .匹配算法中在考察 DTD节点的相似性时 ,除考虑标签语义和基数约束之外 ,研究了上下文语义对节点相似性的影响 .

异构XML文档类型定义的转换与集成

XML 数据的集成是当前的研究热点之一 .由于不同设计者的自治性 ,描述同一领域内容的 XML 文档可能在语义和结构上存在异构性 .提出一种异构 DTD的转换和集成方法 ,将 DTD转化为 IDMX模型的表示 ,然后通过模式比较、模式变换、模式合并与冲突消解的过程得到全局模式以及全局模式到局部模式的映射 .并介绍了异构 XML 数据源集成系统 KD-

基于文档类型定义的实现一致性声明文稿及生成方法

以DTD元素为核心,由XML DTD 结构分析入手,借鉴ITU-T 的ICS 文稿设计方法,参考ITU-T的MOCS、MRCS和MICS文稿,结合基于XML的网络管理接口一致性测试,提出了基于DTD的ICS文稿,该文稿包括元素支持文稿、属性支持文稿和子元素支持文稿,提出了该文稿的生成方法,研制了应用于基于XML网络管理接口一致性测试的基于DTD的ICS文稿自动生成系统。

基于文档类型定义约束的文档结构生成算法

文档类型定义(DTD)是一类文档逻辑结构的共同特征的规范化描述,作为文档内容层次关系描述的结构是文档类型定义的一个具体体现,并被文档类型定义所制约。通过采用一种快速的定位方法来支持文档结构节点在文档类型定义中的定位,本文提出了一个基于文档类型定义约束的文档结构生成算法,该算法可为基于结构的文档处理提供高效的实时约束机制和更严格的验证机制。

论科幻片的类型定义

国内在对科幻片的研究中,大体上沿用了黑尔曼在《世界科幻电影史》一书中所引用的定义。在这个定义影响下,科幻片就和科学根据或科学原理密切地结合在一起。考察科幻片后能够得出这样的结论:影片里所谓的科学知识,呈现着假说和莫须有的推测状态,而不是真正的科学知识。因此,可以说:科幻片是表现假说题材的影片。

Martin-Lf类型论中不交和的推广和有穷类型的可定义性

本文推广了不交和运算且给出ｎ个类型不交和的规则，借助于它，证明了有穷类型的封闭性和分离性，讨论有穷类型的可定义性，证明Ｎｋ可由Ｎ１和Ｋ个类型不交和而定义以及Ｎｋ可由ＮＫ＋１定义．

自定义功能块类型在电解槽联锁中的应用

在ABB DCS中利用ST语言,设计实现了一种自定义功能块类型(R230I_P)。在介绍库和自定义功能块类型的基础上阐述了自定义功能块类型(R230I_P)的开发框架依次对其设计实现过程调试环节进行说明并将其投入到生产改造中的效果进行检验。结果表明,与传统组态方式相比大大提高了组态效率。

私募股权定义及类型初探

私募股权作为新兴的和最主要的投资手段,目前在国内市场非常活跃。但是“私募股权”在不同的场景,不同的人群中,定义却不尽相同。本文通过对私募股权含义的探讨及类型的罗列和分析,尝试对“私募股权”进行更为精准,明确的阐述,以便于未来在学术和商业场景下,参与各方都能达到统一的认知,避免歧义。

碎片化的不同类型以及应对策略

随着互联网发展成熟和移动设备的不断更新,年轻一代的生长环境发生巨大变化,新兴媒介的广泛普及使人们的阅读环境发生极大变化。快节奏的日常生活和碎片化的生活方式衍生出新的阅读方式——碎片化阅读。对碎片化类型的解读,区分不同类型的碎片化阅读,正确认识和对待不同的碎片化类型,对症提供阅读解决方案。

定义论及其在法典编纂中的应用

定义论是(语言)符号论的一部分,是确定某个语言符号之意义或者其句法结构的理论。它与概念论在诸多方面皆不相同。古典定义论提出了属加种差的"标准公式",现代定义论则在改进其缺陷的基础上发展出了更精致和具有区分度的定义理论。定义论包括定义类型理论与定义规则理论两部分。定义类型理论的基础在于区分名义定义与实际定义,立法活动涉及的主要是名义定义,它可以分为两大类五小类。定义规则理论包括基本原则与基本规则,立法定义至少要遵守两大基本原则、八项形式规则和三项实质规则。不同类型的定义和规则都可以在法典编纂活动中得到检验。

百年“档案”定义论略

19世纪末到 2 0世纪末的百年间 ,国际档案定义 ,就其来源可分为法规、辞书、教材、专著、论文等类型 ;就其发展大致经历了古典档案学、现代档案学和后现代档案学三个时期。各时期无不打上时代烙印 。

Fortran与VB通过OLE变体类型传递字符串数据

为使Fortran与VB混合计算工程中的接口容纳更丰富的数据类型,研究了以OLE变体类型为载体的字符串数据的传递。在阐述了OLE变体类型结构的基础上,利用CVF对Unicode字符串的支持,成功实施了单一字符串的传递;基于对VB变体安全数组参数的本质认识,并通过挖掘CVF语言扩展功能,解决了字符串数组的传递;通过将含字符串自定义类型转换成变体数组,给出了含字符串自定义类型数组的传递方式。实例结果表明了各种传递方法的可行性。

Fortran与VB传递字符串数据(Ⅰ)—由内建类型

为使Fortran与VB混合计算工程中的接口容纳更丰富的数据类型,研究了以内建类型为载体的字符串数据的传递。通过协调两种语言在字符串表达、存储及参数传递方面的不同,成功实施了单一字符串的传递。根据CVF字符串型函数调用机制,提出了VB调用Fortran字符串型函数的变通手段。基于对VB安全数组参数的本质认识,并通过挖掘CVF语言扩展功能,解决了字符串数组的传递。通过对Fortran 90派生类型存储结构及VB字符串成员编码的剖析,给出了含字符串派生类型数组的传递方式。结合实例验证了各种传递方法的可行性。

VB中自定义集合的应用

介绍了集合对象的属性、方法和内容,然后列举了项目为数组的自定义集合的添加、检索和删除操作的实现,阐述了项目为用户定义类型的自定义集合访问操作的实现。