浅谈高职高专校训建设

校训是高职高专办学思想、文化传承、道德要求等丰富内容的体现。它是对高职高专办学理念的进一步升华或提炼，在高职市专精神中。起核心作用。为此本文提出了高职高专校训建设要体现办学特色、彰显高职高专精神两点看法。     

启发式极性决策算法解SAT问题

提出了一种启发式极性决策的可满足性问题（SAT）新算法.该算法继承了当前SAT解决器的许多策略：快速BCP、子句记录、重启动搜索等.同时,该算法通过预先根据Karnaugh图的覆盖分布计算变量极性,将其加入到DPLL的决策过程中,大大降低了搜索过程中的冲突次数.实验表明采用该算法的解决器——DiffSat,能够解决许多目前最有效的解决器Zchaff和MiniSat所不能解决的实例.尤其是对于Bart基准系列中的每个实例,DiffSat都能够在0.03s内解决,而Zchaff和MiniSat在给定的900s内不能够解决大部分实例.而且,DiffSat解决器在某些实例上的特性远远优于具有代表性的基于不完全随机算法的解决器DLM.     

浮体运动时域解的奇异性讨论

以推板造波的辐射问题为例，求出了线性时域解的解析表达式，并对线性时域解在造波板与自由面交线处的奇异特性进行了讨论，给出了奇异性的量阶。此奇异性结论对造波机的数值模拟有一定的指导意义。     

地球还将会有光环吗?

据一丹麦天文学家称,很久以前,地球与土星、天王星和海王星一样,有光环围绕。他甚至说,在过去的2,800年间,地球周围曾分别有过16条光环。在哥本哈根国家博物馆工作的卡瑞·拉斯穆森(Kaare Rasmussen)研究了从公元前800年到公元     

多光子光学双稳态和多光子激光器的量子解

本文应用Haken的量子理论统一处理多光子光学双稳态和多光子激光器,导出了光场服从的Fokker—Plank方程,得到了多光子光学双稳态和多光子激光器的统一解,其结果与半经典理论结果符合。     

关于具有交变阻尼的Liénard方程存在多个极限环的条件

由于 Liénard 方程■+f(x)■+g(x)=0(1)与振动问题紧密相关,因此很为人们所重视。关于(1)存在极限环的研究工作已经很多(参看[1],[2]),但关于(1)存在多个极限环的工作却并不多见。近年来,张芷     

约束钢筋混凝土偏心受压柱的强度与变形分析

本文根据矩形箍筋约束钢筋混凝土偏心受压柱的试验结果,对箍筋约束效应进行了分析,从而提出考虑这一效应计算偏心受压柱强度和变形的方法。47根试验柱的结果表明,利用该法能较准确地估计约束钢筋混凝土偏压柱的最大承载力、极限强度与相应的挠度,能较好地描述试验柱荷载—挠度关系的全过程。     

浇注时负压铸型的压差变化及其控制

本文研究了浇注时负压铸型压差变化的规律,提出了在金属液体运动前沿的铸型表面上,存在一暴露环带,环带面积的大小是影响压差降幅值的主要原因。认为施加涂料、采用稳中求快的浇注原则,消除由于铸型紧缩而导致分型面间隙过大以及有效的去除薄膜成型时残余弹性收缩力,对减少浇注时压差降的最大幅值有显著的效果。此外,还研制成功 U 形管水银压差变送器,能连续自动记录压差的变化过程,为实验提供了必要的手段。     

和越南兄弟相处的日子

踏上翠绿色的国土一九六四年七月到一九六五年四月,我們作为中国钢铁专家組的成員,在越南民主共和国参加越南第一个鋼铁联合企业——太原鋼铁厂的建設工作。在越南期間,和越南兄弟相处的日子,給我們留下了令人难以忘怀的記忆。列車向南飞馳。它跨过祖国的万水千山,穿过中越边境的友誼关,进入了四季长青的翠綠色的国土、英雄阮文追的故乡、我們亲爱的兄弟之邦——越南民主共和国。随着列車滾滾向南,我們心头沸騰着万千思潮。大家都默默无語,貪婪地望着窗外的远山、崗松、竹林、香蕉树、金黃的稻谷和被椰林裹着的綠色的村落。     

钢筋混凝土矩形偏压中长柱的强度与变形分析

本文以混凝土与钢筋给定的应力—应变曲线为基础,提出钢筋混凝土矩形偏压中长柱强度与变形的分析方法。国内外71根中长柱试验资料的计算表明,本文建议的方法较现行钢筋混凝土结构设计规范的公式能给出更为满意的结果。此外,该法还适用于钢筋混凝土矩形偏压中长柱荷载与挠度关系的全过程分析。