一种面向对象的形式化规范说明技术——VDM＋＋

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。     

VisualC++中exit()和return的选择和使用

ＶｉｓｕａｌＣ＋＋作为一种面向对象的程序设计语言，因为其强大的功能和友好的界面深受程序设计人员的欢迎，被广泛应用．然而，在目前一些ＶｉｓｕａｌＣ＋＋书籍中，对ｅｘｉｔ（）和ｒｅｔｕｒｎ的概念混淆不清，本文对此进行讨论     

FoxBASE+中调用外部大型程序一法

将用于启动系统的ＣＯＭＭＡＮＤ．ＣＯＭ程序拷贝到ＦｏｘＢＡＳＥ＋（或ＤＯＳ能找到的）目录中，并更名为ＦｏｘＶＩＥＷ．ＣＯＭ．在ＦｏｘＢＡＳＥ＋中用下面的格式调用：ＦｏｘＶＩＥＷ／Ｃ，外部程序．利用这种方法比利用ＦｏｘＳＷＡＰ．ＣＯＭ能多提供１８Ｋ左右的常规内存给外部程序或命令．     

对接沟道 NMOS 结构杂质分布的二维数值模拟

针对ＶＤＭＯＳ－ＮＭＯＳ兼容集成结构建立了对接沟道ＮＭＯＳ晶体管工艺模型，根据其工艺模型，采用面向对象的Ｃ＋＋编程对对接沟道ＮＭＯＳ结构的杂质分布进行了二维数值模拟，给出了不同工艺条件下的模拟结果，并且进行了分析．结果表明，对接沟道ＮＭＯＳ结构能较好地实现ＶＤＭＯＳ与ｐ阱ＮＭＯＳ电路的兼容集成．     

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

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

新型真空镀膜设备数据库管理

新型真空镀膜设备计算机控制系统（ＺＤＣＣＳ）上位管理机中,数据库的设计是通过基于ＶｉｓｕａｌＣ＋＋所支持的开放数据库互连（ＯＤＢＣ）来实现的．ＯＤＢＣ是实现异构环境数据库访问的接口,利用ＯＤＢＣ,应用程序开发人员可对多种不同数据库中的数据进行存取、修改和查询．ＶｉｓｕａｌＣ＋＋１５以上版本的ＭＦＣ（微软基本类库）提供了一些数据库类支持ＯＤＢＣ．这些类和ＶｉｓｕａｌＣ＋＋面向对象的特性,简化了编写Ｗｉｎｄｏｗｓ环境下访问各种数据库应用程序的工作．     

Visual C++动态链接库与Authorware链接的实现

讲述了用Ｖｉｓｕａｌ Ｃ＋＋创建ＤＬＬ的方法以及Ｖｉｓｕａｌ Ｃ＋＋动态链接库与Ａｕｔｈｏｒｗａｒｅ链接的技术。     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。     

VHDL模拟器波形显示器的研制

目的研究图形,图像的快速显示算法,研制工作站环境下基于Ｍｏｔｉｆ的面向对象类库。方法 在工作站平台上使用Ｃ＾＋＋和Ｍｏｔｉｆ研制了ＶＨＤＬ模拟器波形显示器,波形显示器中使用了波形图三级映射算法,构造并使用Ｍｏｔｉｆ的面向对象类库。结果该波形显示器具有显示速度快,程序可移植性强等特点。结论充分体现了算法的优越性和基于Ｍｏｔｉｆ面向对象类库设计的合理性。     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。     

对接沟道NMOS结构杂质分布的二维数值模拟

针对ＶＤＭＯＳ－ＮＭＯＳ兼容集成结构建立了对接沟道ＮＭＯＳ晶体管工艺模型，根据其工艺模型，采用面向对象的Ｃ＾＋＋编程对对接沟道ＮＭＯＳ结构的杂质分布进行了二维数值模拟，给出了不同工艺条件下的模拟结果，并且进行了分析。结果表明，对接沟道ＮＭＯＳ结构能较好地实现ＶＤＭＯＳ与ｐ阱ＮＭＯＳ电路的兼容集成。     

VDMOS-NMOS兼容功率集成电路结构

提出一种完全新型的ＶＤＭＯＳ－ＮＭＯＳ全兼容功率集成结构的设计方法．该结构采用与ＶＤＭＯＳ工艺兼容的对接（ＢｕｔＪｏｉｎｔ）沟道结构形成ＮＭＯＳ器件，利用ＶＤＭＯＳ工艺中ｐ＋区反刻过程形成ＮＭＯＳ器件的有源区，利用ＶＤＭＯＳ工艺中刻双扩散窗口过程形成ＮＭＯＳ器件的栅区及多晶硅互连线．对ＭＯＳ电路中的小跨导器件图形的设计及ＶＤＭＯＳ与Ｅ／ＥＭＯＳ的界面设计进行了分析和讨论     

