对几类重要网络安全协议形式模型的分析 被引量：23

1

作者 季庆光 冯登国 《计算机学报》 EI CSCD 北大核心 2005年第7期1071-1083,共13页

该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的模型及基于计算复杂性理论的模型.对每类模型作者提出了相应... 该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的模型及基于计算复杂性理论的模型.对每类模型作者提出了相应的抽象特征体系,并在该体系下分析了有代表性的模型,指出了这些模型的优缺点及进一步改进的思路.抽象体系的提出不仅使模型的本质变得清晰,而且还使同类模型中的不同模型之间的联系变得易于理解;分析了不同类型模型之间可能存在的联系,特别是用基于规则推理的模型的思路改进了WooLam模型,在提出B模型抽象结构的同时,分析指出它极有可能发展成为一个统一各类模型的模型. 展开更多

关键词 安全协议 形式模型 抽象体系 安全性质 形式系统

下载PDF 职称材料

抽象体系的危机与吉登斯的制度性风险研究 被引量：8

2

作者 张广利 赵云亭 王伯承 《北京理工大学学报（社会科学版）》 CSSCI 2017年第4期129-134,共6页

现代风险的本质是一种制度性风险。抽象体系作为现代社会运行的基础,是吉登斯理解和分析现代制度性风险的核心概念,而现代性断裂的理论假设、现实主义的风险认知取向以及制度与结构的研究视角是理解吉登斯制度性风险理论的3个基本维度... 现代风险的本质是一种制度性风险。抽象体系作为现代社会运行的基础,是吉登斯理解和分析现代制度性风险的核心概念,而现代性断裂的理论假设、现实主义的风险认知取向以及制度与结构的研究视角是理解吉登斯制度性风险理论的3个基本维度。吉登斯通过抽象体系的危机对现代风险进行了深刻剖析,具体表现为符号系统的异化产生了文化风险,专家系统的失信导致了技术风险与政治风险。吉登斯作为一个制度主义者,认为反思性的制度建构是突破现代风险困境的出路。 展开更多

关键词 抽象体系 符号系统 决策性专家系统 技术性专家系统 制度性风险

下载PDF 职称材料

《记忆大师》:抽象体系中的主体反抗与媒介协商 被引量：3

3

作者 李九如 《电影艺术》 CSSCI 北大核心 2017年第4期79-82,共4页

以记忆管理为契机,《记忆大师》触及了一种日益深刻的现代性焦虑,它源于现代社会对于私人领域越发强化的管控。影片借助科幻、惊险、推理等类型元素,以主人公及其家庭的危机表征了这种管控及其引发的焦虑,并呈现出暧昧的协商态度。

关键词 记忆大师 抽象体系 主体 媒介协商

原文传递

制度性承诺探微 被引量：2

4

作者 高兆明 《吉首大学学报（社会科学版）》 2004年第2期28-32,共5页

制度性承诺是指社会组织通过社会结构、社会运作方式、制度体制、法律规章等方式向社会公众作出的客观正式承诺。制度性承诺给社会成员提供行为的明确可预期性,并从总体上规定社会基本秩序状态。制度性承诺是一个现代性问题。现代性社... 制度性承诺是指社会组织通过社会结构、社会运作方式、制度体制、法律规章等方式向社会公众作出的客观正式承诺。制度性承诺给社会成员提供行为的明确可预期性,并从总体上规定社会基本秩序状态。制度性承诺是一个现代性问题。现代性社会本身的特殊存在方式与交往方式决定了人们对非当面-当场承诺的信任,这种对抽象体系的信任,实质上是对抽象体系所代表的现代性制度及其承诺的信任。制度性承诺具有客观性、普遍性,它不否定个体性承诺,相反需要个体间承诺及其信任的补充。正是制度性承诺及其可信任性与个体性承诺及其可信任性的交互作用构成了现代性社会的现实信任关系。制度性承诺本身的合理性并不在于其作出承诺主体的非个体性,而在于作出承诺的客观性与普遍性,在于这种承诺本身摆脱了个体的随意性与偶然性,具有内在的尊严与权威,从而成为社会成员行为可预期的凭借。这既是制度性承诺的内在规定性,亦是现代性社会的内在规定性。 展开更多

