Uniqueness of Gibbs State for Nonideal Gas in ℝ d : The Case of Pair Potentials

We consider a classical gas of particles in ^d interacting via a pair potential. We prove that in a given region of the (, ) plane, where is the inverse temperature, and is the chemical potential, either the Gibbs state is unique or it does not exist. Our method uses a version of the well-known Dobrushin uniqueness theorem adapted for lattice systems with a noncompact spin space and proved by Dobrushin and Pechersky. The advantage of this version is that using it one needs to check Dobrushin's contraction condition not for all boundary configurations, but only for those that have spin values in some compact subset of the spin space.     

一种用于数据库开发的UML类图的规格说明与C＋＋源代码生成技术

该文分析了信息系统软件开发的特点,并在UML静态结构模型中类图的基础上,提出了一种针对信息系统软件开发,特别是数据库系统开发的规格说明语言MISFRAME的语法原型,详细阐明了其在数据库开发中的语法定义,提供了相应的代码生成器,并说明了其生成源代码的原理.     

灰度直方图规定化实现方法的分析

通过对灰度直方图进行匹配的理论，提出了一个通过二维模型对灰度直方图进行点运算的方法．以达到图像增强的目的。     

需求分析可视化的设计与实现

大型信息系统的需求分析是一个系列建模的过程,模型的质量直接取决于开发者对应用系统知识的理解和提取。为了保证开发的系统有较高的质量,要建立一种合适的机制来保证在建模过程中对应用系统的知识获取、表达和评估工作的正确进行。本文提出了基于动态行为模型,采用可视化技术,对应用系统的需求分析进行评估,使用户更容易理解需求工程的结果,了解将要开发系统的动态行为,避免过早建立原型系统的开销。     

彩色图象合成中的亮度匹配

本文研究彩色图象的合成问题,阐述了亮度计算的统计直方图原理,提出了彩色图象合成中亮度匹配的直方图规定化方法,给出了它的离散形式,以便程序实现,并对处理中的具体问题进行了讨论使用证明该方法在彩色图象合成中能获得较好的亮度匹配效果。     

一个用户界面工具环境的研究与设计

从理论和实现的角度,探讨了一个用户界面工具环境的设计,为解决界面与应用语义的适当分离提供一种可行方案。该工具环境采用分层体系结构,在○-○图形表示的基础上,利用属性文法对用户界面进行形式描述,并最终实现一个集成化的用户界面自动生成工具环境。     

一种函数分割型程序设计规范描述——FDP程序的正确性验证

FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规范叫作 FDP 程序。本文将提出实现 FDP 程序正确性自动验证的基本方法和具体步骤,以说明 FDP 的优越性。     

型钢混凝土框架梁正截面承载力研究

基于文献[1]提出了型钢混凝土框架梁正截面承载力的计算原理，编写调试了计算程序，对《型钢混凝土组合结构技术规程》中建议的简化计计算公式进行了分析与评估。并对规程计算方法进行了分析研究，提出了一些对设计及修改规程有用的结论。     

析论煤炭工业铁路设计统一技术口径修订版

简要介绍了煤炭工业铁路设计统一技术口径修订过程，结合矿区的特点，对专用线设计采用的几个技术标准、设计参数进行了分析论述。     

Java面向对象语义的一种代数描述方法

运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了Java面向对象语义的一种代数描述模型的框架.