基于轨迹大数据时空分布的索引与查询方法

由于移动对象自身行为特征和整体规律的不同，使得其产生的轨迹数据具有较大的时空分布不均特点，从而影响轨迹数据索引和查询的效率。针对现有轨迹数据索引方法很少考虑轨迹数据分布不均特性的情况，提出了一种基于历史数据预分区的时空索引方法，其借助轨迹数据时空维度上分布的相似性，首先在空间上根据数据分布情况对Geohash编码进行预分区，进而建立轨迹数据的索引结构和基于HBase的存储模型，并利用该索引结构设计了基于Geohash分区的查询分解算法。基于真实出租车轨迹数据集的实验表明，相较于均匀划分的扩展的HGrid方法与混合编码的ST-hash方法，本文提出的索引结构及其查询方法可以有效提升海量具有不均匀特征轨迹数据的时空查询性能，并且可以在保证查询结果准确性的同时，最大限度地减少子查询的数量。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

基于5W1H的教育信息查询技术研究

针对教育信息基于互联网络的快速增长以及检索日趋复杂等问题,构建了基于领域本体的四层查询体系结构,采用5W1H分析法归纳了领域本体中的概念和关系,建立了基于5W1H的领域本体概念模型,重点研究了基于Jena的领域本体持久化技术和领域本体规则推理技术,设计了基于SPARQL查询规则和基于Jena推理规则的领域信息查询算法。以教师信息为例,采用Jena开发平台和MySQL数据库,实现了教师信息领域本体查询系统的精确查询、模糊查询和语义查询等功能。     

一种基于区间解析冗余关系的故障诊断方法

在基于解析冗余关系的故障诊断应用中,系统不确定性方法会造成漏诊和误诊。本文在传统键合图线性差分变化技术（Bond graph-linear fractional transformation technique,BG-LFT）中引入区间分析理论,提出一种基于区间解析冗余关系的故障诊断方法。该方法在基于键合图的解析冗余关系故障诊断方法的基础上,首先结合BG-LFT和区间分析理论对参数不确定性和测量不确定性进行统一建模。然后,将键合图模型扩展为不确定性键合图模型,并推导区间解析冗余关系。最后,利用区间数学运算方法计算区间解析冗余关系,得到诊断阈值。将该方法应用于电动静液作动器参数型故障及传感器故障的故障诊断中。结果表明,与单纯使用BG-LFT相比,本文方法能更有效获取电静液作动器故障诊断依据,避免系统不确定性对诊断结果的干扰。     

一种新的机场目标检测深度神经网络压缩模型（英文）

提出了一种新的机场目标检测的深度神经网络压缩模型。该模型针对深层神经网络模型复杂、计算量大的缺点,根据机场目标检测的需要,从未压缩的模型中提取时空语义规则。通过将这些空间语义规则加入参数压缩后的模型中,以辅助检测。该规则可以提高检测模型的精度,弥补参数压缩带来的损失。实验表明,这种新的压缩检测模型压缩模型的效果并不比未压缩的原始模型差,甚至可以通过先验知识来消除一些原始模型的错误检测。     

GDBMS中图形数据的表示与存贮

GDBMS是作者设计并实现的一个实验性的工程图形数据库管理系统。它基于扩充关系数据模型,成功地完成了对工程图形数据的描述。 本文从图形的数据库表示出发,对几何实体的建模方法进行了分析,介绍了GDBMS中的图形数据模型及其实现方法。该数据模型吸取图元枚举法(PI方法),结构实体几何表示法(CSG法)和边界表示法(BR方法)的优点,在进行交互式图形编辑以及图形显示时,采用CSG结构,在数据库的存贮和处理时,采用扩充的BR方法。     

复杂系统混沌行为判别与混沌时间序列的分形建模

提出了以有限维自由度及Lyapunov指数联合分析为判据的复杂系统混沌行为判别方法．避免了判别过程中将纯随机行为及复杂确定性线性行为误判为混沌行为。以球磨机矿浆流量为例,在相空间重构的基础上对系统关联维数进行了分析．验证了系统具有有限维自由度。通过Lyapunov指数分析考察了系统的时空演化特性并验证了系统的初值敏感性,从而分析出该流量具有确定性与随机性相互统一的混沌运动特征。利用Hurst指数通过分形内插算法对流量信号进行了精确重构,建立了一种可准确重演系统时空变化规律的模型．     

基于语义理解的中文智能检索模型研究

针对传统关键词匹配检索存在的缺陷,论文深刻剖析了语言信息量化机制及词间的语义关系,采用语义空间转换成可以量化的信息量空间,设计了一种基于语义理解的中文智能信息检索模型,从语言量化机制及语境双层次上阐述了模型的设计思想。在分析提取用户检索语义机制的基础上,提出一种计算用户查询语句语义与文档语义及语境相关度的新方法。实验表明这种检索方法可以提高搜索引擎的查全率和查准率。     

并发式软件系统横切关注点的建模方法

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点.     

一种模糊关系代数与模糊关系演算

首先给出了模糊数据库的模糊关系数据模型，它允许属性值和元组具有模糊性。在此基础上，构造了两类不同的模糊数据库查询语言：模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础，引入模糊关系（或谓词）、模糊操作（或连接词）和模糊集比较操作。此外，证明了模糊关系代数和模糊关系演算在表达能力上的等价性。模糊关系代数和模糊关系演算既可以作为模糊关系数据模型的理论研究工具，又可作为评价模糊数据库     

流数据复杂聚类查询处理算法

