Hilbert值半鞅在广义收敛意义下Doob-Meyer分解的稳定性

利用判断Hilbert值右连左极过程胎紧性的充要条件,将实值特殊半鞅典则分解稳定性的结果推广到更一般的Hilbert空间值特殊半鞅.     

基于关系矩阵的复合宽边界区域拓扑关系计算

简单宽边界区域拓扑关系计算比较简单,而复合宽边界区域拓扑关系计算比较复杂,因而需要一个计算方法以实现复合宽边界区域拓扑关系计算、查询和分析处理。在分析复合宽边界区域与简单宽边界区域关系联系的基础上,研究了根据复合宽边界区域中简单宽边界区域拓扑关系矩阵计算复合宽边界区域拓扑关系的方法,并根据复合宽边界区域的性质,简化了算法。计算方法使得扩展九交模型不再是一个概念模型,而是可计算的,从而为查询和分析处理宽边界区域拓扑关系奠定了基础。     

环肋加强非圆柱壳的齐次扩容精细积分法

基于齐次扩容精细积分法和傅里叶级数展开,利用周向状态向量分段传递的思想,对两端简支的环肋加强非圆柱壳承受外压作用,提出了一种新的半解析求解方法.借助Dirac-δ函数考虑了非圆柱壳和环肋之间的多种相互作用力,利用界面处相应的位移协调关系,导出了一系列相关的解式.以单环肋圆柱壳为例,将本方法算得的结果和已知解析解作了比较;还计算了端隔板封闭下椭圆柱壳在水压作用下的应力和变形,并和有限元结果进行了比较,证明了本文方法的正确性和优越性.算例揭示了椭圆度会导致壳体中的应力分布不均匀.     

基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

一个推广的Borel强大数定律的改进

Borel通过研究Bernoulli试验,首先给出了其强大数定律,已有文献给出了一个推广的Borel强大数定律.作者改进了这个结果,将其中的条件dn=O(1/n)减弱为dn=O(1/nα),α>0.另外,将此结果推广到有界的随机变量序列的情形,给出其Borel强大数定律.     

论环境公害案件的刑法规制——以水污染致癌的归责为切入点

水污染致癌作为环境公害犯罪的典型代表,应以以危险方法危害公共安全罪处罚。传统的条件说无法排除水污染以外的致癌因素,疫学因果关系要求被告人举证倒置,无法适用到中国的刑法领域。为达到"排除合理怀疑"的证明标准,需借助客观归责理论中的危险升高理论来进行环境公害案件的客观归责。现代刑法理论中的"故意"呈客观化趋势,可根据客观证据认定被告人主观上具有故意及证明被告人有不法认识可能性,从而完成环境公害案件的主观归责。     

环上逻辑函数的相关性分析

分析了Galois和Zm环上逻辑函数的互相关函数与特征谱之间的关系,并且利用逻辑函数的互相关性研究了环上逻辑函数的密码特性.     

浅谈乡镇图书馆如何为农民健康服务

阐述了乡镇图书馆对农民开展健康教育的必要性，分析了乡镇图书馆在开展农民健康教育中的优势及困难，并进一步探讨了进行健康教育应采取的措施，     

基于扩展虚存思想的微机存储器无限扩展方法

本文通过对IBM-PC微型计算机硬件结构的研究,针对其内存容量小,满足不了信息处理要求的问题,提出并实现了一种扩展虚存思想。借助于微机本身的总线结构及接口扩展槽,采用局部总线设计技术,在占用主机一个单槽及内存空间一个段的情况下,无须对其原有硬件作任何改动,就可使它的内存无限扩展。利用这一思想作成的扩展虚存板,可以满足存储大容量动目标序列图像的要求。     

车辆质心侧偏角估计算法设计与对比分析

车辆质心侧偏角是描述车辆侧向运动状态的重要变量之一,同时也很难准确估计.为此设计了基于运动学的直接积分法,基于扩展卡尔曼滤波的质心侧偏角估计算法和基于广义龙贝格观测器的质心侧偏角估计算法.对信号引入一定强度的噪声,通过多种典型工况对质心侧偏角估计算法进行调试与验证,分析不同算法的特点和工况适应性.直接积分法在长时间尺度下无可用性,但在极限工况下能较为快速地描述质心侧偏角变化趋势;卡尔曼滤波算法整体估计效果较好,但在一些动态工况存在估计偏差,且多为高估;龙贝格观测器算法在大部分工况都能获得良好效果,但在某些情况下存在估计偏差,且多为低估.