动态网络最短路问题的复杂性与近似算法

有向网络的最短路问题在交通、通信系统的最优路径计算以及多阶段决策过程的最优轨线设计等实际问题中有着重要应用.经典模型及算法解决固定弧权条件下的最短路问题,而实际中,网络往往是动态的,即弧权依赖于时间变化,例如在交通拥堵时运行时间会变长,这时经典的最短路算法不再适用.文中证明了动态网络的最短路问题是NP-困难的;给出了最短路稳定性的充要条件,并在此基础上提出一种基于稳定区间的近似算法,通过模拟实验验证了该算法的有效性.     

基于权值多样性的半监督分类算法

在实际生活中,可以很容易地获得大量系统数据样本,却只能获得很小一部分的准确标签。为了获得更好的分类学习模型,引入半监督学习的处理方式,对基于未标注数据强化集成多样性（UDEED）算法进行改进,提出了UDEED⁺——一种基于权值多样性的半监督分类算法。UDEED⁺主要的思路是在基学习器对未标注数据的预测分歧的基础上提出权值多样性损失,通过引入基学习器权值的余弦相似度来表示基学习器之间的分歧,并且从损失函数的不同角度充分扩展模型的多样性,使用未标注数据在模型训练过程中鼓励集成学习器的多样性的表示,以此达到提升分类学习模型性能和泛化性的目的。在8个UCI公开数据集上,与UDEED算法、S4VM（Safe Semi-Supervised Support Vector Machine）和SSWL（Semi-Supervised Weak-Label）半监督算法进行了对比,相较于UDEED算法,UDEED⁺在正确率和F1分数上分别提升了1.4个百分点和1.1个百分点;相较于S4VM,UDEED⁺在正确率和F1分数上分别提升了1.3个百分点和3.1个百分点;相较于SSWL,UDEED⁺在正确率和F1分数上分别提升了0.7个百分点和1.5个百分点。实验结果表明,权值多样性的提升可以改善UDEED⁺算法的分类性能,验证了其对所提算法UDEED⁺的分类性能提升的正向效果。     

基于家态的多事务工作流完整性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.     

基于云计算Live Mesh的流媒体应用研究

流媒体技术和云计算的迅速发展,以及越来越多的流媒体应用平台的涌现,极大地促进了网络用户间媒体信息的传播和共享,但业务上同时存在很多问题,例如,媒体播放在设备间快速切换和流媒体断点续播等问题。研究了一种基于云计算平台Live Mesh的流媒体应用系统。该系统采用URI定位和XMI、实现了媒体资源的集中管理,并采用局域网UDP广播与多线程处理机制实现了媒体播放状态在局域网内不同终端之间的即时切换;采用Live Mesh的消息管理机制,实现了流媒体的断点续播功能。实验结果表明,在不同终端之间可以实现相同媒体资源的共享和媒体播放一键即时切换,同时可以智能地实现断点续播。     

字符串的重组模型及一个算法

本文首先提出一个字符串重组模型,然后给出了这个模型的处理算法。文中分析了算法的时间复杂性,证明了算法的正确性。     

一种基于微服务架构的服务划分方法

对单体系统进行微服务划分能有效缓解单体架构中系统冗余、难以维护等问题,但是现有的微服务划分方法未能充分利用微服务架构的属性信息,导致服务划分结果的合理性不高.文中给出了一种基于微服务架构的服务划分方法.该方法通过系统服务与属性的关联信息来构建实体-属性关系图,然后结合微服务架构的特征信息与目标系统的需求信息制定服务划分规则,量化两类顶点之间的关联信息,生成实体-属性加权图,最后应用加权的GN算法自动地实现系统的微服务划分.实验结果表明,该方法在服务划分的时效性上有较大提升,并且生成的微服务划分方案在评估指标上的表现更好.     

一种综合多因素的网页浏览行为认证方法

在电子交易中,用户通过PC端的浏览器进行交易。由于钓鱼网站等盗号方式的威胁,传统的账号密码认证方式存在着失效的风险。现有的用户网页浏览行为认证方法主要针对用户的某一方面行为进行认证。若对大量用户仅进行单方面行为的认证,则难以区分特征相似用户,会造成认证失效。基于用户浏览网页的序列行为、超链接使用行为和操作浏览器行为的多因素浏览行为特征,采用机器学习方法构建了一种认证方法。实验结果表明,在一定的误报率情况下,该方法的侦测率达到了90%以上。     

医疗信息系统工作流的Petri网建模与化简分析

应用 Petri网建模与工作流技术,构建了基于医疗信息整合(IHE)规范的医疗信息系统工作流的Petri网模型,并对一个医疗信息系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对医疗信息工作流进行有效的分析和验证,从而为医疗信息系统集成设计及其工作流分析提供了理论基础.     

并行程序的设计与验证

一、井行程序的特点并行程序是在高性能并行计算机或网络并行环境下实现的计算机程序，它是在多个处理机上并行执行多个进程，从而快速地完成计算任务。由于计算过程的非确定性和并行性，使得并行程序的设计较串行程序设计要困难得多，它不仅涉及到计算功能的实现，而且往往涉及到通讯机制的设计。在程序设计中很难正确把握通讯的逻辑关系，由此常常出现死锁、无限等待等异常现象，这些问题在目前的编译系统中还不能处理，从而给用户带来了很多麻烦。为此需要研究程序的验证，以确保并行程序的逻辑关系的正确性。二、并行程序的设计就目前而…