Abstraction相关论文
There has been a framework sketched for leaing deep bidirectional intelligence.The framework has an inbound that feature......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
The state space explosion problem is still the key obstacle for applying model checking to systems of industrial size.Ab......
An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the us......
抽象艺术派的代表康定斯基赋予点、线、面的灵活与激情,注重音乐般的节奏感、韵律感.荷兰画家蒙德里安崇拜直线美,主张透过直角可以静......
A possible isomerization channel from BrONO (bromine nitrite) to BrNO2 (nitryl bromide) is predicted by means of MP2 and......
采用从头算CCSD(T)/6-311+G(2d,2p)//B3LYP/6-311G(d,p)方法,研究了自由基-分子反应F+CH2CHCH3的各种不同的反应通道.该反应主要是......
“数量词A+に+数量词B”结构具有“连续性”、“函数变化关系”、“非动态性”三个语义特点,是一个典型的构式,其构式语义为:用两......
探讨了计算思维的本质内涵及其与新工科的关系,探索如何在新工科课程教学中,有意识地培养学生认识和理解计算思维,提出结合具体实......
高中政治知识具有抽象化的特点,这是高中政治教师教学的难点,也是高中生理解的难点。文章以高中政治必修一(经济生活)为例,探讨在......
提出了一种基于标签的更加灵活的SDN交换机数据面抽象——LabelCast。LabelCast利用标签交换机制解决SDN交换机中的复杂规则匹配问......
采用定磷法测定了海鱼加工下脚料中核酸含量。试验表明从鱼白中分离得到核酸,远比其他下脚料容易,在样品预处理过程中,低温抽提法比索......
目前的生态伦理研究将生态危机发生的原因归结为现代价值观的不合理,认为改变了现代价值观就能够将生态从危机中拯救出来。于是,生态......
集体土地权利是抽象化与具体化的统一,土地所有权抽象化与土地使用权具体化是集体土地产权演变的一个基本趋势,未来的土地制度立法应......
在分析概念设计过程的基础上,得出功能是概念设计的核心,主要对功能的抽象化描述、表达及包含的信息作了初步探讨,这对深入研究计算机......
论述了磷脂的作用和应用,介绍了浓缩磷脂的提取方法....
通过从蟋蟀中提取壳聚糖工艺的研究,提出了获得较高质量的壳聚糖的适宜工艺条件:①脱矿物质用1 %HCl 浸泡12 h.②脱蛋白质及脂类用......
人们如果深入研究人类认知活动中的“分类”与“类比”现象的本质,就会发现人类在“分类-类比-抽象”认知活动中所依赖的“相等性原......
TGrid是我们提出基于树形结构的面向高性能计算、面向主题的资源共享和新一代的需求建模的一种新的网格环境。本文在分析TGrid其特......
尽管近年来模型检测取得了很大的进步,但是对于大系统的验证能力依然有限。在众多的状态减少和压缩技术中,抽象技术是最有效的方法之......
多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证.提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为......
各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性。基于Saitta和Zucker定......
壳聚糖是一种用途十分广泛的具有生物活性的高分子化合物,可应用于水处理、医疗卫生、食品及保健等领域,具有广泛的应用和发展前景。......
用离子交换法提取发酵液中的聚苹果酸,比较了不同型号的阴离子树脂对聚苹果酸的静态吸附量,其中以D296树脂对聚苹果酸的吸附量最大......
通过分析比较几种大孔吸附树脂和离子交换树脂对发酵液中冠毒素的分离纯化效果,结果显示:1400大孔吸附树脂对发酵液冠毒素的吸附量......
本论文主要研究了在不同温度、pH、添加酶的种类以及添加量等条件下对乳酸菌胞外多糖提取效果的影响。结果表明中性蛋白酶最适作用......
俄国画家康定斯基在近现代西方美术史中有着不朽的贡献和地位,他和蒙德里安被称之为“冷抽象”的代表人物。他的作品是心灵的呼唤,是......
司法能动赋予法官在法律存在漏洞或无先例可循的情况下创制规则的权力。当代中国的法官应当发挥司法能动性,在裁决过程中充分考虑......
针对大学数学基础课程高等代数教学中教师教授和学生学习所出现的一些问题进行分析,提出对该课程开展实验教学这一措施来解决问题......
数学教学对学生素质的培养至关重要,在教学中,应遵循数学学科的基本特点,有目的有计划地培养学生的各种能力,使学生的综合素质有所......
对分布式应用程序的事件进行抽象,让用户从不同的层次观察分布式应用程序的行为是一个有效的调试方法。本文给出了一种新的抽象结构......
<无名的裘德>是英国著名作家托马斯·哈代最后一部悲剧小说,这部作品采用抽象化的人物塑造和摹拟化的叙事技巧,在展示裘德一生......
数学的本质是:数学是模式和结构的科学;数学具有高度的抽象性、逻辑的严密性、应用的极端广泛性的特征;数学是一种文化体系。数学的......
在总结传统软件开发方法经验的基础上,严格遵守软件开发方法原则,从UML建模思想出发,对传统UML三层抽象建模结构进行了分析,并引入"抽......
本文研究英汉语言抽象化和具体化表达方法认知倾向与翻译中的范畴转换。在英汉词汇选择和语法选择认知倾向对比基础上,探讨英汉翻......
常州是全国留青竹刻中心,近代以来名家辈出。论常州留青竹刻风格,可分徐、白二派,分别以徐素白和白士风先生为代表。徐派偏于写意,......
数学在人类历史发展和社会生活中发挥着不可替代的作用,也是学习和研究科学技术必不可少的基本工具。数学的研究包括了对结构、空......
抽象和移情都不是以主客体分离而是以主客体融合为其本质的,因此,抽象和移情的对立并不意味着彼此仅仅相反,而是意味着二者是相反相成......
折半查找是一种常见的静态查找方法,在特定的、有序的查找区间内,通过折半方式不断地缩小查找区问,将区间中间位置的元素与给定元素加......
摘 要: 操作系统理论课程具有讲、学两难的特征,分析了操作系统课程学习的困难所在。总结了克服困难的一些经验和措施,包括理论联系实......
调试分布式应用系统要比调试顺序程序困难得多,原因之一是分布式应用系统要比顺序程序复杂得多.为了处理分布式应用系统的复杂性,提出......
针对一些现代社会颇具争议性的艺术现象为具体范例,对所引发的欣赏者对“美感”属性的误解与困惑做了一番浅要的阐述,主要从美感的定......
从兽药(主要指瘦肉精抗生素)在食品中残留引起食品污染的历史背景到上世纪末利用仪器对其残留量实施监控作了简要概述。本文从基础大......
数学的人文素质教育功能表现在三个方面:第一,数学中的抽象化意识、逻辑推理和公理化方法培养着人的理性思维品格和思辩能力;第二,数学......
阐述了高校专用基金的财务管理特点及其加强学校专用基金管理的重要性.结合长期财务管理工作实践,初步探讨了高校各项专用基金收支......
发达国家微观经济理论以生产要素的合理配置为基础和研究核心,着重分析劳动力、资本、土地等生产要素的使用与相互替代,这也符合从......
休谟提出的"归纳问题"及归纳推理的形式化刻画是归纳逻辑留下的两大难题。深入考察归纳推理的各个环节就可发现,归纳不是一种单纯的......
抽象和具体是对立的,教学中将概念与实际结合起来,使抽象变具体,通过实例理解概念,可收到良好的教学效果.......
基于语料库定时写作语料,从议论文主题句完整鲜明性和主题句长度两个维度来探索英语专业1~4年级写作概括力发展,研究发现,学习者写......