关键词 承诺 制度性承诺 抽象体系 现代性社会

下载PDF 职称材料

两种“陌生人”:儒家人际伦理面对的现代性错置

5

作者 程乐松 《高等学校文科学术文摘》 2023年第4期26-27,共2页

陌生人社会中的“陌生性”或“陌生人”不再指我们在日常生活情境中遭遇的不熟悉的具体的人,而是一种抽象的公共性,或者说被设定了的理想的自我形象。现代社会信奉的抽象体系与社会规则建基于均质化(去个体化)抽象个体和被无限放大了的... 陌生人社会中的“陌生性”或“陌生人”不再指我们在日常生活情境中遭遇的不熟悉的具体的人,而是一种抽象的公共性,或者说被设定了的理想的自我形象。现代社会信奉的抽象体系与社会规则建基于均质化(去个体化)抽象个体和被无限放大了的“他者性”或“陌生性”的基础上。“陌生人”并不是指某一个个体,而是符合现代秩序设定的理想个体。 展开更多

关键词 去个体化 自我形象 陌生人社会 均质化 他者性 抽象体系 人际伦理 现代秩序

原文传递

同一性哲学在后现代社会的延续

6

作者 定光莉 《前沿》 2020年第4期51-56,共6页

在同一性哲学中,个性与普遍性达成一致,使人成为个体,成为现实的、单个的社会存在物的人的"特殊性"被取消。这种思维方式和相应的社会体制表现在各个领域之中:生产和消费领域,生产和消费双重过剩,象征交换使人只获得消费的符... 在同一性哲学中,个性与普遍性达成一致,使人成为个体,成为现实的、单个的社会存在物的人的"特殊性"被取消。这种思维方式和相应的社会体制表现在各个领域之中:生产和消费领域,生产和消费双重过剩,象征交换使人只获得消费的符号价值而非使用价值;知识体系领域,分类科学割裂联系,孤立研究对象,拒绝对事实的意义作出判定;文化领域,高层文化没落,大众文化盛行,文化与现实同一;政治领域,劳动者一方面缺乏表达"私人意识"的机会,一方面不断地被统治阶级的"公共意识"说服;生活领域,个体与"类生活"同一,语言丧失了个性;社会领域,抽象体系导致人情感冷漠,丧失了亲密关系。在同一性哲学在后现代社会延续的情况下,人始终生活在"总体性"之中,无法获得独特的生命体验,领悟到生命的意义和价值,因此也没有获得解放。 展开更多

关键词 同一性哲学 象征交换 分类科学 大众文化 革命意识 抽象体系

原文传递

抽象体系中的信任:《星期六》中的医患关系分析

7

作者 吴兰香 《广东外语外贸大学学报》 2020年第5期139-147,160,共10页

在伊恩·麦克尤恩的作品《星期六》中,身为神经外科专家的贝罗安和患有"亨廷顿舞蹈症"的社会青年巴克斯特有过三次交集。在第一次见面中,贝罗安利用了巴克斯特对抽象体系的信任,成功地从冲突现场脱身;在第二次见面中,当... 在伊恩·麦克尤恩的作品《星期六》中,身为神经外科专家的贝罗安和患有"亨廷顿舞蹈症"的社会青年巴克斯特有过三次交集。在第一次见面中,贝罗安利用了巴克斯特对抽象体系的信任,成功地从冲突现场脱身;在第二次见面中,当贝罗安的体系代理人身份不再起作用时,女儿黛西朗诵的经典名诗《多佛海滩》唤起了巴克斯特对美好生活的向往,使他恢复了对贝罗安的信任。在第三次见面中,受到触动的贝罗安用自己的行动显示出对这种信任关系的珍视,把职业化的操作变成了对病人的真正关爱。星期六这一天发生的医患冲突改变了贝罗安对自身职业的认知,而贝罗安的故事也为处理医患关系提供了新视角。 展开更多

关键词 伊恩·麦克尤恩 《星期六》 抽象体系 信任 医患关系

下载PDF 职称材料

《资本论》中货币辩证法的三重维度

8

作者 张凯 《河南大学学报（社会科学版）》 CSSCI 北大核心 2022年第4期8-14,152,共8页

