自由幺半群的一族极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群.     

切比雪夫多项式与循环图中生成树的个数

生成树的个数是评估图(网络)可靠性的一个重要且被广泛研究的量.利用切比雪夫多项式的性质推出了循环图中计算生成树个数的在线性时间内即可实现的方法,并讨论了渐进特性.     

无向路的添加边问题

对于n个节点的无向路pn,令p(n,t)为pn中添加t条边后得到的变更图的最小直径.本文通过构造出一类变更图,改进了p(n,t)的上界.     

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

为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(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)。