基于串空间的Athena分析技术研究 被引量：3

1

作者 吴光伟 董荣胜 《计算机科学》 CSCD 北大核心 2006年第8期9-13,共5页

基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发... 基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。本文对Athena进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性,在此基础上,分析了Athena的核心算法,讨论了A-thena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。最后对Athena方法的发展方向进行了讨论。 展开更多

关键词 串空间 athena 安全协议 定理证明 模型检验

下载PDF 职称材料

TCAD在“半导体工艺”课程中应用的教学探讨 被引量：3

2

作者 戚玉婕 《扬州教育学院学报》 2013年第3期85-88,共4页

分析了TCAD技术的主要功能,探讨其在"半导体工艺"课程教学中的应用。并以半导体工艺中的蚀刻为例,利用TCAD技术中ATHENA工艺仿真模块,对比了湿法蚀刻和干法蚀刻的特点。

关键词 TCAD athena 半导体工艺 蚀刻

下载PDF 职称材料

亚历山大大帝与印度—希腊君主们的钱币肖像 被引量：5

3

作者 奥斯蒙德.波比拉赫奇 杨巨平 王杨 《四川大学学报（哲学社会科学版）》 CSSCI 北大核心 2018年第3期112-120,共9页

亚历山大征服中亚与印度之后留下的记忆,为这片土地上的希腊继承者们钱币上的肖像和背面图案提供了启示。正是为了唤起人们对亚历山大的回忆,发行者选择了一些特定的希腊神作为钱币的背面图案:宙斯被视为亚历山大的父亲,赫拉克勒斯则被... 亚历山大征服中亚与印度之后留下的记忆,为这片土地上的希腊继承者们钱币上的肖像和背面图案提供了启示。正是为了唤起人们对亚历山大的回忆,发行者选择了一些特定的希腊神作为钱币的背面图案:宙斯被视为亚历山大的父亲,赫拉克勒斯则被宣称为亚历山大的先祖,雅典娜是亚历山大的出生地马其顿培拉城的女神。同样地,钱币肖像中的印度-希腊人君主或是戴象皮头盔、马其顿平顶帽(一种帽顶突出、边缘宽大的毡帽),或是戴顶部装饰有公牛双角与双耳的头盔(狄奥尼索斯的标志),这些也都与亚历山大的英雄事迹有关。显而易见,亚历山大远征印度的记忆在当地延续了好几个世纪,这是他留给后世的遗产,并在希腊人与印度人的精神与行动中得到了体现。希腊统治者热切希望证明自己在印度统治的合法性,他们日益试图把自己和亚历山大本人及希腊传统相联系,虽然亚历山大在此地统治非常短暂,但他们仍然将此传统坚持了300年之久。 展开更多

关键词 亚历山大大帝 希腊-巴克特里亚人 印度-希腊人 宙斯 赫拉克勒斯 雅典娜 狄奥尼索斯

下载PDF 职称材料

八面雅典娜:希腊神话的多元文化编码 被引量：5

4

作者 叶舒宪 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2014年第1期50-62,共13页

雅典娜女神不是希腊人独自想象出的形象,而是源于更早的地中海文明的女神崇拜传统,融合了多元文化要素后被希腊人再造而成。其直接原型是迈锡尼和克里特的米诺斯文明的女性主神兼王室守护神,其间接的原型则需追溯到新石器时代的鸟女神... 雅典娜女神不是希腊人独自想象出的形象,而是源于更早的地中海文明的女神崇拜传统,融合了多元文化要素后被希腊人再造而成。其直接原型是迈锡尼和克里特的米诺斯文明的女性主神兼王室守护神,其间接的原型则需追溯到新石器时代的鸟女神和鸮女神。将雅典娜的复杂性归纳为八副面孔:女战神、处女神、技艺守护神、智慧之神、猫头鹰女神、蛇女神,以及城市守护神和父亲生育的神,分别探讨其文化渊源和流变。 展开更多

