一、正确理解定理防止解的遗漏(论文文献综述)
王芳[1](2014)在《普通高中学生数学解题“马虎”现象研究》文中提出“马虎”是学生解题的大敌,学生在解题过程中出现的“马虎”现象很严重,而学生不以为意,教师在教学中也没有引起足够的重视。现有的文献中,越来越多的研究者关注到解题错误的影响,但对于解题“马虎”现象的研究很少。本文采用文献研究法、问卷调查法、案例分析法、访谈法,运用现象学理论和最近发展区理论,以波利亚解题表为依托,从解题四个环节中的不良习惯入手,展开问卷调查,通过访谈对问卷调查进一步的补充和说明,再利用案例列举学生具体解题中的问题,介绍相应的对策。基于研究分析得出结论:学生存在解题习惯不良的现象,数学学习成绩与解题习惯两者有显着影响,不良的解题习惯会导致解题“马虎”现象的出现。解题“马虎”现象的原因:(1)弄清题目——审题环节包括:审题时盲目,没有逻辑性;审题中已知条件观察不细致出现遗漏条件现象;急于求成,匆匆忙忙读题,产生思维定势的消极影响;看到熟悉的题型,不注意条件是否改变,就开始做题,导致答非所问;审题草率,不注意挖掘题目中的隐含条件。(2)拟定计划、实现计划环节包括:基本模型条件不清,出现混用乱用现象;公式定理适用范围考虑不全面,导致结果出错;书写不规范,跳步现象严重;计算不认真,频繁出错。(3)回顾——检查及反思情况包括:检查环节缺失,没有及时改正不必要的错误;反思不到位,导致错误重复出现;没有及时总结归纳,致使基本模型的应用出现偏差。研究建议:(1)解题时注意事项:抓好审题第一步;拟定、实现计划是核心,核心环节要谨慎;回顾环节不能忘。(2)培养良好的解题习惯:①教师解题教学的几点建议:突出学生的主体地位;发挥鼓励教育的作用;巧设纠错课,激发学生乐于发现问题;注重解题过程的分析;培养学生养成解题反思习惯。②要求学生解题过程完整,教师精批精改。③重视错题,勤于总结,巩固回顾环节:充分发挥错题集的作用;重视错题的利用。
吴宝正[2](1999)在《正确理解定理防止解的遗漏》文中认为 同学们在学习两圆位置关系时,一定知道定理“如果两个圆相切,那么切点一定在连心线上”.但如果对定理理解不透,就会造成解题错误,应引起注意. 例已知⊙O的半径r=2,若A
陈光柱[3](2006)在《免疫决策关键技术研究》文中提出i决策是针对某个问题,为了实现一个目标或一组目标,个人或群体从可实现该目标且可以互相替代的行动方案中,选定一个最合适方案的行为。决策已经在能源、交通、制造和社会管理等诸多领域得到了广泛的应用。随着计算机技术和计算方法的发展,在信息处理、工业控制、科学研究等领域中提出了智能决策的问题,即机器如何才能根据其所面临的任务,自主地或辅助地帮助人类做出决策以实现其目的。近年来,决策目标的复杂性和决策环境的不确定性对传统智能决策技术提出了新的挑战和机遇。免疫系统作为具有很高智能行为的并行、分布式、自适应信息处理系统,为工程应用问题的解决提供了新的契机;充分挖掘、利用和借鉴这种系统的有关理论来发展人工免疫系统理论及应用已经成为了人工智能领域的重要内容和发展趋势。免疫系统是一个不同于大脑思维方式的决策系统。抗原的识别,抗体的产生,抗原的杀死过程实际上是一个多种免疫细胞联合决策的过程。因此,将免疫系统的有关原理应用于决策分析中是可行的。本论文首先通过借鉴免疫系统的有关原理研究了免疫决策的关键技术,然后将其应用于求解协同产品开发中的决策问题。主要内容和贡献如下:一、免疫决策的关键技术研究1.免疫Agent。借鉴免疫细胞的特性提出了一种新型的Agent-免疫Agent,给出了免疫Agent的概念和特征;描述了免疫Agent的工作流程;建立了多免疫Agent系统的体系结构;基于协同进化的原理提出了免疫Agent之间的协作形式。免疫Agent的提出,对于提高Agent的适应环境的能力提供了一种可行的思路。
陈强[4](2004)在《热工过程中的数据校正和多目标优化研究》文中研究指明本文对热工过程中的数据校正(数据协调和显着误差检测)和多目标优化问题进行了研究,论文的主要内容为:1.研究和探讨了热工过程中的数据校正算法模型。建立了数据校正的基本理论模型,数据校正包括数据协调(参数估计)和显着误差检测,详细分析了基于矩阵投影的数据协调算法、基于数字滤波的数据协调算法,研究了基于测量残差的测量检验法、基于约束残差的节点检验法和整体检验法的显着误差检测与识别方法;研究了数据校正算法在电站系统性能在线计算中的应用,首次运用UML建模技术建立了热工过程中基于热力特性的数据校正类层次体系结构,使算法具有极强的继承性和推广能力。2.研究了多目标优化的算法模型。多目标优化问题的最优解与单目标优化问题的解有着本质上的不同,为正确求解多目标优化问题,建立了多目标优化问题的一般数学模型并对多目标优化问题的解的概念进行了定义。介绍了多目标优化问题的常规算法(线性加权和法、理想点法、主要目标法、分层排序法和分组排序法),研究了标准遗传算法及其改进策略,详细分析了当今Pareto概念意义下的多目标优化演化算法,提出了一种改进的Pareto多目标遗传算法。3.研究了多目标优化算法在锅炉燃烧优化中的应用。介绍了锅炉NOx生成机制、影响因素和控制方法,提出了一种改进的锅炉效率在线计算模型;在NOx影响因素分析和锅炉燃烧特性实验的基础上,建立了电站锅炉污染物排放的BP神经网络模型,并通过实验数据验证了网络模型,确认网络具有良好的泛化能力。并以此为基础,建立了电站锅炉NOx排放与效率的响应特性的神经网络型与函数型混合模型,在特性模型的基础上构筑了锅炉高效低污染多目标优化的目标函数,确定了相关的决策变量和约束条件,并首次运用多目标演化算法对其进行了求解,得到了Pareto前沿。对得到的Pareto非劣解集进行了分析,分析结果与相关的定性分析结论相一致,为电站锅炉燃烧优化调整提供了依据和指导。
肖洁[5](2015)在《HBTS品牌X-FOLD XM100型包装机英文产品说明书汉译实践报告》文中研究表明产品说明书的目的在于向客户全面介绍产品信息,帮助客户更好地使用该产品。在词汇、句法和篇章等各方面都有显着的特点。以产品说明书翻译原则:准确性,专业性和可读性原则,以及Peter Newmark的语义翻译和交际翻译翻译对策为理论与方法指导,本报告以HBTS品牌X-FOLD XM100型包装机英文产品说明书作为汉译实践文本,对机电类产品说明书的翻译从词汇、句子和篇章三个方面着手,针对常见问题给出了对应的解决方法。词汇方面,翻译专业术语时,如若没有术语库或一词多义,则应结合产品功能及上下语境,慎重选择词义;对名词及名词化结构的翻译,则应分析句子结构,将其处理成动词,形容词甚至从句;缩略词及省略结构的翻译则需认真查阅相关专业背景,选定最准确的翻译和表达形式。句子方面,说明书多采用更具权威的祈使句;大量频繁使用的非谓语动词结构则应认真分析句子结构,灵活翻译成定语从句或状语成分;在处理被动句时,不能一味直译,要结合中文“主动优于被动”的特点,可改译为无主句或主动句。语篇上,应适当调整语序或运用增译的方法,力求语篇衔接流畅。最后,但愿通过总结本次翻译的实践经验,能对机电类产品说明书的翻译有一些借鉴和启发,改善和提高电机类产品说明书翻译的质量和水平。
曾喻江[6](2007)在《基于遗传算法的卫星星座设计》文中研究指明在过去的几十年里,地球观测、导航和通信得到了快速发展,人们希望能够通过各种手段在任意地点提供这些服务。利用卫星平台是实现这一目标的理想选择。几乎在相同的时间,利用卫星构建全球性地球观测、导航和无线通信网络等基础设施的需求增长,导致了卫星星座理论与技术的快速发展。卫星星座可以定义为按照一定规则构成、协同完成特定功能的卫星集合,是多颗卫星进行协同工作的基本形式。传统的卫星星座设计主要关心如何用尽可能少的卫星实现全球或纬度带覆盖。由于对称性,一般使用均匀分布的圆形轨道。这也便于得到比较容易处理的分析模型。但是,对于区域覆盖或混合轨道类型,该方法往往不再适用。不仅如此,现在的卫星星座设计很少再把单一的地球表面覆盖作为设计目标,更多的是考虑多个参数指标。这是一个多目标优化的问题。遗传算法(genetic algorithm,GA)已经被用于解决复杂问题。多目标遗传算法(multiple-objective GA,MOGA)适于解决有大量变量、需要进行多目标优化设计的问题。GA已经被用于非连续覆盖的的卫星星座设计。论文在分析卫星星座设计面临的技术挑战和现有工作不足的基础上,重点研究了基于GA和MOGA的卫星星座设计问题。论文的主要贡献是:在充分研究已有星座模型和GA特点的基础上,建立了通用6N星座模型(N为星座中的卫星数量)。该模型将每颗卫星的6个轨道参数都作为星座模型参数,去除了已有星座模型对卫星轨道参数的限制和约束,最大限度扩充了星座模型的参数空间,包含了所有已知的卫星星座构型以及其他可能的卫星轨道参数选择。传统卫星星座设计在优化设计之前需要选择合适的卫星星座构型。对于全球或纬度带卫星通信,选择哪一种卫星星座构型仍无定论。对于区域卫星星座或基于混合轨道类型的卫星星座,已知卫星星座构型往往无法得到最优结果。对于地球观测及各类科学实验卫星星座,已知星座构型更是难以胜任。基于通用6N星座模型,卫星星座设计者能够摈弃选择星座构型的步骤,直接根据卫星星座的设计需求在所有可能的轨道参数中进行优化设计,避免了星座构型选择对星座设计的负面影响。因此,6N星座模型具有最大程度的通用性,适用于绝大部分卫星星座设计任务。在通用6N星座模型的基础上,论文给出了改进的基于GA的无构型约束通用卫星星座设计方法,并首次提出了将代表MOGA领先水平的快速非支配排序遗传算法(the fast nondominated sorting genetic algorithm ,NSGA-II))应用于地球观测、卫星导航、卫星通信等不同卫星星座设计的统一算法模型,为复杂的卫星星座设计提供了强有力的多目标优化设计手段。6N星座模型在具备通用性优点的同时,不可避免的带来了优化参数空间过大的问题。由于范艾伦辐射带等因素的影响,卫星轨道参数还具有不连续、不可微等特点。GA和MOGA十分胜任这种优化问题。为了满足各类不同的卫星星座设计需求,论文在统一的卫星星座算法模型中给出了相应的基本性能评价准则。这些性能评价准则不仅仅局限于地理覆盖性能,还可以是用户提出的任意和卫星轨道参数相关的系统需求。设计者在进行自己的卫星星座设计任务时,只需要根据任务需求对卫星星座性能评价准则进行适当的修改或添加,就可以得到符合自身需要的(一组)最佳地球观测、卫星导航、卫星通信星座设计结果。通用6N星座模型和基于GA/MOGA的无构型约束通用卫星星座设计统一算法模型共同构成了完整的、适应现代卫星星座设计需要的、能够直接应用的卫星星座设计方法。论文研究了地球观测、卫星导航、卫星通信等卫星星座的系统要求,分别给出相对应的基本系统性能评价方法。为星座的优化设计提供了重要的优化依据,保证了设计结果的可行性。在卫星导航、卫星侦察、卫星移动通信方面等方面,论文分别进行了星座设计,给出了比已经公开发表结果更好的卫星星座设计结果。
田珂[7](2006)在《开放网络环境下工作流管理系统的技术研究》文中研究说明作为一个新兴的研究方向,计算机支持的协同工作(CSCW:Computer-Supported Cooperative Work)自80年代中期提出后,正受到越来越多的关注,至今已成为发展最快的研究方向之一。工作流管理(WFM:WorkflowManagement)代表了当前计算机支持的协同工作(CSCW)发展的最新成果,正在被越来越多的企业,组织,和政府机关所接受应用。在政府为推进信息化进程而大力开展的电子政务中,电信行业中的提高企业核心竞争力的资源管理系统中,当前最热门的企业客户关系管理系统中都离不开工作流的支持。由此可见,工作流管理是实现企业业务过程建模(BPM)、业务过程优化、业务过程管理与集成,最终实现业务过程自动化的核心技术,同时更是企业资源管理(ERP)、电子商务(B2B,B2C)等Web应用的核心技术之一。 目前,工作流柔性建模、工作流安全管理、网格工作流、工作流移动计算、工作流事务处理、自适应性工作流等已成为该领域的研究热点。国外Aalst等在工作流建模、Bertino和Atluri等在工作流安全及授权、Casati和Ellis等在工作流变更和实例迁移都做了很多工作。在国内,清华大学、中科院计算所、中科院软件所、上海交通大学等都开展了工作流管理技术的研究。 本文在分析工作流技术研究现状的基础上,对工作流建模、工作流时间管理、工作流重构技术、工作流底层通讯服务以及部署等方面进行了重点研究。本文的主要研究结果如下: 1.传统工作流管理的生命周期主要包括:过程定义、过程优化、应用系统开发、工作流管理系统执行。这些方面的研究着重关注于获取和执行业务过程的效率,而忽略了所设想的流程与现实之间可能会存在的不一致性,缺乏一个从流程的实现到工作流模型之间的反馈渠道。因此,传统的工作流技术并无法胜任系统体系结构的动态控制。本文结合基于事件的工作流分析和重构算法,完善了传统工作流管理的生命周期,增强了工作流的适应性,保障了工作流系统在企业环境中的健壮运行。 2.通过引入工作流网,工作流日志,工作流事件排序关系定义,建立了一种基于事件的工作流重构算法,用以度量流程模型和实际业务流程之间的差异。 3.针对在实际工作流中易出现的复杂模式,提出了一种改进的重构算法。改进算
李如海[8](1994)在《谈对学生进行缜密思维能力的培养》文中提出 缜密思维要求考虑问题全面,周密而不遗漏。数学教学中若能注重这方面能力的培养,不仅有助于学生提高数学能力,而且更有益于学生严谨品格的培养。 解题教学中,我们常发现有的学生分析解决问题时,要么思路不清晰,考虑欠周密,导致答案与原解南辕北辙;要么顾此失彼,叙述不严谨,方法太繁琐,导致解题不严密。从其产生的原因,我们可以从以下几
赵国栋[9](2009)在《高清机顶盒中EPG和NVOD的实现与测试技术的研究》文中研究说明在蓬勃发展的数字化浪潮中,全球各国数字电视推广加速,数字电视机顶盒是模拟电视向数字电视过渡的中间产品已经进入越来越多的家庭,随着高清频道的开播,高清机顶盒的需求也越来越大。本文首先研究了高清机顶盒的硬件和软件结构,通过分析得出了机顶盒中的关键技术如信号处理技术、条件接收技术、信道技术等等,并对这些技术进行了描述。本文还对PSI信息和DVB-SI信息进行了研究,这些重要理论都是设计和实现EPG和NVOD模块的重要依据。由于机顶盒软件设计的规模越来越大,系统的复杂度也在增加,本文通过对自动机和事件驱动的基本理论知识研究提出了一种基于消息事件驱动状态机的机顶盒的设计方法。在设计和实现EPG和NVOD的过程中优化了搜表顺序,描述了分段的解复用原理,分析和改进了解析信息表中用到的分段组合算法;对目前机顶盒中的搜台方式进行了分析,设计并实现了本文中的两种搜台方式;提出了一种按照频道来解析EPG的设计方案,并且实现了EPG信息模块;利用数据结构中树和森林的基本知识得出了NVOD的信息模块的搜索流程,同时对NVOD中的数据采用二叉链表的存储方法,并结合NVOD的搜索流程给出了二叉树的实现过程;描述了EPG和NVOD数据的显示原理;对节目预约的方式进行了研究,并设计和实现了节目预约功能。研究了机顶盒测试的基本方法,测试了EPG和NVOD的各个子模块。定义了机顶盒自动机的测试结构,利用抽象状态机语言设计了机顶盒自动机的模型,实现了基于有限状态机设计的机顶盒软件系统的测试。最后在PC上模拟机顶盒设计和实现了EPG和NVOD信息解析系统。
谢然[10](2010)在《多目标优化方法在车身结构轻量化设计中的应用研究》文中认为轿车排放、油耗和碰撞安全法规日益严格,都要求汽车重量不断减少,汽车轻量化技术已成为业界研究的难点和热点。实现车身结构轻量化的途径,一是车身结构优化设计和创新设计;二是研究和开发轻质与高强度车身材料;三是采用先进的车身制造技术。由于高强度钢板在强度、塑性、抗冲击能力、回收使用及低成本方面具有综合的优势,采用高强度钢板及其先进加工工艺成为了当前车身结构轻量化设计的主要方法。高强度钢板车身结构设计是一个多学科、多目标优化过程,涉及到冲压成形、碰撞安全、结构强度、模态和刚度、NVH和空气动力性等各个方面的性能要求。论文根据轻量化车身结构设计的实践需要,对以试验设计、代理模型、现代优化算法和质量工程为核心的多目标理论体系进行了阐述。本论文主要的研究工作包括以下三个方面:1)通过某SUV车型的结构特征、受力特点、碰撞变形的力流和能量流分布规律分析,提出了车身结构高强度钢板分布方案。使该车型的高强度钢板质量比例达到54%,处于国内领先水平。2)提出了车身结构多目标优化方法的算法流程。在采用高强度钢板后,为了确定该SUV车身前端结构关键零件的厚度参数,首先分别建立白车身有限元模型和40%偏置正面碰撞的简化模型;其次在优化模型中综合考虑白车身扭转刚度、最大碰撞力及平均碰撞作用力、碰撞吸能要求和质量最轻等多个性能指标要求,在构建高精度的响应面近似模型的基础上,然后采用非劣性分层遗传算法(NSGA-Ⅱ)对其进行6σ可靠性优化设计;最后运用蒙特卡罗模拟技术对优化方案的鲁棒性进行评价。优化方案的前纵梁变形模式更加合理,其后门槛的加速度响应也得到了改善。3)白车身模态和40%ODB偏置碰撞试验与仿真结果的比较表明,建立了的白车身和整车碰撞有限元模型的精度符合工程设计要求。在材料升级及结构改进后,40%ODB偏置碰撞的仿真结果表明各关键点的侵入量都有较大幅度的改善。车身结构的轻量化系数也从5.23降低到4.67,处于国内同型车的领先水平。
二、正确理解定理防止解的遗漏(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、正确理解定理防止解的遗漏(论文提纲范文)
(1)普通高中学生数学解题“马虎”现象研究(论文提纲范文)
摘要 |
ABSTRACT |
1 绪论 |
1.1 课题研究的背景与选题缘由 |
1.2 课题研究的目的和主要内容 |
1.3 课题研究思路与方法 |
1.4 创新点 |
1.5 研究的框架描述 |
2 课题研究的意义与关键概念界定 |
2.1 课题研究的意义 |
2.2 关键概念界定 |
3 文献综述与理论基础 |
3.1 文献综述 |
3.2 理论依据 |
4 数学解题“马虎”现象研究设计 |
4.1 研究对象的选择 |
4.2 问卷的设计 |
4.3 访谈题目的设计 |
4.4 案例选择的依据 |
5 数学解题“马虎”现象研究的实施 |
5.1 调查研究 |
5.2 访谈研究 |
5.3 案例分析 |
5.4 研究结果 |
6 讨论、结论与建议 |
6.1 讨论 |
6.2 研究结论 |
6.3 建议 |
6.4 不足与展望 |
参考文献 |
附录 |
致谢 |
(3)免疫决策关键技术研究(论文提纲范文)
摘 要 |
Abstract |
1 绪论 |
1.1 引言 |
1.2 决策 |
1.3 智能决策 |
1.4 免疫决策 |
1.5 协同产品开发的决策行为 |
1.6 本论文的工作 |
1.7 本章小结 |
2 人工免疫系统 |
2.1 引言 |
2.2 免疫系统 |
2.3 补体系统 |
2.4 人工免疫系统 |
2.5 本章小结 |
3 免疫AGENT |
3.1 引言 |
3.2 免疫AGENT |
3.3 多免疫AGENT 系统 |
3.4 本章小结 |
4 补体激活算法理论及应用 |
4.1 引言 |
4.2 补体激活原理 |
4.3 补体激活算法 |
4.4 补体激活算法在多目标群决策中的应用 |
4.5 本章小结 |
5 多目标免疫应答激活算法理论及应用 |
5.1 引言 |
5.2 免疫应答原理 |
5.3 多目标免疫应答激活算法 |
5.4 自动化产品概念设计 |
5.5 本章小结 |
6 多方多议题协商框架 |
6.1 引言 |
6.2 冲突消解方法 |
6.3 多方多议题协商框架 |
6.4 强化学习 |
6.5 基于免疫网络的Q-学习算法 |
6.6 协同产品开发评价指标的协商 |
6.7 本章小结 |
7 基于免疫AGENT 的群体决策支持系统 |
7.1 群体决策支持系统 |
7.2 基于免疫AGENT 的群体决策支持系统 |
7.3 系统实现 |
7.4 本章小结 |
8 总结与展望 |
8.1 本文所做的主要工作 |
8.2 需要进一步研究的问题 |
参考文献 |
作者在读期间科研成果简介 |
致谢 |
(4)热工过程中的数据校正和多目标优化研究(论文提纲范文)
摘 要 |
ABSTRACT |
第一章 绪论 |
1.1 论文选题的背景 |
1.2 数据协调和显着误差检测技术发展 |
1.3 多目标优化问题的研究概况 |
1.4 论文的主要内容 |
第二章 热工过程中的数据校正算法模型研究 |
2.1 概述 |
2.2 数据校正问题的基本模型 |
2.3 数据协调算法模型研究 |
2.4 显着误差检测与识别技术研究 |
2.5 数据校正算法在电站系统性能在线计算中的应用 |
2.6 本章小结 |
第三章 多目标优化的算法研究 |
3.1 概述 |
3.2 多目标优化问题的描述 |
3.3 多目标优化问题的常规算法 |
3.4 多目标优化问题的演化算法 |
3.5 本章小结 |
第四章 多目标优化算法在锅炉燃烧优化中的应用 |
4.1 概述 |
4.2 电站锅炉NOx排放机理与效率的计算模型 |
4.3 锅炉NOx排放与效率响应特性模型 |
4.4 多目标优化算法在锅炉燃烧优化中的应用 |
4.5 本章小结 |
第五章 结论与展望 |
5.1 全文总结 |
5.2 系统发展方向展望 |
参考文献 |
致 谢 |
作者在硕士研究生期间发表的论文及主要科研项目 |
(5)HBTS品牌X-FOLD XM100型包装机英文产品说明书汉译实践报告(论文提纲范文)
摘要 |
Abstract |
1. 翻译任务简介 |
1.1 项目背景 |
1.2 项目目标 |
1.3 项目意义 |
2. 任务过程 |
2.1 译前分析和准备 |
2.1.1 目标文本的语言特点 |
2.1.2 平行文本的分析 |
2.2 翻译过程 |
3. 案例分析:HBTS X-Fold XM100型包装机英文产品说明书的汉译 |
3.1 翻译原则 |
3.1.1 准确性、专业原则 |
3.1.2 可读性原则 |
3.2 翻译对策 |
3.2.1 语义翻译 |
3.2.2 交际翻译 |
3.3 译例分析 |
3.3.1 词汇的翻译 |
3.3.2 句子的翻译 |
3.3.3 语篇衔接 |
4. 经验总结 |
参考文献 |
附录:翻译资料 |
致谢辞 |
(6)基于遗传算法的卫星星座设计(论文提纲范文)
摘要 |
Abstract |
1 绪论 |
1.1 论文的研究背景 |
1.2 国内外研究现状与趋势 |
1.3 论文的组织及主要研究内容 |
1.4 论文的主要贡献 |
2 遗传算法与多目标优化 |
2.1 遗传算法的历史背景 |
2.2 遗传算法的基本原理与流程 |
2.3 GA与多目标优化 |
2.4 带精英策略的非支配排序遗传算法 |
3 基于GA的无构型约束卫星星座设计方法 |
3.1 摄动模型与轨道计算 |
3.2 地球卫星轨道类型 |
3.3 通用的6N星座模型 |
3.4 基于GA的无构型约束通用卫星星座设计方法 |
3.5 地球观测卫星星座系统性能评价 |
3.6 卫星导航星座系统性能评价 |
3.7 通信卫星星座系统性能评价 |
3.8 基于NSGA-II的无构型约束通用卫星星座设计方法 |
4 基于GA的Flower卫星星座研究 |
4.1 Flower星座理论背景与研究方法 |
4.2 基于Flower星座的区域卫星导航星座设计 |
4.3 基于遗传算法的区域卫星导航Flower星座设计 |
4.4 基于遗传算法的区域卫星通信Flower星座设计 |
5 基于GA的侦察/通信卫星星座研究 |
5.1 区域侦察卫星星座设计 |
5.2 区域侦察卫星星座仿真与结果分析 |
5.3 目标侦察/区域通信相结合的卫星星座设计 |
5.4 目标侦察/区域通信相结合的卫星星座仿真与结果分析 |
6 基于NSGA-II的卫星星座研究 |
6.1 基于GA的卫星移动通信网星座设计 |
6.2 基于NSGA-II的卫星移动通信网星座设计 |
7 总结与展望 |
致谢 |
参考文献 |
附录 攻读博士学位期间发表论文目录 |
(7)开放网络环境下工作流管理系统的技术研究(论文提纲范文)
摘 要 |
ABSTRACT |
第一章 绪论 |
1.1 工作流简介 |
1.1.1 工作流技术的产生与发展 |
1.1.2 工作流的定义 |
1.1.3 工作流管理系统的参考模型 |
1.1.4 工作流管理系统分类 |
1.1.5 工作流管理与其他应用软件系统的集成 |
1.1.6 现有工作流技术的不足 |
1.1.7 工作流管理领域研究的热点 |
1.2 本论文的研究背景 |
1.3 论文的主要工作和创新 |
1.4 论文的组织 |
第二章 工作流建模技术 |
2.1 工作流的建模方法 |
2.1.1 基于PETRI网的建模及分析 |
2.1.2 基于协调理论的建模方法 |
2.1.3 事务工作流建模方法 |
2.1.4 协作工作流建模方法 |
2.2 过程描述语言 |
2.2.1 WPDL&XPDL |
2.2.2 BPML |
2.2.3 BPEL4WS |
2.3 本章小结 |
第三章 工作流支撑技术研究 |
3.1 基于插件的部署研究 |
3.1.1 J2EE的部署模式和问题 |
3.1.2 插件部署的相关概念 |
3.1.2.1 插件定义 |
3.1.2.2 插件自描述文件 |
3.1.2.3 系统总体部署文件: |
3.1.2.4 插件依赖关系的建立: |
3.1.3 插件部署系统的架构 |
3.2 消息性能优化研究 |
3.2.1 JBOSS消息服务器(JBossMQ)的传输性能 |
3.2.2 差异分析 |
3.2.3 优化策略 |
3.2.4 具体实现 |
3.2.5 测试结果 |
3.3 一种新的消息报文分类算法 |
3.3.1 消息报文分类技术的现状 |
3.3.2 报文分类问题 |
3.3.3 RFC算法 |
3.3.4 改进的算法 |
3.3.5 改进算法的性能 |
3.3.5.1 时间复杂度分析 |
3.3.5.2 空间复杂度分析 |
3.3.5.3 算法的实验 |
3.4.本章小结 |
第四章 工作流时间管理 |
4.1 工作流的时间问题 |
4.2 工作流时间约束 |
4.2.1 单个活动的执行时间约束 |
4.2.2 相邻活动间的时间约束 |
4.2.3 非相邻活动的时间约束 |
4.3 时间一致性的动态维护 |
4.3.1 流程启动时的检查 |
4.3.2 流程执行期间的再检查 |
4.3.2.1 只检查未执行的活动 |
4.3.2.2 只检查未来可能会被执行的活动 |
4.3.2.3 去除无效的时间约束 |
4.4 基于关键路径的截止期限分配方法 |
4.4.1 流程模型的时间描述 |
4.4.2 关键路径 |
4.4.2.1 最长(最短)关键路径的确定方法 |
4.4.3 工作流控制结构的时间分析 |
4.4.3.1 串联控制结构 |
4.4.3.2 并联控制结构 |
4.4.3.3 选择控制结构 |
4.4.3.4 循环控制结构 |
4.5 一个示例流程截止时间的重新分配 |
4.6 本章小结 |
第五章 基于日志的工作流重构 |
5.1 PETRI网 |
5.2 工作流网WF-NET |
5.3 工作流日志与事件 |
5.3.1 工作流日志 |
5.3.2 工作流事件 |
5.4 重构算法的形式化规约 |
5.4.1 构建依赖-频率表 |
5.4.2 推导依赖-频率图 |
5.4.3 从依赖-频率图中生成工作流网 |
5.5 复杂模式的重构 |
5.5.1 自循环任务模式 |
5.5.2 互循环任务模式 |
5.5.3 改进的重构算法 |
5.5.3.1 自循环任务模式处理 |
5.5.3.2 互循环任务模式的处理 |
5.5.4 实验 |
5.5 本章小结 |
第六章 基于混合遗传算法的工作流重构 |
6.1 遗传算法 |
6.1.1 遗传算法的主要优点: |
6.1.2 主要研究领域: |
6.2 模拟退火算法 |
6.2.1 算法原理: |
6.2.2 算法的基本步骤: |
6.3 模拟退火与遗传算法的结合 |
6.4 基于混合遗传算法的工作流重构 |
6.4.1 相关概念 |
6.4.1.1 日志噪声 |
6.4.1.2 活动依赖关系的度量 |
6.4.1.3 活动因果关系矩阵 |
6.4.2 混合遗传算法在重构中的应用 |
6.4.2.1 创建初始种群 |
6.4.2.2 适应函数和初温的确定 |
6.4.2.3 选择复制操作 |
6.4.2.4 交叉率和变异率的确定: |
6.4.2.5 交叉(CROSSOVER)和变异(MUTATION)操作 |
6.4.2.6 终止规则 |
6.4.2.7 模拟退火操作 |
6.4.2.8 试验 |
6.5 本章小结 |
第七章 开放网络环境下工作流管理系统的实现 |
7.1 背景 |
7.2 体系结构 |
7.3 UOS FLOW执行服务器组成 |
7.4 UOS FLOW软件实现 |
7.4.1 WORKFLOW CLIENT&MANAGER的设计考虑 |
7.4.2 WORKFLOW ENGINE的设计考虑 |
7.4.2.1 怎么知道活动产生的工作项已经完成 |
7.4.2.2 怎么判断条件 |
7.4.2.3 怎么查询参与者 |
7.4.3 WAPI2服务的设计考虑 |
7.4.4 审计数据服务的设计考虑 |
7.4.5 流程管理的设计考虑 |
7.4.5.1 数据库表格方式 |
7.4.5.2 XPDL实体方式 |
7.4.5.3 UOS Flow的实现方式 |
7.4.6 SCHEDULER服务的设计考虑 |
7.4.7 事件处理 |
7.4.8 异步处理 |
7.4.8.1 对状态进行通知或轮询 |
7.4.8.2 生成跟踪ID |
7.4.8.3 状态跟踪 |
7.4.8.4 处理超时 |
7.4.8.5 错误补偿 |
7.5 本章小结 |
第八章 结论和展望 |
8.1 结论 |
8.2 展望 |
致谢 |
参考文献 |
攻博期间取得的研究成果 |
作为主要研发人员参与下列项目: |
(9)高清机顶盒中EPG和NVOD的实现与测试技术的研究(论文提纲范文)
摘要 |
ABSTRACT |
第一章 绪论 |
1.1 背景 |
1.2 国内外现状 |
1.2.1 国内现状 |
1.2.2 国外现状 |
1.3 论文的主要研究内容和组织结构 |
1.3.1 论文的主要工作 |
1.3.2 论文的组织结构 |
第二章 数字电视机顶盒 |
2.1 机顶盒的分类 |
2.2 高清机顶盒的体系结构 |
2.2.1 高清机顶盒的硬件体系结构 |
2.2.2 高清机顶盒的软件体系结构 |
2.3 机顶盒的关键技术 |
2.4 机顶盒的功能 |
2.5 本章小结 |
第三章 EPG和NVOD的关键技术 |
3.1 TS包结构 |
3.2 PSI和SI信息的研究 |
3.2.1 PSI信息研究 |
3.2.2 SI信息研究 |
3.2.3 描述符 |
3.3 SI信息在EPG和NVOD中的描述 |
3.3.1 EPG业务的描述 |
3.3.2 NVOD业务的描述 |
3.4 本章小结 |
第四章 基于消息事件驱动自动机的机顶盒的设计与实现 |
4.1 有限状态自动机及事件驱动理论 |
4.2 机顶盒的设计 |
4.2.1 状态的抽象 |
4.2.2 状态的划分 |
4.2.3 状态的输入 |
4.2.4 状态的转换 |
4.3 机顶盒自动机的实现 |
4.4 本章小结 |
第五章 EPG和NVOD模块的设计与实现 |
5.1 EPG和NVOD的实现原理 |
5.1.1 收表顺序的优化 |
5.1.2 分段的解复用 |
5.1.3 分段组合 |
5.2 搜台模块 |
5.2.1 搜台的设计 |
5.2.2 搜台的实现 |
5.3 EPG信息模块 |
5.3.1 节目指南的设计 |
5.3.2 节目指南的实现 |
5.4 NVOD信息模块 |
5.4.1 NVOD中的树形结构 |
5.4.2 NVOD的搜索流程 |
5.4.3 NVOD中的二叉树结构 |
5.4.4 NVOD中二叉树数据结构的定义 |
5.4.5 NVOD中二叉树的建立 |
5.5 显示模块 |
5.5.1 数据的显示原理 |
5.5.2 界面设计 |
5.6 节目预约 |
5.6.1 节目预约的设计 |
5.6.2 节目预约的实现 |
5.7 本章小结 |
第六章 基于有限状态机的EPG和NVOD测试技术的研究与实现 |
6.1 测试的基本方法 |
6.1.1 黑盒测试 |
6.1.2 白盒测试 |
6.1.3 单元测试 |
6.1.4 集成测试(任务测试) |
6.2 基于有限状态机的机顶盒中任务间测试技术的研究与实现 |
6.2.1 抽象状态机语言ASML |
6.2.2 机顶盒自动机的测试结构 |
6.2.3 机顶盒中任务间抽象状态机模型的描述 |
6.2.4 机顶盒自动机的测试步骤 |
6.2.5 测试结果与分析 |
6.3 EPG和NVOD解析系统的实现 |
6.4 本章小结 |
第七章 总结与展望 |
7.1 论文研究工作总结 |
7.2 可进一步研究的问题 |
致谢 |
参考文献 |
在读期间的研究成果 |
(10)多目标优化方法在车身结构轻量化设计中的应用研究(论文提纲范文)
摘要 |
Abstract |
第一章 绪论 |
引言 |
1.1 车身结构轻量化设计的研究内容和方法 |
1.2 国内外轻量化车身结构的研究现状 |
1.2.1 轻量化材料车身结构的研究现状 |
1.2.2 轻量化车身结构优化设计方法研究现状 |
1.3 本论文的主要研究内容 |
第二章 车身结构多目标优化的理论体系 |
2.1 近似模型的构建理论 |
2.1.1 试验设计 |
2.1.2 近似模型 |
2.2 遗传算法理论 |
2.3 车身结构可靠性和鲁棒性设计理论 |
2.3.1 工程设计中的不确定性及概率设计方法 |
2.3.2 结构可靠性设计基础 |
2.4 本章小结 |
第三章 基于耐撞性的轻量化车身结构材料分布规律研究 |
3.1 车身结构受力特征研究 |
3.1.1 Euro-NCAP正面碰撞分析 |
3.1.2 Euro-NCAP侧面碰撞分析 |
3.2 车身结构高强度钢板升级方案 |
3.3 车身结构高强度钢板分布规律总结 |
3.4 本章小结 |
第四章 车身前部结构的多目标优化设计 |
4.1 汽车轻量化设计的多目标问题及设计流程 |
4.1.1 汽车轻量化设计的多目标问题 |
4.1.2 汽车轻量化设计的多目标优化流程 |
4.2 实例SUV车身结构多目标优化设计有限元模型的建立 |
4.2.1 实例SUV白车身扭转刚度分析模型的建立 |
4.2.2 实例SUV车身抗撞性优化模型的建立 |
4.2.3 实例SUV车身轻量化多目标优化设计的数学模型 |
4.3 实例SUV车身结构多目标优化计算及结果分析 |
4.3.1 车身结构多目标优化试验设计及响应面的构建 |
4.3.2 车身结构多目标和可靠性优化求解 |
4.3.3 车身前部结构多目标优化结果评价 |
4.4 本章小结 |
第五章 车身结构多目标优化综合性能验证 |
5.1 轻量化车身结构模态实验 |
5.2 Euro-NCAP正面碰撞实验及仿真 |
5.2.1 Euro-NCAP正面碰撞实验方法 |
5.2.2 碰撞实验与仿真结果对比分析 |
5.3 轻量化车身结构优化效果综合验证 |
5.3.1 车身结构耐撞性优化效果仿真分析 |
5.3.2 车身结构的轻量化系数评价方法 |
5.4 本章小结 |
总结与展望 |
参考文献 |
攻读硕士学位期间取得的研究成果 |
致谢 |
答辩委员会对论文的评定意见 |
四、正确理解定理防止解的遗漏(论文参考文献)
- [1]普通高中学生数学解题“马虎”现象研究[D]. 王芳. 天津师范大学, 2014(11)
- [2]正确理解定理防止解的遗漏[J]. 吴宝正. 初中生数学学习, 1999(16)
- [3]免疫决策关键技术研究[D]. 陈光柱. 四川大学, 2006(03)
- [4]热工过程中的数据校正和多目标优化研究[D]. 陈强. 东南大学, 2004(02)
- [5]HBTS品牌X-FOLD XM100型包装机英文产品说明书汉译实践报告[D]. 肖洁. 湖南师范大学, 2015(08)
- [6]基于遗传算法的卫星星座设计[D]. 曾喻江. 华中科技大学, 2007(05)
- [7]开放网络环境下工作流管理系统的技术研究[D]. 田珂. 电子科技大学, 2006(01)
- [8]谈对学生进行缜密思维能力的培养[J]. 李如海. 数学教师, 1994(02)
- [9]高清机顶盒中EPG和NVOD的实现与测试技术的研究[D]. 赵国栋. 西安电子科技大学, 2009(03)
- [10]多目标优化方法在车身结构轻量化设计中的应用研究[D]. 谢然. 华南理工大学, 2010(04)