检索结果-南通市图书馆

程序语言中基于Fibrations理论的索引共归纳数据类型

丛书名：普通高等教育“十三五”规划教材计算机专业系列

2016年

作者：程细柱戴经国

本书从面向对象的思想出发系统地介绍Java程序设计的基础知识、开发环境与开发技术。全书共分11章，内容包括Java发展史与开发环境、Java的基本语法、Java类和对象与封装性、Java继承性与多态性、异常处理机制、数组与字符串与集合类、... 详细信息

ISBN: (纸本)9787564740634

本书从面向对象的思想出发系统地介绍Java程序设计的基础知识、开发环境与开发技术。全书共分11章，内容包括Java发展史与开发环境、Java的基本语法、Java类和对象与封装性、Java继承性与多态性、异常处理机制、数组与字符串与集合类、多线程机制、Java容器与布局管理器、事件处理与常用组件、IO流与文件操作、Java网络编程。本书所有知识都结合具体实例进行介绍，力求详略得当。各实例代码经过精心调试、编译和运行。每章后附有上机实验指导和相关习题，供读者实践练习。另外还提供了课程资源包，资源包中提供有本书……

关键词： JAVA语言程序设计

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

计算机科学与探索 2016年第10期10卷 1482-1492页

作者：苗德成奚建清戴经国韶关学院信息科学与工程学院华南理工大学软件学院

传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,ICDT)进行了研究。通过基变换构造索引Fibration,建立索引Fibration的等式... 详细信息

传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,ICDT)进行了研究。通过基变换构造索引Fibration,建立索引Fibration的等式函子与商函子等工具,应用伴随性质与保持等式的提升深入分析ICDT的语义行为;以此为基础,构造ICDT上参数化的共递归操作,在Fibrations理论框架内抽象描述具有普适意义的共归纳规则,并以实例分析简要介绍Fibrations理论在ICDT中的应用。与传统研究方法相比,Fibrations理论具有简洁的描述性与灵活的扩展性,可以精确分析ICDT的语义行为,具有高度的抽象性且不依赖特定的计算环境,描述了ICDT具有普适意义的共归纳规则。

关键词：语义行为共归纳规则基变换提升共递归

在线全文

学校读者我要写书评

暂无评论

基于Web的分布式空间数据的集成研究

济南大学学报（自然科学版） 2013年第2期27卷 145-149页

作者：李文全戴经国李丹韶关学院计算机科学学院广东韶关512005

针对分布式异构空间信息的动态集成问题,在综合考虑集成的动态性、安全性和高效性的基础上,提出基于Web的分布式空间数据集成框架。该框架通过元数据和Web Services技术实现了数据的动态集成;通过压缩技术实现了数据的高效集成;通过授... 详细信息

针对分布式异构空间信息的动态集成问题,在综合考虑集成的动态性、安全性和高效性的基础上,提出基于Web的分布式空间数据集成框架。该框架通过元数据和Web Services技术实现了数据的动态集成;通过压缩技术实现了数据的高效集成;通过授权控制和加密技术实现了数据的安全集成。为保证集成框架的灵活性和可扩展性,设计了基于GML格式的传输标准,并以实例证明了该方法的可行性和有效性。

关键词：元数据分布式空间数据访问控制集成框架动态集成

在线全文

学校读者我要写书评

暂无评论

无线传感器网络中一种能量有效的分簇算法

传感技术学报 2007年第12期20卷 2659-2662页

作者：袁辉勇戴经国李小龙湖南人文科技学院计算机系湖南大学计算机与通信学院

传感器网络中簇头与基站的通信方式可分为两种:多跳和单跳.如果采用多跳方式,靠近基站的簇头因传送数据较多而导致较早死亡;而在单跳方式中,远离基站的簇头因传送数据能耗太高而很快死亡.针对上述问题,提出一种基于非均衡分簇的数据收... 详细信息

