类型理论相关论文
面向服务计算是下一代基于互联网的全新软件体系结构。它具有分布、共享、健壮、可扩展、可移植、互操作等特性。这些特性主要来自......
随着Web服务标准的完善和支持Web服务平台的逐步成熟,网络上的可用的服务越来越多,基于Web服务的应用也越来越多。由于当前Web服务......
本论文旨在研究分析乔纳斯·梅卡斯(Jonas Mekas)的日记体电影的制作。梅卡斯是著名的电影制作者、艺术家、诗人、策展人和日记体......
刑法中存在“禁止类推”原则,而对类推范围的界定则存在不同的认识。传统认识认为只要是类推就要禁止,类型理论则认为对于法律规范......
当代类型电影的文本容量急剧扩张,或是类型自身的杂交与自反,或是与其他视觉媒介组成无限交织的庞大互文网络.传统类型理论虽时而......
对于论证中理由的充分性，可以从两个维度来加以分析，一个是从逻辑上，一个是从认识论上。基于此，本文提出了一种新的论证类型理论。从逻......
本文缘起固然,试图由类型范畴提供研究途径,来打开对传统诗学实行逆转的局面,从而,使艺术和理论如本世纪早些时候"集合论"之于数学......
类型研究在文学、电影等领域有广泛的影响，但在电视领域它兴起较晚。类型研究是建立在文化产品生产者和接受者共有的文化习俗的基础......
通过类型理论使得程序语言在静态可以检查是否出错,这给程序语言带来许多优势。类型理论中的重要性质包括：弱化规则、删除规则、强......
提出一种构造代码安全性证明的新方法．这种方法的基本思想是，在基础逻辑中定义辅助递归函数来帮助构造证明．这种构造方法在不增加系统......
数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了......
<正> 二、相制演化、政治实践与两种类型理论的重复先秦诸子关于两种类型理论的基本思想,在秦以后的历朝历代被一遍又一遍地交替......
介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ＭＬ为开发环境，建立了ＥＣＣ的项、规则证明策略和证明管理机制的描述，并......
本文认为类型是文化的一个范畴,它超越媒介文本之间的界限,并且在工业,受众和文化实践中运作。本文提供了适用于电视的研究方......
2002年10月，时年32岁的我开始担任深圳市宝安区初中语文教研员，转眼间已年过不惑。驻足回哞，十来年的成长历程大致可分为如下三个阶段......
近几年来,国内电视剧发展迅速。这不仅表现在量上的渐进增加,更表现在质上的不断飞跃。在电视剧的发展中,最令人瞩目的是类型的逐......
利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系......
最近中国新公司法大刀阔斧地进行了修改,承认了股东相互之间的诚信义务。不过,笔者还认为通过这些立法有关规定能够在现实里具有规......
类型系统建立在一个小的规则集合基础上，易于实现，可理解性好，且具有计算完全性和足够的表达能力,在类型系统中可以重述推导规则，将其......
基于类型理论的安全协议验证技术是近年来新出现的技术途径之一.本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介......
在中国现行法律体制中,行政命令受法律控制的强度较小,随时都有侵害公民合法权益的可能。对行政命令行为进行精确化、具体化的适法......
考夫曼的类型理论提出了一些令人耳目一新的观点:规范是一种类型的概括;规范与事实的联结方式是类推方式;该理论建立在事物的本质......
<正>电影研究中类型理论起源于十九世纪的文学作品。好莱坞电影在其全盛时期所特有的一种创作方法,实质上是一种艺术产品标准化的......
生涯未决是职业心理学研究的一个重要课题,其含义是指个体未能对自己希望从事的专业或者职业作出选择。自20世纪90年代开始,国外生......
霍兰德类型理论被公认为是一种有效的职业指导理论和方法,它包括科学的理论基础和测评方法。针对我国目前大学生就业指导理念存在......
介绍了乳状液的类型、乳化过程和能量关系，简略地讨论了乳状液类型的定性理论和聚结速度理论、乳状液的一般特性......
<正>罪刑法定原则作为现代刑法的一项基本原则,已经贯彻于刑法的各个领域。学界几乎一致地认为,类推(包括类推适用、类推解释)均是......
清末民初的小说类型理论与实践,从题材类型到多角度探讨,经历了前后两个阶段的发展。它既反映了对中国传统的承传,也反映了中国小......
<正>随着经济和社会的发展,我们经常能在网络和现实生活中看到这样的场景:在爱情中,你爱我就必须服从我;爱情就像游戏,玩完这局还......
在传统的"事实—虚构"二分法法学叙事中,法律拟制常常被视为法律上的虚构,而奠基于经验主义怀疑论与康德批判哲学的拟制哲学则对法......
本论文研究在乔纳斯梅卡斯（Jonas Mekas）的日记体电影的制作。梅卡斯是著名的电影制作者、艺术家、诗人、策展人与日记体电影类型的......
<正> 奥苏贝尔(D.P.Ausubel,1914——)是美国当代著名的认知教育心理学家。他基于长期的理论探索和实验研究,于1963年在其重要著作......
<正>策划组织有实效的学科教研活动是各级教研员必须履行的岗位职责。作为县区级教研单位,我们每学年组织的教研活动是有限的。如......
云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的......
用户生成内容(UGC)是Web 2.0环境下一种新兴的网络信息资源创作与组织模式。本文对国内外相关研究文献进行了检索和梳理,在类型理......
<正> 人物形象的塑造是艺术创作的核心问题,古往今来的艺术家,理论家莫不予以关注,对怎样塑造出完美的艺术形象的问题进行了艰辛的......
<正> 一在当今世界比较法领域,米尔伊安·R.达玛斯卡(Mirjan R.Damaka)无疑是一朵奇葩,一位前无古人甚至可能后无来者的传奇人物......
<正> 引进、学习西方的文艺理论,在我国已有一个世纪的历史,但是,全面、系统地研究和介绍西方文艺理论的专著却寥如晨星。六十年代......
类推解释可以有助于寻找和理解法律本质。从本体论角度,类推解释发挥着指引功能,揭示生活事实与规范之间相互开放和调适的特征。从......
类型理论因强调共性忽略个性似乎已经退出了批评话语界,但通过对类型理论及其在文学史上的不同表现形态进行梳理,可以发现,它作为......
