自锚式悬索桥主缆成桥线形分析

基于悬链线解析模型,将加劲梁简化为刚性支承连续梁,根据悬链线索元的节点力与索单元投影的函数关系式,建立了自锚式悬索桥的分析模型.利用几何线形误差影响矩阵调整索端力,给出了求解主缆成桥线形和主缆无应力长度的非线形迭代方法.与有限元分析方法相比,该方法计算过程简单,精度满足成桥几何线形的设计要求,便于工程应用.算例分析表明,该方法计算结果与有限元方法计算结果具有较好的一致性.     

一种基于置信传播的全局立体匹配算法

针对局部立体匹配算法匹配速度慢、误匹配率高,对遮挡区、无纹理区较敏感等特点,提出了一种基于置信传播的全局立体匹配算法.通过距离变换算法优化消息计算,双边图技术进行消息迭代更新,使用分块更新的多尺度置信传播,在不影响计算精确度的情况下降低了消息更新的时间复杂度.最后通过左右一致性检测实现遮挡检测并进行遮挡填充,对于遮挡剔除之后产生的水平条纹进行了中值滤波处理.实验结果表明,改进的置信传播算法在速度上具有明显的优势,同时也获得了良好的视差图效果.     

基于优化GDH协商的高效安全群组密钥管理方案

针对GDH(group diffie-hellman)方案中节点可能成为系统的瓶颈以及计算复杂度、通信代价和存储复杂度远高于某些集中式方案等缺陷,提出并实现了一种基于优化GDH协商的高效安全的动态群组密钥管理方案,并对其安全性进行了证明。通过对计算量和通信量进行分析比较表明,优化GDH协商协议具有很大的优势,并且能够快速产生或更新组密钥,具有很强的实用性。     

悬索桥空间主缆找形分析的一种迭代算法

基于索的悬链线理论,提出了一种可用于悬索桥空间主缆体系线形分析的迭代计算方法.采用该计算方法可得到悬索桥空间主缆和吊索的内力、空间位置及有、无应力长度等信息.利用该方法编制了相应的计算机程序,并对算例进行了验证,结果表明该方法是可行的,具有计算精确、运算速度快等特点.     

低复杂度的MIMO比特和功率分配方案

提出了一种低复杂度的自适应比特和功率分配算法,在满足系统信息传输速率和误比特率限制的条件下,利用不精确的信道状态信息使多输入多输出系统的发送功率最小化. 首先利用函数部分单调性将非凸最优化问题转化为凸优化问题,然后得到最优化问题在非负实数域内的闭合最优解,并将其调整成离散比特数,从而获得最终的比特和功率分配结果. 仿真结果表明,该算法可以获得与最优的鲁棒贪婪比特和功率分配算法相同的分配结果和功率效率,而计算复杂度大幅度降低.     

面向化工灰箱建模的快速全局优化模糊聚类算法研究

针对化工过程灰箱建模存在的精确度差、速度慢、计算复杂度高等问题,对现行模糊C-均值聚类算法进行了改进,提出了一种快速全局优化的(用于建模的数据训练集)模糊聚类算法.该算法具有不依赖初始条件、收敛速度快等特点.实验结果表明,利用快速全局优化模糊聚类算法得到的数据,在灰色预测的时间和数据准确性方面都有了显著提高,计算机仿真实验表明了该算法的有效性.     

无线Mesh网络中功率控制、信道分配和调度的联合优化

研究规则的多接口多信道无线Mesh网络吞吐量最优化问题,目的是在给定网络拓扑结构和流量需求的情况下,联合考虑功率控制、信道分配和调度,求出公平性约束下的最大吞吐量.采用图论的方法,目标优化问题可以被分解为有限个子问题,而每个子问题可以表示成一个线性规划问题,分别求解这些子问题从而得到目标问题的解,并从理论上证明了该解的全局最优性.该算法需要遍历所有可行的场景,具有O(2n)的计算复杂度.同时提出了一种次优算法,以很小的性能下降为代价获得了O(n)的计算复杂度.仿真实验结果显示,在9个节点的网络中,次优算法得到的网络吞吐量与最优算法相比下降不超过8％,而计算速度有显著提高.     

基于区块链的车联网矩阵计算安全卸载方案