关键词 雅典娜 多元文化 大传统 地中海文明

下载PDF 职称材料

AtheNA Multi-Lyte系统在抗核抗体检测中的应用 被引量：2

5

作者 史兵伟 秦峰 吴琳 《江苏大学学报（医学版）》 CAS 2014年第1期44-47,共4页

目的:探讨AtheNA定量检测系统在抗核抗体检测中的性能,同时评价其对抗dsDNA抗体检测的敏感性和特异性。方法:收集系统性红斑狼疮(SLE)标本16例,其他自身免疫病标本57例及健康对照标本20例,分别以线性免疫印迹法(LIA法)和AtheNA系统进行... 目的:探讨AtheNA定量检测系统在抗核抗体检测中的性能,同时评价其对抗dsDNA抗体检测的敏感性和特异性。方法:收集系统性红斑狼疮(SLE)标本16例,其他自身免疫病标本57例及健康对照标本20例,分别以线性免疫印迹法(LIA法)和AtheNA系统进行抗dsDNA,抗SSA,抗SSB,抗Sm,抗核糖核蛋白(RNP),抗Scl-70,抗Jo-1,抗着丝点B和抗组蛋白9种自身抗体检测;同时以LIA法、间接免疫荧光(IIF)法、ELISA法和AtheNA系统4种方法检测抗dsDNA抗体,评价不同检测方法的性能。结果:LIA法和AtheNA系统对抗核抗体的检测结果显示,健康对照者与SLE患者、不同自身免疫病患者的总体阳性率相比,差异均无统计学意义(P均>0.05)。AtheNA系统与LIA法对9种自身抗体的检测结果具有良好的一致性(P<0.01)。LIA法、IIF法、ELISA法和AtheNA系统4种检测方法对抗dsDNA抗体检测结果显示,AtheNA系统检测抗dsDNA抗体具有较好的敏感性和特异性(68.8%,83.1%),但4种方法对SLE患者和其他自身免疫病患者的检测阳性率差异均无统计学意义(P>0.05)。结论:AtheNA系统对抗核抗体的检测具有良好的性能,其对抗dsDNA抗体的检测具有较好的敏感性和特异性。 展开更多

关键词 抗核抗体 线性免疫印迹法 athena Multi—lyte系统

下载PDF 职称材料

Ka频段军事卫星通信应用 被引量：4

6

作者 朱贵伟 《卫星应用》 2015年第7期10-14,共5页

自20世纪70年代军用Ka频段卫星通信频率划分以来,其大带宽、高吞吐量的优势就一直吸引着军方。20世纪90年代中期,美国率先在其"全球广播系统"(GBS)中采用Ka频段,并搭载在"特高频后继星"(UFO)上,于1998年开始服役。... 自20世纪70年代军用Ka频段卫星通信频率划分以来,其大带宽、高吞吐量的优势就一直吸引着军方。20世纪90年代中期,美国率先在其"全球广播系统"(GBS)中采用Ka频段,并搭载在"特高频后继星"(UFO)上,于1998年开始服役。然而,GBS系统仅使用了一小部分Ka频段频率资源,而Ka频段在军事通信卫星上的广泛应用则是在21世纪以后,典型的卫星系统共包括美国的"宽带全球卫星通信"卫星(WGS)、欧洲的"雅典娜-费多思"卫星(Athena-Fidus)和阿联酋的"阿联酋卫星"(Yahsat),等等。本文以军事通信卫星系统为对象,分析Ka频段的应用情况。 展开更多

关键词 全球广播 特高频 频率划分 卫星系统 athena 频率资源 卫星广播 波束宽度 星状网 下行链路

下载PDF 职称材料

基于SILVACO-TCAD的热氧化工艺实验教学探讨 被引量：1

7

作者 崔丰 《科技视界》 2013年第36期268-268,410,共2页

