基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

一个基于循环格的NTRU类数字签名方案

依据格中的最近向量问题（CVP）提出一种基于NTRU公钥密码体制的数字签名方案。新的数字签名利用循环格基构造循环格,从而得到格中严格的距离消息D最近的向量点。与NSS相比,新的签名方案在签名与最近向量难题之间建立了直接的关系,具有更高的安全性。同时,新的签名方案引入了适当的扰动,有效地弥补了NSS签名中攻击者通过分析大量签名副本获取有用信息的缺陷。     

格蕴涵代数的模型论性质

讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论Ｔ保子模型,保模型链之并、保模型同态、理论Ｔ不是完备的,也不是模型完备的,因此不存在内在Ｓｋｏｌｅｍ函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。     

高层建筑外墙装饰格网架固定装置的受力分析

本文就高层建筑外墙装饰和遮阳用的轻型格网架固定装置的受力进行了分析,并进 行了模拟试验。提出了这种受力状态的理论计算公式。其计算结果与试验结果符合较 好,对轻型格网架的推广和使用有较大的参考价值.      

公路隧道软弱破碎围岩高强钢筋格栅拱架支护性能研究

软弱破碎地层围岩稳定性差,与支护间接触压力大,支护结构应力状态复杂,因此支护结构的支护性能是满足隧道施工及运营期安全与稳定的重要保障。高强钢筋格栅拱架是以高强钢筋为主材的一种格栅拱架形式,具有支护强度高,与混凝土黏结性好,重量轻等诸多优点,但其在公路隧道软弱破碎围岩中的支护性能仍有待考量。为此,结合圆管弹性应变理论推导出的支护刚度计算公式,对不同拱架结构进行等截面换算,得出高强钢筋格栅拱架和型钢拱架的支护特征曲线;采用有限元数值计算方法将钢拱架与混凝土分部建模,进一步分析2种支护拱架的力学特性和变形特征;最后在现场开展对比试验,通过监测沉降收敛位移、围岩压力、拱架应力,分析施工中高强钢筋格栅拱架的支护性能。理论验算和数值分析结果表明,高强钢筋格栅拱架与I20b型钢拱架的极限承载力基本相同,但高强钢筋格栅拱架支护刚度相较I20b型钢拱架弱,I20b型钢拱架对变形控制能力更强;现场对比试验结果显示,2种支护拱架产生的收敛变形相差不多,且围岩接触压力分布规律基本相同,高强钢筋格栅相较I20b型钢拱架的承载应力更高,但远小于材料本身屈服强度;此外,现场施工表明采用高强钢筋格栅拱架能有效提升人工支护作业效率,对于特长公路隧道快速施工具有更好的应用价值。综合分析,高强钢筋格栅拱架在软弱破碎地层能够提供与I20b型钢拱架相近的支护抗力,适用作特长公路隧道软弱破碎围岩的初期支护拱架结构。     

孔子的社会教化思想及其现代意蕴

以孔子为代表的儒家以"德"、"礼"为道德教化的核心内容,把"性相近,习相远"视为仁政、德礼教化的理论基础,强调重德礼、轻政刑,反对不教而诛。道德教化是一种精神的约束和激励力量,它是调节以使社会成员之间形成和谐的诸种社会关系、维系社会稳定并使之持续发展的重要精神手段。孔子的教化思想对我们今天构建和谐社会并维系其可持续良性发展具有重要的借鉴意义。     

格构梁与预应力锚索复合结构的设计方法研究

格构梁与预应力锚索复合结构是近年来在边坡治理中推广应用的新型结构措施。根据WINKLER弹性地基梁理论解分析和三维有限元模拟结果，以及对锚索的计算分析，提出格构梁和预应力锚索的优化设计方案，格构梁与预应力锚索复合结构的设计步骤，并以工程实例加以说明。     

预应力锚索和格构梁复合结构在路堑边坡防护中的应用研究

基于有限元数值模拟分析的基本思想，通过建立相应的有限元模型．对比计算了石太高速公路路堑高边坡治理工程中的一处边坡支护前后的应力／位移，其计算结果为采用预应力锚索和格构梁边坡防护设计提供了理论依据。验证了其应用的可行性；并根据防护后边坡位移的实测数据，进一步证明了公路边坡采用预应力锚索和格构梁联合防护具有良好的工程应用价值。     

格蕴涵代数中滤子的若干性质

首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。     

LINEAR SYSTEMS AND LINEAR INTERPOLATION I

Suppose V is a vector space over the real orcomplex field F.A linear transformation T on Vis a function T from V into itself such that T(αx βy) =αTx βTy holds for any vectors x,y∈ V,and any scalarsα,β∈ F.Linear transformationsare applied to represent linear systems.A systemis said to interpolate[1] a family Soflinear transfor-mations if for each input of the system the corre-sponding output can be obtained by the action ofsome member of S.Thatis,if foreach x∈V,Tx= Qxx,for some …