悖论的定义及其形式化

"什么是悖论"其实就是悖论定义问题,始终是悖论研究的一个重要问题,对这个问题的回答在某种程度上决定了研究的方向和深度。以张建军的"三要素"表征的悖论定义是现有研究成果的典型代表,国内的一些著名逻辑学者都在这个问题上发表了各自的看法。通过对这些看法的比较研究,提出一个更合理的悖论定义,并予以形式化。     

高中数学教学中形式化与非形式化的表现特征

在数学中，我们通过相对独立的量化模式的建构，并以此为直接对象从事客观世界量化规律性的研究．数学的对象是模式．徐利治教授给出模式的一个确切含义：模式即“事物（包括抽象物）关系结构的形式模型”．可见，数学的一个重要特点是形式化，如形式化的表示、形式化的推理、形式化的演算等．数学的形式化是指：用一套表意的符号体系来表达数学对象（即模式）的结构与规律，从而把对模式的研究归结为对符号的研究．非形式的数学是指“用由特殊的数学符号和扩充的自然语言作出来的”、     

面向方面联结器的形式化及应用

目前各种主要的面向对象语言都进行了面向方面的扩展以支持AOP,由于联结器对语义和语法结构的限制,这些语言不提供对非正交方面的支持,提出了方面联结器的形式化定义,并依此实现了通用OO语言的AOP支持,该模式的归纳定义方式支持更大粒度的方面表达,能作为各种轻量级AOSD框架的基础,同时其简洁性和可扩充性适合面向对象软件的方面挖掘工程的需要。     

数学教学中形式化与非形式化的研究综述

在上世纪90年代,原西南师范大学陈重穆、宋乃庆提出在数学教学中要注意淡化形式、注重实质的观点,并引发了国内学者对该问题的热烈讨论．进入新世纪,教育部制订的《普通高中数学课程标准（实验）》关于课程的基本理念中第7条是“强调本质,注意适度形式化”．随着新课程标准的制订和实施,数学教学中的形式化与非形式化问题再度引起广泛的关注．     

数学教学中形式化与非形式化的研究综述

在上世纪90年代,原西南师范大学陈重穆、宋乃庆提出在数学教学中要注意淡化形式、注重实质的观点,并引发了国内学者对该问题的热烈讨论.进入新世纪,教育部制订的《普通高中数学课程标准(实验)》关于课程的基本理念中第7条是强调本质,注意适度形式化.随着新课程标准的制订和实施,数学     

论关系数据库设计中主键的定义

在关系数据库中，主关键字定义起着重要作用。为避免数据库设计中出现错误，主键定义必须遵守相关规则。在实际工作中，代理键比自然键更适合定义主键。     

关系数据库设计中主键的定义分析

在关系数据库中,主关键字定义起着重要作用。为避免数据库设计中出现错误,主键定义必须遵守相关守则,即主键必须唯一识别每一记录,且主键的值不能为空。因此,在实际工作中,代理键比自然键更适合定义主键。这一简单的方法为程序开发提供了坚固的、稳定的、灵活的基础。     

面向课堂教学评价的形式化建模与智能计算

随着课堂教学从固化单一的教师传授,向强调小组协作参与的教学转变,如何面向以协作学习为基本特征的课堂实施形成性评价已成为教学评价改革亟需解决的问题。在智能技术支持下,形式化建模可以将复杂多变的课堂教学过程解构,形成数理模型;智能计算可以通过算法评估学生学习状态,并根据教学原则生成教学辅助信息。二者的结合可以促进人类智能与机器智能的有效融合,形成人机协同的课堂评价机制。面向课堂教学评价的形式化建模与智能计算通用架构,自下而上包含教与学行为的感知和存储、教与学行为评估模型的构建、教与学状态的智能计算和教学辅助信息的生成四个部分。前两部分着重对教育情境和问题的表征,是形式化建模的关键步骤;后两部分着重具体技术路线的实现,是智能计算的具体过程和功能体现。整个系统以教与学行为的感知和存储为基础,通过构建评估模型,确定模型的输出;然后引入智能算法对模型进行计算,达成对教与学状态的评估;最后根据相应教学原则,自动生成辅助教师进行课堂教学评价的信息。该通用架构以及人机协同教学、评价机制的进一步完善需要研究者携手教师进行"共同设计",协同教育学、计算机科学、心理学等多学科进行交叉研究。     

