一种面向同步交互的软件演化过程建模方法

全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM[10]定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可 形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。     

超宽带室内修正S—V信道模型的仿真与分析

信道模型是无线通信系统研究和设计的基础.介绍了超宽带室内无线通信信道模型,给出了泊松过程模型、△-K模型、S-V模型以及IEEE802.15.3a模型等典型UWB信道模型的建模方法和特征,针对室内信道多径分量的成簇到达特性提出了修正的S-V信道模型并对其进行仿真.仿真结果表明,该模型能较好的反应UWB信道的特征参数.     

一种基于移动阈值的三色标记算法

针对区分服务中存在的带宽分配公平性问题,设计一种新的基于移动阈值的三色标记算法,该三色标记算法的阈值根据流占用带宽的比例情况自动进行调整,从而提高了网络带宽的公平性分配.实验表明,新的三色标记算法比基于时间滑动窗口的三色标记算法的公平性有一定提高,对提高带宽分配公平性具有一定的实用价值.     

改进YOLOv4的密集遥感目标检测

基于遥感目标在密集分布和背景复杂场景中因特征提取和表达能力的不足而存在漏检和检测效果不佳的问题,提出了改进YOLOv4的遥感目标检测算法.对用于检测目标的锚框(anchor)用K-means聚类算法重新聚类来减少网络计算量;改进特征提取网络结构,引入残差连接取缔网络中连续卷积操作来提高密集目标特征提取能力;在特征提取网络中激活函数加入自适应激活与否的特征激活平滑因子,而在PANet特征融合网络结构中采用Mish激活函数,增强网络对非线性特征的提取能力,从而提升网络的特征提取能力,提高遥感目标在密集分布场景中的检测效果.将所提算法和原始的YOLOv4目标检测算法在遥感图像数据集上进行对比实验,改进YOLOv4算法在实验选用的遥感图像测试数据集上的平均准确率均值(mAP)达到85.05％,与YOLOv4算法相比,mAP提升了5.77个百分点.实验结果表明,在单目标密集分布和多目标混合分布等背景复杂条件下,改进YOLOv4算法具有更好的检测效果.     

基于Gabor滤波的灰度图像彩色化方法

提出一种基于Gabor滤波的分层次图像彩色化方法.使用Gabor滤波提取图像纹理特征,利用纹理特征将目标灰度图像分割为多个子区域.其中,每个子区域与源参考图像的单个纹理区域相对应,且拥有单调的色彩;分别对子区域进行彩色化,从而降低全局图像彩色化的复杂度.实验结果表明,此方法能抑制图像颜色传输时颜色的丢失,有效地提高彩色化质量.     

用动态规划法求解延时/面积最小化工艺映射

本文提出了一个求解延时／面积最小化工艺映射动态规划法．它首先基干线性延时模型，给出了用动态规划法求解延时最小化工艺映射的步骤；然后从树型网络的面积计算公式入手，用动态规划法近似计算面积最小化工艺映射；最后用“线性加权和法”把延时／面积最小化工艺映射转变为单目标最优化问题求解．     

基于中国剩余定理的无线局域网安全方案

针对无线局域网中用户的不确定性,提出一种基于中国剩余定理的用户身份认证方案.该方案的优点是为每个用户分配私人密钥,并借助于简单模运算,便可判断该用户对AP的访问权;更新用户时,无需修改其他用户的私人密钥,管理方便、快捷.     

TCP友好速率控制协议的分析及应用

传统的TCP由于采用速率减半的拥塞退避机制而使其在数据传输时易产生过大的速率波动,而UDP不具备拥塞退避机制,在拥塞的网络环境中,UDP流将大量抢占TCP流的网络带宽,同时自身的丢包也迅速增加,并可能带来系统拥塞崩溃的潜在危险,因此TCP和UDP都不能很好地满足实时流媒体业务的需要。文中研究了一个具有拥塞退避机制、网络吞吐量波动小,且能够与TCP协议公平分享带宽的传输协议———TCP友好速率控制协议(TFRC),并将其应用于实时多媒体流传输应用程序。研究测试结果表明采用TFRC后多媒体的实时播放较TCP平滑了许多。     

基于多标注源的Deep Web查询结果自动标注

Deep Web查询结果的语义标注,是Deep Web数据集成的关键问题之一。提出基于多标注源的Deep Web查询结果自动标注框架,根据不同的特征设计多个标注器。基于搜索引擎的标注器,扩展AI领域常用的问答技术,构造验证查询并提交到搜索引擎,利用返回结果选择最合适的词汇用于标注,有效提高了标注的查准率和查全率。多个领域Web数据库的测试证明了该方法的有效性。     

载体运动下光伏组件最大功率点动态跟踪方法

光伏发电技术是实现碳达峰和碳中和的关键技术,如何实现运动载体下光伏组件最大功率点动态跟踪是光伏高效率发电的核心问题.为此,提出一种运动状态光伏组件最大功率点动态跟踪方法,通过利用惯性测量单元获取载体运动姿态,构建坐标转化关系,实现载体运动姿态与光强之间的转换;利用光伏组件五参数模型及光强关系建立了光伏组件动态模型;基于...