形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

对斜巷防跑车挡车栏的技术改进

对目前使用防跑车挡车栏进行技术完善,提高安全设施的安全性和可靠性。     

设置边缘构件配筋砌块砌体剪力墙的抗震能力

为了研究配筋砌块砌体剪力墙的抗震能力,采用约束砌块砌体和约束混凝土作为剪力墙的约束边缘构件以增加延性;通过对位移延性的计算,得出影响剪力墙位移延性的主要因素有轴压比、形状比、砌体的极限压应变等,并建议了不同约束边缘构件剪力墙的轴压比限值.在此基础上用反应调整系数衡量配筋砌块砌体剪力墙的抗震能力,明确了设置约束边缘构件剪力墙所隐含的抗震能力;对不同抗震等级剪力墙的反应调整系数与地震动比值进行计算,通过比较得出结论:配筋砌块砌体剪力墙为实现规范预期的抗震设防目标,必须对剪力墙的形状比进行限制.     

基于GIS的旅游信息服务——旅游信息短信查询

旅游信息服务正日益成为旅游发展的瓶颈之一,基于此,本文提出一种基于GSM 短消息和GIS组件技术的旅游信息查询系统.系统结合GIS技术和短信平台,实现了手机发接短信查询旅游信息的方式,是一种新颖的旅游信息获取方法.在论述系统整体结构的基础上,详细阐述了信息处理模块和短信通讯模块的实现.针对旅游信息发送过程中可能遇到的问题给出了几个技术解决方案.实践证明,应用GIS技术和短信息查询技术可以使旅游信息更容易、更方便的获取.     

防火墙技术在校园网中的应用

防火墙作为一种非常有效的网络安全模型，在保护局域网安全方面发挥着重要作用．本文主要概述在校园网中的具体应用．     

基于特征解的有限弹性板中声表面波的二维分析

通常认为声表面波(Rayleigh 波)在无限大弹性板中具有不同的振动模态. 确切地说, 在板中具有代表对称和反对称模态的并以指数形式衰减和增长的成对模态出现. 随着板的厚度的增加, 这些成对出现的模态在叠加后将接近半无限弹性体中的表面波模态, 当然也具有表面波的变形和速度特征, 但在弹性板的表面却有着较大的变形. 将有限弹性体表面波的二维理论加以扩展, 在展开函数中除了熟知的指数衰减项外还考虑了指数增长项, 从而建立了有限弹性板中表面波分析的二维理论. 利用这些新的方程, 研究了不同厚度弹性板中表面波指数衰减和增长型模态的耦合. 发现对于厚度较小的弹性板, 这两组模态是强耦合的, 在分析中予以全部考虑也就显得非常重要. 当弹性板的厚度增加到一定程度, 如大于5个波长时, 只用厚度衰减模态就可以分析表面波的振动模态, 从而可以极大地简化弹性板中表面波分析的二维方程组.     

集值映射平衡点集的本质连通区及其应用

用统一的本质连通区的存在性定理重新推导出了集值映射平衡点集的本质连通区的存在性,并给出一个在不动点集中的应用。     

微动力机电系统的发展动态与展望

在阐述微动力机电系统研究意义的基础上,对其在国内外的发展动态及趋势进行了回顾,重点介绍了双区燃烧微涡轮机、微型往复式电力发生器、微转子发动机以及作者研究的微热光电动力系统．这种新型的微热光电系统具有无运动部件、热量利用效率高、制造成本低等优点．最后论述了微机电动力系统研究中面临的主要挑战,并重点总结了需要解决的一些基础问题．     

款冬花色素的提取与稳定性研究

研究了款冬花色素的热稳定性、氧化还原稳定性和pH值稳定性，并对常用的几种食品添加剂对款冬花色素的稳定性进行了探讨，结果表明：款冬花色素易溶于丙酮。属于脂溶性色素；在ph=3～9时，款冬花色素的稳定性较好，氧化还原剂及食品添加剂对其稳定性影响不大，Fe^3＋金属离子对其影响显著，Na^＋有增色作用，水浴温度在60℃以下色素的热稳定性较好。     

SURF与RANSAC组合图像拼接算法

针对目前基于尺度不变特征变换匹配算法(scale invariant feature transform,SIFT)的图像拼接算法存在的算法复杂度高、算法的特征点匹配精度不准的问题,提出了一种SURF和RANSAC组合的拼接算法。算法从特征点提取匹配出发,基于筛选过滤的提纯思想对初步筛选的特征点进行优化从而达到提高融合质量的目的。筛选过程使得算法具有一定的鲁棒性,同时算法降低了时间上面的消耗。基于SURF和RANSAC的组合图像拼接算法可实现高质量的图像拼接,是一种加速图像拼接速度兼具鲁棒性的图像拼接算法。