|
| - 基于集成干涉矩阵的蚁群装配序列规划
- 作者：彭涛 李世其 王峻峰 方建新 来源期刊：计算机科学 年卷号：2010,37(4).-179-182,204
- 摘要：针对装配序列规划问题，构建了面向装配的蚁群算法。利用有向图进行产品的装配建模，有效地表达了装配零件之间的接触以及优先关系。探讨了装配干涉矩阵的形式和性质，提出了集成干涉矩阵的概念和变换方法，采用集成干涉矩阵以及工具列表矩阵来表达模型的基本装配信息。分析了基于干涉矩阵的可行方向推导过程、装配零件的状态转移概率以及蚁群...
-
- 新基于集成干涉矩阵的蚁群装配序列规划
- 作者：彭涛 李世其 王峻峰 方建新 来源期刊：计算机科学 年卷号：2010,37(4).-179-182,204
- 摘要：针对装配序列规划问题，构建了面向装配的蚁群算法。利用有向图进行产品的装配建模，有效地表达了装配零件之间的接触以及优先关系。探讨了装配干涉矩阵的形式和性质，提出了集成干涉矩阵的概念和变换方法，采用集成干涉矩阵以及工具列表矩阵来表达模型的基本装配信息。分析了基于干涉矩阵的可行方向推导过程、装配零件的状态转移概率以及蚁群...
-
- 新一种基于模型检测的二进制程序脆弱性分析框架
- 作者：王春雷[1,2] 刘强[2] 赵刚[1,... 来源期刊：计算机科学 年卷号：2010,37(4).-120-124
- 摘要：针对二进制程序脆弱性分析的实际需求，提出了一种基于模型检测的二进制程序脆弱性分析框架。首先定义了二进制程序的抽象模型，描述了基于有限状态自动机的软件脆弱性形式化表示和基于事件系统的软件安全属性表示方法。在此基础上，提出了基于模型检测的脆弱性分析过程和算法。根据该分析框架，设计并实现了二进制程序脆弱性分析工具原型。通...
-
- 一种基于模型检测的二进制程序脆弱性分析框架
- 作者：王春雷[1,2] 刘强[2] 赵刚[1,... 来源期刊：计算机科学 年卷号：2010,37(4).-120-124
- 摘要：针对二进制程序脆弱性分析的实际需求，提出了一种基于模型检测的二进制程序脆弱性分析框架。首先定义了二进制程序的抽象模型，描述了基于有限状态自动机的软件脆弱性形式化表示和基于事件系统的软件安全属性表示方法。在此基础上，提出了基于模型检测的脆弱性分析过程和算法。根据该分析框架，设计并实现了二进制程序脆弱性分析工具原型。通...
-
- 新数控车床刀塔换刀PLC程序编制的技术关键
- 作者：付芩 来源期刊：机床电器 年卷号：2010,37(4).-10-11,14
- 摘要：本文介绍了CNC车床换刀的三种工作方式以及每种换刀工作方式的PLC程序的编制要点,T指令完成条件的确定方法。同时介绍了液压卡盘和液压尾顶安全工作模式的PLC程序编程方法。
-
|