弹流润滑状态图及其在机械设计中的应用

在介绍了1977年Hooke修订的弹流理论润滑状态图之后,阐述了江苏工学院机械设计教研室提供的更佳的润滑状态图。应用该图探讨了齿轮传动在啮合区的油膜厚度分布规律,为齿轮的优化设计具有良好的润滑油膜提示了途径。     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

基于UML的数据采集测试用例生成研究

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少．     

基于DL-Safe规则的UML状态图形式化和一致性验证

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.     

软交换系统一般话务量模型的研究

分析了软交换的话务特性,建立了软交换的一般话务量模型,即分别考虑呼叫的到达服从Bernoulli分布、Poisson分布和Pascal分布的情况。在此基础上,给出了软交换系统排队过程的系统状态图。最后,推导出软交换一般话务量计算的数学公式,为软交换系统的分析与设计提供了理论上的依据。     

扩展UML状态图在状态时限描述中的应用

由于常规的UML状态图难以描述对象的状态时限，故需在建模时对其进行扩展。在概述UML状态图模型及扩展机制的基础上，以期刊编辑部稿件状态时限描述为例，探讨如何通过持续时间、最早开始时间、最早完成时间、最迟开始时间、最迟完成时间、总时差、自由时差等时间参数扩展UML状态图，以增强UML状态图描述对象活动及状态时限的能力。     

基于组件的软件系统的接口测试

软件测试在整个软件开发过程中占有非常重要的地位，现代软件系统越来越复杂，基于组件的软件工程方法为开发者提供了一个设计软件的方法。利用有限状态自动机可以描述组件各状态及状态间转换，程序执行状态图（PESC）及各种覆盖准则可用来描述程序执行状态及其变化，对于展开的状态图，由它来产生一棵测试树，该树包含了所有的测试路径。     

基于UML的面向对象的软件测试方法

分析UML状态图的组成、标准事件和嵌套、并发的优点,给出利用UML状态图产生测试用例的软件测试方法.该方法可以把状态的复杂度控制在和状态属性相关的线性级别,可以尽早发现与状态相关的错误.     

基于扩展ITCPN的UML状态图建模

在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止孤对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。     

双圈图的最大与最小特征值

讨论了双圈图的最大和最小特征值,给出了其最大特征值随圈上点的变化关系; 讨论了双圈图的最小特征值的下界; 当n≥18时双圈图中最小特征值达到最小的极图为S_n(3,3). 在此基础上给出了双圈图谱展的上界.     

Parsons图Tb（2,q）的正则次数

已知Ｐａｒｓｏｎｓ图Ｔｂ（ｄ，ｑ）都是正则图，给出了Ｐａｒｓｏｎｓ图Ｔｂ（２，ｑ）正则次数的上、下界；对于ｂ∈Ｆｐ的情形，给出了图Ｔｂ（２，ｑ）正则次数的判定定理，确定了部分Ｐａｒｓｏｎｓ图的正则次数；并且纠正了文［１］中的一个错误．     

章鱼图由Laplacian谱确定

如果与图G同谱的图都与G同构,则称图G由它的谱确定.重合星图K1,q的中心点和圈图Cn的一个点得到章鱼图.证明了这一类单圈图由Laplacian谱确定.     

关于跳跃图的一点注记

图G的跳跃图记作J(G),其定义为：V(J(G))=E(G),ef∈E(J(G))当且仅当e、f在G中不相邻,该文证明：若G=(V,E)是不含孤立点的图,阶P≥q,边数q≥5且△(G)≤q／2,则除一类特殊图外,J(G)是H-图．从而否定Gary Chartand等人提出的一个猜想．     

循环图的自同构群

本文给出了度数不大于5的无向循环图的自同构群的构造,讨论了具有高传递自同构群的有向循环图的性质。     

一类图簇HiSS＊（1）（q,n（rm＋1））伴随多项式的因式分解

通过研究图簇HiSS＊（1）（q,n（rm＋1））的伴随多项式的因式分解,证明了这类图簇补图的色等价图的结构定理。     

双星树的度距离研究

G=（V,E）表示顶点集为V,边集为E的所有的简单连通图的集合．本文研究了S（p,q）的度距离,得到D’（S（p,q））按照p（或q）的一个排序,并对它们的极值情况下的极图进行了刻画．     

一类图簇H_i~(SS*(1))(q,n(rm+1))伴随多项式的因式分解

通过研究图簇HiSS*(1)(q,n(rm+1))的伴随多项式的因式分解,证明了这类图簇补图的色等价图的结构定理。     

2p^2阶群的CI-性及应用

CI性是研究Cayley图同构问题的重要性质。设p为奇素数,证明了每个2p2阶群都是弱3-CI-群。应用该结果,给出了2p2阶连通3度Cayley图的分类。     

一个特殊六点七边图的图设计

六点七边图(不带孤立点的简单图)共有17个图，其中5个图已经解决．本文讨论了其余12个图中一个特殊图的图设计存在性问题，从而可以用类似的方法解决其余六点七边图(当顶点数为奇数且(7，G，1)-GD存在时)的图设计存在性问题．