本文分析了TCAD技术的在实验教学中的优势,探讨其在"半导体热氧化工艺"实验教学中的应用。并以半导体热氧化工艺为例,利用TCAD技术中ATHENA工艺仿真模块,仿真验证了热氧化厚度与热氧化时间的关系。

关键词 TCAD athena 半导体工艺 热氧化

下载PDF 职称材料

针对猜测攻击的Athena方法的扩展

8

作者 李超 董荣胜 《计算机科学》 CSCD 北大核心 2007年第12期65-67,81,共4页

猜测攻击是安全协议中一类特殊问题,对其进行研究具有现实意义。本文针对猜测攻击,引入了基于串空间模型的Athena分析方法,并考虑了攻击者对弱口令的猜测能力。为此,在串空间模型的消息项中引入了可验证项的概念,以描述猜测攻击条件中... 猜测攻击是安全协议中一类特殊问题,对其进行研究具有现实意义。本文针对猜测攻击,引入了基于串空间模型的Athena分析方法,并考虑了攻击者对弱口令的猜测能力。为此,在串空间模型的消息项中引入了可验证项的概念,以描述猜测攻击条件中的验证项,同时扩展了串空间中攻击者的能力,赋予了攻击者对弱口令的猜测能力;为在Athena后继函数搜索算法中实现对验证项的关联,以判断猜测攻击,在Athena方法的状态表示法中引入猜测验证目标及猜测验证目标绑定的概念,对状态、推理规则进行相应的修改,同时扩展后继状态函数,使扩展后的函数具备分析猜测攻击的能力;最后运用扩展后的Athena方法对会话密钥建立协议(key-establishment protocol)进行分析。分析发现,当pk为对称密钥时,协议存在猜测攻击,并给出了攻击路径。 展开更多

关键词 athena 猜测攻击 串空间 弱口令 认证性

下载PDF 职称材料

基于串空间模型的Athena方法的改进

9

作者 董荣胜 吴光伟 +1 位作者 郭云川 古天龙 《计算机工程》 CAS CSCD 北大核心 2007年第8期136-138,144,共4页

Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,... Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明。根据扩展后的Athena方法,对IKEv2协议的秘密性和认证性等进行了分析,对协议的特点作了进一步讨论。 展开更多

关键词 串空间 athena DH密钥协商 IKEV2协议

下载PDF 职称材料

一类具有“开端”结构的安全协议分析方法研究

10

作者 董荣胜 吴光伟 +1 位作者 骆翔宇 古天龙 《计算机科学》 CSCD 北大核心 2008年第7期45-49,共5页

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议。本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Dif-fie-Hellm... 开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议。本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Dif-fie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系。应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法。 展开更多

关键词 开端协议 DIFFIE-HELLMAN SECURITY ASSOCIATION 串空间 athena

下载PDF 职称材料

从《亚波罗》到《亚丹娜》:见证艺术教育的新页 被引量：1

11

作者 刘晨 《美育学刊》 2011年第6期43-50,共8页

创刊于1928年10月的《亚波罗》和1931年3月的《亚丹娜》是中国美术学院前身——中国第一所综合性国立高等艺术学府"国立艺术院"(后更名国立杭州艺术专科学校)出版的期刊,它们和该校《神车》《艺星》等刊物一起从理论到实践见... 创刊于1928年10月的《亚波罗》和1931年3月的《亚丹娜》是中国美术学院前身——中国第一所综合性国立高等艺术学府"国立艺术院"(后更名国立杭州艺术专科学校)出版的期刊,它们和该校《神车》《艺星》等刊物一起从理论到实践见证了中国艺术教育全新的一页。以林风眠为首的国立艺专,作为国立艺术教育专业机构,信奉专业艺术教育和社会艺术教育并行的理念,倡行调和中西艺术、创造时代艺术,并以"艺术运动"为旗帜实践艺术教育和艺术传播。 展开更多

关键词 《亚波罗》 《亚丹娜》 国立艺术院 国立杭州艺术专科学校 期刊研究

下载PDF 职称材料

