简介：代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT（AlgebraicSpecificationsBasedAutomaticTesting）,并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.

简介：运用＂四个世界＂理论,着重讨论语言世界、物理世界、心理世界、文化世界、对命名艺术的制约规律。语言世界要求命名在语音、语法、修辞方面符合汉民族习惯,物理世界要求命名要与之相符,心理世界要求命名要适应人的心理需求,文化世界要求命名要服从本民族文化。＂四个世界＂因素往往是综合起作用的,只有这样,命名才能真正达到艺术程度。命名能够与＂四个世界＂相吻合的便是得体的,否则便是负偏离形式,难以为大众所接受。

简介：广告口号对外翻译一直是国内译界一大难题,如何解决这一难点,需要译者一要熟悉译语广告口号的行文特点和问题规范,二要具有商家意识,熟悉和了解广告受众对广告口号的关注点。文章从两个方面对此做了阐述,指出要搞好广告口号对外英译,必须在上述两个方面加强认识。

简介：摘要随着电力系统事业的快速发展，电力行业对系统运行的稳定性，快速反应要求越来越高。电力系统运行工况越来越复杂，传统的模拟仿真工具无法满足要求，可编辑设备数量，选择规约的模拟工具应运而生。

简介：本文主要研究Karabut系统的可积性,证明该系统至多有3个函数独立的代数首次积分,因此该系统不是代数可积的。

简介：摘要目前，在电力系统远动通讯领域，通讯规约的调整和修改是非常重要的环节，但是电力系统远动通讯的调试工作非常繁琐，调试不当还会出现问题，出现严重的结果。同时，调试系统层层复杂，使用者难以对整个电力系统通讯实现准时，正确的控制，这更加影响了电力系统远动通讯领域的发展。本文对电力系统远动通讯进行简单分析，进一步发现和完善电力系统远动通讯规约。

简介：摘要伴随着我国城市化的进一步发展与推进，我国现代数字房产测绘技术的可应用范围不断扩大，这在一定程度上促使房产测绘技术逐渐向着更高层次的方向进行发展。近年来，在现代数字房产测绘技术的深入发展下，GPS技术、GIS技术、数字化成图等地理信息技术，相继应用于现代数字房产测绘中，进而使得数字房产测绘技术的水平得到了有效提升。基于此，针对于现代数字房产测绘技术的探析，本文主要对现代数字房产测绘技术的概念与特点进行了相关阐述，以及同时对现代数字房产测绘技术的具体应用进行了相关探究。

简介：针对《高等代数》理论课出现的问题,诸如教学方法和学业评价,增设《高等代数》实验课程,本文给出了该课程的教学方法,又以行列式章节为例进行详尽说明,在实践的基础上给出了学业评价考核方式方法.该课程的开设既提高了学生的能力,同时,为其它数学类实验课程改革提供参考价值。

简介：针对＂线性代数＂课程在教学过程中遇到的问题和困难,从教材的建设和教学的方式、方法、手段等方面进行了探索。特别地,在教材建设方面,在知识构架、内容设计、双语改革三个方面对教材进行创新编排,并正式出版了教材;在教学中采用了一些新的做法,如强调各知识点的应用背景、贯彻初等变换这一主线、坚持讲思路讲方法讲思维方式、渗透算法设计分析的思想、创新双语教学的模式。

简介：新的教学改革在教育制度的发展下已经基本形成，相对于传统应试教育而言，新的教学改革更强调对学生学习能力的培养，而不是单纯的为了应试教育而制定死板的教学计划[1]。在小学数学教学中，数与代数被列为最重要的内容之一。通过学习代数知识，学生可以叙述、分析和把握现实事件，这对学生逻辑思维能力的发展和形成具有重要的作用和意义[2]。作为教学组织者，数学教师在课堂教学中要采取措施教会小学生学会并且掌握代数知识，为学生将来更快更好的发展打好牢固的基础。

简介：文章借助新疆财经大学数学学院2012级在校大学生的数据，利用单因素方差分析和广义线性模型，加上对新疆地域的考虑，基于R软件对大学生线性代数成绩与其影响因素进行研究.研究表明，学生基础、教师语言能力均对大学数学线性代数考试成绩有正相关影响，而高考成绩和专业类型对成绩影响不显著.

简介：在数学问题解决过程中,我们时常会发现有的问题既可以从代数的角度进行解答,又可以从几何的角度进行解答,而两种方法中有时各有千秋,有时平分秋色.本文呈现两则案例,分别从代数和几何的角度给出解答,并进行简单的分析,同时对案例2进行简单改编,不当之处,敬请指正.

