结构可靠度分析方法研究

通过对结构可靠度的理论研究,采用分类比较的方法,具体分析了目前较成熟的结构点可靠度的计算方法：一次二阶矩法、高次高阶矩法、响应面法、蒙特卡罗法、随机有限元法,井系统地介绍了结构体系可靠度的计算方法。为人们选用其方法进行结构可靠度计算提供一个有价值的参考,同时提出了结构可靠度今后研究方向的建议。     

三维各向异性介质中弹性波方程交错网格高阶有限差分法数值模拟

三维数值模拟是研究各向异性介质中复杂弹性波波场特征和传播规律的重要手段。根据Taylor展开式,推导出了交错网格一阶空间导数的任意偶数阶精度有限差分近似式和相应的差分系数计算式,给出了三维各向异性介质中弹性波一阶双曲型应力速度方程交错网格任意偶数阶精度差分格式和稳定性条件,并推导出了三维各向异性介质PML法吸收层边界条件公式和相应的交错网格差分格式。对方位各向异性介质模型和正交各向异性介质模型中弹性波的传播进行的三维数值模拟结果表明,弹性波在三维各向异性介质中传播时存在拟P波、拟SV波和拟SH波,并出现横波分裂、横波分裂盲区、波面三分叉等特殊现象,另外,弹性波场在空间是变化的,其拟P波、拟SV波和拟SH波的耦合关系比较复杂。     

一类高阶中立型微分方程解的振动性

讨论了一类具有连续偏差变元的高阶中立型微分方程,运用分析方法和技巧,得到了该类方程解的振动准则,所得结果推广了部分已知的结论.     

基于情境的文本中的时间信息分析

情境用来描述文本中具体的动态和静态事件,时间是其重要因素·为了分析文本中的时间信息,本文首先给出了一个基于情境的文本理解的模型,并在时态逻辑的基础上,提出了文本的时间信息分析方法,它是将事物发展变化的时间顺序作为理解文本的一条重要线索·其主要工作包括:讨论了时间的概念、时间的类型和时间单位的转换机制;分析了命题间的时间关系、对象行为间的时间关系以及事件状态与时间过程的关系;并给出了所使用的时态逻辑     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

多变量逻辑函数简化的降维图法

本文由展开定理导出了降维图的一般作图法;从而给出了多变量逻辑函数的一种图形简化法-降维图法。文中给出的实例说明了这种方法的可行性和有效性。     

三维泊松方程基于Richardson外推的高精度多重网格解法

基于三维泊松方程的四阶紧致差分格式,利用Richardson外推法、算子插值法和多重网格算法,使已有四阶紧致差分格式的计算精度整体提高二阶,精度达到六阶.数值实验验证六阶格式的精确性和多重网格方法的有效性,并与四阶紧致差分格式多重网格方法的计算结果进行比较.     

非线性四阶薛定谔方程的高阶保能量方法

利用四阶平均向量场方法和拟谱方法构造非线性四阶薛定谔方程的高阶保能量格式,并用构造的高阶保能量格式数值模拟方程孤立波的演化行为.结果表明:新的格式具有很好的稳定性,可以很好地模拟孤立波的演化行为,同时,保持了方程的离散能量守恒特性.     

中国共产党对马克思主义结合中国实际逻辑进路的选择

在马克思主义与中国实际结合的过程中,存在着＂四化＂即马克思主义中国化、马克思主义化中国、中国化马克思主义、中国马克思主义化。在结合的过程中,中国共产党选择了一条沿着＂马克思主义化中国——马克思主义中国化——中国化马克思主义——中国马克思主义化＂的逻辑进路,表现为对马克思主义摹写——建构——运用的过程。其实质是理论——实践——理论——实践的逻辑发展过程。这条与＂实践——理论——实践＂道路相悖的道路选择既有符合中国社会实际的方面,但也给中国社会的发展带来了一些问题。     

可信Web服务的度量模型

针对Web服务的可信性缺乏有效度量方法的问题,引用本体的基本思想和主要理论对Web服务进行统一的语义描述和建模,提出了可信Web服务的度量模型(MM-TWS),建立了面向本体的可信Web服务,并解析了MM-TWS中建立本体的基本步骤和主要流程。采用模糊描述逻辑来设计MM-TWS的模型算法FDL-MM-TWS,并推算Web服务的可信度。最后,利用MM-TWS对一个基于突发事件处理的智能建筑系统集成进行度量,初步验证了该方法的可行性和有效性。