检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

高速钢粉末真空高温处理时组织结构之变化

粉末冶金技术 2003年第3期21卷 145-150页

作者：赵越王崇琳杨克努中国科学院金属研究所沈阳110016

研究了水雾化M 2和M 4高速钢粉末在 7× 10 -2 Pa真空下加热后组织结构的变化。当粉末加热至固相线以下 15～ 2 0℃ ,即 12 2 0～ 12 2 5℃时 ,M6C及MC型碳化物都由 1～ 2 μm长大到 3～ 4 μm ;当粉末加热至固相线以上时 ,碳化物尤其是... 详细信息

研究了水雾化M 2和M 4高速钢粉末在 7× 10 -2 Pa真空下加热后组织结构的变化。当粉末加热至固相线以下 15～ 2 0℃ ,即 12 2 0～ 12 2 5℃时 ,M6C及MC型碳化物都由 1～ 2 μm长大到 3～ 4 μm ;当粉末加热至固相线以上时 ,碳化物尤其是M6C型碳化物颗粒快速长大 ,并且有不均匀长大现象 ;当温度升至 12 5 0℃后 ,贫碳型的M4C3 转变为MC型碳化物 ,其中大部分Fe被V所取代 ;当进一步加热至 12 6 0℃以上时 ,M6C型碳化物将转变为M2 C碳化物。经真空脱氧后高速钢粉末的氧含量降低至 10 0× 10 -6以下。

关键词：粉末高速钢真空脱氧组织结构粉末冶金高温处理

在线全文

学校读者我要写书评

暂无评论

一种基于π^t演算的安全协议建模方法

计算机研究与发展 2010年第4期47卷 613-620页

作者：韩进蔡圣闻王崇峻赖海光谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 解放军理工大学指挥自动化学院计算机系南京210007

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议... 详细信息

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.

关键词：安全协议模型 πt演算安全协议验证类型化系统形式化方法

在线全文

学校读者我要写书评

暂无评论

大湾区立法进路下的法理学思辨与定位

重庆大学学报（社会科学版） 2019年第5期25卷 145-153页

作者：王崇深圳大学理论经济学博士后流动站深圳大学法学院

大湾区的法制建设是实现其区域经济和金融发展目标的重要保障,立法活动的顺利进行不能脱离坚实的法理基础。中国大湾区的法制建设环境面临着整合式的经济发展背景,而粤港澳大湾区所属的法域地区还呈现出多维化态势。面对“纲领式立法论... 详细信息

大湾区的法制建设是实现其区域经济和金融发展目标的重要保障,立法活动的顺利进行不能脱离坚实的法理基础。中国大湾区的法制建设环境面临着整合式的经济发展背景,而粤港澳大湾区所属的法域地区还呈现出多维化态势。面对“纲领式立法论与详尽式立法论”“顶层式立法论与平行式立法论”和“回应式立法论与程序式立法论”三组法理争辩,中国在对大湾区进行相应立法活动时应采用比较研究法:首先充分分析并借鉴域外湾区的立法理论及其所形成的湾区立法模式,而后得出“我国大湾区范围内法律法规的制定应以纲领式立法论和回应式立法论为支撑,并将其作为规范出台的重要理论依据”这一结论。同时,在粤港澳大湾区内要采纳平行式立法论以尊重港澳两地所享有的高度自治权,在浙江大湾区内要发挥顶层立法理论的优势制定统一的规范性文件。

关键词：大湾区立法理论纲领立法论顶层立法论回应立法论

三元Cu_(60)Ni_(20)Cr_(20)合金的制备及其显微组织

在线全文

学校读者我要写书评

暂无评论

中国有色金属学报 2004年第5期14卷 791-796页

作者：曹中秋牛焱王崇琳吴维 中国科学院金属研究所金属腐蚀与防护国家重点实验室

采用机械合金化,随后在750℃、58MPa下热压制备了致密的块体纳米晶Cu60Ni20Cr20合金,用X射线衍射仪、扫描电子显微镜等分析手段对比研究了不同晶粒尺寸的Cu60Ni20Cr20合金的显微组织。结果表明:随着球磨时间的延长,由于晶粒的细化和应... 详细信息