货币不仅在《资本论》中处于重要地位,也是现代社会有效运转不可或缺的因素之一。随着数字货币、虚拟货币的涌现,货币拜物教和货币抽象体系对人的统治进一步加深,因而有必要对货币展开更为深入的研究。马克思在《资本论》中阐述了货币... 货币不仅在《资本论》中处于重要地位,也是现代社会有效运转不可或缺的因素之一。随着数字货币、虚拟货币的涌现,货币拜物教和货币抽象体系对人的统治进一步加深,因而有必要对货币展开更为深入的研究。马克思在《资本论》中阐述了货币辩证法,主要涉及三个维度:首先,货币是抽象与具体的辩证统一体,它既有物质载体又代表抽象关系,它既反映客观现实生产关系又有纯粹象征符号性质,它既拥有有限交换性的一面又具有无限可交换性性质。其次,货币是主体与客体的辩证统一体,它既有客观性存在又依赖于主体而发挥功能,它既是人的创造物又反过来作用于人的心灵、影响人的行动。最后,货币是辩证发展的,它拥有从无到有、从具体可感到抽象虚拟、向资本的“质变”转换以及从有到无的辩证发展过程。深刻把握货币辩证法的三个维度,有利于把握货币的本质。 展开更多

关键词 货币辩证法 《资本论》 思维具体 抽象体系 辩证运动

原文传递

基于抽象体系结构模板的多路软硬件划分算法 被引量：7

9

作者 吴强 边计年 薛宏熙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1562-1567,共6页

随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件... 随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件划分与系统性能和代价的估算 初步的实验结果表明 ,该算法能有效地选择合适的体系结构 。 展开更多

关键词 多路软硬件划分 抽象体系结构模板 系统芯片 嵌入式系统

下载PDF 职称材料

基于TinyOS的CC1100驱动程序设计 被引量：6

10

作者 孙武剑 于宏毅 +1 位作者 王晓梅 王德云 《计算机工程》 CAS CSCD 北大核心 2008年第23期95-97,共3页

在无线传感器网络中,网络整体性能取决于节点上的通信模块。该文根据实际需要,在实现网络基本功能的前提下,选用功耗较小的CC1100芯片作为节点的无线收发单元。在分析CC1100功能特性并介绍嵌入式操作系统TinyOS的基础上,阐述如何使用Nes... 在无线传感器网络中,网络整体性能取决于节点上的通信模块。该文根据实际需要,在实现网络基本功能的前提下,选用功耗较小的CC1100芯片作为节点的无线收发单元。在分析CC1100功能特性并介绍嵌入式操作系统TinyOS的基础上,阐述如何使用NesC语言实现基于MSP430F1611平台的CC1100驱动程序。 展开更多

关键词 CC1100芯片 嵌入式编程C语言(NesC) 微型轻线程操作系统(TinyOS) 硬件抽象体系结构

下载PDF 职称材料

浅析中国社会中的信任危机——基于吉登斯对信任的研究 被引量：3

11

作者 马爱芳 《哈尔滨学院学报》 2012年第2期17-21,共5页

文章从吉登斯有关信任的研究入手,将信任危机产生的原因归于两大类:主观方面是社会成员自身的本体性不安全;客观方面是抽象体系入口处的糟糕体验。并在此基础上,提出建立个人信任、促进代理组织完善和加强代理组织监督来增强社会信任的... 文章从吉登斯有关信任的研究入手,将信任危机产生的原因归于两大类:主观方面是社会成员自身的本体性不安全;客观方面是抽象体系入口处的糟糕体验。并在此基础上,提出建立个人信任、促进代理组织完善和加强代理组织监督来增强社会信任的建议。 展开更多

关键词 信任危机 抽象体系入口处 代理组织

下载PDF 职称材料

基于TinyOS的CC2420驱动组件的研究 被引量：2

12

作者 刘帅 周悦 《单片机与嵌入式系统应用》 2011年第12期19-21,24,共4页

