计算机辅助气动系统逻辑设计的研究

计算机辅助气动系统逻辑设计的研究刘永贤，张瑞金，黄雨华对计算机辅助气动系统逻辑设计进行了深入研究，选择了逻辑综合的方法作为计算机辅助气动系统逻。辑设计的基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来...     

基于案例源证据推理法的城市安全大数据治理能力成熟度评价

为了系统客观地评价智慧城市转型下城市公共安全的大数据治理水平,提出了基于案例源证据推理的城市安全大数据治理能力成熟度评价方法。首先,以大数据治理活动为基本对象,从组织、规制、流程、技术等不同角度提炼关键过程域,同时定义各关键过程域的能力目标集合;其次,为避免专家打分的主观因素对评价结果的影响,将案例借鉴思想引入成熟度评价,在历史案例的结构化表达基础上,根据案例相似度检索案例中的评价证据,利用证据推理实现证据合成与成熟度评价。通过河南省濮阳市的城市智慧内涝防控用例分析了所提出基于案例方法的合理性。案例结果表明：所提出方法能够实现成熟度评价结果的智能化生成,其结果具有较强的区分性与场景适应性,有助于治理决策者精准认知当前城市安全大数据治理的薄弱环节,为治理更新完善提供决策支持。     

计算机辅助气动系统逻辑设计的研究

本文对计算机辅助气动系统逻辑设计进行了深入研究，选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机的辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果。