王立 - 资源检索 - 将博数字资源平台

一种夹持式中央后视镜

一种夹持式中央后视镜,包括镜片(6)、镜壳(5),其特征在于：所述镜壳(5)的背面中上部连接有横向的转轴(4),所述转轴(4)套合在套筒(3)内,套筒(3)的背面连接有固定夹(1),固定夹(1)夹在中央后视镜的吊杆上；所述镜片(6)的长度为35-50cm。在高速道路上行驶或倒车等需要观测车后方及车体侧后方时,可将该夹持式中央后视镜夹持于已有的中央后视镜的吊杆上,扩大驾驶员的车后视野范围,消除视野盲区,减少交通事故的发生,有效地提高行车的安全性。

时域有限差分法在计算雷达散射截面中的应用

关键词：时域有限差分　　雷达散射截面　　吸收边界条件　　近远场变换

对利用时域有限差分(Finite Difference Time Domain,FDTD)法计算雷达散射截面的原理、吸收边界的处理、入射波加入和近远场变换等进行了较详细的介绍.并针对时域有限差分法求解麦克斯韦方程中的计算边界条件进行改进,提出相应的可能解决方案.在VC++6.0环境下编写了二维应用程序并给出了二维算例,与已有的结果作了比较,说明程序是有效的.

逻辑编程语言PROLOG及其系统设计原理

关键词：设计原理　　数据库　　谓词符号　　模式匹配　　系统处理　　解释系统　　第五代计算机　　计算机语言　　核心语言　　子句

本文简要地介绍与评价了第五代计算机的核心语言——PROLOG;给出了PROLOG语言的BNF描述;从两个方面叙述了PROLOG系统的设计原理:一个是较高级的PROLOG自解释系统PIP,另一个是可用较低级的语言来实现PROLOG系统的一个算法。

试论计算机软件的专利法保护

关键词：计算机软件　　专利保护　　专利法

计算机软件的专利保护问题已经越来越成为软件发展中亟须解决的紧迫问题。现有的著作权保护法在对计算机软件的专利保护上尚存在一定的缺陷,但对软件的专利保护问题又必须尽快解决。作者认为,应该用专利法而不是著作权法来保护软件的专利问题。

可观察汽车前下方的外后视镜

1.本外观设计产品的名称：可观察汽车前下方的外后视镜。2.本外观设计产品的用途：安装于驾驶室外侧,用于观察车头及车头前面两侧状况。3.本外观设计的设计要点：形状。4.最能表明设计要点的图片：主视图。5.使用状态图为前向观察小镜收缩、合拢于主镜内的状态。

外后视镜(带有前向观察功能)

1.本外观设计产品的名称：外后视镜(带有前向观察功能)。2.本外观设计产品的用途：轿车等轻型乘用车上用于观察车头及车头前面两侧的情况。3.本外观设计的设计要点：形状。4.最能表明设计要点的图片：主视图。5.状态图为前向观察小镜收缩于主镜的镜座内的状态。

全方位擦鞋机

1.本外观设计产品的名称：全方位擦鞋机。2.本外观设计产品的用途：在室内清洁鞋面灰尘、泥沙的擦鞋装置。3.本外观设计的设计要点：形状。4.最能表明设计要点的图片：俯视图。

羟乙葛根素对大鼠局灶性脑缺血-再灌注损伤的神经保护作用及其机制

关键词：羟乙葛根素缺血-再灌注神经保护

目的研究新型异黄酮类化合物羟乙葛根素对大鼠脑缺血-再灌注损伤是否具有神经保护作用。并探讨其可能的作用机制。方法采用可逆性大脑中动脉阻塞(MCAO)方法建立大鼠局灶性脑缺血-再灌注损伤模型,以 Longa's 神经功能学评分法检测动物神经功能；TIC 染色法测定大鼠脑梗死面积百分比；HE 染色和流式细胞学方法测定大鼠海马 CA1区神经损伤程度和凋亡百分比；比色法测定脑组织匀浆能量代谢变化；硝基还原酶法测定脑组织匀浆一氧化氮(NO)及一氧化氮合酶(NOS)活性；放射免疫法测定脑组织匀浆和血液中 ET-1和白细胞介素(IL)-6的含量。结果与假手术组比较, 大鼠脑缺血1 h 再灌注48 h 后,神经功能评分显著升高；全脑及皮层梗死面积百分比显著升高；脑组织匀浆能量代谢障碍；脑组织匀浆 NO 含量、NOS 活性、脑组织匀浆及血液中 ET-1和 IL-6含量显著升高。预先给予不同剂量的羟乙葛根素可在不同程度上逆转或减轻脑缺血-再灌注损伤的相应变化。结论羟乙葛根素对大鼠局灶性脑缺血-再灌注损伤具有神经保护作用,其作用机制可能与减少炎症递质释放、减轻内皮损伤、逆转 NO 的神经毒性有关。

