检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

必要平行最外归约策略

软件学报 1997年第10期8卷 760-767页

作者：沈理孙永强上海交通大学计算机系上海200030

在必要集、必要位置等概念基础上，定义了必要平行最外归约策略．基于最小化必要集思想，该策略适用于正则系统全集，并接近按需调用策略的效率，在适用范围、效率和可实现性三个方面得到了兼顾．

关键词：归约策略正则重写系统必要集

SnO_(2)/ZnS异质结气体传感器的制备及其室温NO2敏感特性

在线全文

学校读者我要写书评

暂无评论

物理学报 2023年第16期72卷 44-51页

作者：董逸蒙孙永娇侯煜晨王炳亮陆志远张文栋胡杰太原理工大学电子信息与光学工程学院太原030600

采用水热法一步合成二维(2D)纳米片组成的SnS_(2)/ZnS微花结构,在空气气氛中煅烧获得不同组分的微花复合结构,通过X射线衍射仪(XRD)、扫描电子显微镜(SEM)、X射线能谱仪(EDS)、透射电子显微镜(TEM)和气敏特性分析仪,研究了煅烧温度对微... 详细信息

采用水热法一步合成二维(2D)纳米片组成的SnS_(2)/ZnS微花结构,在空气气氛中煅烧获得不同组分的微花复合结构,通过X射线衍射仪(XRD)、扫描电子显微镜(SEM)、X射线能谱仪(EDS)、透射电子显微镜(TEM)和气敏特性分析仪,研究了煅烧温度对微花结构组分和气敏性能的影响.结果表明:450℃煅烧得到的SnO_(2)/ZnS(SZ-450)微花结构的室温NO_(2)气敏性能优于其他煅烧温度得到的微花结构,其室温下对体积分数为10^(-4) NO_(2)的响应值可达27.55,响应/恢复时间为53 s/79 s,理论检测下限低至2.1×10^(-7)(体积分数),并具有良好的选择性、重复性和稳定性.分析认为SZ-450元件优异的室温气敏特性与SnO_(2)和ZnS之间的异质结有关,本文可为室温NO_(2)气体传感器提供敏感材料,推动其研发及应用进程.

关键词： SnO_(2)/ZnS 气体传感器 NO_(2)检测室温

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

FCC金属Pd中晶界滑移的研究

金属学报 2008年第3期44卷 257-262页

作者：王雨晨中国科学院金属研究所沈阳材料科学国家(联合)实验室沈阳110016

使用位能图方法对金属Pd中晶界滑移的研究表明:有序晶界滑移易于开动,有序晶界的滑移可以引起晶界的迁移;与有序晶界相反,无序晶界的滑移很难开动.该结果可以解释形变过程中应力集中和位错发射通常均出现在无序界面处.

关键词：晶界滑移分子静力学位能图 Pd

“SEQ　OF　PAR”结构化并行程序设计

在线全文

学校读者我要写书评

暂无评论

计算机学报 1997年第3期20卷 230-237页

作者：袁伟孙永强上海交通大学计算机科学与工程系

本文基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ（ＣＣＬ［１］）理论提出了一种结构化并行程序设计方法以支持不同并行平台的“通用”并行程序设计．该模型采用“ＳＥＱＯＦＰＡＲ”的层次化结构和基于... 详细信息

本文基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ（ＣＣＬ［１］）理论提出了一种结构化并行程序设计方法以支持不同并行平台的“通用”并行程序设计．该模型采用“ＳＥＱＯＦＰＡＲ”的层次化结构和基于伪同态的并行抽象数据类型来分析和刻画程序的并行行为．首先，本文通过因果关系复合的范式定理的证明在理论上论证了“ＳＥＱＯＦＰＡＲ”形式进行结构化并行程序设计的可行性，然后详细介绍了该模型中并行程序的设计和性能评价模型．良好的代数性质使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证．与其它并行程序设计模型和方法相比，该方法为自然地综合描述数据并行和控制并行提供了一种途径；特别是基于代数变换的程序变换技术使得并行程序设计既独立于具体的体系结构又便于高效实现．

关键词：结构化并行程序设计体系结构

