检索结果-南通市图书馆

产品可靠性报告 2023年第7期 126-128页

作者：徐世泽武威市工业节能监测中心

热能和动力工程是我国现代化生产发展中的重要工程之一,对我国工业的生产发展具有重要意义。本文对热能与动力工程中的节能技术进行了研究,希望能给相关工作者提供一些参考。

关键词：热能动力工程节能技术环保理念

在线全文

学校读者我要写书评

暂无评论

协同创新介入哈尼族竹制品创新设计策略研究

鞋类工艺与设计 2022年第23期2卷 184-186页

作者：徐世泽西南林业大学云南昆明650000

基于绿色设计的发展以及乡村振兴战略的提出,从发展缓慢的哈尼族竹制品入手,运用协同创新的设计方法对哈尼族竹制品进行创新设计,补充哈尼族竹制品在设计市场上较少的情况。本文先对协同创新的理论进行介绍,之后从哈尼族竹制品的发展趋... 详细信息

基于绿色设计的发展以及乡村振兴战略的提出,从发展缓慢的哈尼族竹制品入手,运用协同创新的设计方法对哈尼族竹制品进行创新设计,补充哈尼族竹制品在设计市场上较少的情况。本文先对协同创新的理论进行介绍,之后从哈尼族竹制品的发展趋势以及哈尼族竹制品的问题这两方面进行分析,通过分析制定了哈尼族竹制品创新设计的创新点。该研究不仅有助于推动哈尼族竹制品设计的发展,而且还可以将哈尼族的传统手工艺得到传承与发扬。

关键词：协同创新哈尼族竹制品创新设计

基于分子动力学模拟的硅氧功能化聚酰亚胺热力学性能研究

在线全文

学校读者我要写书评

暂无评论

塑料科技 2022年第10期50卷 74-79页

作者：徐世泽张玉文张韬熊子轩三峡大学电气与新能源学院湖北宜昌443002

为从宏观和微观角度分析硅氧功能化聚酰亚胺材料的热力学性能及结构参数,以均苯型聚酰亚胺(PI)和1,3-双(3-氨基丙基)-1,1,3,3-四甲基二硅氧烷(GAPD)为研究对象,基于分子动力学(MD)建立纯PI、PI/5%GAPD、PI/10%GAPD分子模型,分析GAPD对P... 详细信息

为从宏观和微观角度分析硅氧功能化聚酰亚胺材料的热力学性能及结构参数,以均苯型聚酰亚胺(PI)和1,3-双(3-氨基丙基)-1,1,3,3-四甲基二硅氧烷(GAPD)为研究对象,基于分子动力学(MD)建立纯PI、PI/5%GAPD、PI/10%GAPD分子模型,分析GAPD对PI微观结构及热力学性能的影响,分析GAPD含量对材料性能的影响。结果表明:GAPD能够提高PI材料的热力学性能,5%含量的GAPD改性PI的效果更显著。与纯PI相比,加入5%GAPD的PI材料的玻璃化转变温度提升了30.11 K,弹性模量提高16.1%,剪切模量提高7.25%,体积模量提高4.34%。GAPD对PI进行硅氧功能化改性改变了PI的微观结构,与纯PI相比内聚能密度提高,自由体积占比以及均方位移均略微降低。5%含量的GAPD对PI材料的微观结构影响更明显;而在材料的全原子的径向分布函数方面,利用GAPD对PI改性并没有产生较大影响。

关键词：聚酰亚胺硅氧功能化热力学性能分子动力学

在线全文

学校读者我要写书评

暂无评论

筇竹家具分析与创新设计研究

工业设计 2022年第11期 89-91页

作者：徐世泽袁哲西南林业大学云南昆明650000

文章基于绿色设计的发展以及乡村振兴战略的提出,从绿色低碳并且极具特色的筇竹入手,改进筇竹家具设计,对筇竹家具进行再设计,补充其在家具设计市场上的空缺。从功能、形态和装饰这几个方面探析筇竹家具的再设计,并通过相关的设计分析,... 详细信息

