智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

电力系统负荷预报的模糊理论方法

基于电力负荷预测工作是整个电力系统规划设计和安全运行的基础,将模糊理论应用到电力系统的负荷预报中,建立了电力负荷预测的模糊时间序列模型．提出了确定系统模糊度最小的方法,并将其应用于实际的电力负荷预报工作．结果表明,该模型预测可以达到较高的精度,效果良好．     

一种(n+s,m,t+s)-Resilient函数的构造

首次给出一个从2s个已知的(n,m,t)-resilient函数构造(n s,m,t s)-resilient函数的充分必要条件.它不仅提供了一种构造二元向量输出Resilient函数的方法,而且Resiliency的阶数和Vn的维数是同步增加的,以及Resiliency的阶数的增加速度比已知的构造方法更快.进一步讨论了利用此方法构造的(n s)个输入,m个输出函数的非线性度和传播特征以及在特殊情况下计算它们的代数次数,得了一些有应用价值的结果.最后给出一个例子来说明此种构造方法.     

基于RS与GIS的西峡县森林资源时空动态变化

以西峡县2个年份同一季节的遥感数据为研究对象,利用图形处理软件(ERDASIMAGINE)进行波段组合、图像增强、监督分类、矩阵分析和分类重编码,研究了河南省西峡县森林资源的时空变化。并且在此基础上利用GIS软件进行统计分析和遥感制图,从时空序列上分析了森林资源的动态变化情况。结果表明:从时间序列上看,1998~2002年西峡县阔叶林面积和针叶林面积有所增加,增加部分主要来源于退耕还林和荒地的植树造林;从空间序列上看,森林植被的变化主要集中于低海拔地区,高海拔地区主要集中于道路和河流附近。     

基于联合引力度扩展的加权网络重叠社区划分算法

基于引力度扩展的重叠社区发现算法(GDE),主要用于挖掘无权社交网络的重叠社区结构.真实社区更多是具有加权属性的,本文根据 GDE 算法的种子策略思想,并依据加权网络的特征,以网络节点的度与强度来综合确定重叠社区的中心节点,提出基于联合引力度扩展的加权网络重叠社区划分算法(UGDE).算法的实验检测结果表明：该算法对划分加权网络中的重叠社区具有可行性与有效性.     

独立数和最小度与f—因子

对图存在ｆ－因子涉及到独立数和最小度条件进行了研究，得到了下列结果：设ａ，ｂ为整数且ｈ≥ａ１，ｂ≥２，Ｇ是一个有ｎ个顶点的连通图且ｎ≥（ａ＋ｂ）＾２／ａ，ｆ（ｘ）是定义在Ｖ（Ｇ）上的非负整数函数，满足Σｘ∈ＶＧ）ｆ（ｘ）是偶数且α≤ｆ（ｘ）≤ｂ。     

Cohen-Grossberg神经网络稳定性分析

为了研究具有逆Lipschitz激励函数的Cohen-Grossberg神经网络的稳定性,应用Brouwer拓扑度性质和线性矩阵不等式技术,探讨了Cohen-Grossberg神经网络的平衡点的存在性及唯一性。通过构造合适的Lyapunov函数和利用Lyapunov对角稳定性矩阵,给出了唯一平衡点全局指数稳定的充分条件。     

多重分形序列的可见图分析

可见图方法将多重分形时间序列映射为相应的网络,研究并对比了由不同机制产生的多重分形序列的非平凡特征,发现单分形时间序列的简单叠加得到的混合序列有多分形性质,对应的可见图是无尺度网络;而通过模型产生的多分形序列对应的可见图一般不具有无标度性质.为了辨别不同机制生成的多分形时间序列,小波分析和可见图必须联合运用才能识别这两种不同的分形结构,可见图算法作为传统时间序列分析方法的补充在揭示序列产生机制时具有重要的用途.     

基于最大连通度的密度自适应分簇算法

无线传感器网络中由最大连通度生成簇算法所得到的簇结构,簇内节点的数目往往是不定的。文章采用CDMA系统的反向闭环功率控制技术对最大连通度分簇算法进行优化,通过控制簇头发射功率将分簇的大小控制在一定的范围内。通过仿真实验验证,改进后的算法在保证较少的簇数目的基础上延长了网络的寿命。     

基于灰色关联分析的“白屋顶计划”评价模型

在已知人为热释放、风速、日照时数和相对湿度的前提下,以芜湖市为例,运用灰色关联分析求出以上四个影响因素对行为因子(城市热岛效应)的关联影响程度,算出日照时数在四个环境因子中的比重,从而将白色屋顶计划对城市热岛效应的作用量化,建立了灰色预测模型。通过回归分析计算白屋顶计划对城市温度的影响,最后将预测数据与真实数据进行对比,模型结果表明"白屋顶计划"是合理且可行的。