论文部分内容阅读
针对Ｎｉｌｓｓｏｎ概率逻辑推理在计算规模方面存在的问题。本文给公式集按类超树结构分解的计算模型，并证明了分解算法的完备性。
概率逻辑类超树结构分解计算模型的完备性
【摘 要】
：
针对Ｎｉｌｓｓｏｎ概率逻辑推理在计算规模方面存在的问题。本文给公式集按类超树结构分解的计算模型，并证明了分解算法的完备性。
【机 构】
：
长沙工学院计算机系
【出 处】
：
软件学报
【发表日期】
：
1998年4期
【基金项目】
：
国家自然科学基金,国家863高科技项目基金
其他文献
陈天华是中国近代史上著名的资产阶级革命宣传家和政治活动家,是近代资产阶级爱国主义宣传的急先锋。不仅如此,他在教育理论上也形成了独树一帜的理论。反对传统的封建教育思
1病历报告患者，男，41岁，以“意识不清1min”为主诉于2005年10月8日10：00左右入院。该患者为环卫工人，从事污水处理工作，因不慎接触硫化氢而出现呼吸心脏骤停，由于其工友有自救互救知
目的探讨20例空洞性肺结核合并肺癌的特点及cT的诊断价值，提高临床诊治水平。方法分析20例空洞性肺结核合并肺癌的临床资料及影像学检查。结果空洞性肺结核合并肺癌的患者空洞
1 病历报告患者，男，76岁，以周身乏力10余年，加重1d为主述就诊，既往糖尿病10年，日常未口服降糖药物，血糖控制良好。入院查体：T36．5℃，P76次／min，R18次／min，BP130／90mmHg。神清语明，发育正常，营
针对传统聚类模型的缺陷，文章利用确定性退火技术，提出一种类模型及聚类算法，该模型考虑了聚类的交互作用，以前提出的一些聚类模型是它的特例，引入温度参数，把聚类问题看成一个物理
农村经济体制、产业结构及农民生活水平的变化,给农村卫生事业发展带来了新的问题。本调查表明上海县近十年来村级卫生组织发展遇到了卫生保(?)员减员增加、乡村医生医疗水平
本文从一个具体的案例引出目前国内坠落事故现状，理论联系实际分析具体案例发生的原因，进一步总结出坠落事故的常见形式、发生原因和防范措施。
工程图纸扫描识别和字符笔画提取一直是模式识别中的难点问题。为克服细化算法逐象素处理的局部特性，已提出了一些整体算法。基于图段的整体识别算法突破了细化算法在象素层次
目的探讨纤维支气管镜对急性肺不张的治疗效果。方法分析40例急性肺不张患者用纤维支气管镜吸引阻塞支气管开口处的分泌物及痰栓、血凝块，并用生理盐水反复冲洗。结果25例患者
因文件和档案同源一体,根据文件生命周期理论,可实行文档一体化管理,这是档案工作的改革方向和迈向现代化的一个新起点。应从建立统一的业务标准及规范、加强文档一体化管理