- 一级分类：
- 全部 计算机 高等教育 金融/投资/证券 医药卫生 汽车/机械/制造 外语学习 报告/分析 法律/法规/法学 研究生考试 电子工程/通信技术 经济/贸易/财会 建筑/施工 幼儿/小学教育 中学教育 文学/历史/军事/艺术 资格/认证考试 人力资源/企业管理 学术论文 行业资料 办公文档 生活休闲
- 二级分类：
- SEO 计算机应用/办公自动化 .NET 数据结构与算法 Java C/C++资料 linux/Unix相关 手机开发 UML理论/建模 并行计算/云计算 嵌入式开发 windows相关 软件工程 管理系统 开发文档 图形图像 通信/网络 网络信息安全 电子支付 Labview matlab 网络资源 Python Delphi/Perl 评测 flash设计与制作 CSS/Script 计算机原理 PHP资料 数据挖掘与模式识别 Web服务 数据库 Visual Basic 电子商务 服务器 搜索引擎优化 存储技术 架构 行业软件 人工智能 计算机辅助设计 多媒体 软件测试 计算机硬件与维护 网站策划 网页设计/UI 网吧管理
UML模型形式化转换及验证的研究的开题报告.docx
UML模型形式化转换及验证的研究的开题报告一、选题背景及研究意义随着软件应用的广泛，软件质量和安全问题日益受到关注。为了保证软件系统的正确性、可靠性和安全性，需对软件进行一系列的形式化分析与验证。面向对象软件开发中，UML(UnifiedModelingLanguage)成为了软件开发的重要手段。使用UML建立的模型可以帮助开发人员理解问题领域、构思解决方案，并最终产生代码。但是由于UML模型内部的细节过于繁琐，以至于很难手工进行分析和验证。因此，如何将UML模型规范化，并自动验证其正确性成为了当前的研究
基于本体推理的UML模型语义检查的任务书.docx
基于本体推理的UML模型语义检查的任务书任务名称：基于本体推理的UML模型语义检查任务目标：使用本体推理技术，对UML模型进行语义检查，确保模型的正确性和一致性。任务描述：1.研究UML模型和本体推理技术的相关知识。2.构建UML模型的本体，并将UML元素与本体构建起映射关系。3.利用OWL推理机对UML模型进行本体推理，检查模型的正确性和一致性。4.实现UML模型语义检查工具，该工具能够自动对UML模型进行本体推理和检查，并将检查结果反馈给用户。5.集成UML模型语义检查工具到UML建模工具中，使得用户
数学建模12.doc
5.2：问题2：试对只有一个入料口和一个放料口的理想筒仓建立数学模型，表征该筒仓在同时入放料情况下仓内产品的分布与堆积情况。模型：理想筒仓在同时放入料时内部产品分布模型筒仓是理想的，要计算内部产品分布就需知道产品进出出口速度的变化，我们根据“筒仓主料流态的颗粒流数值模拟”可以得到在卸料时，筒仓上部的颗粒是处在整体流动状态,当颗粒运行到距卸料口一定的高度时（此处理想认为H/2处）,颗粒的流动状态从整体流动状态转变为管状流动状态。（如图2）图2根据Janssen公式：＝,其中为粉体密度，为粉粒特性(粒径、内摩
建模word排版.ppt
数学建模word排版1、数学建模论文格式要求论文题目用三号黑体字、一级标题用四号黑体字，并居中；二级、三级标题用小四号黑体字，左端对齐（不居中）。论文中其他汉字一律采用小四号宋体字，行距用单倍行距，打印时应尽量避免彩色打印。论文应该思路清晰，表达简洁（正文尽量控制在20页以内，附录页数不限）。引用别人的成果或其他公开的资料(包括网上查到的资料)必须按照规定的参考文献的表述方式在正文引用处和参考文献中均明确列出。正文引用处用方括号标示参考文献的编号，如[1][3]等；引用书籍还必须指出页码。参考文献按正文中
AHP方法建模.ppt
数学建模中的层次分析法层次分析法简介层次分析法简介二、层次分析法基本步骤对权重系数的量化过程（2）建立逆对称矩阵例1：评价影视作品于是得到逆对称矩阵由于e4=e3,迭代经过4次中止，权系数是w1=0.156,w2=0.185,w3=0.659相应的综合评价公式是Y=0.156x1+0.185x2+0.659x3如果用同样的分制来给作品的三个指标评分，由以上公式算出的便是作品综合评分y。目标层“选择旅游地”思维过程的归纳层次分析法的基本步骤成对比较的不一致情况成对比较完全一致的情况2468一致性检验“选择旅
基于时态逻辑的UML交互模型检测研究的中期报告.docx
基于时态逻辑的UML交互模型检测研究的中期报告一、研究背景和意义UML是软件开发中常用的一种建模语言，交互模型是UML中最重要的一种模型。然而，交互模型的正确性往往难以得到保障，特别是在多线程场景下，容易出现死锁、活锁等问题，严重影响软件的可靠性和稳定性。因此，对UML交互模型进行形式化验证和检测意义重大。本研究基于时态逻辑，探讨UML交互模型的自动化验证和模型检测方法，以提高交互模型的正确性和可靠性，为软件设计和开发提供有力支持。二、研究内容和进展本研究主要内容包括UML交互模型的形式化表示、时态逻辑的
数学建模总结.doc
关于排队论的建模练习报告杜雷鸣（2010093006）董家新（2010054113）孙甜（2010122005）关于排队论的建模练习报告摘要修理站修理机器关注修理的效率问题。本文中分析修理站的系统效率指标，采用了排队论中的多通道损失制模型。并在求解出排队规则的迭代公式之后，通过修改多次迭代次数求解出平均每天修理机器数目为Ｅｍ=1.3707，置空率为54.31%。进而得出若该修理站要长期运营则需改变生产结构以减低置空率的结论。关键字：置空率排队规则一问题重述：问题背景：某修理站只有一个修理组，在修理站内最多
我与数学建模.doc
我与数学建模数学最显著的特点之一就是其应用极其广泛。在我们日常生活中随处都能找到数学的影子。在社会生活的各个领域，都在运用着数学的概念、法则和结论。很多看似和数学无关的问题都可以运用数学工具加以解决。说真的我个人对于数学没有什么天赋，对学习数学的兴趣也不是很高，认为数学很是枯燥无味，而我学习数学就是为了应付HYPERLINK"http://www.examda.com/"考试。当我接触了数学建模这一个可以说空白的领域，在老师的耐心讲解下渐渐了解，数学模型是沟通实际问题与数学工具之间的桥梁，建立和处理
课堂建模计划.doc
石盘冲小学课堂建模工作实施方案一、目的宗旨以“三个面向”、“科学发展观”为行动指南，以“建构主义”、“多元智能”、“学习金字塔”为理论支撑，以中小学课堂教学模式改革为基本途径，以促进老师专业发展和学生终身发展为根本目的，全面更新教育观念，重新构建课堂结构，彻底转变教学模式，把简单追求“教学成绩最大化”切实转向科学追求“教学效益最优化”的轨道上来，快速提升我校教育质量和水平，强力打造课程改革特色。二、目标任务1、优化课堂教学结构2、提高课堂教学效率3、培养会学习的人才4、提高教育教学质量三、具体措施（一）模
物理建模(Physical.doc
袁国兴王瑞利林忠陈贤林应阳君引言物理建模（PhysicalModeling）数值模拟（NumericalSimulation）验证（Verification)确认（Validation）结束语一引言试验为基础数值模拟计算为基础挑战性问题可靠性安全性性能……进行研究一引言(续1)数值模拟评估验证和确认量化物理模型的可靠性计算结果置信度全系统试验无法进行/代价十分昂贵如何确保数值模拟置信度的一种系统方法一引言(续2)1960年始：(美国的许多组织和协会)研讨验证与确认的术语和方法1990年至(美国航空航天学会
计算机软件及应用uml资料学习教案.pptx
计算机软件及应用(yìngyòng)uml资料-2--3--4--5--6--7--8--9--10--11--12--13--14--15--16--17--18--19--20--21--22--23--24--25--26--27--28--29--30--31--32--33--34--35--36--37--38--39--40--41--42--43--44--45--46--47--48--49--50--51--52--53--54--55--56--57--58--59--60--61-
UML对基于BS模式的图书管理系统的分析与设计.doc
UML对基于B/S模式的图书管理系统的分析与设计摘要：对基于B/S模式下的图书管理系统进行分析，运用UML的静态和动态模型图，对系统的分析结果进行可视化建模，并对系统模型图进行概括性论证。标签：HYPERLINK"http://www.51cto.com/php/search.php?keyword=B"\t"_blank"BHYPERLINK"http://www.51cto.com/php/search.php?keyword=S"\t"_blank"SHYPERLINK"http://
数学建模介绍.ppt
数学建模引例数学建模引例一数学模型、数学建模的概念建立数学模型的过程称为数学建模。也就是将数学方法应用到一个实际问题中去，把这个问题的内在规律用数字、图表、公式、符号表示出来，然后经过数学的处理得到定量的结果，以供人们作分析、预报、决策或控制的过程。6.数学建模的分类数学在各门科学中被应用的水平标志着这门科发展的水平。四数学建模的步骤四数学建模的步骤四数学建模的步骤五、数学建模举例问题1：“椅子在不平的地面上放稳”解答模型构成中心问题是用数学语言把椅子四只脚同时着地的条件和结论表示出来。首先用变量表示椅子
数学建模方法.ppt
第一届研究生数学建模竞赛赛题方法总结数学建模需要的知识数学建模常用的方法数学建模常用的方法数学模型分类拟合与插值方法数据拟合插值方法优化方法优化模型分类优化模型求解统计方法（回归分析）统计方法（逐步回归分析）统计方法（聚类分析）统计方法（系统聚类分析步骤）统计方法（判别分析）与模糊数学相关的问题（一）与模糊数学相关的问题（二）时间序列分析建模时间序列建模的基本步骤（1）时间序列建模的基本步骤（2）图论方法（一）图论方法（二）竞赛中的群体思维方法竞赛中的发散性思维方法对赛题的把握和理解问题祝大家在竞赛中取得
数学建模试验.ppt
www.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegallery.comwww.themegaller
数学建模概论.ppt
数学模型（MathematicalModel）是用数学符号、数学式子、程序、图形等对实际课题本质属性的抽象而又简洁的刻划，它或能解释某些客观现象，或能预测未来的发展规律，或能为控制某一现象的发展提供某种意义下的最优策略或较好策略。数学建模（MathematicalModeling）应用知识从实际课题中抽象、提炼出数学模型的过程。例（万有引力定律的发现）如图，有椭圆方程:我们还需算出行星的加速度，为此需要建立两种不同的坐标架。第一个是固定的，以太阳为坐标原点，沿长轴方向的单位向量记为i,沿短轴方向的单位向量
数据建模介绍.ppt
1234567891011121314151617181920212223242526
数学建模MAX.doc
西北大学数学建模竞赛承诺书我们仔细阅读了西北大学数学建模竞赛的参赛规则与竞赛纪律。我们完全明白，在竞赛开始后参赛队员不能以任何方式（包括电话、电子邮件、网上咨询等）与队外的任何人研究、讨论与赛题有关的问题。我们知道，抄袭别人的成果是违反竞赛纪律的,如果引用别人的成果或其他公开的资料（包括网上查到的资料），必须按照规定的参考文献的表述方式在正文引用处和参考文献中明确列出。我们郑重承诺，严格遵守参赛规则和竞赛纪律，以保证竞赛的公正、公平性。如有违反竞赛纪律的行为，我们将受到严肃处理。我们授权西北大学数学建模竞
数学建模 (2).ppt
第二章初等模型研究对象的机理比较简单2.1光盘的数据容量调查和分析调查和分析调查和分析模型建立模型建立模型求解模型求解2.2划艇比赛的成绩问题分析模型假设模型检验划艇比赛的成绩问题xp1xA
数学建模习题.doc
2011高教社杯全国大学生数学建模竞赛承诺书我们仔细阅读了中国大学生数学建模竞赛的竞赛规则.我们完全明白，在竞赛开始后参赛队员不能以任何方式(包括电话、电子邮件、网上咨询等)与队外的任何人(包括指导教师)研究、讨论与赛题有关的问题。我们知道，抄袭别人的成果是违反竞赛规则的,如果引用别人的成果或其他公开的资料(包括网上查到的资料)，必须按照规定的参考文献的表述方式在正文引用处和参考文献中明确列出。我们郑重承诺，严格遵守竞赛规则，以保证竞赛的公正、公平性。如有违反竞赛规则的行为，我们将受到严肃处理。我们参赛选
