国家自然科学基金(10161005)
- 作品数：7 被引量：22H指数：2
- 相关作者：张明义杨静文静华赖鑫生刘志明更多>>
- 相关机构：贵州大学贵州科学院联合国大学更多>>
- 发文基金：国家自然科学基金贵州省教育厅自然科学研究项目贵州省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 精化UML模型被引量：5
- 2007年
- 本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代码。用这种方法,我们可在软件设计的早期阶段发现不协调问题,减少生成代码后除错所产生的代价。
- 杨静张明义刘志明
- 关键词：用例图类图顺序图状态图精化
- 基于渗透原理迁移策略的并行遗传算法被引量：14
- 2005年
- 通过分析影响并行遗传算法性能的诸多因素,以避免人为设置迁移代频、迁移率及迁移方向为问题的突破口,以减少通信量提高算法效率为主旨,提出一种基于渗透原理的迁移策略(MigrationSchemeBasedOnPenetration,PMS).PMS迁移策略源于渗透模型,引入渗透阈值控制相邻子群体的迁移,应用渗透原理自适应地确定迁移代频、迁移率及迁移方向,从而解决人为设置迁移代频、迁移率及迁移方向的关键问题,有效降低通信代价,进而提高算法效率.文中首先依据有限群体马尔可夫链模型对基于渗透原理的迁移策略算法的可行性进行了探讨,然后从理论角度给出了迁移代频期望、迁移率期望及通信代价,同时用实例验证了PMS在降低通信代价方面的巨大潜力.
- 赖鑫生张明义
- 关键词：并行遗传算法马尔可夫链
- 基于整数小波变换的准无失真图像压缩技术
- 2006年
- 本文首先讨论了一般整数小波的构造方法，然后利用分块DPCM（Differential Pulse Code Modulation）与整数小波变换进行遥感图像的准无失真压缩。该方法可进行实时处理，硬件实现简单，可并行处理。实验结果表明，该方法是一种有效的遥感图像压缩方法。
- 杨静田金文张明义
- 关键词：图像压缩整数小波变换遥感图像
- UML模型的协调性检查
- 2006年
- 本文融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型,给出了这个需求模型的各个元素及相互间协调性检查的一种方法,这样,可以从软件开发的需求分析阶段检查模型的协调性,减少开发成本,最后再从协调的需求模型生成代码。
- 杨静张明义
- 关键词：UML用例图类图顺序图状态图
- CMP1协议的符号模型检验分析
- 2005年
- 提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.
- 张梅文静华杨滋荣李祥
- 关键词：电子商务协议符号模型检测
- H-KKM映像及其抽象拟凸(凹)性被引量：2
- 2007年
- 对一组H-KKM映象的情形推广了KKM定理,并讨论了取值于Riesz空间的映像的各种抽象凸(凹)概念与H-KKM映像、广义H-KKM映像的关系,还用所得结果对极大极小不等式及鞍点问题进行了研究.
- 杨静汪慎文张明义
- 关键词：KKM定理RIESZ空间极大极小不等式鞍点问题
- 一个新的电子发票协议及其公平性分析被引量：1
- 2005年
- 在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.
- 李志敏文静华
- 关键词：逻辑分析