白色的西王母——西王母与雅典娜神话的比较研究 被引量：1

12

作者 高继习 《西部考古》 2017年第3期145-177,共33页

目前学术界对西王母神话原型的来源有多种论点,然而,若将战国至汉代文献及图像中西王母的所有要素综合到一起,则会发现西王母从外观形象、所处环境到神职等全部要素和特征,都与古希腊神话中的雅典娜女神有密切关联。二者间的神话传播,... 目前学术界对西王母神话原型的来源有多种论点,然而,若将战国至汉代文献及图像中西王母的所有要素综合到一起,则会发现西王母从外观形象、所处环境到神职等全部要素和特征,都与古希腊神话中的雅典娜女神有密切关联。二者间的神话传播,也符合历史背景、传播方式、传播路径、传播主体以及沿途的遗痕等多重证据的检验,一个'白色的西王母'渐趋明晰[1]。 展开更多

关键词 西王母 雅典娜 希腊神话 女神 文化传播

原文传递

古希腊父权制社会视角下的雅典娜形象分析

13

作者 温馨 《广西科技师范学院学报》 2021年第5期47-51,共5页

在古希腊神话体系中,女神雅典娜作为奥林波斯的核心神祇之一,具有智慧女神、战争之神、城邦守护神在内的多重身份,是古希腊神话艺术中的一抹瑰红。但不管是在荷马史诗、《神谱》等古希腊文学作品,还是在众多留存的艺术墙体雕刻与描绘中... 在古希腊神话体系中,女神雅典娜作为奥林波斯的核心神祇之一,具有智慧女神、战争之神、城邦守护神在内的多重身份,是古希腊神话艺术中的一抹瑰红。但不管是在荷马史诗、《神谱》等古希腊文学作品,还是在众多留存的艺术墙体雕刻与描绘中,作为希腊神话中的核心女性神祇,雅典娜并不能被视为希腊女性形象的代表。因为,其有关无母的神话起源、中性气质、处女神以及雅典城邦守护神的身份,不过是被人们用一种不自觉的艺术方式加工过的自然和社会形式本身。实际上,雅典娜的形象是服务于古希腊父权制社会的。 展开更多

关键词 希腊神话 雅典娜 形象 父权制

下载PDF 职称材料

可穿戴设备,让生活更美好

14

《大众科学》 2015年第12期60-61,共2页

说到可穿戴设备,大家首先想到的可能是运动手环、智能手表这些小工具,它们在很多时候很有用,如计步、第二屏消息等。同时,一些可穿戴设备也面向更加细分的市场,希望能改变人们的生活。“呼救”装置 据数据显示，在美国每两分钟便有一名... 说到可穿戴设备,大家首先想到的可能是运动手环、智能手表这些小工具,它们在很多时候很有用,如计步、第二屏消息等。同时,一些可穿戴设备也面向更加细分的市场,希望能改变人们的生活。“呼救”装置 据数据显示，在美国每两分钟便有一名女性被攻击。针对这个问题，费城公司Yasmine Mustafa开发了一种专门针对女性安全的可穿戴设备Athena。 展开更多

关键词 婴儿健康 鼻夹 胸带 athena 扭矩传感器 手机应用 电动马达 碰撞传感器 脊髓损伤 头部损伤

下载PDF 职称材料

希腊神话中女神身上所体现的人类妒忌心态(英文)

15

作者 张冰 《白城师范学院学报》 2004年第2期46-48,共3页

本文通过对希腊神话中宙斯劫持欧罗巴,赫拉虐待伊娥,雅典娜和赫拉因为没有得到金苹果而报复帕里斯王子,积极促成特洛伊城的覆灭等希腊神话故事的分析,论证了神的妒忌心理的存在进而说明神具有人性这一特征。

关键词 希腊神话 妒忌 赫拉 雅典娜 欧罗巴

下载PDF 职称材料

残疾不减它们的美

16

作者 豆豆 大耳朵 《宠物世界（猫迷）》 2013年第4期120-121,共2页

