询问-回答模式下层次式程序表示模型的构建方法

对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。     

论C++的静态联编和动态联编

本文阐述了静态联编和动态联编的概念和区别,通过具体实例分析了实现动态联编的条件,指出了虚函数是实现动态联编的基础.     

基于EPOM的扩展程序参考模型

扩展程序参考模型是在可扩展的程序对象模型(EPOM)的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息，并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应用，不仅在模型的构造过程中大量采用，模型的输出也采用该模式。概要介绍了扩展程序模型的结构和特点，同时给出了在此模型上的一个运行实例。     

浅析C＋＋的动态联编和虚函数机制

本文在分析归纳的基础上探讨了Ｃ＋＋中静态联编，动态联编，虚函数及其它们之间的关系，由于虚函数是Ｃ＋＋中一个非常重要的概念，本文重点讨论虚函数及其使用规划，并且给出它的实现模型，以期对掌握这一概念有所帮助。     

虚函数的多态性机制分析

在面向对象程序设计中,继承性映射了现实世界中事物之间的层次现象,而多态性则是映射事物自身行为的多外延现象;虚函数可以实现不同的对象在收到相同的消息时,产生不同的动作。重载是同一对象在收到相同的消息时,产生不同的动作。该文对虚函数的多态性机制进行深入分析,提出用虚函数实现多态性的四项法则。     

面向对象技术的多态性研究

文章主要介绍了面向对象技术中多态性的实现机制和特点，并以C^＋＋和C#语言为基础分析了两种面向对象编程语言在实现多态性上的异同点。     

基于对象传值模式的CORBA异步模型

随着CORBA应用领域的扩展,许多应用需要CORBA提供异步机制,而传统的CORBA不提供异步方法激活机制。本文介绍了一种基于对象传值模式的异步模型--Polling模型,该模型可以在应用级解耦合请求和应答。我们在Starbus上实现了该模型,测试结果表明了该模型的可行性     

基于对象的协同策略控制模型

1 引言协同策略除了包括通常的存取控制规则、并发控制规则、发言权控制规则外,还应包括协同感知控制规则、数据分布方案、角色行为准则和例外处理等。这些协同策略通常因工作方式和工作组的组织结构不同而不同,即便同一个组在协作中的不同阶段也可能采用不同的协同策略。因此协同系统的开发应是启发式的,协同策略的定义通常需要最终用户、系统开发者和某些领域的专家进行不断交互和扩充。然而,现有的CSCW系统的协同策略往往直接嵌入应用程序中,使得这种系统协同策略僵化、协同效率低下。尽管不少设计者企图考虑不同组和不同协作情形的各种需求,创建功能强大的可重构的工具或系统,但却增加了软件的复杂度,甚至出现:一方面协作工具或系统过剩,而另一方面用户还未找到满足需求的     

基于对象模型的全腕式电动假肢的控制和诊断专家系统

我们研制了一个基于对象模型的全腕式电动假肢专家系统。在该系统里，我们通过对假肢进行模型化建立了假肢对象的知识库，并根据控制目标和故障诊断目的设计了推理程序，因此，系统能控制假肢各个关节协调动作，使完成目标作业，并能诊断出假肢的故障。本文介绍对象模型的概念，有关假肢对象模型的阶层构造，知识表示方法，知识库的建立方法以及控制和诊断假肢的推理。     

OO模型中ODL语言的研究与实现

面向对象的数据库语言主要包括对象定义语言(ODL)和对象操纵语言(OML)。本文主要介绍以持久的面向对象程序设计语言为基础,研究和设计ODL语言的方法。     

一种基于层次客体的访问控制模型

在需要管理大量权限的系统中,现行的访问策略不能解决客体的层次关系,提出了一种多级层次客体的管理模型,定义了客体的层次关系,并给出了客体的管理算法,满足了多级复杂客体权限系统的要求。     

基于DTS对象模型的DTS包实现

DTS（Data Transformation Service)是指Microsoft公司的数据转换服务，它提供了在SQL Server数据库和其它异构数据库之间的数据转换模型，并且用户可以根据需要定义新的模型，实现新功能，在介绍DTS对象模型和DTS包的概念的基础上，讨论了使用DTS对象模型编程实现DTS包的方法，并以实例论述了建立自己的转换模型并实现的DTS包的过程。     

