线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

PA误差下半参数回归模型的小波估计的弱收敛速度

利用小波估计方法研究了误差为PA序列下的半参数回归模型.在适当的条件下,得到了半参数回归模型中参数和非参数小波估计量的弱收敛速度.     

水泥乳化沥青砂浆搅拌泵送灌注车的应用

通过对沪宁城际铁路I型板式无砟轨道的施工,详细介绍了SLC1500B型水泥乳化沥青砂浆搅拌泵送灌注车在高桥便道、路基、隧道、冰冻等复杂环境条件下的作业情况,为今后类似无砟轨道施工提供借鉴。     

伪的弱效应代数的同余和理想

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示.     

高等教育学费标准探讨模型

本文针对近来广受关注的学费问题,根据中国国情的教育发展状况及经济发展情况,建立了高等教育的学费标准模型。     

模糊图灵机的逼近性与通用性

模糊图灵机是模糊算法或模糊计算的形式模型．文中研究了模糊图灵机的几种变形，这包括基于max-★复合运算的非确定型模糊图灵机（简写为NFTM★，其中★为t-模），非确定型模糊图灵机（简写为NFTM），确定型模糊图灵机（简写为DFTM），以及这些变形的多带版本．得到了以下一些结论：第1，若t-模★不满足有限生成条件，则NFTM★，NFTM和DFTM一般不等价，这里等价指的是识别相同的模糊语言．但在逼近意义下等价，也即，NFTM★可以被NFTM以任意精度逼近，并给出了相关的构造．引入了模糊递归可枚举语言与模糊递归语言的概念，并利用递归可枚举语言与递归语言对其进行层次刻画．第2，如果限制NFTM★的模糊隶属函数的取值域为单位区间[0，1]的一个固定的有限子集D3则存在通用模糊图灵机，用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机．一般地，通用模糊图灵机在逼近意义下存在，该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机．     

屠本《十六国春秋》史源研究

北魏崔鸿撰《十六国春秋》,用长达百卷的篇幅描绘了十六国时期(公元304——439年)独特的历史画面。然此书北宋初即始散失,论者推断亡于南宋。在数百年后的明朝万历(公元1573——1620年)年间,嘉兴屠乔孙、项琳之等人刊行了一部百卷本的《十六国春秋》,题为崔鸿撰,此即屠本《十六国春秋》(简称屠本)。清初至当代三百多年间,屠本的真伪问题聚讼纷纭。朱彝尊、姚际恒、全祖望、钱大昕、洪亮吉、王鸣盛等学术名家     

基于.net框架的数据结构算法演示动画的设计与实现

数据结构是计算机专业的核心课程,对各类算法的理解则是课程教学的重点和难点,算法动态演示作为辅助教学过程的手段则可以有效帮助学生更快地理解、掌握算法。本文主要介绍用OOP的方法实现数据结构算法演示动画,进而提供集源代码跟踪、变量跟踪、模拟动态效果三合一的算法演示平台。     

模糊推理在导线间串扰预测中的应用

提出应用模糊逻辑推理对互连导线间串扰问题进行预测的方法,从前期测量数据中选择有效的电磁干扰参数作为预测因子,并根据数据的统计特性对其分级,然后归并模糊蕴涵式语句确定模糊蕴涵关系集。该方法与人工神经网络预测方法相比,不仅可以充分利用原有的专家的经验和知识,而且能够从实际数据中自动总结和提取新的推理规则。实例分析表明该方法对导线间串扰问题的预测是可行的。     

NA样本回归函数递归型估计的强相合性

本文在NA相依样本下给出了非参数回归函数加权递归核估计gn(x)=n∑(i=1)yi(xi-xi-1)/hi K(x-xi/hi)的渐近无偏性和相合性的充分条件。其中这里得到的充分条件与一般加权回归函数核估计的相合性几乎完全一致。