文章基于绿色设计的发展以及乡村振兴战略的提出,从绿色低碳并且极具特色的筇竹入手,改进筇竹家具设计,对筇竹家具进行再设计,补充其在家具设计市场上的空缺。从功能、形态和装饰这几个方面探析筇竹家具的再设计,并通过相关的设计分析,进行筇竹家具创新设计实践。根据其分析最终设计一款筇竹椅,展现了新材料与新技术结合之美。该研究不仅有助于推动筇竹产业的发展,而且还对于筇竹家具设计发展具有一定指导和参考价值。

关键词：家具设计筇竹家具创新设计

基于Timed RAISE的RBC切换建模与分析

在线全文

学校读者我要写书评

暂无评论

基于Timed RAISE的RBC切换建模与分析

作者：徐世泽兰州交通大学

学位级别：硕士

CTCS(Chinese Train Control System,中国列车控制系统)是我国铁路当中控制列车安全运行,提高列车行车效率的重要装备。RBC(Radio Block Center,无线闭塞中心)是CTCS-3级列控系统的重要组成部分,RBC切换是影响列车安全高效运行的重要环... 详细信息

CTCS(Chinese Train Control System,中国列车控制系统)是我国铁路当中控制列车安全运行,提高列车行车效率的重要装备。RBC(Radio Block Center,无线闭塞中心)是CTCS-3级列控系统的重要组成部分,RBC切换是影响列车安全高效运行的重要环节。列控系统是一种复杂的安全苛求系统,无论是在标准和规范的制定过程当中,或是在系统的开发和设计阶段,都不可避免的会存在着一些系统的漏洞或安全隐患。因此,使用形式化方法对RBC切换协议进行建模与验证是十分必要的。现阶段所使用的形式化验证方法较大部分都基于模型检验,基于定理证明的形式化方法由于能够描述具有无限状态空间的系统,相比之下更适合应用于结构愈加复杂的列控系统,目前所使用的基于定理证明的形式化方法都只针对了列控系统中的某一种特性,很难全面的描述和验证系统。因此,本文采用Timed RAISE(Timed Rigorous Approach to Industrial Software Engineering,工业软件工程的严格方法)的形式化方法,对于CTCS-3级列控系统规范中的RBC切换协议进行建模,对系统模型的正确性和实时性进行验证。首先,对Timed RAISE方法进行了介绍,通过一个具体的实例,描述了RSL(RAISE Specification Language,RAISE标准语言)语言的基本概念并说明了使用RSL语言进行建模与验证的方法,分析说明了在模型验证当中所使用的推理规则。其次,对RBC切换流程进行了分析,根据设备之间信息传递的过程,建立了交互信息图。使用域的方法建立了RBC切换的域模型,在域模型中,将RBC切换整个连续的过程转化为在时间上离散的过程,构建了状态转移图。结合交互信息图中对于信息交互过程的描述,使用RSL语言对状态转移图进行了形式化描述,建立了RBC切换协议的RSL模型。最后,对RBC切换协议的正确性要求和时间约束条件进行了分析,使用RSL语言对切换协议的正确性和实时性进行了描述,使用推理规则结合建立的RSL模型进行推理验证,得到了验证结果。结果表明RBC切换协议满足规范标准对正确性和实时性的要求,将验证结果进行比较分析,说明了该方法具有通用性,同时给出了对切换协议的合理化建议。

关键词：形式化方法 RBC切换列控系统正确性与实时性

河蟹养殖技术之五湖泊围网养殖大规格河蟹技术

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国水产 2008年第1期 46-47页

作者：徐世泽安徽省宣城市水产技术推广中心 242000

安徽省宣城市南漪湖面积32万亩,是皖东南最大的湖泊,水面宽阔,水质清新,底质多为砂粒层,湖内水草丰盛,底栖生物密度大。近年来,笔者在南漪湖实施围网养蟹项目,建成标准化围网养殖示范区5.5万亩,同时积极推广生态健康养殖技术,采取多项... 详细信息

安徽省宣城市南漪湖面积32万亩,是皖东南最大的湖泊,水面宽阔,水质清新,底质多为砂粒层,湖内水草丰盛,底栖生物密度大。近年来,笔者在南漪湖实施围网养蟹项目,建成标准化围网养殖示范区5.5万亩,同时积极推广生态健康养殖技术,采取多项措施使河蟹产量和品质得到大大提升,养成的河蟹青壳、白肚、金爪、黄毛,平均规格在体重150g/只以上,回捕率70%以上,养殖经济效益十分显著。

