基于VHDL的时延Petri网仿真

在实时控制系统中,常常需要使用时延Petri网对系统进行建模、分析.作者提出了用硬件描述语言对时延Petri网进行描述,用VHDL语言中的wait语句和after语句来模拟Petri网中的时延特性,通过EDA软件工具对时延Petri网进行仿真,获得系统的动态性能,这为时延Petri网的分析提供了新的路径,并为控制系统的设计和电路实现奠定了基础.文章最后给出了一个实例,仿真波形表明了这种方法的正确性.     

板坯结晶器钢水凝固的数值模拟

以实测结晶器铜板温度计算的热流量作边界条件,采用有限元方法,建立了结晶器内凝固传热方程.对凝固传热方程进行了离散化,利用ANSYS商业软件进行求解,得到凝固坯壳的应力、应变情况,从而确定连铸结晶器壁的合理锥度.     

广义IMBq方程的各向异性有限元方法

研究了广义IMBq方程的各向异性有限元方法,在不需要传统的Ritz投影的情况下,得到了半离散格式下的误差估计.     

基于动态贝叶斯网络的动态故障树分析

针对传统的动态故障树Markov链分析方法的不足,研究了优先或门、顺序相关门、功能相关门、存在公共备件的备件门和层叠功能相关门向动态贝叶斯网络的转化方法以及基于动态贝叶斯网络的顶事件概率、重要度等计算方法.用该方法对心脏辅助装置进行了分析,通过与Markov链、离散时间贝叶斯网络分析的结果比较表明,基于动态贝叶斯网络的建模分析方法可以有效地避免组合爆炸,而且能够保证较高的求解精度.     

基于跳跃-扩散过程的一类亚式期权定价

在期权定价理论的研究中,一般都假设标的资产(设为股票)的价格服从几何布朗运动.然而在现实的金融市场上,当有重大信息到来时,便会对股票价格产生冲击,使其价格出现不连续的跳跃.考虑这一因素,在标的资产价格服从跳跃-扩散过程时,分别在完全市场与非完全市场上通过选择帐户折算变换与复制将一种亚式期权(考虑算术平均)定价问题进行简化为一种类似于欧式期权定价问题,然后运用Merton对冲风险方法得到原亚式期权的定价与套期保值策略.     

板几何中一类具非对称散射裂变核的迁移算子的谱

研究了板几何中一类具非对称散射裂变核的迁移算子的谱，证明了该算子在右半平面无复本征值和存在有限个具有限代数重数的实离散本征值。     

双参数量子代数SUqs（1,1）的表示：正离散序列

本文通过构造双参数量子群ＳＵｑｓ（１，１）生成元的ｑｓ－Ｂｏｓｏｎ实现，给出了ＳＵｑｓ（１，１）的正离散序列表示。     

一种改进的实信号IFFT算法

由于重量轻、体积小、功耗低、功能强的小卫星工作在无人干预的低温 ,高辐射的空间环境中 ,因此星上计算机系统必须满足集成度高、寿命长、可靠性高、抗辐射能力强的要求。针对立体测绘小卫星的特点 ,我们设计了满足上述要求的集集中控制与分布控制优点于一身的星上计算机系统 ,对其可靠性进行了分析 ,并对提高其可靠性应采取的关键技术进行了简要的论述。     

思维的数学基础──罗素“悖论”真是悖论吗？

作者认为，客现世界由物质组成；时间和空间是物质存在的基本形式，是不可分割的整体；人类思维中的任何抽象、思辩、描述、表达，…等等，都不可能是超时空的。但作为研究客观世界抽象规律的数学，其基础却尚未反映出这一本质属性。这可能正是离散与连续关系所蕴含的矛盾至今不能解决的基本原因。也是“集合论”体论的根源所在。因此，“悖论”之所以为体论，根源就在于思维基于绝对时空背景下的惯性；悖论的意义也在于其揭示了当前数学基础的绝对时空性质。     

超几何分布与二项分布的有机联系

用普遍联系的观点从五个方面阐述了超几何分布与二项分布之间的密切联系。