实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

Clifford分析中无界域上正则函数的边值问题

在引入修正Cauchy核的基础上,讨论了无界域上正则函数的带共轭值的边值问题：a(t)Φ (t) b(t)Φ (t) c(t)Φ-(t) d(t)Φ=g(t)．首先给出了无界域上正则函数的Plemelj公式,然后利用积分方程方法和压缩不动点原理证明了问题解的存在唯一性．     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

投资决策分析方法的缺陷及改进

本文指出了传统投资决策方法的缺陷 ,提出了将期权理论应用于投资决策的总体思路 ,突破了传统决策分析的局限性 ,使决策更加科学和合理     

Interference of probabilities and number field structure of quantum models

We study the probabilistic consequences of the choice of the basic number field in the quantum formalism. We demonstrate that by choosing a number field for a linear space representation of quantum model it is possible to describe various interference phenomena. We analyse interference of probabilistic alternatives induced by real, complex, hyperbolic (Clifford) and p‐adic representations.     

技术创新与增长期权定价

本采用了净现值(NPV)和实物期权定价方法对一个实际的MMDS的发射放大器项目进行了定价，并对两种方法定价的结果进行了分析和对比。由于实物期权方法定价的结果包含项目中的增长期权和放弃期权的价值，因而实物期权方法定价的结果比NPV方法定价的结果更合理和更高。     

美式期权定价中非局部问题的有限元方法

在本文中 ,我们关心的是美式期权的有限元方法 .首先 ,根据 [4 ]我们对所讨论的问题引进一个新奇的实用的方法 ,它涉及到对原问题重新形成准确的数学公式 ,使得数值解的计算可以在非常小的区域上进行 ,从而该算法计算速度快精度高 .进而 ,我们利用超逼近分析技术得到了有限元解关于 L2 -模的最优估计 .     

提前还贷及其隐含期权的分析

可提前还款的定期贷款是隐含着期权的利率衍生物，本文建立CIR利率模型下可提前还款的定期贷款的数学模型，通过离散偏微分方程，建立了模型的计算方法，讨论了随机利率对提前还贷的影响．     

矩阵特征值的几个不等式

研究矩阵特征值的上、下界以及特征值的实部、虚部的不等式 ,给出了特征值一些新的上界和下界     

The Hopf Property for Subgroups of Hyperbolic Groups

A group is said to be Hopfian if every surjective endomorphism of the group is injective. We show that finitely generated subgroups of torsion-free hyperbolic groups are Hopfian. Our proof generalizes a theorem of Sela (Topology 35 (2) 1999, 301–321).