认知无线网络中基于Vandermonde预编码的认知用户可达比特率研究

在认知无线网络中,主用户与认知用户要求在频率选择性衰落信道下与它们各自相应的接收机进行同时通信.主用户与认知用户之间的干扰必须尽可能消除以实现两者的频谱共享.本文提出了认知正交频分复用(OFDM)中采用Vandermonde预编码的预编码多址接入(PDMA)策略,它有效利用认知信道的频率选择性构成频率波束成型器.在主用户干扰受限和最优功率分配策略下,采用Vandermonde预编码可使认知用户达到高比特传输率.理论推导过程均采用数值计算与仿真得到证明.数值计算与仿真结果表明,最优输入功率分配策略可使认知用户对主用户不产生干扰的前提下获得可达比特传输率(ABR).同时,数值仿真验证了理论推导过程.在认知无线网络中,采用Vandermonde预编码器构成PDMA,认知用户接收机信噪比与主用户目标速率均可以显著影响认知用户的可达比特率.     

基于可达图的Web服务组合验证

针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法.采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用.     

移动IPv6注册通信对端绑定更新的安全保护机制

移动IPv6提供很多安全特性,包括移动节点到家乡代理或通信对端在绑定更新的保护等。移动IPv6运用授权绑定实现对通信对端绑定更新的安全保护,返回路径可达过程协商产生授权绑定管理密钥。文章详细论述了移动IPv6对通信对端绑定更新的安全保护机制。     

切换非线性系统全局优化运行的经济预测控制

切换非线性系统在不同模式间平稳切换和经济切换是全局优化运行的主要需求.针对不同模式有限时域下控制算法可行域未必存在交集的系统,提出了对应的经济预测控制算法（Economic model predictive control,EMPC）及切换策略.切换发生时,该方法在实时优化层求解和更新可行中间点,并构造基于耗散的局部EMPC辅助性能指标,在考虑中间点稳定性问题上使其尽可能逼近原经济性能.在先进控制层,利用局部EMPC将状态逐次稳定至中间点,同时利用中间点问题得到的最优轨迹保证模式间的经济切换.最后,分析了切换过程的暂态经济性.该方法实际可操作性强,仿真结果说明了方法的有效性.     

基于图压缩的k可达查询处理

研究了基于图压缩的k可达查询处理,提出了一种支持k可达查询的图压缩算法k-RPC及无需解压缩的查询处理算法,k-RPC算法在所有基于等价类的支持k-reach查询的图压缩算法中是最优的.由于k-RPC算法是基于严格的等价关系,因此进一步又提出了线性时间的近似图压缩算法k-GRPC.k-GRPC算法允许从原始图中删除部分边,然后使用k-RPC获得更好的压缩比.提出了线性时间的无需解压缩的查询处理算法.真实数据上的实验结果表明,对于稀疏的原始图,两种压缩算法的压缩比分别可以达到45%,对于稠密的原始图,两种压缩算法的压缩比分别可以达到75%和67%;与在原始图上直接进行查询处理相比,两种基于压缩图的查询处理算法效率更好,在稀疏图上的查询效率可以提高2.5倍.     

小型双足步行机器人的机构设计及其运动仿真

小型双足步行机器人具有多关节、多驱动器、多自由度的特点,本文以人体全身17个主要关节及其运动特性为研究对象,利用三维设计软件CATIA设计出小型双足步行机器人的全身机构,根据ZMP理论,以正常人行走的“X”形交叉动作为原则,规划出其各关节转角,在ADAMS下对其虚拟样机进行运动仿真,确保实现机器人的稳定步行和做舞蹈动作。     

基于变迁指标的Petri网分解方法

通过定义Petri网变迁的指标函数,给出一种基于变迁指标的Petri网分解方法,通过分解得到子网系统均为结构简单的T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系。并且证明了通过子网之间的共享合成可以得到原先的网系统,这为Petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。     

香港空中步行系统精细化设计与启发

纵观我国城市空中步行系统设计与建设,其大多模式是将高密地区轨道站及周边地块进行连接,但这种模式并不能如实反映空中步行系统的整体空间设计逻辑,导致"往下传导难"等问题。作为世界高密度城市地区之一,对于在稀缺土地内建设立体空中步行系统,香港已有一套自己的经验,即精细化构建空中步行系统空间逻辑。香港中环、湾仔、荃湾、沙田、屯门、将军澳、东涌片区空中步行系统分别代表了"交通廊道""轨道站点—公共建筑群""轨道站点+商业"3类发展类型。梳理空中步行系统关于功能、交通、开发模式等精细化设计与开发的要点,以期为今后内地空中步行系统在地化系统设计与开发提供借鉴。     

街道空间步行环境测评研究 ——以北京什刹海历史文化街区为例

步行环境的综合评价是历史文化街区实现动态保护和可持续发展的不可缺少的重要环节之一.以什刹海街道地区的空间步行环境为例,构建基于安全性、舒适性、便捷性、识别性的原则,以通畅度、有效宽度、遮荫率、平整度、步行道密度、可识别度为评价指标的步行环境评价体系;运用均方差权值法赋予各项指标权重,计算出综合评分,再将评分结果输入SP...     

有界Petri网的可达图到网图的转换算法

本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。