论文部分内容阅读
本文通过对哲学家就餐问题的分析，对谓词／变迁网系统可达树规模的缩减问题进行了讨论，分析系统性质，给出等价标识，利用等价标识直接构成可达树、规模大幅度减小。
等价标识在谓词／变迁网系统可达树规模缩减中的应用
【摘 要】
：
本文通过对哲学家就餐问题的分析，对谓词／变迁网系统可达树规模的缩减问题进行了讨论，分析系统性质，给出等价标识，利用等价标识直接构成可达树、规模大幅度减小。
【机 构】
：
山东矿业学院应用数学与软件工程系
【出 处】
：
山东矿业学院学报
【发表日期】
：
1997年4期
【基金项目】
：
国家自然科学基金,煤炭科学基金
其他文献
湖北省新闻出版局最近作出决定,从今年开始,用五年时间在全系统进行大规模的教育培训工作。主要内容是:对各级领导干部特别是中青年干部进行理论培训;在二年内对全省出版业的
<正>变色功能的纺织品印花也可称纺织品隐影印花,就是使纺织品上的花纹图案的色泽随着周围环境温度的变化、光线明暗的变化、织物干湿的变化等等,而引起花纹图案的色泽也随之
会议
中国是制造业大国,但还不是制造业强国,在生产、运营等各环节上企业信息化水平较低,造成大量人力与财力资源的耗费。同时伴随着制造业人力成本的迅速提高,劳动红利不再,倒逼制造业升级。2015年3月,李克强总理在全国两会上作《政府工作报告》时,首次提出了“中国制造2025”的宏大计划。从国家战略层面上指明了中国制造业未来要实现从要素驱动向创新驱动创新、从低成本竞争优势向效益竞争优势转变、由资源消耗大、污染
对挤压ZA16合金在不同加工量下冷拔加工后的组织和力学性能进行了研究。结果表明:ZA16合金铸态组织为基体η相和网状分布的白色α相,无网状共晶组织(β+η)相出现;材料的抗拉
针对当前关于数据流加权最大频繁项集WMFI（weighted maximal frequent itemsets）的研究无法有效地处理频繁阈值和加权频繁阈值不一致情况下WMFI的挖掘问题,提出了完全加权最大
资本市场的层次性问题历来一直是争论的焦点,通过借鉴我国目前资本市场多层次问题已有的研究成果,以资本市场中最具代表性的股票市场为例,分析当今中国股票市场层次单一性的
介绍了现场校温的方法、步骤，重点介绍了影响炉温测量准确度的各种误差，从而阐明在现场校温的过程中要正确掌握操作方法、关注测量误差的重要性，对从事热处理炉现场校温工作的相
加快珠江-西江经济带开放发展，是自治区党委十届六次全会提出的“十三五”时期推动我区经济社会持续健康发展的系列重大举措之一，是全面履行中央赋予我区“三大定位”新使命的
报纸
<正>本刊讯(记者吴凤鸣)6月3 0日,由人民出版社、中国新闻出版研究院主办,人民出版社读书会办公室、新阅读杂志社承办,中国东方演艺集团(中国东方歌舞团)、中国戏曲学院协办