论文部分内容阅读
可满足性问题的子类及其算法研究
【机 构】
：
北京航空航天大学
【出 处】
：
北京航空航天大学
【发表日期】
：
1999年期
其他文献
该文简要介绍了国内外MIS系统的历史、现状和发展以及国内电国行业MIS系统的现状和发展展望,系统地阐述了MIS系统的定义、结构和功能以及开发原则、开发方法和开发平台,同时
可扩展标记语言XML正逐渐成为INTERNET上重要的数据表示和交换的标准，作为计算机之间，人机之间目前比较合适的“数据格式”和“数据语义”的表示语言，在许多领域都存在着广泛的
进行早期无创伤心功能检测,是防治心血管疾病的重要手段.该文研究的"多道生理参数小波分析仪"就是实现对心脏功能无创检测的计算机化医疗仪器.该仪器的主要功能是对电图、心
文章提出了一种基于D/300SC-El型Dialogic语音卡的应用程序结构,这充分地利用了多线程的编程思想进行多路录放音的协调管理,恰 到好处地发挥了Dialogic语音卡的数字语音应用
该文以自动地判别钢表面除锈等级为目的,采用纹理图像的统计方法和最短距离分类方法,以实现唯一地描述一幅图象和确定该图象的类别.对于黑白图象,先对图象的灰度共生矩阵抽取
近年来,计算机辅助教学(CAI)得到了广泛的应用,特别是随着多媒体技术的发展,使CAI的效果得到了极大的改善.该文阐述了CAI模式、发展状况及未来发展趋势.重点介绍了多媒体技术
非对称逆布局的模式表示模型(NAM)借助于Packing问题的思想，能够有效地表示多种类型模式，是一个通用型的模式表示方法。非唯一性定理和最优分割存在性定理证明了NAM表示的多样
该文结合"九五"预研项目"高性能测控系统集成技术研究"中航空总线测试子系统的需求,开发了基于微机的航空总线通用测试系统.总线接口模板是集成和开发航空总线测试系统的基础
该文对电信管理网(TMN)的可靠性进行了研究.首先从硬件、软件和数据三个方面对TMN的不可靠性因素进行分析.通过分析得出TMN的可靠性很大程度上取决于数据通信网(DCN)的可靠性