关于积分中值定理的一些见解

本文给出了第一积分中值定理以及第二中值定理,并从较强的条件和较繁的证明给出了第一积分中值定理的推广以及从中值点所存在的范围推广积分第二中值定理,并在较强条件下给出了一个简单的证明,得到推广后的第一、第二积分中值定理的结果是原来的[a,b]改为(a,b),其余结果不变。最后同样给出了积分中值定理的一个相关问题,然后给出了较为复杂的证明过程。     

并发Lambek演算在时态查询中的语义转换

 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算（L_CTQ）及其范畴语法用以作时态查询的句法分析。根据L_CTQ演算构造相应的L_CTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。     

分抗的F特征逼近性能分析原理与应用

F特征函数是描述分抗逼近电路集总特征值的新概念.为全面定量分析与表征分抗逼近电路的F特征逼近性能,在F特征函数基础上,提出F特征逼近性能分析的相对误差、精度、带宽、带宽指数、K线斜率图、F指标和逼近效益等一系列概念及相应的数学函数.并将其应用到Oldham分形链分抗逼近电路的F特征逼近性能分析,以证明其有效性.     

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。     

数学实验在高等数学教学中的应用

将数学实验融入高等数学教学中,改变传统的教学模式。首先,介绍了数学实验融入高等数学教学的必要性,然后,重点分析了数学实验在高等数学教学中的三方面的应用,最后,总结了数学实验与高等数学教学相结合的意义。     

高等数学考试方式改革的研究

分析了高等院校高等数学课程考试中存在的问题,提出了注重学习过程的综合评价,突出能力测试等高等数学考试方式改革措施,为考试模式的设计提供了有益参考.     

基于控制流的Mobile Safe Ambients演算的静态分析策略

在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上, 通过识别可被激活的移动原语和通讯原语, 计算系统运行的所有动态进程拓扑结构, 并在文法规则中显示地标识约束名字和变量, 使分析结果在α变换下保持不变. 该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.     

考虑损伤的岩石非线性蠕变模型

蠕变行为广泛地存在于岩石类材料中,并对岩体的稳定性有着重要的影响。因此,对岩石类材料的蠕变行为进行深入的研究是很有必要的。为了更好地揭示岩石的蠕变机制,结合分数微积分理论,建立了一个考虑损伤的蠕变模型。通过推导元件的蠕变方程,得到了整个模型的蠕变本构方程;并基于广义塑性力学理论对此方程进行了三维应力状态下的扩展。结合一系列的煤岩、泥岩和盐岩三轴蠕变实验,对此模型进行了验证。将此新模型的验证结果和西原正夫模型进行了对比研究。结果表明,此模型能够更好地模拟岩石蠕变的全过程,尤其是加速蠕变。     

基于π演算的云服务安全检测

利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比.结果表明,该方法能同时保证云服务过程的一致性和安全性.     

非线性适型分数阶时滞微分方程初值问题解的存在性分析

基于Banach不动点定理、Schauder不动点定理、逐步逼近技巧和适型分数阶积分框架下的Gronwall不等式等方法,建立了适型分数阶导数意义下的非线性分数阶时滞微分方程初值问题解的存在性和唯一性结果.