基于DSVM和消息传递的并行哈希连接算法的性能分析

基于分布式共享虚拟存储器（ＤＳＶＭ） 的软件设计方法是运行在网络工作站（ＮＯＷ） 上的支持并行计算与分布处理的新途径,它与传统的消息传递的编程方法不同·描述了在面向对象的分布式数据库系统ＳｈｕｓｓｅＵｏ 上,用ＤＳＶＭ 和消息传递两种方式分别实现并行哈希连接操作的３种算法;设计了测试数据库和３ 种不同的负载;并分析了ＤＳＶＭ 和消息传递这两种设计方法的性能·大量的测试结果表明,基于ＤＳＶＭ 的算法的性能比传统的消息传递的算法稍差,但ＤＳＶＭ 具有易编程等优点,因此在并行处理上仍是一项很有研究和开发价值的技术·     

应用视算系统AVS/Express

应用视算系统ＡＶＳ／Ｅｘｐｒｅｓｓ,是美国ＡＶＳ公司的软件产品,是一种面向对象的可视化的软件开发平台工具,支持多种操作系统．在国外,应用视算系统广泛地应用于诸多领域,如ＣＡＥ、ＥＤＡ、航天、石油工业等．笔者对应用视算系统进行了技术分析,介绍了该系统所采用的可视化、面向对象、接口以及部件等技术,同时对系统提供的工具箱作了必要说明的．     

Visual C^＋＋中的ODBC技术

本文在介绍了ＯＤＢＣ（开放式数据库互联）运行机制的基础上,着重讨论了Ｖｉｓｕａｌ Ｃ＾＋＋下ＯＤＢＣ技术编程的具体方法和应用。     

基于DSVM和消息传递的并行哈希连接算法的性能分析

基于分布式共享虚拟存储器(ＤＳＶＭ)的软件设计方法是运行在网络工作站(ＮＯＷ)上的支持并行计算与分布处理的新途径,它与传统的消息传递的编程方法不同·描述了在面向对象的分布式数据库系统Ｓｈｕｓｓｅ Ｕｏ上,用ＤＳＶＭ和消息传递两种方式分别实现并行哈希连接操作的３种算法;设计了测试数据库和３种不同的负载;并分析了ＤＳＶＭ和消息传递这两种设计方法的性能·大量的测试结果表明,基于ＤＳＶＭ的算法的性能比传统的消息传递的算法稍差,但ＤＳＶＭ具有易编程等优点,因此在并行处理上仍是一项很有研究和开发价值的技术·     

Mg^2＋—ADP—钒酸根三元体系的核磁共振法研究

用＾５１ＶＮＭＲ滴定法研究在Ｍｇ＾２＋－ＡＤＰ－ＶＯ４＾３－三元体系中的物种分布，通过分析用Ｍｇ＾２＋一ＡＤＰ－钒酸根混合溶液时＾５１Ｖ核磁谱峰的变化，指出溶液中形成了Ｍｇ－Ｖ２Ａ２（Ｖ２Ａ２为两个钒酸根和两个ＡＤＰ分子形成的双核配合物的简写）和Ｍｇ－ＡＤＰＶ（ＡＤＰＶ代表一个四面体钒酸根单体与ＡＤＰ中的β－磷酸根缩合形成的酸酐），测得Ｍｇ－Ｖ２Ａ２及Ｍｇ－ＡＤＰＶ的形成常数分别是７２．５ｍｏｌ＾     

用VC＋＋1.0编制用户有Windows动态链接库

提出了一种使用ＶＣ＋＋１．０建立用户有程序中使用的动态链接库的方法。     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

MgTiO_3: Cr~(3+)晶体中占位的研究

本文用完全对角化方法研究了３ｄ３组态在ＭｇＴｉＯ３：Ｃｒ３＋晶体中的零场分裂参量Ｄ．结果表明：Ｃｒ３＋（１）占位可以解释为Ｃｒ３＋Ｍｇ－Ｔｉ４＋Ｔｉ，同时Ｃｒ３＋沿着Ｃ３轴远离向八面体中心移动０．０５±０．０１；Ｃｒ３＋（２）占位为Ｃｒ３＋Ｍｇ－Ｍｇ２＋Ｔｉ，Ｃｒ３＋向八面体中心移动０．０９±０．０１，这与前人用微扰公式得到的结果一致．本文同时还指出Ｃｒ３＋（１）占位的另一种解释，即Ｍｇ２＋Ｍｇ－Ｃｒ３＋Ｔｉ，向八面体中心移动０．０７５±０．０１