形式语言基于Monads的语义计算模型

传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。     

一种关系数据库的网上发布和集成方法

该文针对现有数据库信息网上发布和集成方法的缺点,提出了一种新的发布和集成方法,称为MOAT(movable operations as texts,可移动文本化操作)模型.该方法不是把数据库的操作以一段程序的方式表示并在网上发布,而是表示为一段文本文字来发布.其特点是表示方式简洁直观并具有可修改性.允许用户通过简单的工具,直观地修改或复合已有的数据库访问操作,生成新的数据库访问操作,并且可以根据需要将新的操作在网上再发布.文章还介绍了MOAT模型的一种实现框架,最后提出了展望.     

归纳数据类型的范畴论方法

归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足.基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则.     

城市综合地下管线信息系统开发模式与关键技术

城市地下管线的隐蔽性、动态性、网络性和多样性决定了地下管线信息管理与信息系统开发的复杂性与难度。本文给出了一种城市综合信息系统开发模式，很好地解决了数据的可靠性和精度、数据的动态更新等难题，并对信息系统设计进行了较详细的描述。该模式对大中城市综合地下管线系统的建设具有很好的借鉴和指导意义。     

基于元模型的知识管理建模工具设计与开发

知识管理建模是构建组织知识管理系统的基础．组织知识管理建模远比信息管理建模复杂，迫切需要建模工具的支持．从知识内容和管理两个层面分析提出知识管理的建摸需求，以此为依据建立知识管理元模型．组织知识管理元模型包括组织战略、组织结构、组织流程和组织知识地图四个子模型．为了方便建模工具的开发，用组织知识管理对象建模语言集成各子模型对应的建模语言．在此基础上实现了一个知识管理建模工具．     

用改进的游程编码方法压缩值索引

为了进一步提高采用游程编码方法压缩值索引的效率,针对原有方法的不足之处,采取了两个改进措施,一是在索引前排序被索引的数据表使得值索引中的0串和1串更长,二是改进现有编码算法使之可以同时压缩0串和1串。实验结果表明,采用改进后方法压缩值索引形成的压缩文件体积仅为采用原有方法时的11.83%。     

专家知识地图的关键技术与设计

专家隐性知识是社会的宝贵财富。开发专家知识地图是有效利用专家知识的重要途径。构建专家知识地图的关键技术包括专家信息的获取、知识地图的体系结构与实现技术。本文给出了通过Web挖掘获取专家基本信息、特长信息和社会网络的算法,以及一个专家知识地图的设计方案。     

极小Cayley图的确定性小世界网络模型

小世界网络的确定性模型研究是复杂网络建模领域的重要分支,通过分析Cayley图的极小性与小世界特性的关联,提出一种基于极小Cayley图构造小世界网络的确定性模型．模型通过选择满足条件的极小Cayley图,恰当地扩展其生成集,构造出一类对称性强且结构规则的小世界网络．结果表明, 和现有模型不同,该模型可根据需求构造常数度或非常数度网络,且生成网络不仅具有较高的聚集系数和低的网络直径,而且是节点对称的,在通信网络、结构化P2P覆盖网络等实际领域的拓扑结构设计中具有重要应用．     

可扩展的桌面问题求解环境计算加速中间件

为利用多种高性能计算资源的计算能力,设计一种可扩展的桌面问题求解环境计算加速中间件,采用应用层、中间层和计算层 3层结构,以降低系统设计的复杂度,支持多种并行后端、分布式扩展以及并行后端的即插即用。用该加速中间件进行Matlab中的LU分解实验,结果证明了其有效性。     

基于范畴论的形式语言模型建模方法研究

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。