论文部分内容阅读
在基于模型诊断中,冲突集的最小碰集就是诊断目标. 提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法.
基于模型诊断中用逻辑数组计算最小碰集
【摘 要】
：
在基于模型诊断中,冲突集的最小碰集就是诊断目标. 提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法.
【机 构】
：
暨南大学数学系
【出 处】
：
暨南大学学报(自然科学与医学版)
【发表日期】
：
2002年1期
其他文献
<正>设计说明:该衣架形态来源于箭,将提炼的中国传统符号如意有机地融入挂衣架之中,简洁时尚、优雅大方,容易拆装、造价低、适合电商销售,产品市场定位于年轻、时尚的白领,材
激素依赖性皮炎是皮肤科常见疾病,西医治疗主要以糖皮质激素递减、替代治疗及抗过敏、抗炎治疗为主,疗效尚不理想。本文尝试从"火郁发之"的角度探讨激素依赖性皮炎的病因病机
2016年11月16日上午,广西师范大学在王城校区举办秀峰书院揭牌仪式,正式成立秀峰书院.同时还揭牌成立了桂林秀峰书院文化教育投资有限公司.秀峰书院始创于清雍正十一年（1733年
种肥是用于拌种或移栽的局部施于种子或幼苗附近的肥料，它可以补充基肥的不足，供应作物生长期的养分，但有些化肥对种子或幼苗有毒害，不宜作种肥。不宜作种肥的肥料有三类：
导出一般形式线性规划最优解集的结构，并使用有效的算法给出确定最优解集的计算步骤.
出版集团面向“十三五”规划,需要处理好战略与战术的关系、集团与下属单位的关系及重大项目与企业发展的关系,遵循规律,推动全员数字化,重视产品研发,才能实现数字化战略目
一、提高抗寒力选育抗寒品种，掌握播种期，入秋后及早停止灌水和追施氮、钾肥，加强松土、除草、通风透光等管理，使幼苗在入冬前能充分木质化，增强抗寒能力。
绿豆为重要的肥地作物，是禾谷类作物的优良前作。绿豆忌连作。“豆地年年调。产量年年高”。绿豆轮作模式有：1．一年一作：绿豆-谷子、高粱或玉米；2．一年两作：小麦-绿豆；3．二年三作：小麦-
南京林业大学与北京林业大学等单位合作通过转基因技术获得了抗病虫、抗旱耐盐和速生优质的转基因杨树等多个新树种。2005年6月。南林大和北林大共同承担的“国家转基因植物
根据医院财务管理制度规定。使用计算机管理药品时，运用医院收费系统，结转药品销售数量、单价和金额的数据于Accecc数据库文件中，利用Excel功能统计出数据，做到药品的实耗实销。