检索结果-南通市图书馆

Graph-tree-based software control flow checking for COTS processors on pico-satellites

Chinese Journal of Aeronautics 2013年第2期26卷 413-422页

作者： Yang Mu Wang Hao zheng yangming Jin Zhonghe Department of Information Science and Electronic Engineering Zhejiang University School of Aeronautics and Astronautics Zhejiang University

This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.

关键词： Branching error Commercial-off-the-shelf (COTS) Control flow checking Error injection Graph tree On-board computer Pico-satellite

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

An Evaluation of the Coupling Coordination of Technological Innovation System in China’s Marine Biopharmaceutical Industry

引用

Journal of Ocean University of China 2023年第1期22卷 271-284页

作者： FU Xiumei zheng yangming LIN Chunyu WANG Ping WANG Changyun School of Economics Ocean University of ChinaQingdao 266100China Business School Qingdao UniversityQingdao 266100China Key Laboratory of Marine Drugs The Ministry of Education of ChinaSchool of Medicine and PharmacyOcean University of ChinaQingdao 266003China Laboratory for Marine Drugs and Bioproducts Qingdao National Laboratory for Marine Science and Technology(Qingdao)Qingdao 266237China

The marine biopharmaceutical industry(MBI)has been considered as an important part of the blue *** high-quality development of this industry depends on the high-level coordinated development of technological innovation system(TIS).In the present study,the coupling mechanism of industrial innovation input subsystem and innovation output subsystem was analyzed for the first *** this basis,the development level and coupling coordination level of TIS in China’s MBI during 2008-2018 were empirically evaluated with the capacity coupling coordination ***,the obstacle factors were diagnosed and recognized with the obstacle *** results showed that the innovation input index fluctuated at a low level in China’s *** innovation output index has basically maintained a growth trend,whereas the quality of development was not *** the coupling coordination level of TIS showed a positive change as mild disordered→primary coordinated→well-coordinated,the development type of innovation system has changed from the lagging output of innovation into the lagging input of *** input of innovation factors remained the main obstacle to the improvement of coordination *** on the above analysis,suggestions were put forward from the perspectives of policy and fund guarantees to improve the coupling coordination level in China’s MBI.

关键词： marine biopharmaceutical industry technological innovation system subsystem coupling coordinated development obstacle factor

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Space Flight Validation of Design and Engineering of the ZDPS-1A Pico-satellite

引用

Chinese Journal of Aeronautics 2012年第5期25卷 725-738页

作者： YANG Mu WANG Hao WU Changju WANG Chunhui DING Licong zheng yangming JIN Zhonghe Department of Information Science and Electronic Engineering Zhejiang University Hangzhou 310027 China School of Aeronautics and Astronautics Zhejiang University Hangzhou 310027 China

The ZDPS-1A pico-satellites are the first satellites in China within the 1-10 kg mass range that are successfully operated on orbit. Unlike common pico-satellites, they are designed to be ＂larger but stronger＂ with more powerful platforms and unique payloads so as to bear a better promise for real applications. Through their space flight mission, the functionality and perform- ance of the two flight models are tested on orbit and validated to be mostly normal and in consistency with design and ground tests with only several inconforming occasions. Moreover, they have worked properly on orbit for one year so far, well exceed- ing their life expectancy of three months. Therefore, the space flight mission has reached all its goals, and verified that the design concept and the engineering process of the pico-satellites are sufficient in allowing them the desired functionality and perform- ance in, and the adaption to the launch procedure and the low-Earth orbit space environment. In the foreseeable future, the plat- form together with the design concept and the engineering process of the pico-satellites are expected to be applied to more com- plicated real space applications.

关键词： systems engineering ZDPS-IA pico-satellite space environmental adaption space flight track telemetry and control attitude control

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

ModiΡed pseudo-noise code regeneration method

引用

Journal of Systems Engineering and Electronics 2010年第3期21卷 370-374页

作者： Xiaojun Jin Zhonghe Jin Chaojie Zhang Jianwen Jiang yangming zheng Department of Information Science and Electronic Engineering Zhejiang University Hangzhou 310027 R R. China