首先介绍了nesC语言及专门面向传感器网络的TinyOS操作系统软件平台,然后阐述了网络节点的硬件模块功能特点及其接口电路,最后根据硬件抽象体系结构的原则,在TinyOS操作系统平台下,对CC2420无线收发模块驱动组件设计作了深入的研究,以... 首先介绍了nesC语言及专门面向传感器网络的TinyOS操作系统软件平台,然后阐述了网络节点的硬件模块功能特点及其接口电路,最后根据硬件抽象体系结构的原则,在TinyOS操作系统平台下,对CC2420无线收发模块驱动组件设计作了深入的研究,以组件的形式将其硬件功能封装成接口供上层软件调用,实现了对上层软件的硬件特征屏蔽,从而实现该模块功能的软件语言表达和兼容性较强的跨平台抽象体系结构。 展开更多

关键词 无线传感器网络 TINYOS CC2420 硬件抽象体系结构

下载PDF 职称材料

金融产品设计与发行操控者的美德建设——源于金融危机的伦理反思

13

作者 吴晓轮 《道德与文明》 CSSCI 北大核心 2010年第1期115-118,共4页

金融产品设计与发行操控者职业美德的缺失是导致金融危机发生的人文根源;金融职业人员尤其是金融产品设计与发行操控者的职业美德是支撑现代金融信用大厦的重要基石;加强金融职业人员尤其是金融产品设计与发行操控者的职业道德建设是防... 金融产品设计与发行操控者职业美德的缺失是导致金融危机发生的人文根源;金融职业人员尤其是金融产品设计与发行操控者的职业美德是支撑现代金融信用大厦的重要基石;加强金融职业人员尤其是金融产品设计与发行操控者的职业道德建设是防范现代金融风险的重要路径。 展开更多

关键词 金融产品 金融抽象体系 金融信用 金融危机 美德

原文传递

改进多路软硬件划分算法的筛选法 被引量：1

14

作者 曹云 边计年 吴强 《微电子学与计算机》 CSCD 北大核心 2007年第1期1-4,共4页

文章提出筛选法对基于抽象体系结构模板的多路软硬件划分算法进行了改进,从而使整个软硬件划分-任务调度过程的时间大大缩短。该方法在原算法的软硬件划分和任务调度过程之间加入了一个筛选步骤,对软硬件划分结果的硬件面积进行预估,依... 文章提出筛选法对基于抽象体系结构模板的多路软硬件划分算法进行了改进,从而使整个软硬件划分-任务调度过程的时间大大缩短。该方法在原算法的软硬件划分和任务调度过程之间加入了一个筛选步骤,对软硬件划分结果的硬件面积进行预估,依据预估的结果进行筛选,筛选后满足要求的划分方案才进行调度,从而大大减少了调度过程的工作量。实验结果表明,加入筛选步骤后,在最终结果性能基本不损失的前提下,整个软硬件划分-任务调度过程的速度有明显提高。 展开更多

关键词 系统级综合 多路软硬件划分 抽象体系结构 结合资源分配的调度 筛选法

下载PDF 职称材料

基于TinyOS的三轴加速度传感器驱动组件的设计

15

作者 朱小锴 徐伟强 +1 位作者 黄文清 陈杰 《工业控制计算机》 2009年第8期53-55,共3页

无线传感器网络节点数据采集决定于节点上的传感器模块。三轴向加速度传感器MMA7260性能优越,适合作为传感器模块来感知节点的运动情况。在分析了嵌入式操作系统TinyOS的硬件抽象体系结构及其对传感器驱动提出的设计原则的基础上,使用N... 无线传感器网络节点数据采集决定于节点上的传感器模块。三轴向加速度传感器MMA7260性能优越,适合作为传感器模块来感知节点的运动情况。在分析了嵌入式操作系统TinyOS的硬件抽象体系结构及其对传感器驱动提出的设计原则的基础上,使用NesC语言实现了基于micaZ平台的MMA7260驱动程序。驱动程序的接口简单,使用方便,并满足传感器节点低功耗的要求。 展开更多

关键词 无线传感器网络 TINYOS NesC语言 硬件抽象体系结构

下载PDF 职称材料

《实变函数》学习导引 被引量：1

16

作者 徐吉华 《高等函授学报（自然科学版）》 1997年第4期7-10,共4页

关键词 《变实函数》 学习导引 抽象概念体系 间接证法 论证能力 测试题

下载PDF 职称材料