各向异性压电介质摩擦接触界面波动特性分析

应用Fourier(傅立叶)分析及奇异积分方程技术研究了弹性波与一般压电介质单侧接触界面的相互作用问题.以界面只产生滑移不分离的情况为例,分析了问题的求解思路和过程,给出了弹性波引起界面滑移或分离的条件.以六角晶系极化碳酸钡陶瓷材料和三角晶系石英材料为例,分析了不同材料摩擦接触界面对弹性波入射的不同反应,给出了不同的入射角及不同的外加压力和电场对界面的影响特性.界面产生滑移和分离时,问题的边界条件具有非线性,导致高频谐波出现,以石英材料为例分析了高频成分随外加条件的变化特性.     

一阶谓词逻辑反驳演算自然推理系统

反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。     

无线局域网技术及其应用

随着信息技术的飞速发展，人们对网络通信需求的不断提高，作为传统局域网的补充和扩展，无线局域网得到了迅猛的发展，也充分显示了其优越性。阐述了无线局域网的特点、网络协议、传输方式及其应用与发展，并就其安全问题，提出了相应的安全技术解决策略。     

大功率垂直腔面发射激光列阵的应用

垂直腔面发射激光器（VCSEL）列阵是实现激光器高功率输出及应用的重要途径。本文针对垂直腔面发射激光器列阵从列阵器件的发展现状和应用前景方面进行介绍。     

垂直入射弹性波在一般各向异性压电材料单侧接触界面上的传播

弹性波垂直于压电材料摩擦接触界面入射会引起界面局部滑移或分离,导致问题具有边界非线性。应用傅里叶分析技术将问题的求解转化为一组代数方程,通过迭代-修正的方法确定粘着、滑移、分离区的分布位置,给出了各种状态产生的条件及规律。由于边界非线性导致波形畸变并诱发高频谐波,对某些各向异性压电材料,在某些条件下单一入射波遇到界面产生再极化,导致耦合P波及SV波产生,文中给出了高频谐波解及波形极化的产生条件。外加荷载和外加电场通过机电耦合效应对界面产生影响,通过实例分析,给出了外加作用力和电场对一般各向异性材料的影响规律,并分析了因为材料常数不同而引起的影响规律的不同。     

IE浏览器的安全防护策略

随着计算机网络的发展,特别是Internet的普及,丰富了人们的工作、学习、生活.与此同时,安全性也随之成为当前网络中最令人关注的问题之一.本文针对IE浏览嚣本身存在着的安全隐患,以及网络上隐藏的风险例如病毒、木马以及黑客的攻击,提出了一套行之有效的安全防护策略.     

专网中移动邮件推送系统的研究与实现

提出目前专网中信息化建设的现状和需求,采用无线推送技术,研究并设计移动邮件推送系统,将专网内信息系统与移动邮件推送业务相结合,使用户通过移动终端获取专网内各部门的最新信息.根据专用网内用户的特点及对移动邮件推送业务需求,建立具有四层结构的系统模型,选择适合的网络协议、业务实现方式等;结合无线网络的结构及企业信息系统特点,详细分析并阐述专网中移动邮件推送系统整体架构设计方案,完成服务器端与移动终端软件设计方案,设计后台数据管理系统.采用J2EE为开发平台,实现专用移动邮件推送系统服务器端的开发,实现企业信息的获取、信息格式转换、信息推送功能;采用J2ME开发模拟终端软件,实现模拟终端接收邮件并显示邮件内容及附件功能;采用SQL Server2000数据库实现移动邮件推系统后台数据管理系统.最后,对系统功能进行测试.     

逻辑语义学中的组合原则

组合原则是逻辑语义学中的核心原则,对组合原则的恪守推动了逻辑语义学理论的不断改进。组合原则是实现语义可组合运算的基础,本文旨在澄清在贯彻组合原则的过程当中,需要加以注意的两组概念:复合表达式的组成部分及其意义;语义的函项运算。