模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

超长混凝土结构的无缝设计与施工

利用膨胀混凝土在结构中产生一定的预压应力来抵抗混凝土收缩变形产生的拉应力,从而防止或减小超长混凝土结构在施工阶段,由于温度的变化产生较大的温度应力引起的收缩裂缝,通过合理布置膨胀加强带以取代后浇带,从而达到连续浇筑的目的。结合具体工程,介绍了超长混凝土的无缝设计与施工的具体应用。     

某类三阶非线性方程边值问题的奇摄动

研究某类三阶非线性方程的边界层现象．通过引进适当的伸长变量,构造边界层函数,得到了解的N阶近似值,并利用微分不等式理论证明了解的渐近展开式的一致有效性。     

小波级数余项的估计

讨论小波级数余项的估计问题,以此为基础,研究了小波级数的部分和fm对f∈L^2（R）的逼近性和逼近速度．当母波函数满足一定条件时,建立了小波级数余项的精确估计,从而得到了相关的逐点收敛定理与一致收敛定理。     

粘弹性条件下槽道板结构的准静态弯曲变形

引入小挠度薄板理论,将槽道板结构简化作支承于地基上的薄板,基于对应性原理和数值逆变换方法,以微槽道换热器为例,解析计算了槽道板结构的粘弹性弯曲变形和粘弹性弯曲应力,并与有限元模拟结果进行对比,由此验证用该解析计算方法分析承压槽道板结构粘弹性能的可行性与准确性。结果表明:解析计算结果与有限元模拟结果基本一致,该方法可作为承压槽道板结构设备力学设计的有效方法。     

扩招后高校图书馆的编目工作

针对高校扩招给图书馆编目工作造成的影响,提出了相应的对策,包括注重提高编目工作效率,最大限度地提高编目业务的社会化程度和重新定位编目员角色等。     

一类微分方程的数值解法

给出一种求一类线性积分微分方程（ｄｙ）/（ｄｔ）－∫ｔ０（ｔ－ｓ）－１／２ｙ（ｓ）ｄｓ＝ｆ（ｔ）数值解的方法--Lubich的拉普拉斯变换数值逆,所得数值解的精度较高,计算也较简便.     

废弃物网络系统容量扩张模型及算法

随着城市固体废弃物产生量的增长,原有的废弃物网络系统将不能满足需求,需要新建处理站以扩张网络系统处理能力.建立了多阶段网络容量扩张的双目标规划模型,其中一个目标是最小化总的建设费用,另一个目标是最小化处理站所产生的负效用.设计了基于随机贪心算法的不可行解修补策略和邻域启发式算法,提出了一种混合多目标进化算法来求解模型. 实例说明了模型的有效性.通过和加权法比较证明了混合多目标进化算法有很好的搜索能力.     

非线性系统多流形展开模型

平衡流形展开模型可以在一定精度上近似非线性系统,但变工况的时候往往存在较大的误差.在非线性系统平衡流形展开模型的基础上提出了多流形展开模型,从而使展开模型在一定误差范围内可以表达更广阔的区域.通过涡轮发动机的算例证明了方法的可行性.     

一类BCH码的维数

对于有限域GF（q）上长度n=q^m-1,指定距离δ=q^h-1的狭义本原BCH码给出了码维数的一个下界,特别地当h=m-1时,给出了码的维数的具体值．对于有限域GF（q）上长度n=q^m-1,指定距离q^h,h≤m／2的狭义本原BCH码给出了码维数的一个上界．