交叉立体桁架系巨型网格结构的简化计算法

针对系巨型网格结构杆件和节点多、计算工作量大的特点,进行了简化计算方面的研究,提出了将立体桁架等效为连续实体梁、按空间法进行有限元计算的等效空间刚架法.分析了立体桁架的等效截面、等效抗弯刚度,并详细推导了其等效抗扭刚度,分析了主体结构不同边界条件的等效处理方法.对比计算分析表明,该方法计算精度高,主要受力杆件的误差保持在5%以内,计算工作量较完全有限元法大幅度降低,是分析巨型网格结构的一种比较优越的方法.     

图书借阅量预测模型

将统计学中的一元线性回归模型方法,引入到图书管理领域,以1993年至2005年之间的十二个学年度的读者总指数为自变量,以对应十二个学年度的借阅量为相依变量,得出回归方程,进行F-检验,利用2005-2006学年度的读者总指数,预测对应的未来下一个学年度的借阅量.     

施工项目质量问题分析处理程序

施工项目由于具有产品固定,生产流动,产品多样,结构类型不一,露天作业多,自然条件多变。材料品种,规格不同,材质各异,交叉施工,现场配合复杂,工艺要求不同,技术标准不一等特点。因此,对质量影响的因素很多,在施工过程中稍有疏忽,易引起产生质量问题或严重的工程质量事故。为此,     

高校科技创新推进我国数字电视技术发展

随着“十五”、国家“211工程”以及“教育振兴行动计划”的实施,我国高等教育事业有了巨大的发展,高校已经毋庸置疑地成为知识创新、科学研究和各类高层次人才培养的重要基地,高校已经成为我国科技创新的主力军之一,凭借高校学科交叉综合、人才基础雄厚、学术氛围宽松、国际合作交流活跃、信息灵通等优势,高校在国家创新体系中的战略地位日益凸现。高校科技创新对我国数字电视技术发展的巨大推动作用正说明了这一点。     

前交叉韧带运动损伤临床治疗的进展

前交叉韧带是膝关节最重要的稳定因素,对膝关节起着导向和限制作用.前交叉韧带断裂可以导致严重的关节不稳,从而严重影响运动功能;如未得到及时治疗,还会继发半月板、关节软骨损害和骨性关节炎等.近年来临床研究中发现,前交叉韧带断裂导致膝关节功能丧失,常常在一段时间内呈进行性加重的态势.因此,在治疗上需要从韧带的解剖、组织学和生物力学等各方面进行研究,完善前交叉韧带运动损伤的临床治疗.     

应用于双光谱检测的图像融合技术

介绍双光谱图像检测系统的总体设计，针对紫外与可见光双光谱成像系统提出了基于模糊矩阵的双光谱图像融合法．该方法采用模糊矩阵表征融合区域，同时利用小波变换法对图像进行多分辨分解重构．实验选取UV图像与V图像进行融合，并对该方法和其他几种方法的融合图像进行了比较．基于模糊矩阵的双光谱图像融合法能比较好地兼顾图像融合中清晰度和融合边缘过渡两方面的要求．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

贝壳韧带微结构的高分辨扫描电镜研究

采用高分辨SEM及XRD对合浦珠母贝韧带进行了研究,结果表明,合浦珠母贝韧带无机相主要由文石组成.韧带具有明显的层状结构,同一生长层及相隔生长层中文石纤维呈一致定向排列,而相邻生长层文石纤维的定向明显不同,呈“交叉棱柱层”结构样式.合浦珠母贝韧带中文石纤维的直径为80~90 nm,具有典型的2D光子晶体结构特征.     

大跨径T梁施工龙门吊的设计及检验

文章介绍了某特大桥施工龙门吊的布置方案，并从技术和经济角度对方案进行了论证比较，在此基础上对施工龙门吊的设计方案进行了结构安全性验算。     

利用启发性知识降低交叉算子破坏性的研究

在随机搜索的过程中,交叉算子被认为是演化算法的主要动力.然而,在搜索更好的候选解的时候,如果交叉点选择不当就会破坏一个已有的较好的候选解,使得交叉后生成的新候选解比原有的候选解更差.该文提出应用与问题相关的领域知识构建更有建设性的交叉算子,并应用于旅行商问题(TSP).实验结果表明,基于具有建设性的交叉算子的混合演化算法具有更好的性能.