传感器网络中簇头与基站的通信方式可分为两种:多跳和单跳.如果采用多跳方式,靠近基站的簇头因传送数据较多而导致较早死亡;而在单跳方式中,远离基站的簇头因传送数据能耗太高而很快死亡.针对上述问题,提出一种基于非均衡分簇的数据收集算法,使靠近基站的簇的大小小于远离基站的簇.仿真实验表明,非均衡分簇的数据收集算法能有效地延长网络的生命周期.

关键词：无线传感器网络能量有效分簇算法生命周期

传感器网络中基于k-GH模型的对偶密钥预置算法

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2007年第15期19卷 3441-3446,3472页

作者：戴经国易叶青刘云如羊四清张春元湖南人文科技学院计算机系湖南娄底417000 国防科学技术大学计算机学院湖南长沙410073

由于传感器网络节点能量有限,传统的密钥管理方法(如:公开密钥加密技术、KDC等)不适合传感器网络,对偶密钥是传感器网络的一种基本的安全技术,如何结合传感器网络的特性提高对偶密钥性能具有十分重要的意义。依据传感器网络分组部署的特... 详细信息

由于传感器网络节点能量有限,传统的密钥管理方法(如:公开密钥加密技术、KDC等)不适合传感器网络,对偶密钥是传感器网络的一种基本的安全技术,如何结合传感器网络的特性提高对偶密钥性能具有十分重要的意义。依据传感器网络分组部署的特点,在KDC和基于多项式池的密钥预置模型基础上,提出了一种用于密钥预置的k-GH(k-Grid Hypercube)模型,并基于k-GH模型提出了一种新型密钥预置机制。理论与仿真分析表明,新算法具有更低的存储开销、通信开销和良好的安全性能,因此,是一种适合传感器网络的高效对偶密钥预置立算法。

关键词：对偶密钥传感器网络密钥预置格超立方体模型

基于Fibrations理论的共享系统数据模型

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2017年第9期39卷 1665-1674页

作者：苗德成奚建清戴经国韶关学院信息科学与工程学院广东韶关512005 华南理工大学软件学院广东广州510640

传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确... 详细信息

传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确分析了语义性质,应用等式函子、保持等式的提升及商函子并结合共代数方法形式化描述了语义行为;其次,在Fibrations理论框架内构造复杂归纳与共归纳数据结构上参数化的递归与共递归操作,抽象描述具有普适意义的归纳与共归纳规则,结合实例简要介绍了Fibrations理论的应用。相对于范畴论等传统方法,简洁描述与灵活扩展的Fibrations理论对共享系统数据模型的语义性质和语义行为进行了精确分析与形式化描述,抽象描述了复杂数据结构具有普适性的归纳与共归纳规则。

关键词：数据模型 Fibrations理论语义性质语义行为共享系统

虹膜识别在基于物联网的肉类食品溯源中的研究

在线全文

学校读者我要写书评

暂无评论

数学的实践与认识 2013年第5期43卷 102-108页

作者：罗忠亮段琢华戴经国韶关学院计算机科学学院广东韶关512005

依托物联网平台,构建"从源头到餐桌"的信息溯源体系是肉类食品安全当前亟待解决的重要问题.大型动物个体识别在肉类食品溯源系统中起着非常关键的作用.鉴于传统动物识别方法对于个体溯源准确度不高,将大型动物的虹膜特征提取与编码作为... 详细信息

依托物联网平台,构建"从源头到餐桌"的信息溯源体系是肉类食品安全当前亟待解决的重要问题.大型动物个体识别在肉类食品溯源系统中起着非常关键的作用.鉴于传统动物识别方法对于个体溯源准确度不高,将大型动物的虹膜特征提取与编码作为个体鉴别的关键技术引入溯源体系中.将虹膜编码信息与饲养、屠宰加工、配送和分割销售信息结合起来并转化成电子编码储存于RFID标签,以实现大型动物的活体与分割肉块的信息衔接.方法能有效地解决传统动物识别系统中的欺骗及设备功能异常现象等问题,达到肉类食品信息查询和出现安全问题后个体溯源的目的.

关键词：肉类食品溯源虹膜识别物联网