关键词：生态健康养殖技术湖泊围网养殖大规格河蟹生物密度围网养蟹经济效益南漪湖宣城市

在线全文

学校读者我要写书评

暂无评论

南漪湖围网养殖大规格河蟹技术

中国水产 2007年第9期 44-45页

作者：徐世泽安徽省宣城市水产技术推广中心 242000

安徽省宣城市南漪湖面积32万亩,是皖东南最大的湖泊,水面宽阔,水质清新,水草丰盛,底栖生物密度大,底质多为砂粒层,适合开展河蟹养殖。2004年-2006年,笔者在南漪湖实施围网养蟹项目,建成标准化围网养殖示范区5.5万亩,并积极推广生态、健... 详细信息

安徽省宣城市南漪湖面积32万亩,是皖东南最大的湖泊,水面宽阔,水质清新,水草丰盛,底栖生物密度大,底质多为砂粒层,适合开展河蟹养殖。2004年-2006年,笔者在南漪湖实施围网养蟹项目,建成标准化围网养殖示范区5.5万亩,并积极推广生态、健康养殖新技术,河蟹产量和品质大大提升,养殖的河蟹青壳、白肚、金爪、黄毛,平均规格在150g/只以上,回捕率在70%以上,经济效益显著。

关键词：大规格河蟹围网养殖南漪湖技术生物密度河蟹养殖围网养蟹健康养殖

在线全文

学校读者我要写书评

暂无评论

池塘青虾养殖高产关键技术

中国水产 2010年第7期 38-39页

作者：徐世泽安徽省宣城市水产技术推广中心 242000

2009年，宣州区青虾养殖基地20hm^2标准池塘，捕捞青虾54t，产值324万元。青虾个体大、光泽好，具有皮薄肉嫩、味道鲜美的特点，笔者对基地青虾高产关键技术进行了总结，现介绍如下：

关键词：青虾养殖技术池塘养殖基地宣州区捕捞

维普期刊数据库博看期刊

墨西哥最高法院及其多重解释：宪法健康权面临的挑战

在线全文

学校读者我要写书评

暂无评论

北外法学

北外法学 2023年第2期 173-190页

作者：费尔南达·科博索菲亚·查维尔徐世泽墨西哥自动化科技信息学院法学院中国社会科学院大学

在拉丁美洲，社会权利司法化已经成为一个现实，然而，在墨西哥，关于这一社会现象以及墨西哥最高法院在有效保障公民健康权方面的作用却很少有人提及。研究墨西哥最高法院审理和解决健康权相关案件（health-related cases）的方式，能... 详细信息

在拉丁美洲，社会权利司法化已经成为一个现实，然而，在墨西哥，关于这一社会现象以及墨西哥最高法院在有效保障公民健康权方面的作用却很少有人提及。研究墨西哥最高法院审理和解决健康权相关案件（health-related cases）的方式，能使我们有效评估其在裁决支持或反对健康权案件上所发挥的作用。本文旨在通过分析墨西哥最高法院的判决（rulings），确定其是否构成或者能否构成墨西哥卫生健康系统变革的催化剂（catalyst）。本文对墨西哥最高法院的22个判决进行了系统的内容分析，审查了原告以及墨西哥最高法院所理解的（understood）诉求，以及法官在判决过程中所考虑的因素。对墨西哥最高法院关于这些案件的裁决所做的分析表明，墨西哥最高法院在适用宪法和传统原则上必须统一（uniform）和一致（consistent）以提高其判决的可预测性，并在回应经济、社会和文化权利所提出的新要求上保持创新。墨西哥最高法院应该在立法机关和行政机关之间保持中立立场，以提高其在法律或者政策不符合宪法和传统标准的时刻促进结构性改革（structural reform）的可能性。

关键词：社会权利司法化健康权墨西哥最高法院

基于Timed RAISE的高速列车RBC切换协议形式化建模及验证

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

铁道标准设计 2015年第6期59卷 138-143页

作者：徐世泽肖蒙兰州交通大学自动化与电气工程学院兰州730070

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RA... 详细信息

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。

关键词：列控系统形式化方法 RBC切换协议正确性与实时性