摘要:证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的，进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴。因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用。

摘要:研究了线性流形上 D反对称矩阵反问题的最小二乘解及其逼近问题 .给出了最小二乘解的一般表达式 ,并就该问题的特殊情况 :矩阵反问题 ,证明了可解的充要条件 ,并在有解的条件下给出了解的一般表达式 .得到了最佳逼近解的表达式 .

摘要:无单元法不需要单元信息，它采用了一种基于移动最小二乘（MLS）的插值函数。插值基函数对插值函数以及无单元法的计算精度影响很大。本文就不同的基函数对插值函数及无单元法的计算精度的影响作了分析比较，得出了一些有益的结论，并用算例说明了这些结论的正确性。

摘要:获得反平面一般荷载下 ,弹性椭圆夹杂问题的精确解 ,将复变函数的分区全纯函数理论 ,Cauchy型积分 ,应力函数的奇性主部分析 ,Rie-mann边值问题相结合 ,求得了各复势函数之间的解析关系 ,并将问题归结为一个初等复势函数方程的求解 .在一般荷载下获得级数形式精确解 ;在若干特殊情形下获得封闭形式解 .求出了由夹杂引起的干涉能及位错干涉力的解析表达式 ,并绘出了干涉力的变化曲线 ,研究了位错力随位错方位的变化规律 .解答的特殊情形与已有若干文献结果一致 ,并纠正了其中的一个错误结果 .

摘要:针对框筒结构楼板开裂现象，采用理想化模型对结构在内外温差作用下楼板的应力和变形进行参数计算，根据计算结果阐述了楼板角部穿透性斜裂缝的开展机理。分析了一批高层住宅楼的楼板开裂原因，提出了设计建议和施工中应重视的问题。

摘要:基于轴对称柱面瑞利面波，得到了一种计算层状介质中瑞利面波频散曲线的快速矢量传递算法，频散方程类似Menke方法的F矢量上传形式，上传矩阵F为3个五阶矩阵的乘积形式，提高了计算速度，而且各矩阵的元素均为无量纲量且为实数值，避免了以往方法中同一矩阵中各元素的数量级相差较大、出现复数运算的缺陷，提高了计算的精度及稳定性。此算法方法也避免了高频数值精度丢失问题和高频数值溢出问题。

摘要:压力焙烧是制取高密度、高强度c/c复合材的有效手段，由理论分析及实验研究确定了该法的最佳起始压力、升温曲线和最高焙烧温度等工艺条件，用这种方法制得的无粘结剂c/c复合材的性能远优于常规方法制得的制品。

摘要:用弹塑性大变形有限元方法模拟钢／聚丙烯／钢复合层板的拉深成形过程，揭示了两层钢板的塑性应变发展过程，分析了不同变形区域的塑性变形特征。对内层钢板，从板料中心沿径向依次处于非塑性变形状态、径向伸长类变形、周向压缩类变形状态。而对外层钢板，从板料中心沿径向则依次处于非塑性变形状态、周向压缩类变形状态、径向伸长类变形状态、周向压缩类变形状态。

摘要:阐述了超高速磨削的机理与特点，介绍了其技术现状及发展趋势，分析了超高速磨削机理与工艺、超高速磨削用主轴单元制造技术、超高速磨削砂轮、磨削液及供液系统等主要相关技术。

摘要:高速精密大功率电主轴是高速数控加工机床中的核心部件，其性能的高低直接影响到高速加工机床的整体发展水平。本文阐述了该技术的国内外发展现状，系统介绍了制约电主轴发展水平的几项关键技术，并对高速大功率电主轴的未来发展方向进行了展望。

摘要:在国家“九五”和“十五”科技攻关项目的研究基础上 ,提出了基于 Internet的计算机辅助工业设计的概念、研究方法、实验结果和系统开发的整体成果 ,找到了计算机辅助工业设计的一种新模式 ,并通过数控机床造型设计系统的开发对该问题进行了必要的理论探讨和实践尝试 .

摘要:在国家“九五”和“十五”科技攻关项目的研究基础上，提出了基于Internet的计算机辅助工业设计的概念、研究方法、实验结果和系统开发的整体成果，找到了计算机辅助工业设计的一种新模式，并通过数控机床造型设计系统的开发对该问题进行了必要的理论探讨和实践尝试。

