抽象数据类型的代数方法研究

抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是一个Σ一计算结构的同构类,从而在基本项 T(Σ)上的等价概念基础上,得出了抽象数据类型与有关计算结构等价的一系列结论.     

抽象数据类型的面向对象特性

本文从面向对象程序设计和数据结构抽象数据类型概念出发,阐述了抽象数据类型的面向特性,结合具体例子和面向对象程序设计的C＋＋语言,介绍了抽象数据类型的高级语言描述。     

通信协议形式验证中的Petri网方法

Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例.     

基于不同形式化模型的网络通信协议验证技术的分析与比较

协议是数据通信、计算机网络等分布式系统的灵魂。协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术。     

多媒体OCPN同步模型的研究及改进

Petri网作为一种描述系统行为的形式化工具，尤其擅长描述多媒体的同步问题，由此出现了诸如OCPN等多媒体同步模型，然而，这些模型仅能描述多媒体之间的合成同步，对于解决分布式环境下的多媒体同步问题却显得不足。本文提出了一个分布式交互多媒体同步模型，该模型可以较好的解决分布式多媒体系统的交互与同步问题。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件／事件（C／E）系统建立半双工通信协模型,并应用Petri网工具对协议模型进行分析,使用电子设计自动化（EDA）技术,对基于C／E系统的协议模型进行高速硬件描述语言（VHDL）程序设计,并由现场可编程门阵列（FPGA）器件实现该模型,为协议的验证和实现提供了一种方法。     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

抽象数据类型的极大代数语义

传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。     

数据抽象和抽象数据类型在OOP中的作用

本文以面向对象程序设计的根本特点为主，论述了作为其重要特性的数据抽象和抽象数据类型并该特性在面向对象程序设计中的应用。     

数据流挖掘研究

数据流挖掘技术是数据挖掘领域的新研究方向之一。本文介绍了数据流基本特点以及数据流模型的基础上,对流行的数据流处理技术和现有数据流挖掘算法进行了总结,并进一步提出了数据流挖掘技术的研究方向和前景。     

新经济形势下汇率波动会我国出口的影响——基于面板数据的实证检验

我国在2005年汇率改革后,进一步放开了汇率波动幅度.2007年爆发的全球金融危机更是加剧了汇率震荡.选取2001年-2008年间中国与12个主要贸易出口国或地区的面板数据,分为两个对称时段,运用经典引力模型实证检验了新经济形势下汇率波动对于出口的影响.研究发现,在2001年到2004年时段,汇率波动对出口的影响并不显著,但从2005年到2008年的新经济状况下,汇率波动的增加明显抑制了出口.因此,建议在金融危机新背景下,政府应加强汇率管制以求稳定,增强本国出口商的信心,暂时不宜进一步放开汇率.     

异构时空数据的转换机制研究

目前时空模型难以兼顾时空语义表达与计算机实现困难的现状,形成不同部门、不同应用、不同时期的时空数据在语义、模型、结构等方面的差异,阻碍了时空数据之间的相互转换,限制了历史数据在预测预报等领域重要作用的发挥.在总结时空数据模型特点的基础上,试图以一个崭新的视角分析时空模型的发展历程;在此基础上,采用图论这一通用数据结构与数学描述方法.构建具有完备性的时空数据描述模型;探讨由此引发的异构时空数据的转换机制.最后,在异构时空模型之间的转换机制中分析了该模型的特点.     

两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

背景关联世界中抽象数据类型的关联性

基于背景关联世界理论,本文提出了认识模式中抽象数据类型的关联等价与关联性扩充的概念。并认为关联等价揭示了思维活动中的模式识别过程和再认现象;关联性扩充则揭示了科学的发现过程;以及关联性扩充思想在计算机软件工程中的应用。     

数字化城市的数据源分析

本漫谈了数字化城市与数字地球的关系,论述数字化城市的数据内容、数据类型、数据采集的方法,分析了目前数据生产中存在的不足,提出了数据生产中应考虑的几个问题。