基于分布式对象中间件的网上银行系统模型

伴随着网络时代的步伐，网上银行跨进了中国的大门，并已形成一定的规模，网上银行成了各金融企业竞争的焦点。文中提出了如何采用基于分布式对象中间件来实现网上银行系统模型，其中介绍了RMI和RMI—IIOP两种可在J2EE体系结构中为EJB进行核心传输的协议。同时，还描述了系统的系统逻辑结构和设计思想，从对公网银和个人网银，两个方面分别分析了网上银行的业务功能和实现策略。最后，文中客观性地比较了现有的分布式中间件技术，并展望了下一步的工作。     

基于分布式对象中间件的网上银行系统模型

伴随着网络时代的步伐,网上银行跨进了中国的大门,并已形成一定的规模,网上银行成了各金融企业竞争的焦点。文中提出了如何采用基于分布式对象中间件来实现网上银行系统模型,其中介绍了RMI和RMI-IIOP两种可在J2EE体系结构中为EJB进行核心传输的协议。同时,还描述了系统的系统逻辑结构和设计思想,从对公网银和个人网银两个方面分别分析了网上银行的业务功能和实现策略。最后,文中客观性地比较了现有的分布式中间件技术,并展望了下一步的工作。     

基于设计模式的报表生成组件的设计与实现

文章对实际中应用的报表格式进行了分析、归类,探讨了各类格式报表的生成算法,同时根据对报表格式的分类,提出了一种基于策略模式的报表生成组件模型,并使用Delphi,采用COM技术,利用MicrosoftWord组件模型对这种报表生成组件模型对进行了实现。     

基于Java的对象模型消息机制实现

Java语言标准不提供消息,使得面向对象模型中消息机制的实现十分不便。针对上述问题,利用Java的接口、继承及多态机制,实现一种风格与微软基础类库中framework的消息机制相似的对象模型消息机制,将其应用于一款基于LEGO机器人的协同式智能化多机器人系统,结果证明该消息机制具有合理性、有效性和易实现性。     

基于角色访问控制对象建模及实现

目前多数访问控制主要解决应用后台的数据保护问题,不适合大型复杂的多用户分布式应用,已有的基本角色访问控制模型忽视了激活角色的动态性能。对象技术已成为应用系统开发的主流方法,但仍缺乏一种通用的访问控制机制。针对大型应用的安全性设计特点,文中提出了一个一般性的基于角色实现访问控制的对象式模型,提出角色登台（Ｒｏｌｅ－Ｐｌａｙｉｎｇ）以实现特定语境中激活角色的动态特征,针对分布式交互式应用的控制效率问题     

基于语义对象模型数据库设计技术的研究与实现

该文以设计民航空管信息处理系统(CAATIS)的数据库这一典型的例子为基础,讨论了采用语义对象模型建立数据模型的步骤,以及如何将语义对象模型转换到关系数据库的设计。     

基于对象的分层树状装配数据模型设计与实现

虚拟装配环境中一个关键问题是装配环境在代码层、数据存储层、几何模型层、物理模型层、显示层及装配对象层的数据一致性。该文通过对装配体的分析,讨论了分层树状数据模型的实现方法。方法使用基于面向对象的概念和树结构清晰而简洁地将装配体在多个层次上有机的连接起来,实现了装配环境中各种数据的统一,提高了虚拟装配环境中数据的存储、表达的有效性。     

基于FPGA的非线性预测控制器设计

对于非线性程度较高的复杂对象,非线性模型预测控制（NonlinearModelPredictiveControl,NMPC）是一种有效的控制策略。为了实现对这类对象的有效控制,设计了一种基于FPGA（FieldProgrammableGateArray）的非线性预测控制器,该嵌入式控制器具有灵活性和高适应性等特点,能够应用于工业现场控制。为了满足工业控制的可行性和实时性要求,提出了一种序贯二次规划（SQP）算法的改进算法,在FPGA有限的计算资源下,保证每个采样间隔内都能得到NMPC优化问题的可行解。经仿真实验证明,采用非线性预测控制器在计算速度和精度上都能达到较好的性能。