论文部分内容阅读
本文详细研究了模板依赖的公理系统,完成了有效性和完备性证明,提出了模板依赖集的闭包计算、求最小覆盖集的算法。
模板依赖集的闭包计算与求最小覆盖集的算法
【摘 要】
：
本文详细研究了模板依赖的公理系统,完成了有效性和完备性证明,提出了模板依赖集的闭包计算、求最小覆盖集的算法。
【机 构】
：
东北重型机械学院自动控制系
【出 处】
：
东北重型机械学院学报
【发表日期】
：
1991年1期
【基金项目】
：
国家自然科学基金,No6893034
其他文献
【正】 社会化大生产需要运用基金形式,充分发挥其筹集资金、调节经济结构和产业结构的作用。在社会主义市场经济条件下,我们更应该重视基金理论的研究,创造出适合我国国情的
目的探究高龄患者在临床手术时静脉应用靶空瑞芬太尼麻醉安全性以及疗效，以供临床手术借鉴。方法选取2013年3月-2015年3月收治的68例高龄患者作研究对象，全部患者都行腹部手术．
目的分析持续质量改进方法在消毒供应中心管理中的实施效果。方法针对2013年1月-2015年1月实施的常规质量控制作为常规组,针对2015年2月-2018年2月实施的持续质量改进的消毒
作为高职学校的班主任,不再是传统观念的辅导员,他们为学生树立正确的人生观起着至关重要的作用。唯有从细节入手,加强辅导员自身素质、加强班级管理,才能使学生树立正确的人
在戏曲流派中,近二十年地方戏曲流派有一种迅速孳生、发展的势头,影响所及,派系林立。诸如关东戏曲（东北）,京派戏曲（北京）,卫派戏曲（天津）,海派戏曲（上海）、西部戏曲（西北）,浙派戏曲（浙
我国《婚姻法》第19条第1款规定夫妻财产约定在本质上属于财产行为，而不是身份行为。这种财产约定因《婚姻法》之规定在物权变动上属于《物权法》中物权变动原则规定之外的特
目的探讨超敏C反应蛋白水平与急性脑梗死病情的相关性研究。方法将收治的135例急性脑梗死患者作为研究对象,其中轻度、中度、重度各45例,对上述患者进行hs-CRP水平的检测。比
人名翻译通常遵循“音译为主、名从主人、约定俗成”三原则,但这三原则在实际应用中未能获得有效落实,一些国外重要人物的人名翻译尚欠规范。本文以Donald Trump的汉语译名为
目的探究经脐单一切口治疗小儿胆总管囊肿有效性及安全性。方法研究对象选取收治的胆总管囊肿患儿合计68例,使用随机数字表法将其分为腔镜组(34例)及经脐组(34例),腔镜组使用
教育实习是音乐教育师范生在走上工作岗位前必须接受的技能与素养的重要洗礼,是一次从学生角色转型教师角色的重要经历,选择实习单位主要面向中小学,成为一名中小学音乐教师