硬件设计中的形式化方法

形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法,包括各种语言、技术和工具等。近几年来,形式化方法在硬件设计中的引入,使得模型检验方法日趋成熟。本文主要介绍了硬件设计中的模型检验这种形式化方法,及该方法的应用情况。     

中动结构的定义、分类及特征

本文针对语言中存在的中动结构进行分析,重点是定义和分类。首先确定了中动结构的实质为与主、被动结构相对的表示事件性质的一类结构,主要包含名词、动词及修饰语三部分,中心是修饰语。然后根据定义,从语序以及修饰语的形式和意义出发对中动结构进行分类。最后简要讨论了该结构的特征,包括时、体特征和结构内各部分的特征。     

上海交通大学:面向数据中心的软件定义网络

SDN真正广大的市场是传统的企业数据中心。软件定义网络软件定义网络是一种新型的网络架构,它解耦了网络的控制层与数据转发层,在逻辑集中的控制平面为用户和开发者提供了一个可编程的接口,同时能够对底层的网络作切片和虚拟化,使整个网络变得更加可控。     

面向重大装备设计制造的协同育人培养体系构建

面向"中国制造2025"重大装备制造业人才需求,以契合行业标准、深化企业融合、分类强化训练为教育思想,以协同企业深度参与、强化工程创新能力、开拓人才国际视野为培养特色,以重大装备协同创新实践班、机械设计制造及其自动化专业国际班为建设载体,从激发创新意识、提升工程能力、开拓国际视野、推进师资建设等4个方面,持续构建和完善了基于重大装备设计制造的协同育人培养体系.     

面向21世纪的敏捷制造

在未来持续发展和不可预测的竞争环境中，敏捷制造成为保持企业竞争地位与生存发展的一个重要战略，它使对人、技术和组织的高度有效集成获得竞争优势。敏捷制造的特征、内涵，为21世纪敏捷制造企业的建立提供了有益的依据。     

面向21世纪的敏捷制造

在未来持续发展和不可预测的竞争环境中 ,敏捷制造成为保持企业竞争地位与生存发展的一个重要战略 ,它使对人、技术和组织的高度有效集成获得竞争优势。敏捷制造的特征、内涵 ,为 2 1世纪敏捷制造企业的建立提供了有益的依据     

面向数字化制造的机械制图教学改革

机械制图课程在机械专业学习中的地位不言而喻。文章针对机械制图教学现状分析了现代机械制图教学中存在的问题,并且针对这一问题提出了基于教学目标、教学方法、教学内容和模式的教学改革,提出了数字化机械制造这一概念。其目的在于提高我国机械制图教学效率,为社会培养更多专业的机械制图人才。     

面向WTO的我国机械制造业绿色设计与制造之对策

加入WTO,对我国机械制造业来说既是机遇又面临着严峻的挑战。我国机械制造业应从现状入手,正确认识加入WTO对我国机械制造业的影响,并结合自身实际情况积极构思面向WTO的机械制造业绿色设计与制造的对策。     

规律的定义及特征之我见

什么是规律? 我国现有的许多哲学书籍都把它定义为“是事物固有的、本质的、必然的、稳定的联系。”有的书上还特别强调:规律是事物内在的、本质的联系。可是,在具体说明时,它们却举了春夏秋冬更替、昼夜轮转、水往低处流、地球上海昼夜两次潦潮和落潮、种     

重新定义丝网版画的特征

此文章为作者多年来在丝网版画创作的基础上精心写作而成,用实践者的理论对丝网版画的语言重新归纳和定义,对当下创作显得颇为重要。文章指出丝网版画的最大优势为:彻底的平面化语言、影像语言的利用、色彩置换的快捷、当代科技手段的综合利用等几大特点。而把丝网版画表现肌理、色彩降格为丝网版画的一般特征。