基于DIT的指控软件时序操作测度模型研究

指控软件时序操作是指控软件操作的重要组成部分,指控软件时序操作测度是考评人员对指控软件操作熟练程度的重要方法。以信息距离理论为基础,建立了指控软件时序操作测度模型。分析了指控软件的信息结构,将其分为了串联信息结构和组合信息结构,总结了指控软件的加权信息距离：操作距离、操作时间、操作重复度。通过信息距离的定量计算,以定性的形式给出了参训人员训练成绩,通过示例验证了该方法在操作距离测度中应用的可行性。     

共享投入型关联两阶段生产系统的网络DEA效率测度与分解

"黑箱"视角下的标准数据包络分析(DEA)因忽略中间产品转化信息及投入要素在各子过程中的配置信息,无法体现决策单元的实际生产技术,自然不能提供有效的效率绩效测度.分别在固定规模报酬和可变规模报酬假设框架下,充分利用中间产品的转化信息与投入要素的配置信息,构建了存在共享投入的关联两阶段生产系统效率的网络DEA效率测度与分解模型.建模方法遵循客观评价的原则,无需事先主观设定子效率和系统效率之间的组合关系,且可通过事后分解确立二者之间的凸线性组合关系.此外,建模方法具有很好的扩展性,可被直接用来构建含有更加复杂转化结构的生产系统的效率测度与分解模型,为多阶段投资以及多阶段供应链运作等复杂生产系统的整体效率测度与分解提供了有效的分析途径.一个关于银行投资过程的实例被用来验证建模思想的合理性和优越性.     

一类测度链上哈密顿系统的周期解

研究测度链上非自治二阶哈密顿系统周期解的存在性问题.在非线性项线性增长时,将这类系统的周期解转化为定义在一个适当空间上泛函的临界点,然后利用临界点理论建立此类系统周期解的存在性结果.     

具测度初值的非线性抛物方程组的Cauchy问题

研究了一类具强耦合源的退化抛物方程组的Cauchy问题,其中初值为Radon测度。当指标满足一定范围时,克服了方程退化性与强耦合源同时存在带来的困难, 从而得到了解的存在性。还进一步证明了指标的限制范围对解的存在性来说是最优的。     

二分Cantor尘上某个柯西变换的解析性

利用儒歇定理证明一个定义在二分Cantor尘上的柯西变换G(z)在|z|<1内解析,并得到其在z=0处的泰勒展式.     

交换期权的平价关系

本文通过对交换期权的分析,运用一系列假设,得出了交换期权的平价关系这一命题,然后对其进行证明讨论.     

Banach空间分数阶微分方程边值问题解的存在性

考虑Banach空间E中分数阶微分方程边值问题{-Dβ0＋u（t）=f（t,u（t））,t∈Ju（0）=u（1）={θ解的存在性,其中1〈β≤2为实数,J=[0,1],Dβ0＋是标准的Riemann-Liouville导数,f：J×E→E连续.用新的非紧性测度估计技巧,在f满足比较一般的增长条件和非紧性测度条件下通过凝聚映射的不动点定理获得了该边值问题解的存在性.     

关于Bessis-Moussa-Villani猜想的讨论

本文主要介绍BMV(Bessis-Moussa-Villiani)猜想提出的背景、意义,及有关学者证明这个猜想的一些有意义的工作,并对BMV猜想的证明思路进行了疏理。     

一类生灭过程的渐近性质

根据生灭过程的自然尺度与标准测度的概率意义,研究了生灭过程的发散问题和一类生灭过程的渐近性质:一类生灭过程{Xt}t≥0在t→∞时,Xt是将以g(t)=(1+8t)1/2-1/2的方式发散到∞.     

随机自相似测度的无穷阶量子化维数

当压缩相似映射{Si}i=1N满足开集条件时,随机自相似测度μ的无穷阶量子化雏数D∞（μ）与随机自相似集E的相似维数D之间以概率1的相等关系。