“消化道平滑肌生理特性”实验的改革

“消化道平滑肌生理特性”实验是传统的学生生理学实验之一。在多数实验指导中,该实验选用家兔小肠段作为实验标本。多年来,我室一直用家兔小肠。按动物的生物学特性,家兔属于草食性哺乳动物,消化系统的功能与人类差别较大。加之近几年,实验动物用量较大,家兔来源比较困难,为此,我们改用大白鼠小肠段作为实验标本。实验结果表明,在家兔小肠实验相同的条件下,大鼠小肠的活动良好,各观察项目的结果:乙酰胆碱,肾上腺素,CaCl_2,与家兔小肠相似,但对HCl和NaOH的反应结果不很确定。

模拟井下环境钻井液损害地热储层实验研究

关键词：热储层　　钻井液　　损害评价

通过模拟北京地区地热井环境，研究了热储层岩样在常用水基钻井液作用下损害程度的大小，得出热储层岩样综合损害程度为弱～中等偏弱。通过温度、压差、滤失量对热储层损害影响的实验研究，得出随着温度的升高、压差及滤失量的增加，钻井液对储层的损害程度逐渐增大，研究发现野外露头岩心与井下现场实际岩心损害规律趋于一致。

冈底斯印支期过铝花岗岩成因:地球化学及Sr-Nd-Pb同位素约束

关键词：印支期　　过铝花岗岩　　岩石成因　　地球化学　　冈底斯

本文即以晚三叠世罗扎过铝花岗岩体为例，通过元素和Sr-Nd-Pb同位素地球化学数据，探讨其岩浆成因和构造背景，初步讨论冈底斯带中段的中上地壳物质组成。

抽象数学机模型与程序方法论

关键词：正则表达式　　语义学　　抽象数学　　公理系统　　模型论　　有限自动机　　自动机理论　　广义函数　　分析与综合　　程序函数

本文提出了一种抽象数学机——正则自动机(简称RA)作为程序流程的数学模型。为了描述RA的语义特性,文中把自动机理论中的正则语言与数理逻辑的模型论语言结合起来,建立了一种一阶谓词的动态逻辑语言(?)_R。文中表明,一些现有的程序逻辑公理系统,例如,著名的Hoare公理系统可以作为(?)_R的可证定理推导出来。论文的第一部分介绍了RA的基本概念,二讨论RA的语义学特性,三讨论了RA模型在程序分析与综合中的应用,四讨论了RA模型在递归一循环变换中的应用。

Prolog程序的规范与自动综合

关键词：子目标　　自动综合　　程序设计　　子程序　　程序规范　　自动设计系统　　演绎语言　　抽象数据结构　　抽象语义　　元符号

本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方法.

新元古代—早古生代的拉萨地块是澳大利亚大陆北缘的一部分吗?

关键词：羌塘高压变质带　　变质砂岩　　U-Pb定年　　Hf同位素

长期以来，中生代时期的拉萨地块被看作是一个从印度大陆北缘裂离出来并随同羌塘地块一起向北漂移的构造条块。中生代以来拉萨地块的北向漂移及随之而来的一系列碰撞、构造和岩浆作用，形成了宏伟巨大的青藏高原。本文对羌塘高压变质带的古生代石英岩、拉萨地块和特提斯喜马拉雅带的石炭一二叠纪变质砂岩进行了锆石U-Pb定年和锆石Hf同位索分析。新资料表明拉萨地块可能具有不同于传统观点的起源和演化历史。

使用详细的推进系统模型增强过失速飞行仿真的保真度

关键词：飞地仿真过失速飞行推进系统模型

基于Micro CT造影成像方法的软骨退化研究

复合材料结构压缩破坏分析的自适应分层元法

关键词：自适应分层元法复合材料圆筒结构压缩破坏模拟分析吸能

本文提出了一种用于分析复合材料层合板分层损伤的有限元方法—三维自适应分层元法,能够根据分层损伤的发生和扩展自动生成子层单元,从而既能真实模拟复杂的分层损伤过程与状态,又提高了建模效率和计算效率,并以空间杆元模拟子层间的接触,基于几何非线性有限元方法,并结合生死单元技术对复合材料圆筒压缩破坏吸能过程进行了有限元建模模拟分析,取得了与试验结果相符的计算结果,实现了复合材料结构特殊的破坏吸能过程的动态仿真,为复合材料结构的损伤破坏分析提供了可靠、精确、高效的分析方法。

调节阀流量的计算方法

关键词：调节阀　　流量特性　　数学模型

根据调节阀的流量特性，采用严格的数学方法，推导出能方便地计算流过调节阀流体流量的公式，并通过试验对公式进行验证。该数学模型有工程应用价值。

栏目导航 