在线全文

学校读者我要写书评

暂无评论

利用模态分析技术获取轮胎的模态参数

汽车工程 2001年第3期23卷 148-151页

作者：管迪华孙永伶清华大学汽车安全与节能国家重点试验室

由模态试验获取轮胎自由悬置的模态参数,应用模态分析技术进行轮胎力学研究,用模态综合法实现轮胎自由悬置到固定支承的转化,从而从理论上给出轮胎固定支承时的模态参数。计算结果与试验结果基本吻合。

关键词：模态综合法固有频率阻尼系数轮胎汽车模态试验

在线全文

学校读者我要写书评

暂无评论

用频域幅相调整前馈控制的非圆车削实验

清华大学学报（自然科学版） 2002年第6期42卷 773-775,779页

作者：贾晶孙永强冯之敬清华大学精密仪器与机械学系北京100084

为使活塞数控车削系统能够实现非标准椭圆截面活塞的数控车削 ,以频域幅相调整前馈控制算法为基础 ,设计开发了加工控制程序和系统工作流程。该算法基于被控对象的有限项频率特性序列模型。对一种非标准椭圆截面活塞进行了对比切削实验... 详细信息

为使活塞数控车削系统能够实现非标准椭圆截面活塞的数控车削 ,以频域幅相调整前馈控制算法为基础 ,设计开发了加工控制程序和系统工作流程。该算法基于被控对象的有限项频率特性序列模型。对一种非标准椭圆截面活塞进行了对比切削实验。经检测 ,加工误差小于 10 μm,达到产品精度要求。

关键词：频域幅相调整前馈控制非圆数控车削切割实验

在线全文

学校读者我要写书评

暂无评论

基于Monad的纯函数式程序设计

软件学报 1996年第11期7卷 683-690页

作者：袁华强孙永强上海交通大学计算机科学与工程系

ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析。

关键词：函数式程序设计纯函数式语言 Monad

在线全文

学校读者我要写书评

暂无评论

事务逻辑对象库语言

软件学报 1998年第10期9卷 760-765页

作者：王修伦孙永强上海交通大学计算机科学与工程系

对象封装了结构和行为．对象数据库为大规模复杂应用提供良好的建模方法和实现手段．对象与逻辑结合导致目前对演绎对象库的研究．然而，这些研究基本上针对对象的结构描述，而很少涉及到对象的动态行为的描述．该文重点研究对象的动态... 详细信息

对象封装了结构和行为．对象数据库为大规模复杂应用提供良好的建模方法和实现手段．对象与逻辑结合导致目前对演绎对象库的研究．然而，这些研究基本上针对对象的结构描述，而很少涉及到对象的动态行为的描述．该文重点研究对象的动态行为，分析对象特征：继承和重载对事务语义的影响，并设计了一个事务对象库语言ＴＯＬ（ｔｒａｎｓａｃｔｉｏｎｏｂｊｅｃｔｂａｓｅｌａｎｇｕａｇｅ）．首先分析ＴＯＬ中的基本更新活动的特征，然后研究其事务的模型论语义．

关键词：事务逻辑对象数据库描述型语义

在线全文

学校读者我要写书评

暂无评论

非线性声参量B/A与组织声速及组份的关系

中国生物医学工程学报 1989年第3期8卷 190-195页

作者：仝杰董彦武孙永臣陕西师范大学应用声学研究所

利用我们改进的热力学方法,测量了一些生物组织的非线性声参量B/A值。结果表明,同种组织的B/A几乎与声速倒数1/C成正比地增加,但从整个不同组织范围看,B/A仅有随1/C增加的趋势;B/A值的大小取决于组织的组份和结构;B/A与组织组份的关系... 详细信息

利用我们改进的热力学方法,测量了一些生物组织的非线性声参量B/A值。结果表明,同种组织的B/A几乎与声速倒数1/C成正比地增加,但从整个不同组织范围看,B/A仅有随1/C增加的趋势;B/A值的大小取决于组织的组份和结构;B/A与组织组份的关系定性地符合Apfel混合定则。

关键词： B/A值组织声速组份