最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

超短余弦-高斯脉冲的能量分析

研究了超短余弦-高斯脉冲的能量与绝对相位以及余弦函数的参数之间的关系,给出了余弦-高斯脉冲能量的解析表达式.研究结果表明,当脉冲宽度较小时,绝对相位对脉冲能量有很大影响;余弦函数的参数Ω在一定取值范围内对脉冲能量也有很大影响,它会导致脉冲宽度大于一个光学振荡周期的几周期余弦-高斯脉冲能量有较大的变化.     

小型绝对重力仪IGG-03B各组件系统测试

过去十几年,我国高精度绝对重力仪发展迅速,但是仪器的稳定性、可靠性等问题仍须大量的测试和实验数据进行验证．这里介绍了小型绝对重力仪IGG-03B研制过程中,各核心部组件通过商用FG5型绝对重力仪进行替换试验,独立验证了其功能性能参数．在此基础上,整机在绝对重力基准点上进行比对测试,结果表明小型绝对重力仪IGG-03B观测精度优于20μGal.     

解二阶抛物型方程含参数高精度两层差分格式

对二阶抛物型方程构造了一含单参数高精度两层差分格式．当参数满足一定的条件时,差分格式绝对稳定．局部截断误差阶数最高可达O（τ^2＋h^4）．数值例子说明对稳定性所作的分析是正确的．     

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

关于连续型随机变量函数分布类型的一个反例

给出了一个反例,说明一个连续型随机变量由非平凡的连续函数作用后得到的新随机变量不一定为连续型随机变量.     

基于ICA-PCA和Lasso的过程故障诊断

为了解决复杂工业过程中变量多,难以判断引起故障的主要异常变量的问题,提出一种基于ICA-PCA(独立成分分析和主成分分析)算法和Lasso(最小绝对收缩和选择算子)回归算法的过程故障检测与诊断的集成模型.首先,建立ICA-PCA模型提取数据的高斯信号和非高斯信号,构造相关统计量实现在线故障检测;然后,基于ICA-PCA模型获得的过程状态及故障信息,进一步构造基于Lasso回归算法的故障诊断模型,实现故障发生时的主要异常变量的定位和选择;最后,利用Matlab进行了TE(田纳西-伊斯曼)过程的数值仿真实验,并与已有故障诊断方法分布式PCA贡献图法进行比较,结果表明所提出的方法是有效的.     

由几何级数的扭曲生成的艾森斯坦级数（英文）

本文借助狄利克雷特征处理了几何级数的扭曲.结合傅里叶变换的基本工具,生成了一族算术群的所有艾森斯坦级数.     

论奥古斯丁的理论困境及其原因简

奥古斯丁的基督教思想中存在许多理论矛盾和困境：在原罪问题上，奥古斯丁把原罪产生的原因归结为人的骄傲，这一理论与他强调人类的“社会性”相矛盾；在恩典观上，奥古斯丁的“神恩独作”的观点导致在救赎问题上的预定论，造成理论与现实之间的矛盾；在自由意志问题上，奥古斯丁前后期的自由意志理论不一致，在维护上帝的至善性和绝对权威之间陷入困境。造成这些理论矛盾和困境的原因是奥古斯丁僵化地坚持上帝的“完善性”，而这又是由他的坚持信仰先于理解的态度所造成的。     

周期冲激函数与黎曼引理

证明了周期冲激函数展开所得到的傅里叶级数收敛于冲激函数，冲激函数不满足黎曼引理，因此由黎曼引理导出的傅里叶级数的性质不适合于周期冲激函数，对由黎曼引理推出的傅里叶级数的系数的性质进行了修正。