非线性电容Pspice模型的建立

提出了一种基于ＭｉｃｒｏＳｉｍ公司的通用电子电路仿真软件Ｐｓｐｉｃｅ上的新颖的非线性器件的仿真方法,并以非线性电容为例具体加以实现,该模型是一个通用子电路模型,并且可以应用于任何电路仿真及电力半导体器件建模中,由于在该模型的建立中采取了非线性函数的曲线拟合方法,使得原先在Ｐｓｐｉｃｅ中无法实现的非线性器件可以通过易于实现的受控源来模拟拟合多项式函数,本文以ＩＲ公司的功率电子器件ＩＧＢＴ手册所给出的     

利用Pspice仿真研究多脉冲整流器的特性

本文首先简要介绍了Ｐｓｐｉｃｅ的功能，建立了适合于Ｐｓｐｉｃｅ的ＧＴＯ模型，分析了利用Ｐｓｐｉｃｅ仿真程序研究多脉冲整流器供电的特性，并给出单相电源的多脉冲整流器供电的仿真结果。     

公务员中级计算机应用能力考试管理系统

通过对国家公务员培训内容和试题资料等数据源的详细分析, 设计了科学合理的底层数据结构, 解决了复杂数据结构定义问题, 从而建立起考试数据库的面向对象数据模型。完成了包括试题维护、随机组卷、自动判卷、考生信息管理、成绩管理、考生答题及各种信息的报表输出等功能。利用ＶＢＡ 编程实现了ＷＯＲＤ、ＥＸＣＥＬ和ＮＥＴＳＣＡＰＥ等应用程序的控制运行。完全控制了主观制作题答题的整个过程。     

利用DDE实现VB程序自动生成Word文档

讨论了如何利用ＷｉｎｄｏｗｓＤＤＥ技术实现Ｖｉｓｕａｌ Ｂａｓｉｃ应用程序和Ｍｉｃｒｏｓｏｆｔ Ｗｏｒｄ动态链接的方法,达到自动生成图文混排文档的目的。     

公务员中级计算机应用能力考试管理系统

通过对国家公务员培训内容和试题资料等数据源的详细分析,设计了科学合理的底层数据结构,解决了复杂数据结构定义问题,从而建立起考试数据库的面向对象数据模型。完成了包括试题维护、随机组卷、自动判卷、考生信息管理、成绩管理、考生答题及各种信息的报表输出等功能。利用ＶＢＡ编程实现了ＷＯＲＤ、ＥＸＣＥＬ和ＮＥＴＳＣＡＰＥ等应用程序的控制运行。完全控制了主观制作题答题的整个过程。     

闸门启闭机CAD系统图形库的研制

论述了图形库设计的思想和策略，通过水工闸门启闭机图形的分解，提出了一个普遍适用的机械产品图形的组成模型，并成功地用这种模型指导了水工闸门启闭机Ｅ－Ｒ模型（ＥｎｔｉｔｙＲｃｌａｔｉｏｎｓｈｉｐＭｏｄｅｌ）的设计及由Ｅ－Ｒ模型映射成数据模型的设计，成功地将通用关系数据库管理系统改造成工程数据库管理系统．     

投影时序逻辑的公理系统与形式验证

为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统．利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,并使用公理系统完成系统性质的证明．最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用．     

框架投影时序逻辑程序设计语言中的指针

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法．原地逆置单链表的实例说明该方法是切实可行的．     

基于PowerDesigner的信息系统数据模型建设

介绍了信息系统的开发过程，说明了PowerDesigner的功能和建立数据模型的流程，最后举例说明如何利用PowerDesigner中的CDM、PDM建立概念模型、逻辑模型和物理模型。     

VB5环境中使用和控制EXCEL的几种方法

讨论在ＶＢ５环境中使用和控制Ｅｘｃｅｌ的几种方法，这些方法在笔者开发边坡神经网络结合测预报系统中得到了成功的应用，对于其它Ｗｉｎｄｏｗｓ应用程序之间动态数据交换的实现，有一定参考价值。     

PowerBuilder编程中动态数据交换技术的应用

探讨了Ｗｉｎｄｏｗｓ环境下,在ＰｏｗｅｒＢｕｉｌｄｅｒ实际编程中,动态数据交换（ＤＤＥ）２个方面的具体应用：一是解决了在开发应用程序中,退出某一应用程序时关闭另一应用程序问题;二是在开发ＭＩＳ中,调用Ｅｘｃｅｌ制作复杂报表。实践证明,这些设计是可行的。     

EMM分析与高层应用接口研制

