“常用逻辑用语”作为与日常生活密切联系的教学内容,在日常生活和数学中都有着丰富的实例.但这部分内容被抽象成数学形式化定义后,学生理解起来有一定的困难.教学中,适时地将生活中的实例与教学内容巧妙地结合起来,一来可以帮助学生透彻理解逻辑知识,使逻辑关系更加明了;二来可以增加数学课堂的现实性和趣味性,使数学课堂更贴近日常生活,提高学生学习数学的兴趣.下面是笔者在常用逻辑用语教学中的一些案例.
<正>分式是初中数学中重要内容之一,有些同学在学习过程中对分式概念基本性质理解不透彻,对分式的运算法则不熟悉,常常会出现一些错误·下面就学生作业中出现的错误作归类例析,供同学们参考
函数概念是中学数学的核心概念之一,学生对这一概念的学习和理解将贯穿在整个中学数学学习过程中,由于受到不同年龄阶段认知发展水平、生活经验、学习经验的影响,学生对它的认识和领悟过程不是线性的,而是一个循序渐进、螺旋上升的过程.通过课堂观察以及归纳学生学习函数中的问题不难发现,在以往教学中,存在忽略学生认知基础,过快地呈现函数形式化定义,脱离函数概念相对孤立地研究函数性质与具体函数,以及解决函数问题时...
作者:单锦辉; 张路; 王金波; 张涛 期刊:《北京大学学报·自然科学版》 2019年第02期
作者:王能建; 邱长华 期刊:《中国造船》 2005年第01期
船舶设计过程模型是在网络环境下开展船舶并行和协同设计系统的基础.本文根据船舶设计的特点,提出了将船舶设计过程按照项目、设计任务和设计活动三个层次进行分解的方法,并给出了船舶设计过程模型形式化定义.该模型明确了设计任务间的并行、顺序和协同关系,可以直接按设计任务构成活动网络图进行规划、分析、管理等工作,使设计过程具有良好的可变更性和可控性.
作者:张志祥; 李庆华; 贲可荣 期刊:《计算机科学》 2004年第09期
本文提出了一种新的面向对象设计方法,即行为抽象方法,分析了其原理、适用性和效果,给出了行为抽象的形式化定义,研究了行为抽象与众多设计模式之间的关系.
作者:白雪梅; 凌捷 期刊:《网络安全技术与应用》 2005年第10期
本文总结了现有的软件水印算法并给出了水印系统的形式化定义、继而提出一种新的基于神经网络的软件水印实现方案,并对其进行了简单的性能分析.
如何对消息进行定义及使用,是电力客户服务系统的核心部分.通过对该系统消息机制的说明,阐述了整个系统核心部分的发展方向.过程模型是工作过程的形式化定义,它的正确性直接影响业务目标的实现.作者给出了电费催缴以及采用VOIP技术的板卡式呼叫中心来实现远端坐席的两个实例,并对业务目标进行了分析.
作者:杨超; 马建峰 期刊:《电子科技》 2004年第04期
随着大规模、分布式网络系统对信息安全需求的进一步提高,其安全问题的研究重点已转移为网络系统的可生存性研究.那么,首要问题是建立统一、规范的网络系统的可生存性定义.文中从网络系统的可生存需求出发,借鉴了近年来国内外的可生存研究成果,提出了规范化的网络系统的可生存性定义,并给出其形式化的描述及其实现模型,为下一阶段的系统可生存性的定量分析提供统一、规范的可生存性定义.
随着社会上软件数量的不断增多,软件系统的功能稳定性、系统可靠性、功能的健全性、系统的健壮性等属性信息逐渐被用户及相关单位所重视。如何得到满足用户需求的软件测试有效信息,是摆在众多学者面前的研究课题。文章从软件测试用户需求入手,以实现满足用户需求的软件测试结果为目标,给出了一种面向用户需求的软件测试方法。对用户需求进行了形式化定义,对以用户需求为软件测试驱动力的软件测试流程及方法进行了详细阐述。文章的...
作者:袁丹; 张玉清 期刊:《计算机研究与发展》 2006年第Z2期
对已经提出的网络可生存性定义进行了分析与研究,归纳并总结了网络可生存性的关键要素,然后基于这些要素给出了一个网络可生存性的定义;在该定义的基础上,提出了更加精确、全面、利于实现的七元组的形式化定义,为网络可生存性需求分析、设计和实现提供理论框架,同时也为验证实现的系统是否满足可生存性定义了标准.
作者:许可; 杨路明 期刊:《科技与创新》 2007年第27期
本文在活动网络图的基础上进行扩展,提出了Exd-ANBD(Extended Activity-Network-Based Diagram)工作流过程模型,并给出模型的形式化定义。构造的模型改善了活动网络图在描述能力和逻辑性上的不足,使之更能贴近企业实际需求。
针对近几年在语义web服务自动组合上的研究成果,深入归纳和总结了目前语义web服务组合的定义、组合方法以及正确性验证技术。对语义web服务组合问题进行分类和形式化定义,并归纳出语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。
作者:崔云飞 王帅 李艺 董可为 期刊:《装备学院学报》 2010年第02期
在分析云计算资源特点与资源管理基本功能的基础上,结合大系统控制理论,设计了基于多级递阶控制的云计算资源共享模型;该模型包括功能域和协调控制域2个部分,对功能域的6层结构进行了形式化定义,对协调控制域总结了采用多级递阶控制结构进行管理的7个优点;给出了云计算资源管理的工作流程;本研究从整体上对构建云计算系统提供了一种可行的思路。
作者:任传伦 李忠献 钮心忻 杨义先 期刊:《计算机应用研究》 2010年第12期
为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本。给出了AHURBAC模型的形式化定义,并给出can_assign、can_re-voke、can_assignp和can_revokep的形式化定义。给出的授权管理模型对有效降低授权管理成本是有益的。
作者:贾光辉 期刊:《中小学数学·高中版》 2008年第11期
函数概念是中学数学的核心概念,学生对此概念的学习和认识将贯穿在整个中学学习过程中.通过课堂观察以及归纳学生解题中的错误不难发现,在以往的教学中,存在过快地呈现函数形式化定义,后续课对其再认识不足的现象,从而导致学生对函数本质理
作者:顾勋梅 虞慧群 期刊:《计算机工程》 2010年第14期
针对功能点分析(FPA)方法因缺少精确化定义而导致度量结果与实际之间有一定偏差的问题,基于B方法对FPA的度量规则进行形式化定义,即为功能点计算提供一个明确的定义。实例应用表明,把B方法应用到软件度量中,能够提高软件项目管理的效率,为软件功能规模的自动化度量奠定基础。
作者:王向辉 冯志勇 期刊:《计算机应用研究》 2014年第05期
针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。
人教社章建跃博士多次强调:数学教师必须特别重视概念的教学,学生的概念理解和应用水平是衡量教学质量高低的最重要标准。然而,在当前的高中数学教学中,“函数最值”的概念教学似乎并未受到应有的重视。调查发现,在不少教师看来,求解函数的最值问题,往往归结为分析相应函数的性质(主要是单调性)与图像,因此,不必要在最值的概念教学上狠下功夫;很多受访的高三学生,难以准确叙述函数最值的形式化定义,甚至表现出一脸茫...