关于σ—点有限CS^＊—网^＊

证明了具有σ-点有限cs-网的空间,可以刻划为度量空间在某确定映射下的像.     

非马尔可夫随机Petri网的分析方法及应用

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型.文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望.     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

一种基于核学习的非均衡数据分类算法

提出一种基于核学习的采样算法来处理支持向量机(support vector machine,SVM)在非平衡数据集上的分类问题,其核心思想是首先在核空间中对少数类样本进行上采样,然后通过输入空间和核空间的距离关系寻找所合成样本在输入空间的原像,最后再采用SVM对其进行训练,从而有效克服在不同空间处理训练样本所带来的数据不一致问题.另一方面,该算法在增加少数类样本数量,减小数据失衡程度的同时有效拓展了少数类样本所形成的凸壳,从而能够更为有效纠正最优分类超平面偏移问题,使获得的结果分类器具有更好的泛化性能,实验结果证明了该算法的高效性.     

GPS在敦格线平面控制测量中的应用

新建敦煌至格尔木铁路位于甘肃省西北部酒泉市和青海省西部海西蒙古族藏族自治州境内.线路北端接轨于柳敦铁路的终点敦煌车站,并于青藏铁路西格段的饮马峡车站接轨,线路全长658.326km.为了满足铁路勘测设计、施工、运营维护各阶段的要求,需建立平面控制网.平面控制网应视其目的、精度、接收机数量、测区地形及交通状况,按照优化设计的原则进行设计.应用GPS对平面控制网进行测量具有无需通视、全天候、高效、快速、操作简便等特点,是目前铁路勘测中常用的一种测量模式.     

不同缺素处理对红厚壳幼苗生长的影响

设置全素、缺氮、缺磷、缺钾、缺钙、缺镁和缺硫7种处理,采用温室水培方法进行红厚壳苗期缺素试验。结果表明:(1)各缺素处理均对幼苗产生影响,主要表现为植株矮小,叶片变黄,部分出现褐斑及坏死等现象,其中缺氮、缺钾和缺硫处理的症状最为明显。(2)与对照相比,各缺素处理的地径、叶面积、苗高以及生物量均显著降低,缺氮和缺硫处理幼苗的光合色素含量显著低于全素处理。(3)缺素处理导致叶片养分元素之间产生一定的协同和拮抗作用,各缺素处理中缺乏的元素是幼苗生长的第1限制因子,但第2限制因子存在差异。     

高精度城市GPS控制网平差处理方法及软件研制

随着科学技术的发展,GPS技术得到了广泛的应用,尤其在测量方面,GPS将取代越来越多的水准测量和平面测量,为了适应国家需求,城市GPS控制网正在逐步的建立,针对高精度城市GPS控制网处理中的基线处理到网平差处理所涉及的一些理论技术问题,全面系统的介绍了GPS数据处理的整个流程,并基于上述理论编写的处理GPS控制网的平差软件,同时结合了一个实例来做一些比较。     

无向超环面网的距离参数(英文)

平均距离μ(G),距离控制数γl(G)和距离独立数αd(G)是度量网络性能的重要参数.n维无向超环面网是超立方体的推广.证明了μ(G)=1/d1d2…dn-1n∑i=1(ei2+ei+ei'2-ei'/2·d1d2…dn/di),γ(G)=2当且仅当[e1'+e2'…+en'/2]≤l≤d(G)-1(d1≥d2≥…dn≥4),以及αd(G)=2当[d1+d2+…+dn-2/3]≤d≤d(G)-1(d1≥d2≥…dn≥3).     

酸碱溶胀法制备聚合物中空微球的研究

采用种子乳液聚合的方法合成了核壳结构的poly(methyl methacrylate)/polystyrene(PMMA/PS)和poly(butyl acrylate)/polystyrene(PBA/PS)微球,并以此作为前驱体,利用酸碱溶胀法成功地制备出PS中空微球.采用TEM和SEM对核壳微球和中空微球的形貌进行了表征,并研究了中空结构形成的影响因素.结果表明,在壳层单体St包裹种子微球的聚合阶段,单体和引发剂的滴加速度及温度对最终的PS中空微球形态有着显著的影响:滴加速度过慢,反应温度过高均不利于中空微球的形成.另外,组成种子微球的单体和壳层单体的性质对中空微球的形态也有着较大的影响.