Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

抛物线外切2n+1边形中向面积的定值定理及其应用

利用有向面积定值法,对抛曲线外切2n 1切顶线三角形和对角线三角形进行研究,得到抛曲线外切2n 1边形中切顶线三角形有向面积的定值定理以及抛曲线外切五边形中切顶线三角形和对角线三角形有向面积的定值定理及其若干推论,其中包括射影几何中著名的Brianchon定理在抛曲线外切三角形和五边形中的情形.     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

橡胶支座在横桥向剪切水平位移值分析

本文分析了空心板下橡胶支座在施工过程中产生横桥向水平位移的原因,提出橡胶支座设计时应注意的几个问题。同时,对桥规关于橡胶支座的容许剪切正切值的规定提出修正意见,供设计时参考。     

球面网壳动力稳定临界力简化计算

球面网壳动力稳定临界力简化估算公式是针对跨度30m-60m，矢跨比1／10-1／6的单层球面网壳，对于其它类型的网壳结构要具体分析。     

期权稳健定价模型及实证

建立了期权稳健定价模型，给出了欧式看涨和看跌期权的稳健定价公式，并用标准普尔500指数期权的做市商买入价和卖出价数据进行了实证研究.     

有限空间年龄结构种群模型的数值分析

对一类有限空间年龄结构种群模型提出了一种数值方法．运用迎风格式和Euler向前差分格式进行求解．给出了格式的稳定性，得到了最大模误差估计，证明了数值解的非负性并给出了数值算例．     

非Lipschitz条件下倒向随机微分方程的比较定理

讨论了一类漂移系数f(s,.,.)关于(y,z)不满足Lipschitz条件的倒向随机微分方程解的存在唯一性,利用Jensen不等式、Gronwall不等式以及常微分方程的比较定理给出并证明了此类倒向随机微分方程的比较定理.     

IPv4/IPv6过渡策略及IPv6试验网设计与实现

首先阐述了IPv4所暴露出的问题,其次介绍IPv4到IPv6的过渡策略,最后详细介绍了基于Windows IPv6试验网的设计与实现     

在无穷远处有有穷极限的函数的导数

给出了在无穷远处具有有穷极限的函数的有关导数的几个定理及其严格证明.