【摘 要】
：
UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN（D）扩展部分的语法和语义,以
论文部分内容阅读
UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN（D）扩展部分的语法和语义,以及UML用例图各模型元素的SHOIN（D）描述形式。然后把UML用例图定义为一个二元组,SHOIN（D）知识库定义为一个三元组,并通过转化函数把UML用例图转化为SHOIN（D）知识库,给出了SHOIN（D）知识库的可满足性定理及其正确性证明。最后以图书借还子系统用例图为例,利用Pellet本体推理机实现了可满足性、一致性、分类、
其他文献
目的:探究电刺激联合康复锻炼治疗对产后尿失禁患者疗效的改善作用。方法:选取于2017-07~2018-07在我院产后6周复诊时发现产后尿失禁的100例产妇作为主要研究对象,根据随机化
移动学习是我国现当代教育事业不断创新和改革的产物，它也是必经的教育形式。本文针对学生在学校课堂中学习的困难，提出了通过网络辅助教学的移动学习模式，分析了如何利用网络辅
新课程标准指出，“数感主要表现在：理解数的意义；能用多种方法来表示数；能在具体的情境中把握数的相对大小关系；能用数来表达和交流信息；能为解决问题而选择适当的算法；能估计运算的
儿童绘本作为儿童阅读的重要媒介之一,凭借其丰富多样的图画符号,简洁童趣的语言,帮助儿童逐渐认识和感知世界,提高自身的认知能力,具有一定的教育价值和意义。本论文通过文
随着数控机床精密制造技术的不断发展,各制造业领域都对数控机床的加工精度提出了更高的要求,加工精度已成为衡量一台机床水准的重要指标之一。本文以自主研发的LV-850立式加工中心作为研究对象,基于理论分析、现场试验和模拟仿真相结合的方法,深入研究数控机床主要误差产生的机理,建立多误差因素综合影响模型,对各误差元素进行测量与辨识,提出相应的误差补偿模型,最后,运用本文所提出的综合补偿模型进行误差补偿试验
培养学生的思维能力是学校教学的一项基本任务。托尔斯泰说：“知识，只有当它靠积极的思维得来，而不是凭记忆得来时，才是真正的知识。”在数学教学，经常看到一部分学生例题能听懂，但题目稍有变化，就不知从何入手。这些学生对知识不能举一反三、融会贯通，也就是说没有掌握好思维的方法，以至于思考问题不灵活，只会刻意模仿。 在数学教学中，思维训练尤为重要，教师应该训练学生的思维，鼓励他们再创造，从而学到真正的知识
禽白血病(Avian Leukosis,AL)是由禽白血病病毒(Avian Leukosis Virus,ALV)和禽肉瘤病毒(Aviansarcomavirus,ASV)群中的病毒引起的以禽类造血组织中某些细胞成分增生为主的肿瘤性传染病的统称。感染鸡生产性能下降,引起免疫抑制,产生肿瘤,给养禽业造成巨大的经济损失。该病主要通过垂直传播和水平传播,目前没有有效的免疫疫苗或治疗药物,只能通过种群净化
生物质环模成型机在生物质固化成型、化工机械、饲料生产和能源等领域有着广泛的应用,但目前生物质环模成型机存在产能低、能耗高、设备磨损严重,使用寿命短等问题。本文从产能、能耗和磨损三方面对生物质环模成型机进行理论研究,关键部件设计和有限元分析,提高生物质环模成型机产能、降低能耗、减少磨损和延长使用寿命。通过对成型原理、成型过程中微观力学和关键部件进行受力分析,推导出成型基本条件,并建立物料挤压成型过程
只有使数学教学过程成为师生之间、学生之间交往互动、自主探究、共同发展的过程，才能让小学生学会学习、学会思维，真正地掌握知识和技能。教师应在规定的课堂时间内合理运用教