UML类图到CPN转化方法的研究

UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。     

中国房地产财富效应的协整分析和误差修正模型

为了揭示中国房地产价格与居民消费的关系,在论述财富效应理论对中国适用性的基础上,引用了持久收入假说与生命周期理论下的财富效应模型,并以该模型为基础构建了协整分析与误差修正模型.同时,选取上海市数据为样本进行实证的分析,验证中国房地产财富效应的存在性.此外,进一步选取北京、天津、深圳、重庆市数据为样本进行扩展的实证研究,并进行比较.研究表明中国房地产财富效应在一定范围内存在,长期的房地产财富效应基本是正向的,而短期的房地产财富效应的发挥形式存在一定的差异.     

笛卡尔积图K3,3×Pn的交叉数

两个图G1和G2的笛卡尔积图G1×G2是这样一个图:V(G1×G2)=V(G1)×V(G2),E(G1×G2)={(u1,u2)(v1,v2)|u1=v1且u2v2∈E(G2),或者u2=v2且u1v1∈E(G1)}.确定了笛卡尔积图K3,3×Pn的交叉数为7n-1.     

空气比热容比实验的原理和系统误差分析

从热力学理论入手,对空气比热容比测定实验仪器和常见的两种实验原理表述进行了分析,给出了实验过程中正确的P-V图和实验状态及其实验原理的正确理解,提出了一种客观的实验理论表述方法.通过对实验仪器的改进,取得了良好的实验结果,实验误差由原来大于7%下降到2%以内.     

Office在地形图数据检查中的应用

本文首先介绍传统野外数据检查方法及弊端,然后剖析其中原因,提出了一系列的改进方法,通过实践应用,将测绘软件与Office应用软件有效结合,总结出具体的检查流程,提高了工作效率,使检查结论真实可靠。     

向量ARFIMA模型基于独立成分分析的协整研究

定义了向量ARFRIM(VARFIMA)模型的一般形式及这种定义上协整的概念并给出了VARFIMA的线性组合具有ARMA表达式的一个充分必要条件.接着基于独立成分分析的方法讨论了协整的存在性,给出了VARFIMA模型存在协整的充分必要条件,并考虑了几种特殊情形.最后讨论了协整向量及协整向量空间的结构.     

基于仿人智能的变电站电压无功控制研究

随着电力用户对电网电能质量的要求越来越高,广泛使用的电压无功传统九区图法不能满足控制要求。本文基于仿人智能控制策略,从新的角度对电压无功控制系统性能作改进研究,设计出电压无功仿人智能控制器。文中借助MATLAB对110kV变电站电压无功控制系统分别对仿人智能和传统九区图法的控制进行了仿真研究,证明了电压无功仿人智能控制算法的可行性和有效性。     

Kruskal算法在连线问题中的应用

利用Kruskal算法原理,在一个赋权图中,找出具有最小权的连通生成子图即最优树.     

空气比热容比实验的原理和系统误差分析

从热力学理论入手，对空气比热容比测定实验仪器和常见的两种实验原理表述进行了分析，给出了实验过程中正确的P—V图和实验状态及其实验原理的正确理解，提出了一种客观的实验理论表述方法．通过对实验仪器的改进，取得了良好的实验结果，实验误差由原来大于7％下降到2％以内．     

p3阶Cayley图的边Hamilton性

设G为有限群,|G|=p3,p为素数,M是G的一个生成集.证明了p3阶的Cayley图X(G,M)是边-Hamilton图.