基于Petri网的Java多线程程序分析

多线程程序可以更好地利用计算机资源,提高程序运行效率.但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现.作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析.文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误.通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案.从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性.     

柱形面的微分几何性质

研究了柱形面∑的微分几何性质，给出它的第Ｉ，Ⅱ基本形式，得到∑上的渐近线，并证明了∑是不可展直纹面。     

基于随机Petri网的机群系统可信赖性研究

随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系.采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析.仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高.     

基于Petri网和Web的电子商务安全性分析

在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用.但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的.Petri网便于描述具有并发,异步、不确定性等特性的问题.利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性.     

复双曲空间中的直纹实超曲面

设Ｍ是复双曲空间ＣＨ＾ｎ中的一个实超曲面，如果在Ｍ上存在以ＣＨｎ－１为叶子的叶状结构，则称Ｍ是直纹的。本文通过考察Ｍ上全纯截曲率并引入η一平行的概念，给出了Ｍ是直纺实超曲面的特征，由此给出了ＣＨ＾ｎ中直纹极小实超曲面的一个例子。     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网（SPN）对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。     

螺旋三系的代数构造

在三维空间中,对于任意给定的三条线性独立的螺旋,以代数方法构造了由这三条螺旋确定的螺旋三系,并举数值例予以印证。     

四元双曲空间中的直纹实超曲面

设Ｍ是四元双曲空间ＱＨ＾ｍ呆的一个实超英面，发在Ｍ上存在以ＱＨ＾ｍ－１为叶子的叶状结构，则称Ｍ是直纹的。这里获得了ＱＨ＾ｍ中一些极小直纹实超曲面的例子，并研究了ＱＨ＾ｍ中具有常数町元截面曲率的实超曲面。