面向时空嵌套关系的半结构化时空数据管理模型研究

研究了利用半结构化时空数据的"嵌套"特征实现对时空数据存储和管理的问题,提出了一种面向时空嵌套关系的半结构化时空数据管理模型.该模型以时空数据的"嵌套关系"为管理对象,用更丰富的数据语义(semantics)区别了"实体对象类"的属性、"空问嵌套关系类"的属性和"时空嵌套关系类"的属性等概念,运用非第一范武的嵌套关系数据库实现对时空数据的综合营理.基于传统关系型DBMS和GIS组件构成的软件实验系统表明,本模型简明有效,在数据更新和冗余方面均取得了较好的效果.该研究为半结构化时空数据的管理探索了一条新的途径.     

有限状态机在嵌入式软件中的应用

简述了有限状态机的基本概念和传统理论,提出了利用有限状态机进行程序设计的基本思想,并结合实际应用给出了在大型复杂软件中的一种实现方法。     

一种基于嵌套网络的新型路由优化策略

随着无线技术的迅速发展以及移动数字设备数量的迅速增加,移动性已经成为因特网的重要元素.因特网工程任务组设计的用于提供网络移动性的网络移动性基础支持协议,由于其非最优的路由以及冗长的封装过程,往往会产生相当长的传输延迟以及严重过长的大分组,因此在嵌套移动网络中并不能得到低延迟的切换.为了解决网络移动性基础支持协议在嵌套网络中的高延迟问题,该文提出了一种用于嵌套网络的路由优化机制.该机制基于带有绑定更新树的分层结构,使用绑定更新缩短从移动路由到通信节点或移动网络节点之间的通信延迟;在移动网络内部,使用在分组头部增加家乡地址选择段的方法,降低了顶层移动路由的寻路延迟.仿真结果表明该路由优化策略相对基础支持协议可大大降低嵌套网络中的分组延迟,从而降低了分组开销和切换延迟,达到了最优路由.     

嵌套式移动Agent的形式化研究

应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法p演算对该模型中Agent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动Agent进行分布式管理的可能性.     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

一种循环嵌套结构的时间复杂性分析方法

概述了算法分析中的基本概念和方法,分析了常循环嵌套结构分析方法存在的问题,提出了循环嵌套结构一种时间复杂性分析的新方法,并通过典型的例子说明了循环嵌套结构中基本工作执行频度的计算技巧,该项工作 可直接计算出循环嵌套结构中基本工作的执行频度,为循环嵌套结构的算法分析打下了坚实的基础。     

基于虚拟孔径扩展的稀疏嵌套阵设计

为提高阵列自由度,提出了一种稀疏嵌套阵设计方法.该方法将增广嵌套阵（augmented nested array,ANA）中右侧子阵阵元与中间子阵距离稀疏化,从而扩展最远孔径.为保证虚拟孔径连续性,进一步提出了一种新型嵌套阵,即单侧稀疏嵌套阵.与ANAI-2、改进嵌套阵和最大阵元间距约束（maximum inter-element spacing constraint,MISC）阵列相比,该结构具有更长的连续段.仿真实验验证了提出结构在自由度、估计精度方面的优越性.      

无穷嵌套矩阵运算在Matlab中的实现

无穷嵌套矩阵的表示和有效运算一直是个难点,前者可以利用Matlab提供的单元结构描述,但是单元结构不支持直接运算,利用逆分块矩阵的思想,实现了嵌套矩阵的加法、乘法等运算.实验表明,基于单元结构和逆分块矩阵的思想可以有效地解决无穷嵌套矩阵运算问题.     

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证，将其应用于入侵检测系统是一个新的研究应 用方向，协议的形式化描述工具有穷状态自动机。通信有限状态自动机。在此基础上重点讨论了使用协议 状态机分析入侵事件的相关算法及流程.设计了基于协议分析状态机的入侵检测系统的总体框架，提出了 该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性，测试结果验证了这一思想的正确性 和有效性。     

基于会议模型的射频优卡多COS安全模型

基于现实会议中席位的分配与共享规则,抽象出能用于射频优卡的席位约束会议模型.基于会议模型分析射频优卡多芯片操作系统(COS)安全问题,给出安全实体的符号化描述和安全需求的形式化定义,建立了COS、存储块和独立存储区的有限状态机模型,并复合这3个模型建立了多COS安全的有限状态机模型.给出了安全模型的原型系统设计及其功能仿真和现场可编程门阵列(FPGA)实现.仿真结果表明该安全模型结构简单,易于实现,具有很好的数据安全性.     

