形式化相关论文
科层组织内“编内—编外”的二元格局由来已久。在法治化的进程中，编外群体管理逐渐形成一套与编内群体管理平行的制度。在无中央立......
本文讨论“语音学和音系学之间关系”的世纪难题，尝试从一个更广阔的“音法学”视角来看待这个问题。音法学或语言语音学是语音科学......
以新视角提出联锁数据高效率、全覆盖的自动化测试方法。采用形式化建模技术构建通用联锁站场拓扑结构模型和通用测试用例，通过从通......
为厘清近代体操教育流变的脉络、各流派的特征，探寻其当代启示，研究认为，近代医学与思想领域对“身体教育”重要性的揭示，使近代体操教......
通过对装饰性绘画和平面化的分析与研究，探求平面化与装饰性绘画存在的内在联系，为我国未来装饰性绘画发展提供方向和启示。笔者分别......
如何确保大数据证据的质证活动不流于形式和空谈，成为了司法实务中亟需解决的关键问题。实践中，大数据证据直接运用偏少但采纳率高，基......
<正> 读过诸葛殷同同志的《辩证逻辑究竟是不是逻辑?》一文(载《哲学动态》1991年5期,以下简称“诸葛文”)后,我对该文就《辩证逻......
建国以后,我国便有一些学者展开了对辩证逻辑的研究。70年代以来,相继出版了一些辩证逻辑的专著,研究工作取得明显进展。但辩证逻......
<正>我写了评《辩证逻辑导论》(以上简称《导论》)和《辩证逻辑教程》(以下简程《教程》)的《辩证逻辑究竟是不是逻辑?》(以下简称......
维吾尔语构形规则的形式化描述是维吾尔语信息处理中有待解决的难题之一。维吾尔语动词形态层次不一，少则一层，多则七层。通过研究发......
传统汉语中指称文章整体存在的“文体”概念,在日语中经历了多次“文章本体的形式符号化”过程。17世纪初编撰的《日葡辞书》将“......
<正> 哲学的发展既是时代的需要,也是时代的产物。哲学与时代的关系是双向的。一方面,时代作为孕育哲学精神的母体,不断地向哲学提......
当今人类之所以遭遇了风险社会,工业社会普遍存在的形式化现象难辞其咎.工业社会的发展是一直走在形式化的道路上的,这个社会的所......
在课程资源开发的过程中,坚持拟真化与形式化,是一个课程资源开发思路从模糊走向清晰、从宏观走向微观的过程.拟真化实际上追求的......
针对传统不动产信息登记过程中信息来源不同导致不动产数据中的图、属性、档案等分离,造成不动产数据整合与应用困难,不动产地籍测......
近几年,工业物联网技术的兴起使得工控系统得到了进一步的发展。而数控机床作为工控系统中极为重要的设备之一,在车辆制造、航空航......
家校微信群中家长参与的“形式化”倾向是在家校互动交流过程中因主体价值取向以及微信群本身存在的局限性而陷入的误区.家长参与......
关于弗吉尼亚·伍尔夫小说叙事形式的研究是伍尔夫研究界的焦点领域。目前,国内外相关研究主要探讨的是伍尔夫小说叙事形式在美学......
政治经济学批判是马克思哲学思想的轴心,正如德国学者伊林·费彻尔所言:“马克思的目的始终是‘政治经济学批判’,这既意味着对资......
在新一轮的技术变革中,人工智能是十分关键的推动因素,是当前科技发展的热点内容,该领域的重要分支之一就是定理机器证明,充分的融......
数控机床的控制通常是使用Numerical Control (NC)代码实现.如果NC代码在传输过程中被人为修改,则会对加工的零件甚至机床造成严重......
认证协议的形式化描述及分析已成为国际的研究热点.本文采用BAN逻辑对SIP网络中采用的HTTP Digest认证协议进行形式化,并对其认证......
近年来,人们在运用BAN逻辑进行形式化分析时,发现非形式化的理想化步骤是其致命缺陷,导致目前BAN逻辑的研究进展迟缓.有鉴于此,人......
本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同......
数学家克莱因说:“音乐能激发或抚慰情怀,绘画使人赏心悦目,诗歌能动人心弦,哲学使人获得智慧,科技可改善物质生活,但数学能给予以......
爱国主义教育作为一种以勃发个体民族精神和国家认同为旨归的实践活动,应遵循其天然情感和政治义务相统一的内在教育理路.但在当下......
幼儿教育是个体接受系统教育的第一个阶段,幼儿时期对个人未来发展都起着至关重要的作用.幼儿教育主要的教育方式通过游戏活动进行......
我国控辩关系始终处于权利一权力失衡的状态,而刑事司法改革造就了“对抗十合作”的新型控辩关系.这种新型控辩关系促使控辩双方平......
“场”是一种包含行为线索的环境,在“场”中人会受到行为线索的暗示,自然而然按照行为线索行事。深度教研的“环境场”是为满足教......
甘肃天水社火秧歌是一种特殊的民间艺术文化,它起源于民间,经常被当地人民用于祭祀活动,以祈求来年能风调雨顺。秧歌在我国已经有......
张家港市崇真中学是一所历史悠久、拥有文化积淀和劳动传承的苏南学校,61届校友陈林才曾回忆道:“学校是县级劳动优秀单位,我们支......
数学家韬尔结合数学学习认知特征对数学进行了划分,将其分为了具体化世界、过程概念化世界、形式化世界三个不同的世界.这一理论既......
实践中,认罪认罚“形式化”异化现象明显,相当一部分被告人并非基于悔罪,仅仅为了获得从宽的刑罚优惠而认罪认罚。如此一来,认罪认......
目的:探讨高职高专医学生评教的问题及对策。方法:结合教学实践,查摆评教存在的问题及解决问题的方案。结果:针对目前评教过于形式......
本文就改善民办高职院校学生党员活动的形式化、单一化、缺乏创新及活动成效不明显等问题进行探讨并提出一些通过创新学生党员活动......
编者按：中国沪深两地交易所目前共有1700多家上市公司，把各公司法定的和临时的都加起来，一年便起码要召开3500余次股东大会。我国公司......