为了保护任务数据的机密性,验证计算结果的正确性,提出基于区块链的车联网矩阵计算安全卸载方案.该方案利用编写在区块链上的智能合约自动执行计算结果验证过程,保证验证过程的安全性和结果的不可篡改.方案提出的基于矩阵加法的轻量级矩阵加密方法,简化了矩阵计算卸载加解密的复杂度.通过与现有方案比较可知,本文方案能够在有效保护车辆的敏感信息的同时,实现对矩阵计算结果正确性的验证.利用所构建的矩阵加密方法,能够有效地降低车辆侧矩阵加解密的计算开销.     

应用在OFDM-MIMO系统的低复杂度时域导频方案

提出了一种应用在正交频分复用多天线系统的时域导频方案.该方案能获得较高精度的均方估计性能,导频与有用数据无干扰,且计算复杂度低,多天线场景下,信道估计的性能不受传输天线个数的影响.相比最小二乘估计,该方案只需要对接收信号进行简单的线性相关运算,配合特定的系统参数,能获得较大的信噪比增益;相比线性最小均方误差估计,其仅利用了信道长度信息,性能渐近最优,能获得估计性能与复杂度的折中.     

一个新型ASIP编译器的设计和实现

为了满足专用指令处理器(ASIP)存储器约束和代码执行的实时性要求，提出了一种同时考虑代码选择和寄存器分配的代码综合生成算法，同步处理代码生成的子问题.该算法基于最优化原理，把无环有向图（DAG）的所有节点构造成一个调度矩阵，把寻找代码优化的问题转化成在调度DAG中寻找一条优化路径，大大降低了算法的时间复杂度.并应用算法构造了一个编译器后端，测试表明，该算法能够正确地生成目标代码，和传统的分步优化算法相比，减小了目标代码的空间尺寸，降低了寄存器溢出的几率.     

偏转路由的网络故障处理技术

提出了一种新的偏转路由方案，以解决现有偏转路由方案不能处理节点故障以及存在路由环路的问题。在分析网络故障对最短路径树结构影响的基础上，通过采用新型计算备份最短路径树的算法以及相应的重路由策略，实现对链路和节点故障的快速处理，同时保证备份路由不存在路由环路。实验结果表明，本方案提供的预备路由接近重新计算得到的最佳路由，因此具有较好的性能。     

基于Max-Log更新的马尔科夫链蒙特卡洛MIMO检测增强算法

针对传统的马尔科夫链蒙特卡洛（MCMC）算法，提出了一种基于Max-Log更新的MCMC-MIMO检测算法。该算法采用了基于Max-Log更新的采样，可以有效产生收敛于后验概率（APP）分布的比特样本列表集合，同时可避免计算传统MCMC算法中的每比特概率分布。但是该检测算法在高信噪比下，采样过程会陷入锁死到局部最优态。在此基础上，提出了3个增强技术:1）抖动处理，对给定置信区间内的更新进行抖动处理；2）条件下重新初始化，对处在潜在锁死态的采样序列进行重新初始化；3）修剪饱和处理，利用球形译码算法中的修剪饱和技术来处理MIMO检测输出的对数似然信息（LLR）。仿真结果显示，基于Max-Log更新的MCMC增强算法能有效地解决陷入锁死的问题，从而提高系统性能并降低系统的计算复杂度。在复杂度为MMSE-PIC检测算法的90%的基础上，性能提高了2 dB。     

椭圆曲线上的链式验证签名

基于椭圆曲线密码算法,提出了一种新的链式验证签名方案,只有经过链式验证授权组中的成员P1、P2、...、Pn-1的一一授权之后,签名验证者Pn才能验证签名的有效性。分析了所给签名方案的安全性和效率。除了具有链式验证签名的一般特性外,还可以方便地增加或删除链式验证授权者,并在链式验证授权者或签名验证者泄漏子秘密时,可以及时地进行维护。     

基于SVM的汉语句子片段划分

针对长句子引起句法分析性能下降的问题,本文提出了一种基于SVM的句子片段划分方法:先根据语法结构将句子划分为多个片段,识别出每个片段的类别;然后根据片段的类别将句子分割为几个部分,每个部分作为句法分析的基本单元;最后将句法分析之后的各个部分进行合并,形成完整的分析结果.该方法减小了句法分析的复杂度,提高了分析的准确率.     

