康慕宁
- 作品数：61 被引量：224H指数：8
- 供职机构：西北工业大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划西北工业大学基础研究基金更多>>
- 相关领域：自动化与计算机技术环境科学与工程电子电信文化科学更多>>
- 基于LVM的容灾系统传输协议的实现被引量：7
- 2005年
- 本文首先介绍了作者基于Linux的逻辑卷管理系统(LVM)开发的一个数据容灾系统:逻辑卷复制器(LogicVolumeReplicator,简称为LVR)。传输协议是这个系统中对它的性能有至关重要影响的组成部分。我们从协议层次,连接通路,报文设计三个方面对它进行了讨论。我们围绕实现错误状态恢复、保持数据的一致性,以及接管(failover)和恢复(failback)这三个容灾系统特性分析了这个协议的实现流程。最后,我们给出了这个协议的评价。
- 石维盛康慕宁王彦龙董欢庆
- 关键词：容灾系统传输协议一致性
- 基于背景更替和动态扩展滤波的目标提取方法被引量：3
- 2010年
- 减背景法是计算机视觉领域常用的前景目标获取方法,减背景法的关键是背景模型的建立和更新以及减除背景后的噪声滤除。基于统计的背景建模方法计算量都比较大,背景更替方法建模避免了大量的计算。动态扩展滤波法是一种对前景目标信息破坏程度低,对噪声具有很好滤出效果的滤波方法。在摄像头静止的情况下,利用背景更替的背景建模及更新方法结合动态扩展滤波能够提取出清晰的前景目标。
- 王双林康慕宁邓正宏李建文
- 软件教育新形势下的编译原理课程体系改革被引量：5
- 2011年
- 现在编译课程的教学对象已经从面向编译器设计者转变为面向软件技术人员,对编译技术相关课程的目标和教学内容提出了新的要求。为此,文章提出一种面向高水平软件人才培养的新的编译技术教学体系,内容涵盖软件系统核心机制、软件基础理论、语言及其分析技能等多个层面和阶段的培养内容。
- 林奕康慕宁
- 关键词：编译器课程体系
- 基于动态多叉树的大气环境质量评价方法的研究被引量：2
- 2007年
- 提出将动态多叉树算法应用于大气环境质量评价系统中,实现知识增值和继承。当系统扩充时,只需对增加的模式类别或训练样本构建新的分类器,其余的分类器可保持不变,从而很好地解决现有评价识别系统在学时新知识会破坏已有知识,需要重新学习的问题。结果表明利用动态多叉树算法进行大气环境质量评价的研究具有传统方法无法比拟的优势。
- 张亚娟康慕宁邓正宏范炜
- 关键词：大气环境质量评价地理信息系统模式识别
- 染色网位置不变量与循环不变式断言研究
- 康慕宁
- 关键词：计算机网络PETRI网
- 基于移动Agent嵌入式移动数据库系统的研究被引量：10
- 2007年
- 介绍嵌入式移动数据库的概念及特点,针对嵌入式移动数据库在用户规模巨大时出现的不足,提出将移动代理应用于嵌入式移动数据库。接着分析了移动代理的特点和移动代理应用于嵌入式移动数据库的好处,最后详细讨论了基于移动代理的嵌入式移动数据库系统模型、系统结构和系统实现。
- 张亚娟康慕宁邓正宏张鹏
- 关键词：移动计算嵌入式系统嵌入式移动数据库移动代理系统结构
- 使用Command设计模式实现编辑器的RedoUndo被引量：3
- 2010年
- 设计模式是对于共性问题成功的解决方案,采用设计模式可以减少系统设计的复杂度,提高系统开发的效率[1]。Command模式是常用的23种设计模式中的一种。Command模式是将"动作"进行抽象,将与动作有关的所有信息进行封装,从而实现调用操作的对象与知道如何实现该操作的对象解耦。RedoUndo是现代编译器中必不可少的一种工具,可以提高工作效率。详细探讨了如何使用Command模式实现RedoUndo以及各种扩展。
- 侯军伟康慕宁
- 关键词：设计模式COMMAND模式
- 基于多Agent的智能决策系统在工控领域的应用
- 2006年
- Agent是人工智能领域的一个重要分支,多Agent的智能决策系统是当今决策系统的一个新的研究方向。文章在讨论多Agent技术、辅助决策技术的基础上,提出了多Agent的智能决策系统的体系结构。基于本文提出的MAS体系结构,将回归预测分析、判别分析等辅助决策模型应用到火力发电的机组效能分析中,从而提高了电厂的工作效率。
- 樊蓉康慕宁邓正宏
- 关键词：多AGENT智能决策支持C/S模式决策支持系统
- 基于CAS的代码访问控制研究与实现
- 2009年
- 对于以组件为中心的软件世界,其安全模型不同于现有的基于用户的安全访问。文章针对网络环境下代码安全问题,阐述了.NET环境下安全的实现机理,研究和分析了CAS和属性的原理,设计了通用授权访问控制模型,实现了基于自定义属性的代码层授权访问控制,保证了应用系统的安全性和灵活性。
- 刘蕊康慕宁邓正宏
- 关键词：访问控制授权
- 自修改Petri网及其P-线性不变量
- 1994年
- 自修改网是７０年代末问世的一种拓广的Ｐｅｔｒｉ网，但迄今为止自修改网还没有一个规范的数学模型．本文米用了矩阵及向量的方式对自修改网的模型、点火规则以及其位置线性不变量进行了规范的数学定义；并从可达集的角度讨论了位置／转移网与自修改网之间的关系；通过求解齐次线性方程组族，给出了求位置线性不变量的一个充分必要条件．最后，通过一个实例说明了其优于位置／转移网之处．
- 康慕宁
- 关键词：PETRI网
