基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

一种基于YOLOv5的小样本目标检测模型

深度学习技术在目标检测领域取得了显著的成果，但是相关模型在样本量不足的条件下难以发挥作用，借助小样本学习技术可以解决这一问题。本文提出一种新的小样本目标检测模型。首先，设计了一种特征学习器，由Swin Transformer模块和PANET模块组成，从查询集中提取包含全局信息的多尺度元特征，以检测新的类对象。其次，设计了一种权重调整模块，将支持集转换为一个具有类属性的权重系数，为检测新的类对象调整元特征分布。最后在ImageNet-LOC、PASCAL VOC和COCO三种数据集上进行实验分析，结果表明本文提出的模型在平均精度、平均召回率指标上相对于现有的先进模型都有了显著的提高。     

一种基于轮询的认知无线网络频谱分配机制及性能分析

在认知无线网络中,认知用户机会式地占有授权用户暂时不使用的频谱,从而提高频谱的利用率.在采用集中式频谱分配机制时,认知用户对空闲频谱的使用由中央控制器协调和管理.由于授权用户对频谱的使用具有抢占优先权,使得认知用户的数据传输可能被中断.考虑认知用户对空闲频谱使用的公平性,提出一种基于纯限量轮询策略的频谱分配机制,并建立具有传输中断的离散时间纯限量多重休假排队模型.使用再生循环法,对所提出的频谱分配机制进行性能分析,给出平均响应时间、吞吐量、频谱切换率和频谱有效利用率的表达式.通过数值实验和系统仿真,分析系统性能指标对系统负载的依赖关系,并给出授权用户业务量的优化方案.     

道路网络中移动对象的连续反k最近邻查询算法

在道路网络中,对象的位置和运动被约束在网络中,对象之间的距离不是传统的欧氏距离,而是由网络连通性决定的网络距离,基于欧氏空间的反k最近邻查询算法不适用于道路网络。为了解决道路网络中移动对象连续的反k最近邻查询问题,给出了道路网络的一种索引结构及一种利用扩展树处理查询的方法,在此基础上,提出了道路网络中适用与单、双色连续反k最近邻查询算法（CRkNNMA算法）,证明了该算法的正确性。     

基于优化最大匹配与统计结合的汉语分词方法

汉语自动分词足中文信息处理的前提,如何提高分词效率是中文信息处理技术面临的一个主要问题.基于训典和基于统计的分词方法是现有分词技术的主要方法,但是前者无法处理歧义字段,后者需要大量的词频汁算耗费时间.本文提出优化最大匹配与统汁结合的分词方法,首先提出优化最大匹配算法,在此基础上提出了规则判断与信息量统计两种消歧策略.然后,给出了优化最大匹配与统计结合的分词算法,提高了分词的效率.最后,基十分词算法实现中义分词系统,并通过实验对算法进行了分析和验证.     

空间网络数据库中基于M-tree索引的反最近邻查询算法

欧式空间中的反k最近邻查询算法不适用于空间网络环境,故采用任意度量空间中的M-tree索引结构,进行空间网络数据库中的反k最近邻查询处理.首先通过预计算的方法得到网络距离信息,依据此距离信息,对空间网络对象建立M-tree索引结构.然后,给出并证明了M-tree中间结点修剪定理,提出一种适用于空间网络环境的反k最近邻查询算法.最后实验验证了该算法的有效性.     

面向连接用户触发事务的离散时间排队分析

分析了TELNET连接与FTP控制连接通信的面向连接机制,建立了一带有启动实施关停实施的Ge om/G/1离散时间排队模型,导出了稳态队长、等待时间、忙期、忙循环的分布及其随机分解结果,相应地分析了TELNET连接与FTP控制连接的响应时间、连接建立比率、运行效率等性能指标,并从实例出发画出了相应的性能曲线图。     

认知无线电网络中动态频谱分配策略的收费方案

针对认知无线电网络中的动态频谱分配策略,考虑次级网络的响应性能,令中断传输的次级用户数据包立即离开系统.通过构造个人收益函数,基于可观察排队情形,给出均衡状态下系统中次级用户数据包的数量阈值,并建立一个带有传输中断的有限容量排队模型.基于Poisson 过程,建立转移率矩阵,导出次级用户数据包的平均响应时间,系统吞吐量和频谱切换率等性能指标.为了实现动态频谱分配的社会最优,面向次级用户提出频谱接入的收费方案,并给出该收费方案的数值结果.     

单重休假的Geom~■/G/1排队系统

研究了单重休假的Geom/G/1排队系统,通过嵌入Markov链的方法给出稳态队长的母函数及数学期望表达式,稳态下系统忙期的母函数及系统分别处于服务状态、休假状态和闲期状态的概率,最后推导出系统在FCFS规则下稳态等待时间的母函数。     

一种提高布料表面相交处理真实性的算法

为了提高布料仿真中布料表面相交处理结果的真实性,提出了一种接近真实的最小化相交轮廓线全局处理优化算法.首先进行前期的布料模型构建、初始条件的设置以及碰撞检测;然后利用最小化相交轮廓线全局方法重点对布料表面相交情况进行了处理,并对处理结果进行了评价和优化;最后进行后期的碰撞响应以及绘制与显示.经过实验验证,该方法在仿真的真实性和实时性方面均高于前人的研究,且在布料动画领域可以提高制作的逼真性.