Theoretical Studies on the Si（001）-SiO2 Interface Structure

1 INTRODUCTION Silicon and its alloy have been widely applied in such fields as electronic industry, high-temperature structural ceramics, etc. In addition, the researches on silicon and its relevant materials greatly promote the rapid development of modern optics and infor- mation technology. Therefore, more and more at- tention is focused on the structure of silicon, oxide of silicon and the interfaces between silicon and metal or nonmetal. As an ideal passive film on the Si surface, S…     

Fourier regularization for a backward heat equation

In this paper a simple and convenient new regularization method for solving backward heat equation—Fourier regularization method is given. Meanwhile, some quite sharp error estimates between the approximate solution and exact solution are provided. A numerical example also shows that the method works effectively.     

电信运营市场上过度进入的供给分析

本文在分析光纤主干网和本地接入服务市场上电信运营商的供给行为的基础上,首先证明了拥有主干网的运营商愿意租出自己的部分光纤,接着分析证明了上述两市场上使投资更倾向于过度的乘数效应,并进一步证明网络外部性使乘数效应更加明显.旨在对我国电信运营市场发展给出一些参考意见.     

数码相机原理与系统设计研究

介绍了数码相机的工作原理 ,分析了数码相机的系统结构 ,提出了设计数码相机的处理流程。典型的数码相机系统有镜头、闪光灯、光学取景器、LCD显示屏、图像数据存储扩展设备接口、图像数据传输接口、供电系统以及核心处理器等八个主要模块。数码相机的数据流向从图像传感器开始 ,止于图像数据的存储和传输。数据流的处理主要包括模数转换、光学黑电平钳位、针对镜头的边缘畸变的运算修正、坏像素处理、白平衡处理、伽马校正、色彩合成处理、边缘检测 (锐度检测 )和伪彩色检测 (伪彩色抑制 )、JPEG压缩和图像存储器等模块     

基于演化博弈的武器装备研制合同定价模型研究

针对合同的动态性，提出利用基于演化博弈建立定价模型。考虑到决策群体中个体的认识误差，对所建立的定价模型进行修正，建立带偏离的定价模型并分析了偏离对均衡解的影响。最后将以上模型应用实例进行比较分析。     

Sobolev空间H~s(R~n)上矩阵伸缩的多尺度分析特征刻画

本文对高维Sobolev空间Hs(Rn)上具有矩阵伸缩的多尺度分析特征进行了 刻划,特别给出了稠密性特征的一个充分必要条件,从而解决了文献[4]中提出的一个 问题.所得结果覆盖了这方面的已知结论.     

在白噪声分析中的广义维里拉普拉斯

一类广义维里拉普拉斯，把在白噪声分析构架中通常定义的维里拉普拉斯作为特殊情形而包含。     

单件小批生产系统下模糊优化的动态随机投入产出模型

本文针对单件小批量生产系统 ,建立了模糊优化的动态随机投入产出模型 ,同时给出了该模型的递推解法 ,并用此模型对某单件小批企业在生产计划期的商品量进行了规划     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。