知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

教师“继续教育”观念的更新

本文着眼于课程行政改革的趋势、“课程”观念的更新，提出以“课程设计理论与技术”为重点的“教师本位”的“继续教育”构想。     

镗铣加工中心自动编程系统HFAPTI

首先介绍了镗铣加工中心机床具有大容量刀库和加工范围宽广的特点,它最适合于加工复杂的箱体零件,这类零件具有复杂的孔系,它们的加工工艺复杂,如钻、扩、镗、铰、攻丝,大直径的孔要采用特殊的加工方法——行星铣削,另外还有轮廊铣削和切槽等。这类零件的编程十分复杂,手工编程所需时间和加工时间之比为10:1～30:1。文章介绍了HFAPT1提供的便于箱体零件编程的功能,如点群加工、轮廊铣削和行星铣削,以及HFAPT1的软件模块结构和主要模块的功能及其实现。 文章最后指出了自动编程技术的发展趋势和HFAPT1的进一步发展。     

Oncogenic viruses in the thrombocytopenic stage of experimental HIPA — plasmacytoma

Zusammenfassung Die i.p. Inokulation von HIPA-Tumor Agens führt zu einer byphasischen Thrombozytopenie in BALB/c-Mäusen. Nach regelmässig durchgeführten Abständen von elektronenmikroskopischen Untersuchungen zeigten sich onkogene Virus-Partikel in den Milz-Megakariozyten gleichzeitig mit dem Erscheinen der zweiten Thrombozytopenie (13 Tage). Die Beziehungen zwischen solchen Virus-Partikeln und Thrombozytopenie werden diskutiert.     

发动机诊断的知识库组织与管理

本文研究了发动机诊断领域的知识库组织与管理问题.讨论了发动机领域级多种不同深度知识源的表示与获取问题;提出了知识库组织的分层分块管理策略.