为突破１ｎｔｅｌ处理器在实地址模式下１ＭＢ内存空间的限制，绝大多数微机配备了扩展内存并在操作系统层上根据ＥＭＳ（ＥｘｐａｎｄｅｄＭｅｍｏｒｙＳｐｅｃｉｆｉｃａｔｉｏｎ）规范增加了扩展内存管理功能ＥＭＭ（ＥｘｐａｎｄｅｄＭｅｍｏｒｙＭａｎａｇｅｍｅｎｔ）。但由于扩展内存不能按常规的线性存贮器方式存取，管理又较为复杂，因此，仅限于系统使用，应用程序很难直接访问。本文较深入地研究了ＥＭＭ功能，并在此基础上设计了一个高层应用接口，任何高级语言应用程序可以通过此接口实现对扩展内存的存取操作。     

运用映射技术实现数据库的安全存储与访问

以对象形式存在的数据与以关系存在的数据库之间,一直存在阻抗不匹配的问题。对象数据会受到系统断开的限制,难以长时间的存储,阻碍了对象模型理论的推广应用。映射技术的出现,很好地解决了对象数据模型与关系数据库模型之间难以兼容的矛盾。对象与关系之间的映射技术,就是通过建立应用程序和数据存储之间的一个持久层,可以自动地把软件设计中的对象持久地转化到关系数据库中,有效地解决了对象数据与关系软件之间的矛盾,实现数据库稳定安全地存储与访问。     

1NF模糊时态数据库数据模型

目的 建立INF(一范式)模糊时态数据库数据模型,以便能有效地表达复杂的模糊时态信息.方法 结合模糊时态序列和模糊集理论对Allen定义的时态区间进行模糊性扩展,建立模糊时态关系模型.基于该模型,对传统数据库及时态数据库的概念模型进行模糊时态约束扩展和数据的模糊化.提出模糊/时态关系代数映射及运算模型.结果 从理论上阐述了模糊时态数据模型,引入了模糊映射,把事件的模糊性投影到不确定的时态信息上.结论 该模型的建立在一定程度上解决了时态数据库不能处理模糊时态信息,丰富了时态数据库查询语言,从而增强了时态数据库模拟现实世界的能力.     

Foxpro for Windows中的可动态刷新图表制作方法

本文首先介绍了Ｆｏｘｐｒｏ ｆｏｒ Ｗｉｎｄｏｗｓ中新增的通用字段以及ＯＬＥ和ＤＤＥ技术；然后结合实例着重介绍了采用ＯＬＥ和ＤＤＥ技术并借助于另一个Ｗｉｎｄｏｗｓ应用程序ｅｘｃｅｌ，制作可动态刷新图表的方法；最后给出了较完整的程序清单和注释，便于读者实际操作。     

Foxpro for Windows中的可动态刷新图表制作方法

本文首先介绍了ＦｏｘｐｒｏｆｏｒＷｉｎｄｏｗｓ中新增的通用字段以及ＯＬＥ和ＤＤＥ技术；然后结合实例着重介绍了采用ＯＬＥ和ＤＤＥ技术并借助于另一个Ｗｉｎｄｏｗｓ应用程序ｅｘｃｅｌ，制作可动态刷新图表的方法；最后给出了较完整的程序清单和注释，便于读者实际操作。     

基于Python的GTK+与VTK混合编程及应用

采用Python语言封装GTK+与VTK的函数接口,实现VTK渲染窗口在GTK+界面中的嵌入.通过Glade图形界面生成器生成GTK+图形界面,采用C／C+〖KG-*3]+语言编写GUI应用程序功能模块并封装成python接口函数库,完成GTK+界面模块、渲染模块和功能模块的有机集成.实例证明该方法可有效提高应用程序开发效率,研发的应用程序系统可移植性好、运行效率高.     

Verilog程序的命题投影时序逻辑符号模型检测

为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法．依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程序进行验证,从而证明片上系统满足设计规范．以Verilog程序描述的四位同步二进制计数系统的验证实例表明,Verilog程序的命题投影时序逻辑符号模型检测方法是可行的．     

嵌入式系统中IP的实现

介绍了嵌入式系统中IP的一种实现方法,该方法应用于嵌入式系统中,其主要功能是由一个IP线程来完成的。该实现方法具有简洁、代码可移植性强等特点。它既可作为操作系统的一部分,对诸如浏览器等应用程序提供底层网络协议支持,又可移植至路由器上使用。     

基于CLIPS的故障诊断专家系统开发环境

为了缩短故障诊断专家系统的开发周期,增加开发过程的灵活性,提出了一种基于Protégé+CLIPS+Eclipse工具链的运行于Linux操作系统下的故障诊断专家系统开发环境搭建方法.利用Protégé实现故障诊断专家系统构架模型,并对其进行了本体语言描述.结合C语言集成产生式系统（CLIPS）的应用程序接口,设计实现了系统的推理机与知识库,进行了相关规则的推理与判断,缩短了专家系统核心框架的开发时间,增加了系统柔性.基于构件化思想,将各系统模块以Eclipse插件的形式进行封装集成,根据用户的具体需求进行配置、重构,统一编译生成了专家系统应用实例.实验结果表明,该开发环境可移植性较好,能够在较短的时间内开发出有效的故障诊断专家系统.