A modiΡed pseudo-noise（PN） code regeneration method is proposed to improve the clock tracking accuracy without impairing the code acquisition time ***,the method can meet the requirement of high accuracy ranging measurements in short time periods demanded by radio-science *** tracking error variance is derived by linear *** some existing PN codes,which can be acquired rapidly,the tracking error variance performance of the proposed method is about 2.6 dB better than that of the JPL scheme（originally proposed by Jet Propulsion Laboratory）,and about 1.5 dB better than that of the traditional double loop scheme.

关键词： regenerative pseudo-noise (PN) ranging chip tracking loop tracking error variance code acquisition time.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

儿童放射性肺炎的诊治

引用

中华儿科杂志 2024年第4期62卷 389-391页

作者：郑仰明张海邻温州医科大学附属第二医院育英儿童医院儿童呼吸科温州325027

放射性肺炎是电离辐射照射肺部而产生的无菌性炎症反应。儿童放射性肺炎经典三联症状包括劳力性呼吸困难、干咳和低氧血症,可伴有低热。胸部CT可呈现早期的磨玻璃影到晚期的斑片状实变区等改变,病灶通常与放射治疗区域相符,而不是肺叶... 详细信息

放射性肺炎是电离辐射照射肺部而产生的无菌性炎症反应。儿童放射性肺炎经典三联症状包括劳力性呼吸困难、干咳和低氧血症,可伴有低热。胸部CT可呈现早期的磨玻璃影到晚期的斑片状实变区等改变,病灶通常与放射治疗区域相符,而不是肺叶结构的分界线相一致。治疗首先推荐糖皮质激素口服。

关键词：放射性肺炎低氧血症胸部CT 磨玻璃影糖皮质激素劳力性呼吸困难放射治疗儿童

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

关注儿童潜伏结核感染

引用

中华实用儿科临床杂志 2017年第4期32卷 256-259页

作者：张海邻郑仰明温州医科大学附属第二医院育英儿童医院呼吸科325027

结核病仍然是一个严重的公共卫生问题，2016年世界卫生组织在＂遏制结核病策略＂基础上提出了＂终止结核病策略＂，其中一个重要的环节就是开展潜伏结核感染筛查，并进行预防性干预。潜伏结核感染是被结核分枝杆菌抗原刺激产生的持续... 详细信息

结核病仍然是一个严重的公共卫生问题，2016年世界卫生组织在＂遏制结核病策略＂基础上提出了＂终止结核病策略＂，其中一个重要的环节就是开展潜伏结核感染筛查，并进行预防性干预。潜伏结核感染是被结核分枝杆菌抗原刺激产生的持续免疫应答状态，临床无活动性结核的证据。现介绍儿童潜伏结核感染的发病机制、流行病学、诊断和预防性治疗。

关键词：潜伏结核感染结核分枝杆菌诊断治疗

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于有限元法的MEMS加速度计热应力分析

引用

传感技术学报 2012年第2期25卷 193-197页

作者：游侠飞吴昌聚郑阳明金仲和浙江大学信息与电子工程学系杭州310027 浙江大学航空航天学院杭州310027

残余应力对MEMS器件的力学性能、可靠性和寿命都有较大的影响。基于MEMS电容式加速度计,采用热结构耦合场分析方法,对热应力的影响进行了仿真分析,并和实验结果进行比较。结果表明热应力不是影响器件性能的主要因素,而仿真模型中未考虑... 详细信息

残余应力对MEMS器件的力学性能、可靠性和寿命都有较大的影响。基于MEMS电容式加速度计,采用热结构耦合场分析方法,对热应力的影响进行了仿真分析,并和实验结果进行比较。结果表明热应力不是影响器件性能的主要因素,而仿真模型中未考虑到的一些物理因素和工艺误差则可能是主要因素。针对课题组加速度计的制备过程从工艺的角度提出了相应的改进措施,为加速度计温度补偿模型的完善以及改版设计提供参考。

关键词： MEMS 有限元法电容式加速度计热应力

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

