检索结果-南通市图书馆

基于JAVA语言的设计模式识别的研究与应用

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于JAVA语言的设计模式识别的研究与应用

作者：苗康华东师范大学

学位级别：硕士

设计模式概念的引入,使得更多的人开始在程序设计时使用适当的模式简化程序人员编写代码的复杂度、提高代码质量[10]。但随之而来的问题是由于人们对设计模式在理解上存在错误或者是因为在代码实现上与自己预先设计的存在偏差导致设计... 详细信息

设计模式概念的引入,使得更多的人开始在程序设计时使用适当的模式简化程序人员编写代码的复杂度、提高代码质量[10]。但随之而来的问题是由于人们对设计模式在理解上存在错误或者是因为在代码实现上与自己预先设计的存在偏差导致设计模式使用错误的现象越来越多[9]。本文在基于GoF的深入理解基础上,分析了面向对象类与类、对象与对象之间的关系,并将他们对应为谓词关系,建立谓词关系演算法则。这样我们就将判断用户代码是否满足某些设计模式的问题转化为了图论上的可满足性问题。最后我们以JAVA语言为代表,分别在静态和动态环境下提取我们所关心的类和对象的关系并进行关系演算。最终通过这种方法实现了完全由机器对用户代码设计模式的自动检查以及用户自定义关系的自动检查。

关键词：关系演算设计模式 UTP JAVA虚拟机属性检查

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Web服务编排语言的分析与测试

Web服务编排语言的分析与测试

作者：肖浩华东师范大学

学位级别：硕士

Web服务编排描述语言(Web Services Choreography Description Language,简称WS-CDL)从全局的视点描述服务组合各个参与方的行为规范,并且具有可重用性以可及描述事务性等特点。在部署前对WS-CDL程序验证和测试可以有效降低部署风险和... 详细信息

Web服务编排描述语言(Web Services Choreography Description Language,简称WS-CDL)从全局的视点描述服务组合各个参与方的行为规范,并且具有可重用性以可及描述事务性等特点。在部署前对WS-CDL程序验证和测试可以有效降低部署风险和项目成本。但是WS-CDL只是描述语言其程序不可执行,目前由于WS-CDL程序没有解析器或模拟器,WS-CDL程序的验证与测试变得十分困难。本论文提出了通用的XML语言静态约束的验证方法。该方法与经典的模型检查的方法类似,可以统一地验证不同语言的静态性质也可以统一地验证相同语言的不同版本。该方法中用于描述静态制约的语言被称为约束逻辑,它基于一阶谓词逻辑。论文同时提出了用于描述XML文档的形式化模型。另外,我们还设计了使用模型化简技术优化后的验证算法用来验证XML文档是否满足其静态制约。在我们小组自己开发的WS-CDL程序模拟器上,我们提出了一种自动测试WS-CDL程序的方法。该方法通过使用从动态符号执行生成能达到分支覆盖标准的测试用例从而自动完成对WS-CDL程序的测试。该方法支持Web服务组合的异常处理,正常结束处理等特性,而其他研究往往没有处理这些特性。另外我们提出了两种处理WS-CDL程序中断言的方法,这些断言可以描述WS-CDL程序预期的行为。我们在模块化的开源Eclipse插件CDLChecker上实现了这些方法。CDLChecker是WS-CDL的一个集成开发环境,它支持对WS-CDL程序的编辑、模拟、验证和自动测试功能。最后,我们在CDLChecker上设计了几组实验用来验证提出的方法的有效性。实验结果显示本文的方法能够正确地处理WS-CDL程序。

关键词： Web服务组合 WS-CDL 关系演算程序验证符号执行测试自动化

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

rCOS的操作语义及其在程序分析中的应用

rCOS的操作语义及其在程序分析中的应用

作者：冯利波华东师范大学

学位级别：硕士

rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Programming) [3]为基础,是一种面向对象的描述语言,定义了一种用于描述面向对象程序设计结构的形式规范。rCO... 详细信息

rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Programming) [3]为基础,是一种面向对象的描述语言,定义了一种用于描述面向对象程序设计结构的形式规范。rCOS具有非常丰富的语言特征,包括子类(subtypes)、引用类型(reference type)、可见性(visibility)、继承(inheritance)、多态(polymorphism)、动态绑定(dynamic binding)等。本文采用形式化的方法给出了rCOS的一种结构化操作语义。对于一段rCOS程序,按照操作语义给出的变迁规则模拟执行就能动态的产生对象图,而另一方面静态分析程序段的类声明部分就能得到对应的类图：：对象图和类图构成了rCOS程序的抽象模型。文中给出的操作语义一方面能动态地构建了对象图,同时又能捕获对象之间的关系。这样有助于帮助理解程序的行为,使得在程序分析方面起到了一定的作用,尤其在当前软件工程领域有着广泛应用的设计模式的识别上。文中将设计模式的性质定义为两类：通用属性和用户相关属性。为了能描述对象图或者类图上对象与对象或者类与类之间的关系,我们定义了一种关系演算,将类之间的关系分为继承和包含,对象之间的关系分为创建、调用和引用。文中选取抽象工厂模式、观察者模式、组成模式等为例,说明该关系演算能刻画设计模式性质。最后,本文给出一种通用的检查算法。在此基础上,又通过实验来说明算法的高效性以及能在程序段中自动判断设计模式是否正确的应用,从而能自动识别程序段中好的模式和坏的模式。

