论文部分内容阅读
阐述了如下内容：（1）自动推理的发展与教育技术；（2）教育软件智能平台的基本构成；（3）教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示。
自动推理与教育软件智能平台
【摘 要】
：
阐述了如下内容：（1）自动推理的发展与教育技术；（2）教育软件智能平台的基本构成；（3）教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示。
【机 构】
：
广州大学计算机教育软件研究所
【出 处】
：
广州大学学报(综合版)
【发表日期】
：
2001年2期
其他文献
年轻的时候，总愿意在飘着细雨的午后，在星星闪烁的夜晚，慢慢数着雨滴，细细遥望着星空遐想；希望有一天，心中所有的梦想像孔雀般美丽盛开，所有的愿望会一个个实现。岁月更替，时光飞逝，等
俄罗斯天然气出口垄断企业俄罗斯天然气工业股份公司（俄气／Gazprom）对外关系部门主管Stanislav Tsygankov最近宣布，俄气将在平等的基础上与以色列组建一家合资企业来开发以色列的
宫内合并宫外妊娠（heterotopy pregnancy，HP）是指2个或多个胚胎在不同部位同时发育，其中至少1个属于宫内正常妊娠。HP的发生是罕见的，发生率为1：7963～30000次妊娠。但随着辅助生育技
瓦克将于2009年7月8-10日在2009上海国际电力展上展示其用于制造冷缩电缆附件的新型液体硅橡胶。这种橡胶是瓦克专为输配电行业应用开发的POWERSIL硅橡胶品牌旗下的产品之
最近，阿科玛公司（Arkema）分别在欧洲和亚太地区推出了一种创新的胺类添加剂Alpamine^TMN41，该新品可作为水性涂料体系的pH调节剂进行应用。
垂体腺瘤（pituitary adenoma）是一种良性的颅内内分泌肿瘤，其发病率仅次于脑胶质瘤和脑膜瘤，约占颅内肿瘤的10％，但在尸检中有报道可见20％-25％的亚临床垂体微腺瘤。手术切除是其主要的
瑞士维斯特格德·弗兰德森公司在其新型便携式Lifestraw家用净水系统中采用了巴斯夫生产的Ultrason E6020P聚醚砜（PE-WU）树脂。该公司生产用于疾病预防的产品，主要针对发展
朗盛已同意收购美国首诺公司的分公司富莱克斯的两大业务，以强化其橡胶化学品业务部的产品组合。朗盛将收购的是富莱克斯的主促进剂业务以及抗硫化还原剂产品Perkalink900。被
苏威公司最近表示，公司将更换旗下位于法国塔沃氯碱联合体的一套汞基电解系统，代之以膜基系统。塔沃氯碱联合体共有两套氯碱装置，设计总产能为36万t/a。此次项目更换将于2012年
运用正规族理论，文章给出一类高阶代数微分方程Gol’dberg定理的进一步推广．类似地给出了一类特殊的代数微分方程组的亚纯解的增长性估计．同时举例说明本文的结果是有意义的．