陈国勋
- 作品数：13 被引量：4H指数：1
- 供职机构：郑州大学信息工程学院更多>>
- 发文基金：河南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理理学文化科学更多>>
- 程序分析与广义归结
- 1990年
- 本文提出使程序分析的机械化效率得以提高的一种途径——广义归结,并证明了这一方法的正确性。
- 陈国勋
- 基于图匹配的多处理机调度算法
- 2003年
- 本文对具有高通讯延迟的多处理机系统(机群系统)上的任务调度算法进行了研究,与以往算法主要考虑任务 图的关键路径不同,本文给出了任务图的调度与其偶图匹配的对应关系,并由此提出了一种新的启发式算法.通过模拟 试验显示本算法具有较好的调度效果.
- 周向东林澜陈国勋施伯乐
- 关键词：图匹配多处理机任务调度算法图论启发式算法
- IDF算法--ID3算法的模糊化改进
- 糊集理论与ＩＤ３算法相结合，引入了模糊特性描述表的概念，克服了ＩＤ３中特性取值较粗糙以及容错能力差的缺点。
- 高晖陈国勋
- 关键词：ID3算法
- IDF算法——ID3算法的模糊化改进
- 将模糊集理论与ID3算法相结合,引入了模糊特性描述表的概念,克服了ID3中特性取值较粗糙以及容错能力差的缺点。
- 高晖陈国勋
- 关键词：ID3算法
- 文献传递
- 决策支持系统的模型与结构
- 首先对ＤＦＥ模型在ＤＳＳ中的应用进行了讨论，接着对通常评分模型的合理性予以证明，最后指出辩证咨询系统应作为知识库的一个部分。
- 陈国勋陈斌
- 关键词：决策支持系统
- F-时态命题逻辑中的归结原理
- 在 Fuzzy 模态与时态逻辑领域中,至今做的工作不太多．由于 Fuzzy 数学及计算机科学的日益发展,使之更多地需要对 Fuzzy 模态与时态逻辑予以讨论．我们在[1]中讨论了 Fuzzy 模态公式的归约问题,它表明在...
- 陈国勋陈斌
- 文献传递
- 不确定程序的公理语义
- 1994年
- 利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．
- 陈国勋
- 关键词：公理语义
- 存储压缩
- 1990年
- 有效地管理与使用计算机的存储空间是计算机科学所研究的重要课题之一,显然,进行存储压缩无论是在理论上还是在实践上都是有意义的。本文借助阈值逻辑理论,利用最大分离及矛盾点的最小删除等方法提出对欲输入的数据进行存储压缩的技术,并指出其压缩比为 2~n/2^(1/2)(2~n/n)^(1/2)n^2由此可看出,当数据越多其数据压缩比越高(如n=29时为112)。无疑这对于需永久性保留资料且一直不断增加其数据的业务部门提供了一个解决问题的途径。
- 陈国勋
- 关键词：计算机科学二进制数开关函数超平面气象图
- 决策支持系统理论在证券交易监控系统中的应用被引量：4
- 1999年
- 分析了决策支持系统理论在证券监控系统中应用的必要性和迫切性，并系统地论述了所设计的具有决策支持能力的证券交易监控系统的功能框架与逻辑结构。
- 陈国勋陈斌陈楠
- 关键词：决策支持系统证券交易监控系统人机系统
- Fuzzy模态公式的归约
- 本文在[1]与[2]的基础上引入Fuzzy模态词的定义,进而在Fuzzy等价关系的前提下计论Fuzzy模态公式的归约问题。
- 陈国勋闫家杰
- 关键词：模态逻辑
