一种基于范畴论方法的形式语言模型

针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.     

关于Institution范畴式定义的注记

该文构造了范畴Ｔｒｅｌ和（１ｓｅｔ／Ｕ）＾ＯＰ之间的同构，从而证明了Ｉｎｓｔｉｔｕｔｉｏｎ的两个范畴式定义的一致性。     

基于排队论的并发查询系统超载模型

在排队论的基础上,根据综合查询系统使用数据库服务器的并发特性,建立了多服务器混合制M/M/S/C排队模型;并考虑服务器的内存有限,在其概率不会超过指定值的约束下建立了优化模型.最后对系统进行仿真,并对仿真结果进行了分析和评价.     

并发系统基本模型及其分析

本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网,ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等,     

分布对象中间件并发模型研究

并发模型对于分布对象中间件具有十分重要的意义．分析了自主研发的分布对象中间件产品中的两级并发模型：通讯级并发和请求级并发．然后讨论了并发模型的模式和使用．     

基于概念事务模型的分布式并发控制方法

在提出描述事务系统的“概念事务模型”的概念和建造方法后,给出一种基于概念事务模型的分布式并发控制方法．这种方法仅对能够导致冲突的事务施以全局同步,既简化了分布式并发控制机制,又提高了系统的并行度     

并发事务的一种操作模型

本文定义了一种描述分布式数据系统并发事务行为的操作模型，以此为基础讨论了并发事务的调度，并享模式的Ｌｏｃｋｉｎｇ机制，死锁等问题。     

并发计算的元模拟：Ⅴ.并发模型间的关系

讨论ｐｉ演算和ｃｈｉ演算之间的关系问题，通过构造从ｐｉ演算到ｃｈｉ演算的翻译，证明了ｃｈｉ演算的表达能力不亚于ｐｉ演算。该翻译保持操作性质和开互模拟等价的代数性质。     

形式语言的范畴计算模型研究

分析了传统计算模型处理不确定性问题的局限性,并应用范畴理论建立形式语言的范畴计算模型,以双函子为工具深入研究了字范畴模型与形式文法范畴模型之间象元的关联,有效解决了形式语言识别的不确定性计算问题,为计算模型处理不确定性问题提供了一种新的思路.     

反应式系统的并发模型（II）：程序语言模型

文［１］提出了反应式系统的一种抽象并发计算模型;本文在此基础上给出反应式系统并发描述的程序语言模型,重点阐述和剖析基于共享变量模型的两种语言－转换图和文本语言,分别给出它们的语法及进程间通讯机制的描述,并建立抽象计算模型结构到这两种语言结构上的映射。     

真并发等价性下的流程模型转换方法

针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.     

Clustering Categorical Data：A Cluster Ensemble Approach

Clustering categorical data, an integral part of data mining, has attracted much attention recently. In this paper, the authors formally define the categorical data clustering problem as an optimization problem from the viewpoint of cluster ensemble, and apply cluster ensemble approach for clustering categorical data. Experimental results on real datasets show that better clustering accuracy can be obtained by comparing with existing categorical data clustering algorithms.     

计算机支持的协同工作并发控制策略

基于ＣＳＣＷ中复制结构的支持结构,应用模型,操作执行次序和失序纠正等方面的分析,提出了一种适用于复制结构的ＣＳＣＷ并发控制框架模型,采用向量时间方法,在规定操作执行次序方面定义了一种新的字典全序,并设计了通用失序纠正策略。此策略为达到执行操作集合结果的一致性提供了一种有效方法,为并发控制框架模型提供了一种算法基础。     

支持复杂应用的工作流并发控制机制

针对复杂应用领域工作流的特点,提出了一种确保工作流并发执行正确性的方法·首先定义任务冲突,冲突类别,同名共享锁和同名互斥锁的概念,而后给出了一种基于这些概念扩展的工作流并发控制机制·在这种并发调度机制中,由于充分考虑了不同工作流执行的并发控制,同一工作流不同实例之间执行的并发控制等工作流并发特点,使该并发机制能够确保复杂应用环境中多工作流多实例并发执行的正确性·     

一个新的最优模糊生产存储模型的解法

针对最优模糊生产存储模型,利用模糊最优化问题转化为双目标最优化问题求解方法,把模糊生产存储模型变为双目标最优化模型求解.实例验证,获得了较好的结果.     

基于统计形状模型的面部特征提取随机方法

针对在复杂背景和部分遮挡情况下提取面部特征轮廓的困难，提出了一种基于统计模型的随机方法．该方法将面部特征轮廓作为动态随机过程的状态序列，并应用统计方法建立人脸整体形状模型和特征形状模型，分别构造面部特征间和面部特征内控制点样本的预测方程，最后利用序列蒙特卡洛方法估计随机状态．该方法给出了面部特征提取的随机描述，打破了确定性方法对单高斯分布和轮廓形状线性变化的依赖性，实现了轮廓的准确可靠提取．对100幅正面人脸图像的实验结果表明，轮廓定位相对误差仅为2．7％．对标准人脸检测数据库中传统算法很难处理的复杂背景和部分遮挡情况，该方法能够正确定位面部特征轮廓．     

ARTs-CS数据字典的并发控制技术

提出了通过将事务划分为不同的数据字典事务类型,分别采用不同的事务并发控制策略的并发控制技术。减少了事务因为对数据字典进行操作而需要进行全网络封锁的概率。在ARTs-CS原型系统上实现了该并发控制技术。模拟实现表明,并发控制技术能有效地提高整个系统的效率。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

应用线程和队列技术提高Access数据库的并发性能

Access数据库使用和维护比较简单方便，在中小型MIS系统应用比较广泛；但是由于Access数据库的并发性较差，使它的应用受到了一定的限制，文章通过对线程和队列技术的研究，提出并在考试系统中使用了线程和队列的组合技术，使Access数据库的并发性能有了较大的提高．     

面向对象分布事务的并发控制调度

使用消息队列和多线程,以页为封锁单元,给出一个基于工作流管理系统的面向对象分布事务的并发控制调度算法.为确保分布事务整体的独立性,引入家族ID的概念,并对以前的算法进行了改进.