| 超大变量多值单边逻辑函数优化算法的研究 |
| |
| 引用本文： | 邱建林,王波,刘维富.超大变量多值单边逻辑函数优化算法的研究[J].计算机研究与发展,2007,44(Z1):173-177. |
| |
| 作者姓名： | 邱建林 王波 刘维富 |
| |
| 作者单位： | 南通大学计算机科学与技术学院,南通,226019 |
| |
| 基金项目： | 江苏省自然科学基金
,
江苏省高校自然科学基金
,
南通市应用研究计划基金 |
| |
| 摘 要： | 单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.
|
| 关 键 词： | 多输入多输出 单边逻辑函数 逻辑优化 算法 软件 输出变量 单边函数 逻辑函数 优化算法 研究 Functions Logic Variable Optimization Algorithm 因子值 情况 无关项 时间开销 存储空间 软件系统 性能 测试结果 验证与测试 计算机 分析 |
| 修稿时间： | 2006年11月16 |
Research of Optimization Algorithm for Huge Variable Mutil-Valued Unate Logic Functions |
| |
| Qiu Jianlin,Wang Bo,Liu Weifu.Research of Optimization Algorithm for Huge Variable Mutil-Valued Unate Logic Functions[J].Journal of Computer Research and Development,2007,44(Z1):173-177. |
| |
| Authors: | Qiu Jianlin Wang Bo Liu Weifu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
