基于Petri网和定制技术的油田档案管理系统设计

针对油田数字化档案馆中的系统模块化程度低及灵活性差等问题, 提出基于 Petri 网和组件技术的功能定制开发方法。 采用面向对象着色 Petri 网实现档案管理的层次化建模, 并添加复位弧优化档案调用流程。利用关联矩阵和可达图及相关理论, 对模型进行合理性分析。 通过模型提取组件, 建立组件信息库。 利用信息库结合用户定制的业务逻辑, 实现系统对组件的有序调用, 完成业务定制功能。 应用结果表明, 该系统定制灵活、 适应性强、 档案调用速度快, 满足实际需要。     

碱性化学着色过程中不锈钢电势的测定

着重介绍了不同温度时碱性着色过程中不锈钢电势与着色时间的关系,并讨论了温度和添加剂亚硫酸钠对碱性着色过程的影响．     

树上的二人对策着色

讨论了放松的二人对策着色,利用分裂顶点的方法,给出了Alice的获胜对策,从而得出树族的放松度为3的对策色数为2.     

基于用户需求和等待时间的改进型频谱分配算法

通过对最新的图论着色频谱分配算法进行分析,提出了一种基于用户需求和等待时间的改进型频谱分配算法。解决了频谱资源紧张情况下用户等待时间太长的问题。使认知用户机会均等地使用频谱资源。经过频谱复用,更好地满足了用户频谱需求。仿真结果表明该算法是有效的,提出的算法提高了频谱利用率并且保证了系统公平性。     

整数距离图G(Dm,k,3)(k≥3)的点荫度

整数距离图G(D)以全体整数为顶点集,顶点u,v相邻当且仅当|u-v|∈D,其中D是一个正整数集。对于m≥4k,k≥3,设Dm,k,3={1,2,…,m}＼{k,2k,3k},得到了G(Dm,k,3)的点荫度的上界和下界并决定了它在某些m上的确切值。     

预李-Yamaguti着色代数与着色O-算子

引入了预李-Yamaguti着色代数的概念,给出了李-Yamaguti着色代数的关于表示空间的着色O-算子,讨论其与预李-Yamaguti着色代数的关系,证明了一个预李-Yamaguti着色代数可以得到一个李-Yamaguti着色代数和一个它自身上的表示。     

最大度较小的图的线性着色

本文研究了最大度较小的图的线性着色问题。通过分析未着色顶点的邻近顶点的着色情况,扩充图的部分线性着色,利用数学归纳法证明了△（G）≤4的非4正则图G的线性色数有lc（G）≤7和△（G）≤5的非5正则图G的线性色数有lc（G）≤13。     

基于非线性偏微分方程的图像着色

考虑到连通性原理和各向异性扩散,改进提出了新颖的非线性偏微分方程模型,改进的算法满足了视觉连通性原理,对图像中的细节也有较好的修复.     

基于图论法的课程安排模型

随着我国高校不断的整合发展,各高校校区分散化程度明显提高.分散化的校区给大学管理提出了诸多新的问题,这其中就包括分散化校区的课程安排问题.根据高校校区分散化的的实际情况,在简化模型的情况下,利用运筹学中分层规划的思想将问题逐步分解,通过图论法把排课问题转化为二分图的边着色问题,并使用扩展的边着色理论,从教师、班级、教室3个角度出发,用匹配限制着色来解决课程安排问题.     

对地观测小卫星星座长期任务规划求解技术

针对小卫星星座的成像特点和约束特性,建立长期任务规划数学模型。将该模型分解为初始轨道分配和冲突消解两阶段进行求解：首先将初始轨道分配问题映射为图的k-GCP模型,并提出了贪婪顶点序列着色算法进行分配;然后采用区间变量表示成像时间,根据区间变量间的时间关系对影响任务拓扑排序,设计了一种基于深度优先搜索的任务规划算法进行冲突消解。算例表明,该方法能够在满足时效性的前提下解决小卫星星座的长期任务规划问题。