论文部分内容阅读
论文提出了一种新型的智能组卷系统，并针对其中组卷要求的可满足性判定算法进行了详细讨论。该算法以集合论为基础，分析了各种组卷要求的可满足条件，并给出了具体的实现方法。
组卷要求的可满足性检查
【摘 要】
：
论文提出了一种新型的智能组卷系统，并针对其中组卷要求的可满足性判定算法进行了详细讨论。该算法以集合论为基础，分析了各种组卷要求的可满足条件，并给出了具体的实现方法。
【机 构】
：
西安交通大学计算机教学实验中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年27期
其他文献
低分子量肝素（lowmolecularweightheparin，LMWH），作为抗凝剂，在应用于癌症患者治疗深静脉血栓并发症时发现，它能够提高癌症患者的存活率。实验动物显示LMWH有抗肿瘤转移作用，但其作
论文利用基于Cauchy误差估计器的BP算法对入侵检测系统进行了研究，改进的BP算法较传统BP算法具有收敛速度快、正确检测率高的优点，实验结果表明：该方法较为圆满地解决了入侵检测
该文分析位图文件PCX的统计特征和结构特性，利用PCX文件的结构特性，对隐写软件WNS进行攻击．完全破解了该软件。
目的 在CYP2C、幔族中，最为重要的是CYP2C9和CYP2C19两个亚型，是代谢药物的重要的酶之一，目前还没有三维结构报道，为了能够从理论上研究酶对药物代谢的规律，我们同源模建2C19亚型
目的 研究平律复方（PL，由苦参、豆根、麦冬、五味子、甘草、党参等组成）抗实验性心律失常的作用及机制。方法 采用氯仿、氯化钙及心肌缺血再灌注三种心律失常动物模型，监测标准11
现有的网络安全设备存在许多安全隐患，该文提出需要建立高效稳固的网络安全设备平台。而如何建立该平台的内核是解决问题的关键。文章通过对各种内核构建技术和扩展技术的分析
目的：对光敏剂福大赛因（ZnPcs2P2）进行光动力治疗肿瘤的药效学实验观察，以确定药物作用，为临床应用提供参考。方法采用四氮唑盐（MTT）还原法，对经福大赛因处理及670nm波长激光照射后的
提出了一种基于中间件、面向服务的分布式电力监控系统设计思路，论述了系统层次划分、关键节点抽象、服务设计等关键问题，讨论了数据服务和数据交换的原理与设计思路，并给出了工