【摘 要】
：
UML是一种半形式化的语言，它缺乏精确的形式化语义，雉易保证UML模型的一致性。描述逻辑是一种知识表示的形式化语言，具有强大的知识表示和推理能力。针对UML模型的形式化问题，提
论文部分内容阅读
UML是一种半形式化的语言，它缺乏精确的形式化语义，雉易保证UML模型的一致性。描述逻辑是一种知识表示的形式化语言，具有强大的知识表示和推理能力。针对UML模型的形式化问题，提出基于描述逻辑的形式化方法，分析类图元模型元元素与描述逻辑ALCUQI的对应关系，提出基于描述逻辑ALCUQI的类图元模型形式化方法，给出类图元模型转化为ALCUQI知识库的正确性证明。
其他文献
党的十七届三中全会通过的《中共中央关于推进农村改革发展若干重大问题的决定》（中发[2008]16号，以下简称《决定》），是推动农村改革发展的纲领性文件。全面深入贯彻落实《决定》
【正】 明代中叶昆山腔传奇盛行之前,戏文的创作明显地呈现出两种不同的倾向:民间演出本,例如取材于三国故事的《古城记》、《草庐记》,演唱梁祝爱情悲剧的《同窗记》,反映孟
There exists great confusion among students about the choice of words in speaking English.They feel it difficult to express themselves very effectively and clea
<正> 春小麦是冀西北地区主要粮食作物之一,占粮食作物播种面积20％左右。近年来,随着冀西北农业生态工程的兴建和农田水利基本建设的发展,生产条件得到较大改善,春小麦单位面
色彩是室内设计的重要元素,室内设计色彩的选择和搭配需 要考虑设计风格、不同空间及用途、目标人群、色彩的心理和地域性 等各个方面,将色彩与室内空间的其他形式元素合理布
久闻郁达夫喜爱书画篆刻，在福建期间曾请友人为他治印，而治印时尤喜选用福州特产寿山石。1986年初春，我有幸拜读了陈承祯先生青年时代的篆刻作品集《以砥承祯印存》（第二集），意外地看到其中有郁达夫的三方印存。由于这本线装的《印存》没有出版过，不为外人所知，这一项新的发现使我产生了很大的兴趣。 郁达夫印存的由来 为了探索这三方印存的有关情况，我在一个周末的傍晚特登门访问了陈老先生。据他回忆，抗战前，
通过对本所近年来选育的８个亚麻高产，抗病品种（系）的株高，分枝数，单株桃数，单桃粒数、单株粒重等５个主要数量性状进行相关遗传力及通径分析，结果表明，单株桃数与单株粒重的相关遗传力最
以盐敏感品种中国春，农大８５０２１和抗盐品种冬６８、茶淀红等４个品种小麦为材料，研究ＮａＣｌ胁迫下甜菜碱对小麦幼苗体内ＡＴＰ含量的影响。结果表明，外源甜菜碱能够显著提高ＮａＣｌ胁迫下小麦幼苗体内ＡＴＰ的含量，且根
【正】 党的十一届三中全会以来,我国乡镇企业有了很大的发展,乡镇企业的崛起,带动了小城镇的建设。据统计,目前全国已有一万多个乡镇企业为骨干,具有城乡结合,工农结合特点
【正】 社会生产力的不断发展,科学的日益进步,人类平均寿命相应地增高了。本世纪初,发达国家人口平均寿命不过五十岁。根据联合国最新统计,1984年全世界65岁以上的老人共二