时态索引技术研究及其应用

研究有效时间期间集合上数学关系以及时态索引构造与应用.建立时间期间集合上时态连通等价关系和时态包含拟序关系.在引入数学关系框架内,通过对时间期间特征进行精细分析,讨论了大时态连通等价类分割和时态包含拟序关系集重叠等问题,建立了由根结点、等价类分割集结点和拟序关系集线序分枝结点构成的时态索引树形模型TDIM.在TDIM架构下,基于时态数据库中数据实体动态管理基本特征,研究了具时态变量情况下时态索引动态实现机制和查询技术,同时讨论了时态更新(时态插入、时态删除和时态修改)的增量式算法.由于建立在一般时间集合之上,TDIM可以应用于时态关系和XML的数据管理.     

时态查询语言的并发Lambek演算及范畴语法

时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模．这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画．因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的．考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ－演算．这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ－演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的．据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算（LCTQ）及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善．     

SOAP协议性能与安全的研究进展

简单对象访问协议(Simple Object Access Protocol,SOAP)是用于在分散型、分布式环境中交换结构化信息的轻量级协议,它构成了web Service体系结构的通信基础.由于SOAP协议在设计之初注重的是简单性、可扩展性和互操作性,对其性能与安全问题的考虑则相对较少,制约了其进一步的推广和应用.近年来,对SOAP协议性能与安全方面的研究越来越多,在介绍了SOAP协议的概念、结构以及主要特征之后,重点分析与总结了近年SOAP协议性能和安全方面的研究进展,并进一步探讨了解决SOAP协议性能和安全问题的未来研究方向.     

基于SVG和Ajax的WebGIS设计与实现

针对当前WebGIS两种实现方案的缺点:基于服务器端的WedGIS交互性差;基于客户端的WehGIS对客户端要求过高,负载过重,文中详细分析了采用SVG和Ajax技术的原因和可行性,并概述了它们的技术特点,在此基础上提出了基于SVG和Ajax的WebGIS体系结构,设计了存储SVG的关系数据库表结构.以广东省空间信息共享服务平台项目为实验载体,实现了WebGIS的地图显示、图形编辑、图层控制和空间统计分析等功能.具有响应速度快等特点.     

一种新的基于Curvelet变换的遥感图像融合算法

Curvelet变换能充分利用原函数的几何正则性,可以达到用更少的系数来逼近奇异曲线的目的,因此相比小波变换而言,它更适合分析二维图像中的曲线或直线状边缘特征.综合分析Curvelet变换的特性,提出一种基于Curvelet变换的遥感图像融合算法.通过Curvelet变换将源图像分解到不同尺度、不同方向的频带范围内,然后分别对低频、高频分量采取不同的融合规则进行融合,最后进行Curvelet逆变换得到融合结果.实验结果表明该方法在增强空间特征和保留光谱信息方面均优于传统小波变换和传统Curvelet变换等方法.     

强基础、重实践——程序设计实验课教学的改革与探索

计算机教学理论与实验脱节,导致学生实际操作能力不足,本文针对这一问题,对程序设计实验课教学体系、教学内容、教学评价进行探索和研究,提出改革的思路和建议,以期达到提高学生专业能力和实际操作能力的目的。     

基于LoRa和Nb-IoT的智慧路边无人值守停车云系统

对目前路边停车场需要人工值守的缺点,提出一种采用地磁、地锁、LoRa和NB-IoT多种技术结合的无人值守云系统。全面阐述了系统方案,设备选型,系统框架,通讯方案,难点功能等内容。采用LoRa和NB-IoT相结合的通讯方案解决了类似系统单独用一种通讯方案时存在信号不畅、功耗较高和通讯费用高的问题。基于地磁和地锁的创新设计,用智能算法判断车辆驶入状态,可靠性强,无需人员值守。系统目前已经投入使用,效果良好,对类似系统的建设有借鉴作用。     

基于时态数据库的极小子结构逻辑系统

逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLrmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time (O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.     

基于拓扑结构变化趋势的MCL优化算法

该文提出一种高精度的移动传感器网络中实现定位跟踪的方法,该方法利用未知节点在运动过程中网络拓扑结构变化的信息提高锚节点利用率,并改善样本采集效率。在无拓扑结构变化的情况下采用牛顿插值方法对节点当前位置进行预测,当拓扑结构有变化时,采用拓扑结构变化构建适应值函数,并用粒子群算法优化样本点的质量。仿真实验结果表明,该文算法与传统算法相比加快了收敛速度,提高了定位精度,改善了在低锚节点密度时的性能。     

结合项目相似度的协同过滤算法

传统的协同过滤算法因为数据集稀疏性的增加而导致推荐准确性降低。针对该问题提出一种结合项目相似度的协同过滤推荐算法。首先计算项目之间的相似度,然后根据项目之间相似度,预测用户未评分项目评分估值,以减小目标用户与候选最近邻居所形成的数据集稀疏性,最后根据用户相似度获得项目推荐集。实验结果表明,该算法能提高寻找最近邻居的准确性,从而改善协同过滤的推荐质量。