有人说,"残疾人虽然拥有不完整的身躯,但他们拥有完整的灵魂"。对于残疾猫来说,何尝不是如此呢?这些小家伙们比健康的同类经历和承受了更多的苦痛,但给我们带来的快乐却丝毫不减。然而,又有多少人真心愿意接受并不算"完... 有人说,"残疾人虽然拥有不完整的身躯,但他们拥有完整的灵魂"。对于残疾猫来说,何尝不是如此呢?这些小家伙们比健康的同类经历和承受了更多的苦痛,但给我们带来的快乐却丝毫不减。然而,又有多少人真心愿意接受并不算"完整"的它们呢? 展开更多

关键词 豪华别墅 前臂截肢 三条腿 给你 一顺边 athena 肛门腺 骨盆畸形 强迫症 基因缺陷

原文传递

国内动态

17

《卫星应用》 2015年第6期5-6,共2页

合众思壮海外子公司发布新一代GNSS芯片5月,合众思壮海外并购的Hemisphere GNSS公司宣布,正式发布其研发的下一代GNSS芯片＂雅典娜＂（Athena）。该芯片拥有更稳定、更精准的导航定位性能,并且能适应多种＂信号屏蔽＂的环境。Hemisphere... 合众思壮海外子公司发布新一代GNSS芯片5月,合众思壮海外并购的Hemisphere GNSS公司宣布,正式发布其研发的下一代GNSS芯片＂雅典娜＂（Athena）。该芯片拥有更稳定、更精准的导航定位性能,并且能适应多种＂信号屏蔽＂的环境。Hemisphere GNSS公司声称,＂雅典娜＂拥有一段时期内都不会过时的技术基础。其特性大致体现在四个方面：初始化时间、恶劣环境下的稳定性、长基线应用系统以及持续精度。 展开更多

关键词 GNSS 海外子公司 国内动态 定位性能 长基 地理信息 海外并购 athena 应用系统 合众

下载PDF 职称材料

MARTIN BERNAL'S BLACK ATHENA REVIEWED

18

作者 EdwinM.Yamauchi 《Journal of Ancient Civilizations》 1999年第0期145-152,共8页

关键词 NJ MARTIN BERNAL’S BLACK athena REVIEWED

下载PDF 职称材料

MONNALISA 最浪漫的童装

19

作者 董潇 《时尚北京》 2017年第10期200-202,共3页

有着“最浪漫的童装”之称的MONNALISA品牌童装来自于世界著名时装产地--意大利。“MONNALISA（蒙娜丽莎）”跨国集团,始创于1968年,一直专注发展女童时装,在童装行业中占据着领先地位,现在已然是领导服装潮流的高素质、高品味的女童时... 有着“最浪漫的童装”之称的MONNALISA品牌童装来自于世界著名时装产地--意大利。“MONNALISA（蒙娜丽莎）”跨国集团,始创于1968年,一直专注发展女童时装,在童装行业中占据着领先地位,现在已然是领导服装潮流的高素质、高品味的女童时装的代表品牌。其创始人带领二十多名意大利顶级设计师以时尚化、多元化的独特风格成为儿童时装业的领导者,其产品遍布全世界52个国家。 展开更多

关键词 蒙娜丽莎 跨国集团 MONNALISA 时尚化 阿雷佐 “奥斯卡” 托斯卡纳 athena 国际刊物 前卫时尚

原文传递

文殊——东方智慧的象征

20

作者 邓子美 《忻州师范学院学报》 2007年第3期6-6,80,共2页

雅典娜早已成为西方的智慧象征,并出现在雅典奥运会的开幕式上;文殊表征了佛教智慧的核心,乃东方智慧的象征。雅典娜与文殊的共同特征就在于不仅包容着有限的世间智慧,还象征着无限的超越性智慧———大智慧。

关键词 雅典娜 西方智慧 文殊 东方智慧

下载PDF 职称材料