基于元胞自动机的多自主体人员行为模型及其在性能化设计中的应用

目前性能化设计规范一个最主要的特点是从强调财产保护转变到强调生命安全保护，因此对建筑物内人员行为特征和运动规律的研究正越来越受到人们的重视。元胞自动机模型在交通流研究中的应用已经开展多年并取得了很多有用的成果，但涉及人的行为特征的研究往往十分复杂，在这方面利用自主体来研究具有较大的优势。给出的模型结合了这两方面各自的优势，是在元胞自动机交通流、行人流基本框架上建立起的多自主体人员行为模型，它对评估建筑物的设计方案具有很好的参考作用。     

期权理论在高新企业价值评估中的应用

分析了高新技术企业特点，说明了传统的企业价值评估方法不能应用于对高新技术企业的评估。如果把高新技术企业投资看成是为了获得一个未来取得现金流的机会，高新技术企业具有期权性质，就可以用期权理论及Black-Scholes模型评估高新企业的价值。     

宇宙,“基本粒子”及其联系

本文以现代最新，最可靠的数据和理论对宇宙、“基本粒子”及其联系进行了论述。     

三维广义Sierpinski垫的Hausdorff维数公式及其在一种特殊情形下的证明

本文在二维的基础上提出了三维广义Sierpinski垫的Hausdorff维数与度量维数公式.对三维广义Sierpinski垫在属于同一层每一行留下立方体块数除零外均相等的情形下,改写了其Hausdorff维数公式,并利用测度论方法给予严格的证明.证明表明,它推广了二维广义Sierpinski垫的结果,该方法也可推广到n维的情形.     

带有垂直传染具有年龄结构的接种流行病模型研究

研究了一个带有垂直传染、具有年龄结构的接种SIS流行病模型，得到了正平衡解存在性的充分条件。     

Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.