网络环境下社会管理的组织行为建模与计算实验研究综述

从网络环境下社会管理、组织行为与影响力建模、社会系统的计算实验、社会系统的探索性分析与优化设计四个方面对网络环境下社会管理的组织行为建模与计算实验的研究现状进行了综述. 在此基础上提出了相应的后续研究方向:网络环境下社会管理结构框架与运行机理、网络群体行为分析与影响力建模方法、社会管理的博弈机理、基于多智能体的社会管理计算实验方法和基于计算实验的社会管理策略探索性分析与评估.     

基于信道聚合的OFDM自适应资源分配算法

针对OFDM系统中多用户自适应资源分配问题,提出了一种新的基于信道聚合和遗传算法的自适应资源分配算法。该算法首先将所有子载波均匀分组,将子载波分配问题转化成子载波组分配问题。然后,兼顾用户之间的公平性,引入遗传算法,实现用户间的资源分配。仿真结果表明,与现有的算法相比,新算法在保证用户公平性的同时,有效地降低了计算复杂度和获得系统最优解的计算时间,实现系统总的容量最大化。     

基于动态模型的系统架构及建模平台实现

传统的基于静态模型的系统开发方法难以解决业务规则的快速扩展及变更带来的资源浪费等问题,工作流支持对工作内容进行良好的划分,并进行具体部署。结合SOA架构的业务流程再造能力,提出一种新的以三层模型为核心的支持快速、平滑、可重用的应用系统开发架构,对流程引擎和建模平台完成详细描述和设计,完成建模平台搭建工作,并以卡银行业务为例进行了基于三层模型的建模。结果表明,该系统开发架构具有很好的业务流程再造能力,可保证业务系统的持续稳定,达到提高生产组织水平和工作效率的目的。     

压电陶瓷驱动电路RC网络补偿技术研究

压电陶瓷(PZT)驱动电路由于负载为容性,会使环路增益上产生附加极点,从而影响电路的稳定性,严重时会导致芯片和陶瓷损坏。构建了驱动电路的数学模型,在此基础上,对基于运放PA88的驱动电路进行了仿真分析,对提高驱动电路稳定性的方法进行研究。研究结果表明,采用外接RC网络补偿可有效提高电路稳定性,解决了PZT驱动电路不能长期稳定工作的问题,并给出了PZT驱动电路元器件的最优参数。     

一种多接口多信道VANET动态频谱分配算法研究

为了实现多接口车载自组织网络(VANET)车辆节点之间通信频谱的动态分配,提出了一种基于信道反馈的动态频谱分配算法。在图论着色模型的基础上,分析信道的质量情况,定义了信道反馈矩阵,车辆节点可以根据信道反馈矩阵中元素的值来自主选择可用信道,从而实现了信道的最大化利用。通过软件仿真比较,可以看出该算法实现了频谱的动态分配,在兼顾最大化系统总收益的前提下大幅度减少了算法的时间开销,显著提高了多接口多信道V ANET的网络性能。     

相位噪声模拟器实现技术研究

研究Ka频段通信卫星系统信道相位噪声模拟方法与硬件实现技术。提出在中频采用多级IIR滤波器并联的形式产生幂律分布噪声,用于实现相位噪声特性模拟的方法。给出IIR滤波器组的设计方法以及相位噪声的模拟精度,并基于FPGA+DSP硬件平台实现了相位噪声模拟器,实测曲线表明其模拟范围优于Aeroflex信道模拟器。     

认知Ad-Hoc网络中一种实时信道分配路由协议

针对认知无线Ad Hoc网络中授权用户的活动将影响认知用户间路由稳定性的问题,提出了一种实时信道分配路由协议。该协议采用动态源路由协议(DSR)的路由发现机制,在路由建立阶段,提出综合路由度量标准来选择路由;在数据发送阶段引入IN MESSAGE数据包,使路由中间节点可以掌握其下一跳节点信道环境的变化,从而进行实时信道分配。仿真对比表明,实时信道分配路由协议有效提高了分组的投递率,减少了路由重建次数。     

一种实现MAC层冲突反馈的跨层TCP拥塞控制机制

详细分析了传统的TCP拥塞控制算法在无线多跳网络环境下面临的问题,指出无线多跳环境下的MAC层信道竞争以及TCP拥塞窗口的过激增长机制是影响TCP性能的主要原因,提出一种新的TCP跨层拥塞控制机制TCP-CR.该机制中节点通过MAC层维护的链表信息,将冲突概率定时向源节点的传输层进行反馈,源节点根据获取的反馈信息做出拥塞窗口调整.仿真结果证明,该机制中源节点能有效根据当前MAC层网络状况做出及时动态调整,从而提高TCP的吞吐量.     

带钢端部形状双目视觉检测系统的建模仿真

为了实现热轧带钢端部形状检测,利用Matlab中视觉图像处理工具箱,建立了由CCD线阵相机构成的双目立体视觉系统模型和实际带钢生产线上的运动过程模型。热轧带钢在生产过程中会受到粗轧辊的不平均压力的影响,从而造成带钢头尾变形。针对这种情况.提出了一种新的带钢末端形状视觉检测和宽度计算方法。该方法不但可以在带钢发生平移、倾斜等位置和姿态变化情况下仍能够准确测量出带钢宽度,并且可以精确还原出带钢头尾形状。仿真试验结果证实了所提出的视觉模型和算法的有效性.取得的结果令人满意。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2．0序列图对模块之间交互行为进行描述．采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为 Promela 模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径．给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试．实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性．