简介：摘要新时代数学建模被运用到小学数学的教学工作当中，主要目的是为了简化高难度的数学知识，让学生在学习数学知识的同时，增强对这门学科的认知度和自信心，从而形成系统化的数学知识。

简介：摘要随着科学研究的不断探索和进步，三角函数现在不仅是科学研究的重要组成部分，更是我们实际生活中不可缺少的元素。三角函数有着思想丰富、变化灵活、渗透性强等特点，是描述周期现象的重要数学模型，在教学和其他领域中往往起着重要的推动作用。本文将从三角函数的定义出发，突出其在解决代数问题中的应用做简单的讨论。

简介：生活离不开数学,数学来源于生活,在现实生活中,有很多问题可以借助数学知识解决,解决实际问题的同时还能激发我们对数学的兴趣.例1通常购买同一品种的西瓜时,西瓜的质量越大,花费的钱就越多,因此人们希望西瓜瓤占整个西瓜的比例越大越好.假如我们把西瓜都看成球形,并把西瓜瓤的密度看成是均匀的,西瓜的皮厚都是d,那么买大西瓜合算还是买小西瓜合算？分析这是个生活实际问题,可以通过计算来回答,只要算出西瓜瓤与整个西瓜的体积比之间的关系就能确定.

简介：我国目前有关数据信息收集的法律法规中提到的收集主体很多,为了规范数据信息的收集,应考虑对数据收集主体进行法律规范,根据所收集数据的性质、范围等,规定适当的条件,有些专门、敏感数据的收集,还需要取得相关部门的授权,数据信息收集人员应具备相应的专业资格,并进一步明确其权利义务和相应的法律责任。对数据信息收集者来说,不应是想收集什么就收集什么,需要法律对数据信息收集的范围和边界、收集数据信息的方式方法进行规制。当前有关数据信息收集,我国已经制定了一些法律法规以及其他规范性文件,但还缺乏系统性和更强的针对性,且层级太低,应着眼于国家大数据战略发展的现实需要,进一步加强相关立法工作。在对大数据进行法律规制上,应更加重视对公民个人数据信息权利的保护。在目前的法治环境下,公民唯一可以期待的,是通过加强政府监管维护自己的数据信息安全。

简介：根据线性代数课程的特点和学生的学习现状,针对线性代数课程的教学有效性,主要就教师如何通过有效教学从而激发学生有效学习的方法进行研究与探讨,针对课前、课中、课下各环节问题提出观点与方法,注重对学生的引导,以提高学生的学习效率,培养学生借助线性代数解决实际问题的能力。

简介：大数据时代强调“数据”价值的多样化，能够在数据资源的管理及共享中，实现数据资源的有效应用。数据库的技术发展及应用，是强化数据开发及应用的重要基础。与面向客户的技术结合、与多媒体技术结合、与人工智能技术结合，都是当前数据库应用及发展的重要方向。随着数据库技术的不断发展，大数据时代下的数据库构建呈现出“统一性”“共享性”和“灵活性”等特点，进一步要求数据库的应用，应强化数据库技术的有效构建，数据标签、节点建设、虚拟大数据系统、信息获取等内容，都是当前数据库应用及发展的重要基础。本文立足对数据库的研究，从大数据时代的背景出发，具体阐述了大数据时代数据库的有效应用。

简介：摘要经济技术正在不断的变化和发展，房屋建筑业在不断完善，在此过程中房产测绘工作有了较大的发展空间，特别是现代化房产测绘技术的运用为传统测绘方式增添了便利性，弥补传统测绘产生的弊端，为了切实提升房地产测绘工作的效果和质量就需要使用数字化测绘技术，实现房地产测绘工作的新发展，基于此本文从现代化数字领域出发对房产测绘技术在我国房产测绘工作中的运用进行分析和研究，本文从实际出发给出几点建议，便于促进实际工作的开展。

简介：摘要随着IEC61850标准在变电站自动化系统的不断推广，如何将仅支持传统规约的设备接入到IEC61850系统中是一个重要问题。本文基于XML技术，建立了一种传统规约与IEC61850信息模型和服务模型的映射方法，完成了传统规约向IEC61850的转换，并在通讯管理机中实现，解决了仅支持Modbus、IEC60870-5-104（104）、IEC60870-5-103（103）等三种传统规约的保护测控装置，无法直接接入IEC61850后台的问题。