采用机械合金化,随后在750℃、58MPa下热压制备了致密的块体纳米晶Cu60Ni20Cr20合金,用X射线衍射仪、扫描电子显微镜等分析手段对比研究了不同晶粒尺寸的Cu60Ni20Cr20合金的显微组织。结果表明:随着球磨时间的延长,由于晶粒的细化和应变的结果,衍射峰偏移并有明显的宽化产生,Cr在Cu中的固溶度明显增加,在球磨40h后,合金已由双相变成亚稳态的单相。由于机械合金化的粉末处于非平衡态,其过饱和固溶体随热压和真空退火过程的进行会慢慢分解,合金由单相变成两相,α Cu和γ Cr两相颗粒均成倍长大,但仍保持纳米级尺度。扫描电子显微镜(SEM/EDX)观察表明,合金致密度很高且显微组织均匀。讨论了晶粒细化对合金显微组织的影响。

关键词： Cu60Ni20Cr20合金机械合金化晶粒尺寸显微组织

在线全文

学校读者我要写书评

暂无评论

多孔混凝土的强度特性

长安大学学报（自然科学版） 2006年第4期26卷 20-25页

作者：郑木莲陈拴发王崇涛长安大学特殊地区公路工程教育部重点实验室

同普通混凝土一样,强度是多孔混凝土硬化后的主要力学性质,进行多孔混凝土基层路面结构设计、材料组成设计以及施工质量检测时,均需采用各种强度指标进行评价。多孔混凝土属于骨架空隙结构,其强度取决于内部起胶结作用的水泥石性质、集... 详细信息

同普通混凝土一样,强度是多孔混凝土硬化后的主要力学性质,进行多孔混凝土基层路面结构设计、材料组成设计以及施工质量检测时,均需采用各种强度指标进行评价。多孔混凝土属于骨架空隙结构,其强度取决于内部起胶结作用的水泥石性质、集料特性及浆集比等。试验结果表明:多孔混凝土抗压强度早期增长较快,符合线性关系,后期强度发展较慢,符合对数关系;长龄期劈裂强度与28 d劈裂强度之间符合对数关系;42.5级水泥多孔混凝土与32.5级水泥多孔混凝土的抗压强度之间存在良好的线性相关性。此外,多孔混凝土弯拉强度与抗压强度及劈裂强度与抗压强度之间均存在相关性良好的幂指数关系,并据此得出相应的对应关系表,便于工程实际应用。

关键词：道路工程多孔混凝土抗压强度劈裂强度弯拉强度

在线全文

学校读者我要写书评

暂无评论

论胡适的集体人权思想

云南社会科学 1993年第5期 30-35页

作者：王崇能华东师范大学政教系

20世纪二、三十年代的中国,集体人权遭到来自国内和国外的粗暴践踏,胡适从进化论和实用主义的理论前提出发,认为法治是集体人权保障的根本手段,集体主义原则是处理个体人权与集体人权关系的价值标准。胡适的集体人权思想的形成和发展,... 详细信息

20世纪二、三十年代的中国,集体人权遭到来自国内和国外的粗暴践踏,胡适从进化论和实用主义的理论前提出发,认为法治是集体人权保障的根本手段,集体主义原则是处理个体人权与集体人权关系的价值标准。胡适的集体人权思想的形成和发展,表征了胡适对集体人权保障的艰难探索。这种理论探索产生了巨大的历史影响,对当代中国的集体人权建设也有一定的借鉴意义。

关键词：集体人权胡适个体人权对人权五鬼三十年代人权思想国际保护人民自决权二十年代

“发现”政治回应:政治权威建构的有效路径——基于中国语境的分析

在线全文

学校读者我要写书评

暂无评论

天府新论 2016年第3期 15-21页

作者：王崇吉林大学行政学院

政治权威建构直接影响权威主体执政合法性与有效性。既有研究多立足单一主体视角,探讨权威主体控制、动员、嵌入权威客体以建构政治权威的过程,对于从政治回应角度建构政治权威尚缺乏深度分析和足够重视。在考察三种典型权威建构方式的... 详细信息

政治权威建构直接影响权威主体执政合法性与有效性。既有研究多立足单一主体视角,探讨权威主体控制、动员、嵌入权威客体以建构政治权威的过程,对于从政治回应角度建构政治权威尚缺乏深度分析和足够重视。在考察三种典型权威建构方式的基础上,将政治回应的中国实践划分为三种类型——诱致性回应、主导性回应和本体性回应,以政治回应建构政治权威,契合当下中国政治发展现实诉求和整体趋势,有助于增强政治合法性,保持政治有效性。

