形式化相关论文
科层组织内“编内—编外”的二元格局由来已久。在法治化的进程中，编外群体管理逐渐形成一套与编内群体管理平行的制度。在无中央立......
本文讨论“语音学和音系学之间关系”的世纪难题，尝试从一个更广阔的“音法学”视角来看待这个问题。音法学或语言语音学是语音科学......
以新视角提出联锁数据高效率、全覆盖的自动化测试方法。采用形式化建模技术构建通用联锁站场拓扑结构模型和通用测试用例，通过从通......
为厘清近代体操教育流变的脉络、各流派的特征，探寻其当代启示，研究认为，近代医学与思想领域对“身体教育”重要性的揭示，使近代体操教......
通过对装饰性绘画和平面化的分析与研究，探求平面化与装饰性绘画存在的内在联系，为我国未来装饰性绘画发展提供方向和启示。笔者分别......
如何确保大数据证据的质证活动不流于形式和空谈，成为了司法实务中亟需解决的关键问题。实践中，大数据证据直接运用偏少但采纳率高，基......
近几年,工业物联网技术的兴起使得工控系统得到了进一步的发展。而数控机床作为工控系统中极为重要的设备之一,在车辆制造、航空航......
关于弗吉尼亚·伍尔夫小说叙事形式的研究是伍尔夫研究界的焦点领域。目前,国内外相关研究主要探讨的是伍尔夫小说叙事形式在美学......
政治经济学批判是马克思哲学思想的轴心,正如德国学者伊林·费彻尔所言:“马克思的目的始终是‘政治经济学批判’,这既意味着对资......
进入新发展阶段，迫切需要贯彻新发展理念，落实创新驱动发展战略，推动构建全要素、多领域、高效益的深度融合发展新格局。 党的十九......
“场”是一种包含行为线索的环境,在“场”中人会受到行为线索的暗示,自然而然按照行为线索行事。深度教研的“环境场”是为满足教......
编者按：中国沪深两地交易所目前共有1700多家上市公司，把各公司法定的和临时的都加起来，一年便起码要召开3500余次股东大会。我国公司......
在刑法学理论体系中,刑事责任具有独立性。应从刑事立法理念、罪刑规范、刑事司法等角度,区分不同的刑事责任以澄清认识误区。刑事......
加强和改善党的领导,是实现国有企业更好更快发展的政治保障,也是国有企业独有的政治特色和优势。当前,发展的压力使中国邮政各级......
程度范畴形式化的手段分属于词汇、语法和语用等不同的语言层面,而现代汉语性质量程度范畴的表达方式之一——词汇手段所包含的内......
[摘 要]本文以对师生进行的访谈、问卷调查为依据，论述了大学英语合作学习中常见问题及对策。 [关键词]合作学习 形式化 角色意......
本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在文......
在软件开发过程中,多数用户需求的规格说明采用非形式的自然语言或半形式的图表结构进行描述,由于非形式方法的模糊性和歧义性,产......
软件开发方法已经从面向过程转到面向对象.面向对象方法虽然大大促进了计算机科学和软件产业的发展,但是它依然存在缺陷,特别是在......
第一章介绍了计算机安全、网络安全、入侵检测的一些基本概念及相关术语.第二章首先介绍了入侵检测的分类并详细介绍了各种异常入......
随着面向对象技术的发展，软件开发对复用的利用是越来越充分。其中，软件模式便是一个很好的复用方式。软件模式对复用分析和设计的经......
计算机科学是研究算法的科学，而且计算机所处理的对象大部分是离散的数据。组合数学是研究离散对象的科学，正因为有了以组合数学为基......
随着智能化时代的到来,计算机软件得到了广泛应用。然而在实际应用中,小到随身手机系统的频频崩溃,大到事关国计民生的铁路信号、......
1998年,Tim Berners-Lee提出了“语义Web”的概念,语义Web研究的主要目的就是扩展当前的WWW,使得网络中信息都是具有语义的,便于人......
统一建模语言(Unified Modeling Language, UML)是一种通用的图形建模语言,它已成为面向对象分析和设计的工业标准。UML采用元模型......
由于单个的Web服务已经无法满足服务请求者的复杂功能需求,因此如何将已有的、运行在异构平台的Web服务组合起来,提供给用户更为强......
《普通高中数学课程标准》(实验)中指出：“在数学教学中，…，要强调对数学本质的认识，否则会将生动活泼的数学思维活动淹没在形式化的海......
义务教育阶段的数学除了工具性与基础性外，还兼具了思维训练、数学精神培养的使命。新课程改革在着力建立一个全新的大众数学、生活......
中国酒文化的逻辑本质,是在历史语境中生成并得到持续性拓展的一种思想认知和系统观念。由于酒文化融聚物质和精神文化因素,具有逻......
随着互联网科技和新兴网络应用的不断兴起,网络中的流量呈爆炸式增长,弹性光网络(Elastic Optical Networks,EONs)基于光正交频分......
Web Services技术提供了在不同平台不同软件应用程序之间进行互操作的平台,并且具有开放性、松耦合的特点,在互联网应用开发中被广......
到目前为止,关于RFID(射频识别)群组认证协议的研究还处于摸索阶段。虽然已有不少RFID群组认证协议被提出,但很多已有协议存在一些......
合适成年人到场制度在我国法律上得以确立,实践中合适成年人到场的普及率也越来越高,但是由于缺乏统一的程序规定而导致该制度有形......
安全文化建设是煤矿企业安全生产管理体系中的重要环节,其中安全理念的构建是煤矿安全文化建设的核心。以山西省煤矿安全文化建设......
摘 要：数学概念是抽象的，概念教学是数学教学的基石，在概念教学中发展学生的数学抽象素养是概念学习的需要，也是数学学习的需要. 文章......
以园本化探索、实践的视角,回顾、梳理幼儿混龄教育从理念到行动,从点缀式混龄走向普及式混龄、从形式化混龄走向课程化混龄、从"......
形式认识论是用形式化的方法来分析和研究认识论问题的交叉学科,它能够帮助我们更加准确地把握一些认识论争论的关键所在,从而更好......
对习惯于当“好好先生”的中国人来说，在绩效考核中，对个人的考核往往出现“平均高分”的现象，使得考核结果形式化——采用定量化指标......
意识形态指的是松散、弥漫状态的文化被提纯之后形成的结构严谨的思想力量，它一旦被人掌握，就能以最小的冲突（矛盾）获取最大的控制力和......
我县属于浙江欠发达地区。长期以来,幼儿数学教学只局限在狭隘的环境中进行,教学存在着三个误区:教学形式化、目标单一化、教学方......
似曾相识燕归来。教育部又敲响了“减负”的钟声。“减负”问题在中国至少已有１个多世纪的历史。早在２０世纪初，鲁迅便发出了“救救孩子......
张梅、张李顺在《教案检查该“叫停”》（《中小学管理》2005年第9期）一文中认为，现行教案检查的功能发生了错位，因此需要“叫停”，并指......
最近，读了《中小学管理》2005年第9期张梅、张李顺的《教案检查该“叫停”》一文（以下简称张文），觉得“叫停”教案检查的理由并不充分......
教学实践证明,数学的知识不只是逻辑推理,这些固然重要,但还有实验。数学教育家G.波利亚指出:“数学有两个侧面,一方面它是欧几里......
