【摘 要】
：
本文给出了证明决策表程序正确性的推理规则,其中特别使用了决策表程序的层次结构和不可能规则。本文最后以证明冒泡分类算法例示了本文方法的使用情况。
In this paper, in
论文部分内容阅读
本文给出了证明决策表程序正确性的推理规则,其中特别使用了决策表程序的层次结构和不可能规则。本文最后以证明冒泡分类算法例示了本文方法的使用情况。
In this paper, inference rules to prove the correctness of decision table programs are given. In particular, the hierarchical structures and impossible rules of decision table programs are used. In the end, the paper proves that the bubble classification algorithm exemplifies the usage of this method.
其他文献
美国明尼苏达州卡拉威镇森林湖畔枫树遍野,湖光水色异常秀丽.这里的“国际语言村”中有一个“汉语村”,8幢木屋中最大一幢的墙上写着3个斗大的汉语校名--“森林湖”.小屋门上
我父亲许朝佑1904年出生,1927年到武汉参加农民运动讲习所的学习,回来后投身农民协会的组织和联络工作.1928年加入安徽六安游击队,随后游击队改编为红色赤卫队,父亲担任队长.
目的 探讨地佐辛防御性应用复合心理干预在瑞芬太尼复合丙泊酚全凭静脉麻醉下行腹腔镜胆囊切除手术(laparoscopic appendectomy,LA)患者术后疼痛管理中的作用.方法 择期行LA患者80例,ASA Ⅰ ～Ⅱ级,年龄23 ～58岁,随机分为对照组(A)和观察组(B),各40例.所有患者于手术结束前20 min分别静脉给予地佐辛0.1 mg/kg.B组患者术前及术后采用心理干预护理,A
自古以来，“重复用兵”为兵家之大忌，这也成了历史上诸多将帅的定式用兵原则，鲜有打破。但是，万事皆有例外。抗日战争时期，八路军的两支部队就曾分别违反军事惯例，重复设伏，并取得了辉煌胜利，打得日本侵略军狼狈不堪。 刘伯承的妙算：七亘村重复伏击 1937年10月，为支援国民党军在娘子关抗日前线作战，刘伯承师长率领八路军129师先头部队进抵山西省平定地区，准备侧击西进迂回的日军，以缓解娘子关前线的压力
目的 探讨超声检查对胎盘早剥诊断的临床价值.方法 对本院收治32例胎盘早剥患者临床资料、超声资料和随访结果进行回顾性分析.结果 隐性胎盘早剥占46.88％ (15/32),显性胎盘早
目的 了解社区高血压患者生命质量状况,分析其影响因素.方法 采用基本情况表、世界卫生组织生命质量测定量表简表(WHOQOL-BREF)对社区高血压患者进行调查；运用模糊评价法对其
虞洽卿(1867-1945)是清末民初上海滩的著名买办.当时,清廷经常派一些官员到上海来采购军备物资,虞洽卿从来不放过这样的机会.每当京官来到上海,他都主动上门拜访、结交,热心
1986年春,我市在柳城县龙头乡进行花生地膜覆盖栽培试验与大面积示范,增产效果显著。地膜覆盖栽培亩产206.9公斤,比露地栽培亩产142.6公斤,每亩增产64.3公斤,增产45.1％,每亩
民国时期,以陶行知、晏阳初、梁漱溟、黄炎培、汪德亮为代表的一批教育家,力图通过开发民智、改善民生,拯斯民于水火,扶大厦之将倾.他们重视平民教育,推行“乡村改造”运动,