三维有限射影几何空间上二阶曲面=O的元素数目

首先研究了有限域GF(pr)上不定方程x2+y2=0解的情况(1)当p=2时,有P'-1组非零解;(2)当4|Pr-1时,有2(pr-1)组非零解;(3)当p为奇数且4Pr-1时,只有零解.在此基础上给出了三维有限射影空间S3,q(q=pr)上二阶曲面x1x2-x23-x24=0点的个数(1)p=2时,二阶曲面由q2+2q+1个点组成;(2)当4|q-1时,二阶曲面由q2+2q+1个点组成;(3)当q为奇数且4q-1时,二阶曲面由q2+1个点组成.     

三维有限射影几何空间上二阶曲面x1x2—x2／3—x4^2=0的元素数目

首先研究了有限域GF(p^r)上不定方程x^2 y^2=0解的情况：(1)当p=2时，有p^r-1组非零解；(2)当4｜p^r-1时，有1(p^r-1)组非零解；(3)当P为奇数且4p^r-1时，只有零解．在此基础上给出了三维有限射影空间S39q(q=p^r)上二阶曲面x1x2-x3^2—x4^2=0点的个数：(1)p=2时，二阶曲面由q^2 2q 1个点组成；(2)当4｜q-1时，二阶曲面由q^2 2q 1个点组成；(3)当q为奇数且4q-1时，二阶曲面由q^2 1个点组成．     

NaSch模型的细化研究

通过细化分析了NaSch模型的微观机理,发现原NaSch模型只适用于时间步长和最小时间距相同的情况,而且流量偏小实际上不是NaSch模型的缺陷,而是在计算时候取的最小时间距(时间步长)要比实际的偏大.通过统一量纲进行了修正,并引进参数k.通过参数k,新模型可以有效地讨论时间距问题.     

南岭亚高山泥炭地现代有壳变形虫环境指示意义的初步研究——以湖南省大坪泥炭地为例

南岭亚高山泥炭湿地在维持华南亚热地区生态系统和区域水平衡中起关键作用,但在这一区域的古环境定量重建工作还未有系统展开.有壳变形虫是古环境定量重建的有效代用指标.本文以南岭西部的湖南大坪泥炭为例,选取23个样品点,初步开展了该地区现代有壳变形虫的种类组成变化鉴定工作,通过多元统计分析发现,水位埋深(water-table depth, WTD)是影响本地区有壳变形虫种类组成变化的最主要环境因子,这一结果与国外其他地区的研究结果相一致.据此,利用国际上广泛使用的生物-环境因子转换函数模型,初步构建了本研究区域现代泥炭湿地有壳变形虫-水位埋深转换函数关系.研究结果表明,所有转换函数预测的水位埋深与实测水位埋深都呈一定的相关性,但受制于本次采样面积小、鉴定样本量较少和水位环境梯度较窄的条件下,转换函数的预测性能还比较差.此次工作可为将来系统开展华南亚热带地区高山泥炭湿地的古水文定量重建工作奠定宝贵的基础数据.     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

一种基于邻域传播的水波模拟方法

采用一种简化的物理模型描述水面,应用细胞自动机中邻域传播的思想,把水波控制方程转换为空间离散变量间相互作用,从而能够快速稳定地求解水表面的高度场.采用一种基于内外参数分离的控制策略,实时地调整参数,以实现各种水波形态的模拟需要.最后,通过纹理投影的方法模拟水中光线反射与折射,以增加真实感效果.实验表明:该方法能够快速真实地模拟各种形态的水波运动.     

有向加权供应链网络演化模型

利用BBV加权网络的演化机制和BA模型的线性择优连接机制,新节点进入网络时的入边和出边服从二项分布,建立了子网络具有流量补偿的有向加权供应链网络模型。利用泊松过程理论分析了网络的出入强度分布,结果表明,有向加权供应链网络的稳态平均入强度分布和稳态平均出强度分布服从幂律指数在[1,3]之间的幂律分布。对有向加权供应链网络模型进行仿真研究,仿真结果与理论预测相一致,符合供应链网络的幂律特性。     

十字路口的交通流模型及其应用

探究了基于元胞自动机的交通流模型,以Brockfeld等人对NaSch和BML耦合模型的优化模型为基础,引入Takayasu-Takayasu慢启动规则,建立了二维元胞自动机的十字路口交通流模型,对有信号灯控制的十字路口交通流模型进行配时研究,进一步设计了高架桥模型,并通过仿真实验论证了信号灯周期时长对十字路口交通环境存在显著性影响,而高架桥模型能够有效地提高车辆平均通行速度,降低平均耗时,改善道路通行能力.     

基于模糊逻辑的元胞自动机用于图像处理

提出了一个基于模糊逻辑的元胞自动机模型用来处理图像处理中的图像分割问题。将元胞自动机原理中的元胞状态转化为模糊元胞状态,并将演化规则转化为模糊规则从而建立模糊元胞自动机模型,使图像中灰度水平介于目标和背景之间的像素得以较好地归类,从而得到一种新的图像分割方法。     

回归参数的部分有偏改进估计

就回归参数的最小二乘估计提出了一种部分有偏压缩估计方法，分析和讨论了这种方法的性质和特点，结果说明了这种方法可以有效地改进估计矩阵接近奇异时影响参数精度的缺点