摘要:磨削是目前工程陶瓷的主要加工方法，本文主要对国内外在陶瓷磨削后工件表面／亚表面损伤（主要是微裂纹和表面残余应力）方面所作的研究成果进行了总结、分析和讨论，提出了一些有待研究的问题及其研究思路。同时就作者所承担项目“纳米结构材料精密磨削及其预报”研究中的临界砂轮磨粒切深（dc)和被磨工件临界损伤深度Cr(临界中位裂纹长度）的预测模型进行了分析，并建立了临界砂轮磨粒切深（dc)理论模型。

摘要:高速、超高速磨床在加工过程中由于主轴速度高、切削力大、进给速度快、砂轮旋转速度高，其危害性极大。本文根据机械安全设计的方法，针对影响高速、超高速磨床安全的各个子系统的危险情况和风险，探讨高速磨床的安全设计总体技术方案和技术路线，为寻求建立适合于高速、超高速磨削工况下的风险评价体系和寻找出最优的风险评价数学模型探路，为高速加工机床的机械安全设计提供理论依据和设计方法。

摘要:多分屑槽钻头适合大走刀量高效率钻削加工，为解决多分屑槽钻尖在数控机床上的刃磨问题，建立了新型钻尖（多分屑槽钻尖）的数学模型，介绍了分屑槽钻尖数学模型的求解方法。

摘要:论述了制造业中自由曲面的数控加工精度提高技术。分析了影响自由曲面精度加工精度的多种因素，研究并提出了从工艺系统、控制系统和数控程序设计等方面提高曲面加工精度的技术和所采取的方法。

摘要:从化学热力学的角度，分析了燃煤掺烧固硫时的吸放热情况和反应的SO2平衡体积分数规律，表明固硫反应的放热量较石灰石分解吸热量高，并且其热力学推动力很大。实验证实，往燃煤中掺入适当量的固硫剂，不仅对混合物的发热量无不良影响，而且一定条件下还可提高混合物的总发热量。

摘要:把边坡定值分析法与可靠性分析法相结合，考虑土性参数的变异性和不确定性。在有限土性参数数据可供利用的条件下，由土性参数分布的3σ法则原理以及土性参数变异系数的公开报道值，取得可靠性分析数据，对粘土边坡稳定性和可靠性作了较为深入的研究评价，并探讨了土性参数的变异性、安全系数变异性和可靠性指标三者之间的内在联系以及粘土边坡稳定敏感性因素及其可靠度的一些规律。

摘要:建立了以材料表面空气相对湿度为输入，材料湿容量为输出的建筑围护结构材料动态湿特性单输入单输出辨识数学模型，得到相应的Z传递 函数模型。建造了建筑围护结构材料的辨识试验系统。采用辅助变量辨识方法辨识得到单输入单输出差分方程和Z传递函数。并比较了最小二乘辨识法和辅助变量辨识法的辨识结果。结果表明，辅助变量辨识法辨识精度有所提高，系统阶降低。

摘要:将小波分析引入单自由度动力分析计算中。利用小波在时频域分析的特点，对动力荷载进行小波分解，滤去动力荷载的高频成分，以减少动力分析过程中的数据计算量，算例计算结果表明，按照动力体系特性利用小波分析去除动力荷载高频及其代表的荷载，误差在可接受的范围之内，不会影响动力体系的动力反应。

摘要:提出一种新的密钥托管方案 ,可以在某一托管代理不可信时 ,由其它托管代理和 KEC联合恢复该托管代理的密钥碎片 ,保证系统正常工作 .本方案利用数字签名 ,防止对 RSA的选择密文攻击 .

摘要:在采用遗传算法进行函数优化的过程中存在的一个严重的缺陷是：算法能很快地收敛到最优点附近，但要达到最优点需要很长的时间。针对这一缺点通过如下3个新的遗传算子构建了一个新的遗传算法：半确定性的变异算子，Hamming-decreasing和设计变量的自适应定标，以加强遗传算法的局部搜索能力。该算法充分利用基于概率的遗传算子的全局搜索能力和新算子较强的局部搜索能力。算例表明，新的遗传算法具有很强的鲁棒性和较快的计算速度。

摘要:对随机利率模型和固定利率模型的价值估计进行比较，发现随机利率模型的绝对定价误差的平均值对全体样本在1％水平上高于固定利率模型，但在对英镑和长期期货合同的看涨期权定价时随机模型优于固定模型。