基于分层有限状态机的检修工作票智能防误技术

为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性.首先基于有限状态机理论和分层技术建立...     

基于因子图的协同定位与误差估计算法

针对多自主水下航行器协同定位系统中从艇的数据融合问题,首先建立了协同定位系统的数学模型,然后分析了速度误差及航向误差对从艇定位误差的影响,同时设计了协同定位及误差估计的因子图模型.接着,提出了基于高斯噪声的协同定位及误差估计算法,利用均值和方差在因子图各节点间传递完成对从艇位置、速度误差和航向误差的估计.为了验证算法的...     

高校图书馆与企业联姻的优势

在分析高校图书馆因经费短缺而严重影响图书馆事业发展的基础上,提出了"图企联姻"的设想,并探讨了高校图书馆为企业开展个性化服务的模式。     

基于个体协同的子图结构发现混合进化算法

将进化算法与爬山算法的混合进化算法引入图数据挖掘,以克服贪婪式查找易陷入局部极值的问题.针对子图结构发现问题中实例易丢失的特点,提出了一种新的遗传操作--个体协同算子,使得代表同一子结构的不同个体能够以协同的方式进行查找.另外,还提出了一种基于年龄段和个体生成方式的多样性保持方案,以从种群的组成和个体的生成两个方面保持和提高种群的多样性,同时还有助于个体协同算子的执行.在进化过程中随时以新生成的单边子结构替换当前种群中没有潜力的个体的机制在缩小查找空间的同时还使得进化过程成为一个更为完全的查找过程.实验结果表明,以上措施增强了算法的寻优能力,能够获得更优的解.     

锥光干涉图、光强透过率曲线对电光调制实验的影响

基于电光效应的基本原理,讨论了铌酸锂（LiNbO3）晶体横向电光调制实验中利用锥光干涉图暗十字线图样确定起偏器和检偏器偏振方向分别平行于晶体x,y光轴的方法,及光强透过率曲线偏移对测量铌酸锂晶体半波电压的影响．     

应用扩展的UML活动图建模审计专家经验

计算机审计专家经验来源于实践,应用于实践,但目前还没有对专家经验进行建模的统一建模语言.由于模型中的语法语义不一致、不明确,极大妨碍了审计业务人员对专家经验的理解、掌握和应用.统一建模语言(UML)已经成为事实上的信息系统领域建模语言标准.扩展UML活动图将其应用于审计专家经验建模,并给出了具体应用案例.应用扩展的活动图建模专家经验具有简单、清晰、标准化、国际化的优点,并能被不同领域的专家接受和理解.     

基于程序依赖图的Aspect挖掘技术

为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的Aspect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.     

Halin图的L(d,l)标号

给定图G和正整数d,图G的L(d,1)标号是指从图G的顶点集到非负整数集的一个映射f满足:对任意的x,y∈V(G),当dG(x,y)=1时,有|f(x)-f(y)|≥d;当dG(x,y)=2时,有|f(x)-f(y)|≥1。图G的L(d,1)标号数λd(G)是指最小的正整数k使得G有一个L(d,1)标号f满足f(V){0,1,2,…,k}。已知对于最大度为Δ的一般图有λd(G)≤Δ2 (d-1)Δ。讨论了Halin图的L(d,1)标号问题,证明了λd(G)≤Δ 3(2d-1)。     

一种新的生成树组随机求取算法

针对现有计算方法计算时间长且计算效率随着连通图的规模增大逐渐下降的问题,提出一种针对连通图的随机生成树组求解算法。首先定义简化规则,将复杂图中不涉及生成树生成过程的辐射通路删除,合并互斥支路集中的支路得到简化图,然后通过在简化图和树图间以轮盘赌的方式随机选择支路进行迁移得到简化图对应的生成树图,最后逆向用简化图和原图的支路关系得到复杂图对应的生成树组。通过算例表明,该方法能快速有效地生成对应的生成树组。     

基于概率图模型技术的柱面全景图生成算法

为解决复杂场景下的全景图生成问题,应用了基于概率图模型的图像匹配技术,提出了一套完整的柱面全景图生成算法。采用动态阈值法对从图像中提取的H arris角点进行初步筛选,并结合图模型算法进行精确匹配,通过对匹配后特征点的迭代投影获得摄相机焦距,对原始图像进行柱面投影并融合。该算法具有对光照不敏感和全局最优化的特性,对图像噪声和特征点提取不准确有强健的承受能力,并有效地降低了计算复杂度,使算法更具有实用性。实验结果表明:能够对存在人车移动噪声和相机几何畸变的复杂场景正确合成360°全景图。