摘要：所谓意境美，是客观与主观相熔铸的产物，是艺术家将其一定的思想情感倾注于某一艺术形式和表现对象而产生的升华性的美感。这种美在中国书法艺术中比比皆是。我们在欣赏一幅成功的书法艺术作品时，这自然可以透过书法的点线造型，感受出书法家的情感倾注于书法艺术形式所...

摘要：本文阐述了《阅微草堂笔记》在文学史上的地位,论述了《阅微草堂笔记》的内容及艺术成就。同时指出,在小说发展史上应给予相应的重视。

摘要：数学模型是研究相对渗透率与饱和度关系曲线的重要方法。采用自行开发设计的人工平面多孔介质模型,测定了相对渗透率与饱和度的关系曲线。多孔介质选择粒径为0.5～1mm、1～2mm的标准砂,纯净的水为湿润相,用3号苏丹红染色的93#汽油为非湿润相,组成多孔介质油水两相流动系统。采用Van Genuchten and Mualeum(VGM)和Brooks-Corey-Burdine(BCB)两种数学模型计算相对渗透率与饱和度的关系曲线,通过比较两种数学模型计算结果之间和模型计算结果与实测结果的差异以及模型的应用、多相渗流系统自身特征,得出VGM、BCB两种数学模型计算结果符合实际情况,VGM模型应用过程更为简便,但VGM模型具有一定适用条件;在砂性多孔介质中,BCB模型计算相对渗透率与饱和度关系曲线更准确。

摘要：针对旋转机械不平衡振动故障,搭建基于电磁驱动式自动平衡的不平衡故障模拟试验台,研究电磁驱动式自动平衡装置实现稳定的配重块自锁、配重块驱动原理及设计方法,根据设计条件分析控制极限影响因素,计算自动平衡系统的最大平衡能力、最小平衡能力和平衡精度。依此设计出一套可稳定工作的电磁驱动式自动平衡装置。通过建立不平衡振动故障转子诊断模型,从理论上分析不平衡振动产生机理,提出用轴心轨迹重构法进行不平衡振动辨识,分别采用水平方向、垂直方向和椭圆长轴方向振动矢量作为自动平衡控制输入信号,并在模拟试验台上进行试验验证。结果表明在相同条件下,三种信号输入方式均能实现降振,重构法提出的椭圆长轴矢量的控制相比较传统的单通道水平方向或者垂直方向控制输入,可以使自动平衡后的控制效果更好,降幅为74.84%,同比其他两种方式多下降约5%。

摘要：程序设计语言本身的安全性在高安全需求软件的设计和实现中起着基础作用.该文在用于系统级编程的安全语言的设计和性质证明方面,做了有益的尝试.作者设计了一个类C的命令式语言PointerC,其主要特点在于其类型系统中包含显式的副条件(side conditions),这些副条件本质上是约束程序语法表达式值的逻辑公式.该文证明了PointerC语言的安全性定理,即满足这些副条件的程序,在执行时不会违反语言的安全策略.为静态推理副条件中涉及指针的命题,作者已经提出了一种指针逻辑(pointer logic),文中证明了指针逻辑对操作语义是可靠的.

摘要：设计并实现一个类C语言PointerC的出具证明编译器后端。该后端采用最强后条件演算同步处理整型断言和指针断言实现整型验证条件和指针验证条件的证明,能够完全自动地产生目标级程序的指针安全性证明,处理常见递归数据结构中的非一致性别名问题。后端包括独立的定理检查器,能够检验携证明代码的完整性。

摘要：127例肝癌病人进行了肝脏手术,手术结果与 CT、术前B超检查(US)、术中B超检查(IOUS)对照结果表明,在小肝癌定位,肝实质内转移灶(子瘤)、门静脉分支内癌栓和胆管内癌检的显示,IOUS均优于CT和***的应用定位准确,图象清晰,使肝实质子瘤可减少遗漏,术式设计更合理,提高了根治性,弥补了CT、US的不足.

摘要：支吊架是管网设计重要的组成部分之一,二维设计中管道支吊架在图纸上简单标注示意即可,具体制作方法现场可以参考图集;三维设计模型要求统计材料用量,必然要求管网的支吊架按照实际绘制出来。Revit是三维设计中常用的软件,笔者尝试通过该软件绘制管道支吊架,探索一种管道支吊架的绘制方法,该方法绘制的管道支吊架能够满足三维设计的要求,可以批量布置,具有操作简单、能自动生成材料用量等优点。

摘要：承载力一词来自生态学,最初应用于对自然生态的研究。文章从人类与环境关系的演变综述了承载力的历史由来、产生背景和可持续发展概念的提出,阐述了可持续发展的本质内涵以及承载力与可持续发展的关系。