再谈区间套定理及其应用

介绍闭区间套定理其它证明方法，给出开区间套定理的正确表述，近一步讨论区间套定理在证题中的应用。     

基于区域嵌套与分解的城市风环境模拟方法研究

提出了适合城市风环境数值模拟的一个新的计算方法——嵌套计算方法。该方法首先对目标建筑群及其更大的周边环境建立大计算域并以较粗的网格进行计算,然后建立包含目标建筑群的子计算域并以精细的网格划分,以大计算域计算出的解作为子计算域的边界条件以实现区域嵌套求解。通过对两种建筑群布局的模拟计算,将该方法与传统方法计算的高精度解和中精度解进行对比。结果表明,本文的方法可以降低单次计算的网格数量,并且计算结果具有较高的精确度。     

扩展嵌套事务模型的研究

在主动数据库的规则处理过程中，为了更好地适应规则的嵌套触发和多种耦合方式的处理，在分析了嵌套事务模型的基础上，对其进行了扩展，提出了扩展嵌套事务模型，并在此基础上，对规则的处理进行了相应的分析。     

基于扩展的嵌套关系代数的关联规则挖掘查询

提出了一种使数据挖掘与数据库系统无缝集成的方案.该方案基于关联规则挖掘和关系数据库系统的通用查询算法,采用一种扩充的嵌套关系代数作为关联规则和其它数据查询的一种内部表达方式.通过一个典型实例展示了这种代数表达式.代数表达式也被表达为一种查询树,查询树中代数运算的公共操作序列模块化后,具有更多的灵活性,能方便地处理约束关联规则查询和其它各种关联规则描述.     

多元化行业选择的实证研究

从多元化的动机出发，通过实证分析给出多元化行业选择的一个原则：多元化新旧行业间要有较大的跨度。通过基于企业的资源，把各行业串在一起，从而达到行业间的优势互补，进而发挥整个企业集团的优势。     

嵌套关系DB实现时态DB系统的方法

讨论嵌套关系表达时态关系、嵌套元组演算表达时态元组演算的能力，提出一种用嵌套关系数据库（ＤＢ）实现时态数据库系统的方法．     

A Generalized Comfort Function of Subway Systems Based on a Nested Logit Model

With rapid urbanization,subway systems are widely acknowledged as one of the best solutions to urban transportation problems.The operators or managers of subway systems should pay more attention to passenger＇s perceptions of service quality to maintain its competitive position.Taking the traffic state,efficiency,and environmental impact into consideration,the concept of generalized comfort is proposed in this paper.Based on a nested logit model,the selection probability for each factor in a generalized comfort function can be estimated using a nested structure.A certain factor is considered to be more significant in a generalized comfort function than others,when the corresponding probability of this factor is higher in value.Using stated preference and revealed preference data about passenger travel behavior obtained from the Beijing subway,the parameters of generalized comfort function are estimated by maximum likelihood techniques.     

基于区间套混沌搜索的混合优化方法

基于对Logistic映射混沌变量概率分布的研究,提出了一种区间套混沌搜索方法,避免了混沌搜索的盲目性.将区间套混沌搜索方法与共轭梯度法结合,提出了一种混合优化方法,利用区间套混沌搜索方法搜索到近似最优点,再用共轭梯度法求得最优点.数值计算结果表明,该方法可显著提高优化效率.     

基于套迭代技术的弹性梁动力响应分析的多重网格方法

提出了一种基于套迭代技术的求解弹性梁动力响应的多重网格方法。这种方法充分利用了初始网格下的结果,然后由多重网格嵌套迭代过程实现对弹性梁动力响应问题的求解。这种方法将网格离散过程和数值求解过程很好地相结合,与其他方法相比较,具有计算精度高,运算时间短等特点。     

基于套迭代技术的弹性梁动力H向应分析的多重网格方法

提出了一种基于套迭代技术的求解弹性梁动力响应的多重网格方法。这种方法充分利用了初始网格下的结果,然后由多重网格嵌套迭代过程实现对弹性梁动力响应问题的求解。这种方法将网格离散过程和数值求解过程很好地相结合,与其他方法相比较,具有计算精度高,运算时间短等特点。