结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

电力系统潮流计算的模拟进化方法

将模拟进化方法引入电力系统潮流计算。与传统方法比较结果表明,模拟进化方法中的进化策略法可以有效地解决电力系统病态潮流问题。文中还对几种模拟进化方法进行了比较,结果表明：进化策略法用地潮流计算比较成功;基因算法和进化规划法由于方法本身的缺陷,不太适合于潮流计算。     

受迫二维广义KdV方程的反周期行波解的变分方法

用变分法研究了受迫二维广义ＫｄＶ方程的反周期行波解的存在性。     

nSi／pSi1—xGex／nSi晶体管直流特性数值分析

采用一维有限差分方法,对生长在Ｓｉ（００１）衬底上的Ｓｉ１－ｘＧｅｘ应变基区异质结双极晶体管（ＨＢＴ）的直流特性进行了数值分析,给出了高斯掺杂情形下,基区中不同Ｇｅ分布的Ｓｉ１－ｘＧｅｘＨＢＴ的共射极电流放大系数图、Ｇｕｍ－ｍｅｌ图和平衡能带图;与Ｓｉ双极同质结晶体管（ＢＪＴ）的直流特性作了对比,结果表明基区中Ｇｅ的引入有效地改善了晶体管的直流性能;其次对基区中Ｇｅ分布与ｐ型杂质在基区－集电区交界处的不一致进行了模拟,证实了基区杂质向集电区扩散产生的寄生势垒使集电极电流密度下降这一实验结果．     

《重筛法》及其应用(Ⅰ)

《重筛法》是一种研究方法,是把复合数与质数区分开来,并进行分类和标码,使质数分布问题的研究转换成对“码”运算的研究.本文介绍了《重筛法》部分内容,及其在若干质数分布问题研究中的应用.本文着重介绍利用等差级数特性,实现复合数和质数的区分、分类和标码;并推导出实用的质数公式.     

宪政过程的哲学分析

从社会实践的角度来看，宪政的发展过程是理论与实践、目的与手段、内容与形式等诸多因素互相联系、互相制约、互相作用的过程。本文认为，宪法与宪政的统一是宪政过程中理论与实践的统一，保障实现人权与限制国家权力的统一是宪政过程中目的与手段的统一，民主与法治的统一是宪政过程中内容与形式的统一。     

J2EE架构下的数据库访问技术分析与研究

本文讨论了基于J2EE的数据库访问方法，并对各方法的实现进行了比较，给出了在实际开发中数据库访问方法选择的建议。     

线性Sobolev方程的半离散H1-Galerkin混合有限元分析

给出了线性Sobolev方程初边值问题的半离散H^1-Galerkin混合有限元格式，通过误差分析，得到了未知函数的L^2模和梯度函数的散度空间模的最优阶误差估计。     

关于一人公司的法律思考

一人公司的出现,是随着市场经济的发展,个人出资经营者为追求有限责任利益,将其独资企业采取有限责任公司或股份有限公司形式的结果。承认一人公司是世界公司制度的发展趋势。我国现行《公司法》仍然没有承认一人公司,而实践中一人公司却普遍存在,造成了法律制度上的漏洞和操作上的混乱。因此,建议《公司法》对一人公司加以重新立法和规制,明确赋予一人公司之合法性。同时,通过完善《公司法》的一些规定,严格限制一人有限公司的股东滥用有限责任。     

非线性VOLTERRA积分微分方程PETROV-GALERKIN有限元方法

讨论了非线性Volterra积分微分方程初值问题的PGFE方法，并给出了PGFE解的存在性和唯一性。