共查询到18条相似文献,搜索用时 125 毫秒
1.
由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证.首先,UML Statechart图是基于状态转换的,为此选择标记转换系统(LTS)作为语义域,并用结构化操作语义(sos)分两步定义了UML Statechart图的数据流语义.然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性. 相似文献
2.
王超 《山西师大体育学院学报》2009,24(4):110-111,144
情绪状态是情感在实践活动中的表现形式。在足球选修课教学过程中,由于学生的紧张、焦虑等心理活动和身体素质的差异因素,致使其情绪会产生不同程度的波动,这对技术动作的完成会产生极大的影响,而调节良好的情绪状态是影响教学效果的重要因素。 相似文献
3.
情绪对学习产生重要影响作用,它不仅影响学习效率、学习动机,还会影响学习策略的选择乃至学业成就水平.已有研究已证实,情绪在在线学习中发挥尤为重要的作用.积极情绪能够使学习者感到愉悦,它提高学习兴趣,消极情绪则使学习者产生不愉快的学习体验,它会降低学习兴趣,甚至会导致学习者辍学.因此,了解成人远程学习者在线学习情绪状态及影响因素,对于提高远程学习者学习兴趣,降低辍学率至关重要.本研究采用文献研究和内容分析方法,对国内外成人远程学习者在线学习情绪状态及影响因素相关文献进行整理与分析,旨在了解成人远程学习者在线学习情绪状态及影响因素研究现状,并在此基础上对其未来研究的侧重点进行分析与探讨. 相似文献
4.
以实验室信息管理系统需求为应用背景,基于面向对象建模技术,通过应用UML建模机制对系统的需求分析、详细设计及实现等不同阶段进行建模,体现了UML在开发应用系统中的方法和过程,对通用信息系统开发具有借鉴价值. 相似文献
5.
FPA方法是目前估算软件规模的常用的方法,而UML则是面向对象程序设计主流的建模技术,本文主要探讨 在UML的基础上,通过用例模型、类模型、对象模型及顺序模型,按照FPA的规则计算面向对象软件项目未调整功能点的策 略,从而使FPA技术可以更有效地适用于面向对象的开发环境。 相似文献
6.
7.
UML是目前最流行的建模语言,教据库系统的设计是软件开发的一项非常重要的任务.本文主要讨论了使用模型映射的方法来进行数据库系统的设计,使用模型映射方法进行数据库设计使得数据结构清晰,便于实现OOP;数据库对象具有独立性,便于维护需求变更时程序与数据库重用率高,修改少.并在此基础上对使用UML的设计模式思想设计数据库方法进行了探讨. 相似文献
8.
模型信息转换是目前软件工程领域比较热门的研究方向,将UML模型信息转换成XMI中间标准格式,能够实现模型到模型转换,模型到代码自动生成,加快系统开发进度,提高软件质量。提出一种UML用例图到XMI的映射算法。首先介绍了MDA,UML,XMI以及用例图等基本概念,然后对XMI Schema抽象模型进行形式化描述,并根据XMI模式定义和UML用例图映射规则对映射算法进行具体描述。最后通过一个具体的泛化用例图到XMI的映射实例进行算法验证。 相似文献
9.
10.
对网络安全性的量化评估问题是目前网络安全领域的研究热点之一。通过对现有的网络安全模型及量化分析方法的研究和比较,针对影响网络安全性的各项因素的全面脆弱性评估,提出了网络可靠度、脆弱点关键度、脆弱性状态图最低阶最小路集和最低阶最小割集4个具体的评估指标,将基于贝叶斯网络的计算方法引入脆弱性评估中,提出了量化评估计算方法。在此基础上构建了网络实例,使用SPIN验证工具对网络攻击进行模拟并对提出的评估指标及算法进行了分析验证。实验结果表明,文中提出的算法和评估指标集能够正确地量化反映网络的安全状态。 相似文献
11.
12.
针对纸海图到矢量格式电子海图数据的转换过程中存在的问题,提出一种基于小波变换的图像识别方法.首先对彩色纸海图进行小波变换,然后选择小波系数的极值点,根据极值点搜索纸海图的线信息.实验结果表明,该方法识别效果好,能够有效地从纸海图中提取线信息. 相似文献
13.
林忠军 《陕西师范大学学报(哲学社会科学版)》2012,(2):98-104
毛奇龄提出易有变易、交易、转易、对易、移易,演《易》系辞用移易,并证之以经文。他从《系辞传》"乾坤成列"、"刚柔相推"、"方以类聚物以群分"出发,整合了易学史上以卦变为核心的易象说,提出移易说,以此详细推演了六十四卦之间的关系。毛氏的移易说以全新的易学象数视域解读《周易》经文和《易传》,从中提炼和抽绎出"移易"、"聚卦"、"分卦"等概念,进而解构和重建六十四卦符号系统,以此探索卦与卦之间的内在联系,从而形成与以往卦变说不同的、以移易为核心的符号系统。他以移易之象和其他象解《易》,成为清初复兴汉易最重要的标志。同时,他运用考据的方法对于宋代图书之学进行全面的检讨和批判,开清初考据学之学风,对于清中后期乾嘉学派形成和汉易鼎盛产生重大的影响。 相似文献
14.
为解决我国船员适任证书考试培训中GPS设备少、学员人数多等问题,使用VB,MapInfo的MapX和Access数据库开发带电子海图的GPS设备仿真软件,用该软件代替GPS接收机进行评估训练.介绍软件的主要功能、开发和运行环境及关键技术并给出主要程序代码.该软件已经过多次测试和很多船员的使用,结果证明学员可以容易地掌握GPS设备操作,其稳定性和训练效果良好. 相似文献
15.
淮文军 《苏州市职业大学学报》2008,19(1):92-94
针对DSP应用系统开发过程中算法程序的预期结果很难一次调试完成的问题,介绍利用MATLAB软件中内嵌的CCSLink工具,协助DSP算法程序调试的方法。通过MATLAB软件与CCS IDE软件的交互使用,可以降低DSP算法程序开发的复杂性、缩短开发周期、提高学习效率。 相似文献
16.
本文介绍了Matlab软件的特点、《教育信息处理》课程的性质及其在教学和学习过程中存在的难点,通过对二者的分析,提出了把Matlab运用到《教育信息处理》的教学中,并通过具体的教学实例说明了该教学方法在教学效果和教学效率上所具有的优势。 相似文献
17.
对1994年-1996年、1997年-2000年、2001年-2004年、2005年-2008年国际体操联合会的4次规则变化进行研究,剖析竞技健美操中艺术与难度发展的趋势,为我国竞技健美操运动技术水平早日登上世界颠峰提供理论依据. 相似文献
18.
陈卫东 《安徽职业技术学院学报》2020,(1):28-30
利用坐标变换的方法,对双圆弧齿轮齿廓进行分析,推导出双圆弧齿轮的端面齿廓的曲线方程;利用CATIA软件结合VB软件作为手段,对双圆弧齿轮进行了参数化设计,准确绘制出了双圆弧齿轮的三维模型,为机械设计人员提供了有效的齿轮绘制方法,提高了工作效率。 相似文献