再议网络图的逻辑同构变换

图对同一个逻辑问题可有不同的表达方式，在必要时需进行逻辑同构变换＾［１］。本文对“节点型网络向箭线型网络的逻辑风构变换”的研究进行了补充，增加了三种情况的图开有子模，进一步谁了逐节生长法的通用性。同时，提出了箭线型网络向节点型网络逆向变换的算法；逐线收缩法。     

混凝土高拱坝孔口三维非线性分析

采用有限元方法中的子模型技术,对混凝土高拱坝的1^#底孔进行了三维非线性分析,研究了孔口在坝体自重、库水压力和温度作用下混凝土开裂和裂缝发展情况,以及配筋对孔口开裂的影响。研究表明,采用子模型法不仅大大降低了网格剖面的难度,而且减少了三维非线性分析的计算时间。     

L(Q)逻辑的一种保持性定理

对广义逻辑Ｌ（Ｑ）的一种保持性定理给予了证明。     

L (Q)格值模型的初等子模型

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L－S－T定理,初等图像在初等扩充下的保持性等。     

超媒体系统组织层子模型的研究和设计

超媒体技术是管理多媒体信息的有效方法和手段，它以网络方式进行信息的存储和检索。系统中组织层设计的优劣涉及到整个超媒体系统的成功与否。作者运用面向对象的方法对其组织层的关键元素──链和节点进行了分析，并讨论了各自的设计方法。     

超深水水下分离器承压性能数值分析与试验研究

以中国自主设计制造的2 000 m超深水水下分离器为研究对象,基于图算法和一致缺陷模态法分析分离器样机极限承载能力;建立包含嵌入式接管子模型的水下分离器精细数值模型,研究马鞍形焊缝应力分布规律;设计高压舱试验验证水下分离器样机的物理承压能力,并对比分析高压舱试验数据和数值计算结果。研究表明:水下分离器样机失稳模式为塑性失稳,下放工况应该主要评估其结构强度;接管马鞍形焊缝的鞍点和冠点以及N1接管焊缝的角度φ为45°和135°位置为应力特征点;试验样机在高压舱试验过程中整体应力水平处于线弹性变形阶段,能够满足2 000 m水深的承压强度要求,模拟结果和试验结果吻合较好。     

子模型技术在精轧机机架强度分析中的应用

采用有限元方法对热轧精轧机机架进行应力分析.通过子模型技术对机架上横梁压下螺母孔顶部过渡圆弧处应力最大的部位进行精确计算,比较了整体模型和子模型计算结果差异,结果表明子模型方法更适合于机架应力集中处强度分析的精确计算.     

子模型方法在桥梁横隔板加固中的应用

子模型是对结构细部构件进行受力分析的一种有效手段,可以花费较少的代价得到更为精确的结果。运用该法对某T梁桥横隔板的受力作了精确的分析,并以分析结果提出了横隔板的加固方案,改善了其受力性能、增强了耐久性。     

具有线性边界条件Navier-Stokes子模型的适定性

对文献[1]中给出的血液流动Navier-Stokes子模型进行了修正,提出了一个具有线性边界条件的Navier-Stokes子模型,理论分析表明,修正的模型和原模型具有同样的适定性,而且在数据处理上更方便简单.     

基于子模型的孔边应力集中的有限元分析

用ANSYS软件对圆孔板的应力集中进行了有限元分析,计算了圆孔平板在单向或双向受力下的应力分布,并与理论解进行了比较,其ANSYS解与解析解均比较接近．同时,把在粗糙拱型下的计算结果和子模型下的结果进行了比较,从而论证了所用方法的优越性．