流数据上的连续查询,尤其连续聚类查询是流数据处理研究的难点.草图算法能够计算流数据上等值连接大小的高精度近似值,而直方图算法能够较精确地统计流数据的分布.本文结合这两种算法的优势,提出了一种能够高效处理流数据上复杂聚类查询的算法.理论和实验结果表明,该算法具有较高的精度和较小的空间复杂度.     

超声速弹头凹型光学头罩流动显示研究

在自行设计的Mα=3.8超声速风洞中,采用基于纳米技术的平面激光散射(NPLS)方法对超声速弹头凹型光学头罩流场进行了流动显示实验.高时空分辨率的NPLS图像再现了激波、膨胀波、边界层及尾迹等流场结构.观察到了边界层的产生、发展及转捩过程.通过对时间相关图像的分析,可以精确测定边界层内大尺度结构的几何特征和时间演化特征.     

基于时空模型的快速视频显著区域检测

传统的视频显著区域检测方法运算量大且难以处理包含复杂运动的视频,本文提出一种基于时空模型的快速显著区域检测方法.该方法用一种新的模糊聚类算法对特征点的运动轨迹进行无监督聚类,对不同运动类型进行分类.在复杂运动情况下,该算法通过计算优化的聚类中心的个数以获得运动类型数,再将异常数据剔除后,生成运动显著图.而在空间显著区检测方面,则利用反差模型以及Gabor滤波器获得图像的静态显著图.在此基础上,还提出一种基于运动优先思想的时空混合方法,将运动和空间显著图动态合成视觉显著图.实验证明,该方法能够有效地提取视频显著区域,与传统的方法相比该方法平均耗时更少且更方便.     

翼型动失速和非定常载荷的综合翼型数据方法

本文给出受迫谐振翼型的动失速工程估算方法。本方法基于凤洞试验，综合分析翼型动、稳态特性之间的差别与动、稳态条件之间的关系，建立一套估算动、稳态特性之间差别的经验公式，修正稳态特性，得到相应的动态特性。用本方法计算了三种翼型不同动态条件（包括深失速和后掠）的动失速特性，并与测量和文献结果进行了比较，结果符合得相当好。     

基于时空浓度梯度反演扁平微通道中平均流速的优化算法

微流控通道内流速的准确测量在利用微流控芯片开展定量化学分析、样品制备、药物合成等领域具有重要应用价值。基于物质输运原理,提出了一种通过测量物质时空浓度梯度反演扁平微通道中平均流速的优化算法。首先,基于Navier-Stokes方程与Taylor-Aris弥散方程建立扁平微通道中速度场与浓度场的定量关系,分别提出了用直接反演法和优化算法求解平均流速的方法;其次,通过数值仿真系统地分析了时空浓度变化频率、振幅和扩散系数对反演流速准确度的影响;最后,通过荧光素实验验证了该方法的可行性。结果表明:无噪声情况下,优化算法反演结果与真实速度相关系数为1,具有很高的精度;有噪声情况下,增大物质浓度信号的频率与振幅、采用扩散系数较小的物质有助于提高算法的准确度;在微流控装置中,优化算法反演结果与流量传感器测量计算结果的相关系数为0.9814。     

层次前缀立方的有效计算

在联机分析处理系统中，基于维层次的上卷、下钻操作十分常见，但前缀立方却不直接支持维层次。文中扩展了前缀立方的组织结构，加入了层次数据立方的概念，即有层次维的数据立方，从而得到了层次前缀立方。它不仅保留了前缀立方在计算和组织结构上的优点，又能直接和充分支持维层次级的聚集查询。     

用曲线拟合法求梁的变形

采用光滑曲线对梁的挠曲线进行拟合，根据挠度各阶导数的性质和梁的边界条件、连续性条件计算拟合曲线的系数，其结果与积分法一致；这种方法具有明确的物理意义，不但适用于静定梁的变形计算，还适用于超静定梁的变形计算，且不必写出梁的弯矩方程。     

Parameter Optimization Method for Gaussian Mixture Model with Data Evolution

To learn from evolutionary experimental data points effectively,an evolutionary Gaussian mixture model based on constraint consistency（EGMM）is proposed and the corresponding method of parameter optimization is presented.Here,the Gaussian mixture model（GMM）is adopted to describe the data points,and the differences between the posterior probabilities of pairwise points under the current parameters are introduced to measure the temporal smoothness.Then,parameter optimization of EGMM can be realized by evolutionary clustering.Compared with most of the existing data analysis methods by evolutionary clustering,both the whole features and individual differences of data points are considered in the clustering framework of EGMM.It decreases the algorithm sensitivity to noises and increases the robustness of evaluated parameters.Experimental result shows that the clustering sequence really reflects the shift of data distribution,and the proposed algorithm can provide better clustering quality and temporal smoothness.     

基于时间序列数据挖掘的旋转机械故障预报

提出一种基于时间序列数据挖掘的故障预报新方法。把故障前兆因子作为一种暂态,根据旋转机械轴承振动的实验数据建立时间序列．利用时延嵌入的方法重构状态空间,在状态空间中使用遗传算法搜寻最优暂态束．组成暂态集。用暂态集对旋转机械轴承振动的测试数据进行分析．判断是否为故障前兆因子．从而实现故障预报。     

确定结构几何变形关系的简便方法

本文对工程结构（无论是静定的还是超静定的结构）的几何变形关系进行分析和讨论，指出了传统几何作图法的繁琐与不足，提出了建立在逆向思维方式和高等数学基础上的解析方法，比之几何法更中简便，易于掌握。