运用ASM描述安全协议

介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击.     

未婚妇女人工流产心理护理

我国未婚妊娠发生率逐年上升,在这群人中无论采取何种方式终止妊娠,均存在心里负担.尽管选择药物人流的心理状态明显好于普通人工流产,或近年来采用的无痛人工流产,虽然痛苦降到了最低点,但这并不意味着可以通过流产来减少非意愿妊娠对未婚妇女所造成的伤害.     

数列知识在化学解题中的应用

将化学问题抽象成为数学问题，利用数学工具、结合化学知识通过计算和推理解决化学问题的能力，是高考考查考生思维能力的一个重要方面，《考试说明》对此也做了明确的说明，将化学问题中所给信息进行抽象归纳、逻辑地统摄成规律，转化成数学问题进行教学，能有效提高学生的逻辑思维能力和学科之间的综合能力，本文就数列知识在解决化学试题中的运用做一些讨论。     

音乐审美关系构建过程的分析——兼论《乐记》中的音乐美学思想

本文结合<乐记>中的音乐美学思想,论述了音乐审美关系的构建问题以及审美主、客体的审美把握问题.作者认为<乐记>中不仅区分了"声"、"音"、"乐"三者的概念,并将其与"物"、"心"概念相结合,分析和讨论了音乐审美主、客体的审美把握问题;此外,<乐记>还通过"物-心-声-音-乐"这一结构关系,描述了音乐审美关系的构建脉络.     

诗中的画——江清月近人

人教版小语第九册第3课《宿建德江》是唐代诗人孟浩然所写的一首五言诗。这首诗，语言生动凝炼，情感复杂丰富，意境优美深远。但对于刚入五年级的小学生来说，要理解这首诗，光从字面上来讲解是不够的。教学中，我抓住了一幅画，变抽象为形象，增强直观的视觉感知，由画及意，效果非常好。我的具体做法是：     

一个新颖的叠氮根离子1,3桥连的一维链状的锰的配合物的水热合成与晶体结构

合成了一个锰的水杨醛乙二胺Schiff碱的配合物,并分别用元素分析、红外光谱、X-单晶衍射仪等手段对该配合物进行了表征。配合物化学式为C16H14MnN5O2,式量为363.26。配合物属单斜晶系,Pca2(1)空间点群。晶胞参数:a=10.9590(8),b=12.9699(9),c=11.1316(8)。中心离子呈变形的八面体几何结构,与Schiff碱的N、O原子配位,又与叠氮根离子的N原子形成1,3桥连的一维链状结构。     

抽象距离空间、Fuzzy度量空间、概率度量空间及其不动点定理

本文讨论抽象距离空间中映象的不动点的存在性，得到了一些新的不动定理。作为应用，我们分别得到了Fuzzy度量空间、Menger概率度量空间中映象的一些不动点定理。本文的结果统一和发展了文[3-8,10,11[的一些主要结果。     

溅渣护炉中溅渣层的蚀损研究

转炉溅渣层的物相结构及耐蚀性与调整后的转炉终渣成份有关，它的蚀损主要发生在转炉冶炼的中后期，其原因是转炉中后期炉渣的化学侵馆和溅渣层在高温下的熔化。     

一类双对称函数的周期性

抽象函数是高考中的热点题型，其中已知图象具有两条对称轴，或两个对称中心，或一条对称轴和一个对称中心，是一类典型条件，我们称为双对称函数．求解这类抽象函数问题，往往要归结为函数的周期性问题．下面给出这三种双对称函数的相关结论．[第一段]