-
题名一种故障树向BDD的转化方法
被引量：8
- 1
-
-
作者
段珊
张修如
刘树锟
王金娟
-
机构
湖南涉外经济学院计算机学部
中南大学信息科学与工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第21期51-54,共4页
-
文摘
针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的(LNPC)方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数。算法分析与实验结果表明该方法对不同的故障树转化是有效的。
-
关键词
故障树
二元决策树
排序
置换
-
Keywords
fault tree
Binary Decision Diagram（BDD）
sort
replacement
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于可变长工序编码的再制造生产调度优化方法
被引量：7
- 2
-
-
作者
张红宇
高阳
马华
-
机构
中南大学商学院
湖南涉外经济学院计算机学部
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第3期871-873,882,共4页
-
基金
国家自然科学基金资助项目(70572060)
国家教育部高等学校博士点专项科研基金资助项目(20040533057)
-
文摘
回收品质量、数量以及拆卸过程中的不确定性因素使再制造生产调度问题更加复杂。针对工件加工路径的可变性特点,建立了再制造生产中的job-shop调度模型,提出了一种基于可变长工序编码方法的改进遗传算法,设计了异常染色体的识别和重构方法,以及相应的遗传算子。在参数矩阵的指导下,该算法可以实现随机工序数目和随机工序顺序情况下再制造生产调度问题的优化求解。仿真实验证明了该算法的有效性和可行性。
-
关键词
再制造
生产调度
遗传算法
可变长工序编码
-
Keywords
remanufacturing
production scheduling
genetic algorithm
variable-length operation encode
-
分类号
TP278
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名面向用户属性的RBAC模型
被引量：14
- 3
-
-
作者
唐金鹏
李玲琳
杨路明
-
机构
湖南涉外经济学院计算机科学学部
湖南涉外经济学院电气与信息工程学部
中南大学信息科学与工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第10期2184-2186,2195,共4页
-
基金
湖南省教育厅科学研究基金项目(09C598)
-
文摘
在传统的RBAC模型中,用户与角色间的关系是静态对应的。针对这一缺点,提出了一种面向用户属性的RBAC模型,在原有RBAC模型的基础上添加了属性集合和约束。在该模型中,根据用户属性动态构造用户与角色的关系,重点讨论了该模型的特征与约束,最后说明了该模型的访问控制实现过程。与普通RBAC模型相比,该模型可以动态根据用户属性分配角色。
-
关键词
访问控制
基于角色访问控制
用户属性
模型
约束
-
Keywords
access control
RBAC
user attribute
model
constraints
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名作战仿真系统中的模型管理方法
被引量：3
- 4
-
-
作者
刘宏芳
彭浩
郭连义
-
机构
湖南涉外经济学院计算机学部
-
出处
《兵工自动化》
2011年第1期28-31,共4页
-
基金
湖南省教育厅资助科研项目(09C597)
-
文摘
针对传统模型管理方法的不足,对作战仿真系统的模型管理方法进行研究。把仿真系统中的模型分解为逻辑模型和实体模型两大类型,利用关系数据库和XML相结合的方法存储模型,探讨了仿真系统中模型的分类方法、模型的注册与存储、模型编码、模型的一致性检查,以及基于面向对象方法的模型的建立等关键技术,构建了一个管理平台并进行了实际应用,证明了该方法的有效性。
-
关键词
作战仿真
模型
分类
编码
一致性检查
-
Keywords
battle simulation
model
classify
code
check of coherence
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
C934
[经济管理—管理学]
-
-
题名ReMIS:面向再制造信息共享的P2P网络模型
被引量：1
- 5
-
-
作者
高阳
张红宇
马华
-
机构
中南大学商学院
湖南涉外经济学院计算机学部
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第10期3774-3777,共4页
-
基金
国家自然科学基金资助项目(70572060)
教育部高等学校博士点专项科研基金资助项目(20040533057)
-
文摘
针对当前再制造生产的特点和实际需求,设计了一种面向再制造信息共享的P2P网络模型ReMIS。为适应再制造网络的高度动态性,模型采用基于自然簇和主题簇构成的两层混合结构,上层由主题对等体组成结构化的主题网络,下层由普通对等体组成P2P网络。ReMIS采用基于主题簇的资源分类和检索机制,能够确保在处理海量再制造资源信息的检索请求时具有较高的路由性能和查询性能,并能减少再制造生产中的词汇语义冲突;同时,发布/订阅机制的应用使再制造企业获取实时信息成为可能。相关性能分析表明,ReMIS网络是高效可行的,可以适应再制造生产系统的实际需求。
-
关键词
ReMIS
P2P网络模型
再制造
信息共享
-
Keywords
ReMIS
P2P networks
remanufaeturing
information sharing
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名面向领域特征聚类的构件组装优化方法
被引量：4
- 6
-
-
作者
马华
-
机构
湖南涉外经济学院计算机学部
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第21期197-200,共4页
-
基金
湖南省教育厅资助科研项目(No.07C425)
湖南省教育科学十一五规划课题(No.XJK08CXJ001)~~
-
文摘
Internet环境的开放、动态和难控等特点,使网构软件的构件组装问题变得十分复杂。提出了一种面向领域特征聚类的构件组装优化方法。通过引入本体分类和相似度比较方法,设计了一种基于划分的聚类算法,以实现基于领域特征的精确的构件聚类。通过对构件和链路的多维QoS指标的换算,给出了应用动态规划方法求解面向领域特征簇的构件组装全局最优解的算法实现。算法分析和实验仿真表明了该方法的有效性和可行性。
-
关键词
构件组装
领域特征
聚类
动态规划
P2P
-
Keywords
component composition
domain feature
clustering
dynamic programming
Peer-to-Peer（P2P）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于合约的程序不变量动态检测模型研究
被引量：1
- 7
-
-
作者
刘树锟
阳小华
-
机构
湖南涉外经济学院计算机学部
南华大学计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第23期6177-6180,共4页
-
基金
湖南省教育厅基金项目(08C516)
湖南省自然科学基金项目(05JJ30117)。
-
文摘
讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。
-
关键词
程序不变量
合约
关联属性
动态发现
模型
-
Keywords
program invariant
contract
associate-attribute
dynamically discovering
model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Shark的工作流日志迁移研究及其实现
- 8
-
-
作者
马华
张红宇
陈振
-
机构
湖南涉外经济学院计算机学部
中南大学商学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第22期5917-5920,共4页
-
基金
湖南省教育厅科学研究基金项目(07C425)
湖南省教育科学十一五规划基金项目(XJK06CXJ027)
-
文摘
工作流日志数据中可能记录着非常有价值的信息,它们对于流程优化和工作流挖掘具有重要意义。然而,传统工作流系统缺乏对工作流日志迁移的有效支持。基于对工作流日志数据的分析,提出了一种支持日志迁移的分布式工作流系统框架。该框架通过工作流实例数据与历史数据的分离,以实现工作流日志数据的分布式管理。基于开源工作流Shark,通过扩展WfMC相关接口,给出了该框架的实现方案。
-
关键词
工作流日志
数据迁移
SHARK
分布式管理
工作流系统
-
Keywords
workflow logs
data migration
Shark
distributed management
workflow management system
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名传感器网络多密钥空间q复合密钥管理方案
- 9
-
-
作者
杨顺
李乔良
龙仙爱
-
机构
湖南涉外经济学院计算机学部
湖南大学计算机与通信学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第28期94-97,共4页
-
基金
湖南省高等学校科学研究项目(No.09C591)
-
文摘
无线传感器网络密钥管理研究,目前大都着眼于平面拓扑结构。但随着无线传感器网络规模日渐扩大,层次拓扑结构正成为主导。为此,提出了一种适用于分层无线传感器网络的多密钥空间q复合密钥预分配方案。通过安全连通性和节点抗捕获性分析表明该方案可在保证节点间安全连通概率的基础上,提高网络的安全阈值,提升网络的抗攻击能力,增加网络安全性。
-
关键词
无线传感器网络
密钥管理
多密钥空间
q复合预分配
-
Keywords
wireless sensor network
key management
multiple key spaces
q-composite predistribution
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名带数组和循环的路径测试数据自动生成技术研究
- 10
-
-
作者
陈继锋
-
机构
湖南涉外经济学院计算机学部
-
出处
《计算机科学》
CSCD
北大核心
2008年第7期274-276,共3页
-
基金
国家863高技术研究发展计划基金项目(2003AA1Z2610)
湖南省教育厅资助科研项目(07A034)
-
文摘
提出了一种新的带数组和循环的路径测试数据自动生成的方法。该方法只考虑数组中与路径中谓词函数有关的数组元素,将循环中的同一变量名在每一次执行时用不同的变量参数来替代,从而较好地解决了路径中数组循环有效处理的问题。为有效、简单地自动生成测试数据,建立了谓词函数关于输入变量的线性约束系统。当谓词函数为线性表达式时,不需要计算其线性算术表示,仅计算非线性函数谓词函数的线性算术表示,且不需计算路径中的谓词片和确定输入依赖集,以及构造谓词函数关于输入变量增量的线性约束系统。理论分析和实例验证该方法具有简单、直观、有效且计算量小等特点。
-
关键词
数组和循环
测试数据
谓词函数
线性算术表示
-
Keywords
Arrays and loops,Test data, Predicate function, Linear arithmetic representation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
