基于KQML的agent安全通讯模型

KQML是软件agent之间通讯的消息协议和格式,为了支持agent之间安全通讯以保护agent通讯的私有性和完整性及身份认证,本文对KQML行为原语进行扩弃,提出了基于KQML的安全通讯模型。     

程序正确性证明方法研究

介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。     

长波通信中的噪声处理方法研究

长波通信信号受信道中的大气噪声干扰严重,该噪声属于典型的非高斯非平稳信号,传统的非线性处理方法对大气噪声的抑制效果并不理想,严重制约了长波通信效能的发挥。针对这一问题,论文提出了中值滤波—小波降噪的噪声处理方法,以信噪比提高值作为降噪效果的评价指标,在Matlab编程环境下实现了算法对长波信道噪声抑制能力的仿真。结果表明,中值滤波—小波降噪的噪声处理方法能够有效地实现对长波信道噪声的抑制。     

基于AVR单片机的电液伺服疲劳试验机控制系统

介绍一种新型的主要由AVR单片机ATmega8和传感器、计算机构成的电液伺服疲劳试验机控制系统。详细介绍了本控制系统的工作原理、控制原理，传感器接口电路和相应的各种控制软件设计。试验过程实现了计算机实时控制，精度高，安全可靠。     

ASME美国机械工程师学会电子期刊数据库

文中对ASME美国机械工程师学会电子期刊数据库所收录的电子期刊情况以及浏览检索等功能进行了较详尽的介绍,为机械领域的专业人士查找国外该领域先进的文献资源提供了可行的途径.     

中温炻瓷冰裂纹釉的研制

本文介绍了辊道窑烧中温炻瓷冰裂纹釉的研制情况,提出该釉的组成、主要工艺参数,并分析了影响冰裂纹釉面质量的因素。     

论卓越教师理论内涵及卓越校建设与卓越教师培育的内在关系

教师是高职院校宝贵的财富,教师质量的高低直接影响高职院校发展的好坏。在湖南省教育厅颁发的《关于实施湖南省卓越职业院校建设计划的通知》建设任务书中提出,教师队伍建设是卓越校建设的重点建设内容,师资队伍建设在湖南省卓越高职院校建设项目中具有举足轻重要的地位,卓越教师的培育对于卓越校的建设具有重要意义。本文首先介绍了卓越教师培育的研究背景,然后,剖析了卓越教师培育的国内外研究现状并分析了卓越教师的内涵,最后,探讨了卓越校建设与卓越教师培育的内在关系,以期促进卓越校建设背景下的卓越教师的培育和卓越教师的健康成长。     

贝壳的化学成分及其结构特征

以扇贝和珍珠母贝壳为研究对象,对其化学成分、微观结构以及热分解行为进行研究,结果表明,扇贝和珍珠母贝壳都是由95%左右的CaCO₃和5%左右的有机质组成。其中,扇贝的无机相几乎由100%的方解石组成,而珍珠母贝壳的无机相由4.96%的方解石和95.04%的文石组成。且两者所含有机质的成分存在很大的差异。热分析表明,热分解分为两个阶段,第一阶段为有机质的变性和分解,第二阶段为碳酸钙分解为二氧化碳和氧化钙的过程。有所不同的是,珍珠母贝壳在400~500℃出现了由文石转变为方解石的晶型转换,可为生物矿化等提供参考。     

生物质炭基固体酸催化剂的研究

对生物质炭基固体酸催化剂的制备和应用研究进展进行综述。详细介绍以生物质为原料制备炭基固体酸催化剂的主要方法及其在催化反应中的具体应用,探讨这些制备方法和所得催化材料的优点和存在的问题,并展望生物质炭基固体酸催化剂今后努力的研究方向。     

冠醚型表面活性剂(续)

二、表面物理化学性质在过去十年中，已有很多关于以冠醚环作为亲水基的表面活性冠醚的表面物理化学性质及胶束性质的报告。与相应的参比