关键词：设计模式性质检查关系演算操作语义

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

小学数学中的反问题研究和启示

知识文库 2018年第10期 130-131页

作者：方杏首都师范大学初等教育学院

在数学、物理甚至社会生活中,反问题都是普遍存在的,因为事物是普遍联系和相互作用的。本文就数学思维和学习中的反问题进行研究,包括加减法运算和乘除法运算、数的扩展、简便运算、算术与代数的衔接以及问题解决,可以启发教师教学和学... 详细信息

在数学、物理甚至社会生活中,反问题都是普遍存在的,因为事物是普遍联系和相互作用的。本文就数学思维和学习中的反问题进行研究,包括加减法运算和乘除法运算、数的扩展、简便运算、算术与代数的衔接以及问题解决,可以启发教师教学和学生学习,成为教师的教学工具和学生的思维工具。反问题(inverse problem)是相对于原问题(direct problem)提出的。在两个问题中,如果其中一个问题中的结

关键词：数学思维反问题算术运算自然数关系演算加减法运算逆运算除法运算加减运算

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

浅析离散数学在计算机科学中的应用

平顶山师专学报 2003年第5期18卷 62-64页

作者：王蕾李永平顶山教育学院河南平顶山467002

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应... 详细信息

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.

关键词：离散编译关系演算死锁递归

维普期刊数据库

解题教学的追求:关联同类,感悟结构——从一道“网传错误解答”说起

在线全文

学校读者我要写书评

暂无评论

中学数学（初中版） 2017年第2期 85-87页

作者：季红妹江苏海门实验初级中学

近年来,随着信息技术、网络搜题平台的兴起,智能化手机终端的普及,初中学生使用网络搜题、查答案的现象不在少数,有时会碰到少数学生的解答与网传错误解答“一样”的情况.本文就从一道“网传错误解答”说起,关注一类具有“相同结构”的... 详细信息

近年来,随着信息技术、网络搜题平台的兴起,智能化手机终端的普及,初中学生使用网络搜题、查答案的现象不在少数,有时会碰到少数学生的解答与网传错误解答“一样”的情况.本文就从一道“网传错误解答”说起,关注一类具有“相同结构”的问题,并跟进思考我们的解题教学应该在哪些问题上多下功夫.

关键词：解题教学平面直角坐标系绝对值符号信息技术二次函数一元二次方程垂线段浙江湖州对应边关系演算

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

《数据库系统概论》课程的重、难点分析

高等函授学报（自然科学版） 1995年第2期8卷 37-39页

作者：金汉均

《数据库系统概论》课程的重、难点分析金汉均数据库技术的应用越来越广泛，几乎深入到日常生活的各个领域、各个部门。《数据库系统概论》作为计算机专业的一门必修课，愈来愈被广大学贝重视，但是掌握好这门课的基本内容．灵活应用其... 详细信息

《数据库系统概论》课程的重、难点分析金汉均数据库技术的应用越来越广泛，几乎深入到日常生活的各个领域、各个部门。《数据库系统概论》作为计算机专业的一门必修课，愈来愈被广大学贝重视，但是掌握好这门课的基本内容．灵活应用其中的知识，并非一日之功。为了让学员...

关键词：《数据库系统概论》教学内容教学方法关系演算

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

浅谈SQL查询功能的三个理论基础

电脑知识与技术 2007年第8期2卷 606-608页

作者：傅思萍泉州经贸职业技术学院福建泉州362000

文章以Visual FoxPro 6.0数据库管理系统为软件平台,通过查询实例阐述结构化查询语言（Structured Query Language,简称SQL）如何反映关系数据库三级模式结构,如何体现关系代数和关系演算思想。

关键词：关系数据库三级模式结构关系代数关系演算 SQL

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

符号逻辑学与逻辑实证主义(续完)

思维与智慧（上半月） 1989年第2期 25-29页

作者：田口宽治苑玉成

四、命题函项演算在上述命题演算中,是把命题作为真值单位、作为一个整体来对待的,并没有考虑命题的内部结构。但是,命题是有各种各样的内部结构的。如前所述,传统逻辑学把一切命题都理解为“S是P”的形式。一般说来,对于陈述对象性质... 详细信息

四、命题函项演算在上述命题演算中,是把命题作为真值单位、作为一个整体来对待的,并没有考虑命题的内部结构。但是,命题是有各种各样的内部结构的。如前所述,传统逻辑学把一切命题都理解为“S是P”的形式。一般说来,对于陈述对象性质的命题,象“苏格拉底是哲学家”这一类简单命题,用传统逻辑学的处理方法还是可以的。然而,在命题中,也有与这种形式完全不同的逻辑形式。例如:

关键词：命题函项符号逻辑学逻辑实证主义简单命题命题演算传统逻辑苏格拉底关系演算哲学家逻辑形式