面向皮卫星应用的MEMS陀螺温度控制系统设计

引用

传感技术学报 2011年第6期24卷 818-823页

作者：朱小丰王昊郑阳明韩柯金仲和浙江大学信息与电子工程学系杭州310027

设计了一种面向皮卫星应用的MEMS陀螺温度控制系统,其控制原理为基于ADN8831的TEC温度控制。分析了影响温控系统控制精度的各因素,并且通过Steinhart-Hart方程对热敏电阻的R-T特性进行拟合校准后表明,本温控系统的精度达到±0.03℃。将... 详细信息

设计了一种面向皮卫星应用的MEMS陀螺温度控制系统,其控制原理为基于ADN8831的TEC温度控制。分析了影响温控系统控制精度的各因素,并且通过Steinhart-Hart方程对热敏电阻的R-T特性进行拟合校准后表明,本温控系统的精度达到±0.03℃。将设计的温控系统应用于面向皮卫星的MEMS陀螺温度控制,通过Allan方差分析MEMS陀螺的误差项。通过不同温度下实验得出,当该温控系统存在时,零偏不稳定性和速率随机游走得到了不同程度的改善,验证了温控系统的有效性,满足了皮卫星体积小、功耗低的要求。

关键词： MEMS陀螺温度控制.TIF Steinhart-Hart方程 Allan方差皮卫星 ADN8831

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

儿童无名动脉压迫综合征二例

引用

中华儿科杂志 2020年第8期58卷 679-681页

作者：李海燕陈博孙王明胡晓光董琳张海邻郑仰明温州医科大学附属第二医院育英儿童医院儿童呼吸科325027 温州医科大学附属第二医院育英儿童医院医学影像科325027

1例因"喘鸣3个月,加重伴气促1个月余"的3月龄患儿及1例因"反复咳嗽、喘息半年,加重20 d"的12月龄患儿住院治疗,经过肺部CT血管成像、心脏彩超及气管镜检查,诊断为无名动脉压迫综合征(IACS)。IACS是引起婴幼儿反复喘鸣或喘息的重要原因,... 详细信息

1例因"喘鸣3个月,加重伴气促1个月余"的3月龄患儿及1例因"反复咳嗽、喘息半年,加重20 d"的12月龄患儿住院治疗,经过肺部CT血管成像、心脏彩超及气管镜检查,诊断为无名动脉压迫综合征(IACS)。IACS是引起婴幼儿反复喘鸣或喘息的重要原因,其常被漏诊。

关键词：气管镜检查喘鸣心脏彩超 CT血管成像住院治疗反复咳嗽婴幼儿喘息

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

贻贝超氧化物歧化酶的分离纯化和部分性质

引用

台湾海峡 1999年第2期18卷 177-180,T001页

作者：肖湘俞丽君郑扬明张尔贤汕头大学理学院生物系汕头515063

采用热变性─硫酸铵分级沉淀─ＳｅｐｈａｄｅｘＧ－１００和ＤＥ５２柱层析的方法从贻贝中分离纯化铜锌超氧化物歧化酶（Ｃｕ、Ｚｎ－ＳＯＤ），并对其部分性质进行分析鉴定。结果该酶的比活力为９４５３．３Ｕ／ｍｇ（ｐｒ... 详细信息

采用热变性─硫酸铵分级沉淀─ＳｅｐｈａｄｅｘＧ－１００和ＤＥ５２柱层析的方法从贻贝中分离纯化铜锌超氧化物歧化酶（Ｃｕ、Ｚｎ－ＳＯＤ），并对其部分性质进行分析鉴定。结果该酶的比活力为９４５３．３Ｕ／ｍｇ（ｐｒｏｔｅｉｎ），提纯倍数为６０９．９；对ＫＣＮ和Ｈ_２Ｏ_２敏感，Ｔ氏液和ＳＤＳ对酶活性没影响；对热较稳定。紫外吸收峰在２７０ｎｍ处，聚丙烯酰胺凝胶电泳呈现３条谱带，亚基分子量为１６５００ｕ。

关键词：贻贝超氧化物歧化酶纯化性质

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：