关键词：政治回应政治权威政治认同政治秩序建构路径

我国弓形虫Chinese 1优势基因型感染对小鼠脑组织铁代谢影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国血吸虫病防治杂志 2022年第4期34卷 361-369页

作者：王崇蔡亦红安徽医科大学公共卫生学院卫生检验与检疫安徽合肥230032 安徽医科大学病原生物学安徽省重点实验室安徽合肥230032 安徽医科大学人畜共患病安徽高校省级重点实验室安徽合肥230032

目的探讨我国弓形虫Chinese 1优势基因型感染对宿主脑组织铁代谢及脑损伤的影响。方法将20只C57BL/6(体质量15~17 g)小鼠随机分为对照组和感染组,每组10只。感染组每只小鼠腹腔注射4 000个弓形虫Chinese 1优势基因型TgCtwh3虫株速殖子... 详细信息

目的探讨我国弓形虫Chinese 1优势基因型感染对宿主脑组织铁代谢及脑损伤的影响。方法将20只C57BL/6(体质量15~17 g)小鼠随机分为对照组和感染组,每组10只。感染组每只小鼠腹腔注射4 000个弓形虫Chinese 1优势基因型TgCtwh3虫株速殖子,对照组小鼠注射等量无菌PBS,饲养6 d后处死小鼠并取其脑组织。采用电感耦合等离子体质谱法(inductively coupled plasma mass spectrometry, ICP-MS)检测小鼠脑组织铁元素水平;采用RNA芯片检测两组小鼠脑组织差异基因数目并对功能基因表达情况进行基因本体论(Gene Ontology, GO)功能富集;采用实时荧光定量PCR(fluorescent quantitative real-time PCR, qPCR)技术检测小鼠脑组织中弓形虫表面抗原1(Toxoplasma gondii surface antigen1,TgSAG1)基因及部分锌铁调控蛋白(Zrt-and Irt-like protein, ZIP)家族mRNA表达水平;采用光镜和电镜观察小鼠脑组织海马齿轮回(dentate gyrus, DG)超微结构;采用Western blotting检测谷胱甘肽过氧化物酶4(glutathione peroxidase 4,GPx4)蛋白表达水平;采用硫代巴比妥酸(TBA)法检测丙二醛(malondialdehyde, MDA)水平;采用免疫组化检测血管内皮生长因子(vascular endothelial growth factor, VEGF)蛋白表达光密度(optical density, OD)值。结果光镜下可见感染组小鼠脑组织海马DG区细胞坏死,电镜下见感染组小鼠脑组织海马区出现胞质空泡化、核皱缩坏死、线粒体嵴断裂消融、自噬小体增加等超微结构变化。与对照组相比,感染组小鼠脑组织中铁元素水平上调([32.92±0.90)μg/g vs(.37.72±1.10)μg/g;t=3.397, P <0.01];RNA芯片检测感染组小鼠脑组织发现721个基因上调、276个基因下调,差异表达基因在金属离子结合能力上有明显富集。与对照组相比,感染组小鼠脑组织金属元素转运体ZIP2 mRNA表达水平上调(t=8.659,P <0.05)、GPx4表达下降([1.046±0.025)vs.(0.720±0.101);t=3.129,P <0.01])、MDA水平升高([4.37±0.33)nmol/mgprot vs(.5.93±0.54)nmol/mgprot;t=2.451,P <0.05)]、VEGF蛋白平均OD值上调([0.348 3±0.017 8)vs.(0.490 6±0.010 5);t=6.641,P <0.01]。结论 Chinese 1优势基因型弓形虫感染后,小鼠脑组织中铁元素蓄积、抗氧化能力下调、氧化应激水平升高,提示弓形虫感染可影响宿主脑组织铁代谢而导致脑损伤。

关键词：刚地弓形虫弓形虫脑病铁代谢氧化应激 Chinese 1优势基因型小鼠

在线全文

学校读者我要写书评

暂无评论

OSC:一个开放式情景演算系统的研究

计算机研究与发展 2003年第11期40卷 1598-1605页

作者：王崇骏戈也挺郭磊陈世福南京大学计算机软件新技术国家重点实验室南京210093

在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流r... 详细信息

在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流result-of(a,s),用以刻画行动的影响;同时又引入了新的情景流bel-rev(φ,s),用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动.OSC系统采用了离线规划与在线执行相结合的运行方式,为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径.

关键词：情景演算信念修正面向agent技术