策略半隐藏且支持更新的多机构属性加密方案

针对云环境中采用属性基加密机制所引起的隐私泄露和策略更新开销大的问题,提出支持访问策略半隐藏和动态更新的多机构属性基加密方案．该方案采用策略半隐藏方式,将属性分为属性名和属性值两部分,通过对用户的属性值进行隐藏,保护用户的所有属性隐私,避免用户的具体属性值泄露给第三方．另外,方案采用线性秘密共享技术,引入动态策略更新算法,支持与、或、非等任何类型的策略更新,减少传统策略更新中的计算和通信开销．经安全性分析证明,该方案在标准模型下满足选择明文攻击安全．通过与其他方案对比,用户密钥大小、密文大小和解密代价均有所优化,更加适用于云环境中需保护用户隐私及支持策略更新的情况．     

基于UML教学管理信息系统的研究与实现

针对高校教学管理信息系统的建设问题进行了分析和研究，并采用面向对象的分析和设计方法为这个系统建立模型。文中采用统一建模语言(UML)完成了该系统的分析和设计，提出了分布式3层体系结构的设计方案，结合所采用的开发工具Delphi，给出了系统的实现方案。并且针对系统中的数据查询、更新和网络流量控制进行了分析和探讨。     

操作系统可信增强技术研究

可信计算是当前信息安全技术的一个研究热点。通过描述可信性的定义,分析可信计算的发展与现状,全面阐述了操作系统的可信体系结构设计技术、可信链设计技术、远程升级与更新设计技术及故障检测与处理设计技术等可信增强技术,较好地解决了当前计算机系统存在的安全问题。     

具有强安全性不含双线性对的基于证书盲签名

基于证书密码体制是传统公钥密码体制的最新演进,但现有基于证书签名方案大都采用双线性对构造,计算效率较低.为了解决这个问题,基于离散对数难题,提出1种不含双线性映射的基于证书盲签名方案.方案以有限域上模幂运算为主构造,避免了复杂的对运算,用二元仿射变换盲化消息,计算量小、效率高.每次验证签名前用验证方程检验证书及公钥的真实性,实现了2者之间的相互认证.方案在随机预言机模型下证明能够抵抗用户伪造攻击、认证中心伪造攻击和公钥替换攻击,并具有强盲性.分析表明,与同类方案相比,本方案具有签名长度短,计算量和通信量小的优势,特别适用于计算能力和带宽受限的领域.     

基于计算吞吐量最大化的能量采集边缘计算系统在线资源优化配置

在基于可再生能量收集技术的移动边缘计算(Mobile Edge Computing, MEC)系统中,可再生能量到达和计算卸载无线信道呈现较强的时空变化特性,因此该系统的无线及计算资源管理与用户任务计算之间存在着动态适配的挑战。针对此类问题,本文研究多时隙多用户的能量采集边缘计算系统,建立可再生能量随机到达和无线信道模型以及预测误差模型,以系统总计算吞吐量最大化为准则,通过逐时隙联合优化用户本地计算和计算卸载模块,提出了一种在线滑动窗设计方案, 需要通过调整滑动窗长度M来实现。该方案逐时隙求解凸优化问题,基于离线资源动态管控的最优结构,实时制定资源管理策略,具有较低的计算复杂度。仿真实验结果表明,提出的在线滑动窗设计方案在系统计算吞吐量性能方面优于已有的基准方案,并在对抗信道/能量状态信息预测误差方面有较好的鲁棒性能。     

连续交通流模型的并行计算

为了降低连续交通流模型并行计算的实现难度,参考离散交通流模型并行计算的框架,提出了一套连续交通流模型并行计算的框架.该框架包括同步机制、基于网格的区域分解方法和边界缓冲模型,其中同步机制采用与离散交通流模型并行计算相同的主从结构的同步机制,基于网格的区域分解方法和边界缓冲模型分别用来实现任务的分解和提供仿真计算时所需的交互数据.实验中,选用了一个大规模路网进行验证,结果表明应用这一框架,可以方便地实现连续交通流模型的并行计算,提高连续交通流模型运算的速度,从而满足了智能交通系统中大规模交通路网实时、高效和动态仿真的需求.