期刊文献+
共找到183篇文章
< 1 2 10 >
每页显示 20 50 100
“摩登上海”、沦陷区文学与新文艺改编——以新发现的《鲁男子:恋》连环画为中心
1
作者 许海洋 《现代中文学刊》 CSSCI 北大核心 2024年第2期74-81,共8页
1941年12月,太平洋战争爆发后,日军进占租界。尽管彼时日伪政府严控上海文化艺术事业,然而在消费文化浪潮下,报刊出版业以及文化艺术公司对商业利益的追逐和市民大众对娱乐趣味的需求,共同造就了1940年代“摩登上海”之文学艺术改编热... 1941年12月,太平洋战争爆发后,日军进占租界。尽管彼时日伪政府严控上海文化艺术事业,然而在消费文化浪潮下,报刊出版业以及文化艺术公司对商业利益的追逐和市民大众对娱乐趣味的需求,共同造就了1940年代“摩登上海”之文学艺术改编热潮。本文以新发现1942—1943年连载于上海日报副刊的曹涵美绘曾朴原著《鲁男子:恋》连环画为依托,通过探讨曹绘《鲁男子:恋》连载之始末,分析其作风格特点,并结合1940年代上海报刊中《鲁男子:恋》被改编为舞台剧及电影相关材料,探究《鲁男子:恋》视觉化改编,以期丰富和深化对1940年代上海沦陷区新文学艺术改编的研究。 展开更多
关键词 《鲁男子:恋》 曾朴 曹涵美 连环画 消费文化 沦陷区文学
下载PDF
基于改进全卷积网络的临产母猪体态识别
2
作者 王萍 侯岩松 +1 位作者 许海洋 张伟 《贵州农业科学》 CAS 2023年第6期120-127,共8页
【目的】优化临产母猪体态识别的方法,为客观反映母猪生理状态和有效预防母猪疾病提供参考。【方法】基于改进全卷积网络(FCN)的母猪体态识别算法,构建FCN训练模型,采用自适应学习率进行训练,识别临产母猪体态。【结果】模型训练前15轮... 【目的】优化临产母猪体态识别的方法,为客观反映母猪生理状态和有效预防母猪疾病提供参考。【方法】基于改进全卷积网络(FCN)的母猪体态识别算法,构建FCN训练模型,采用自适应学习率进行训练,识别临产母猪体态。【结果】模型训练前15轮模型loss和评价指标mae迅速下降,30轮时模型基本完全收敛,且模型在训练集和测试集上的准确率可达100%;模型微调后,loss和mae仍有小范围下降,但对模型最终预测结果的提升不明显。不同光照条件下该模型可有效识别定位母猪的不同体态,具有较强鲁棒性,模型平均识别准确率为97%,且能较好地捕捉样本特征,预测框IOU为92.56%,运行速度为0.2 s,基本可达实时检测要求。【结论】基于改进全卷积网络的临产母猪体态识别方法可在光照条件欠佳的猪舍环境中有效识别母猪体态,实现对临产母猪的实时监测。 展开更多
关键词 临产母猪 体态识别 注意力机制 全卷积网络 迁移学习
下载PDF
浅析杭州奥体中心体育游泳馆安全技术防范系统设计
3
作者 许海洋 包莹 逄京 《智能建筑电气技术》 2024年第4期128-132,143,共6页
杭州亚运会安防系统的设计充分利用了人工智能、大数据、云计算等先进技术,实现了对场馆安全的实时监控和预警。作为国际体育赛事的安防系统设计项目,其亮点突出,不仅确保了赛事的安全稳定,也提升了观众的观赛体验,同时注重环保和可持... 杭州亚运会安防系统的设计充分利用了人工智能、大数据、云计算等先进技术,实现了对场馆安全的实时监控和预警。作为国际体育赛事的安防系统设计项目,其亮点突出,不仅确保了赛事的安全稳定,也提升了观众的观赛体验,同时注重环保和可持续发展。本文基于杭州奥体中心体育游泳馆项目,重点介绍安全技术防范系统及其各子系统的设计方案,为未来同类建筑安防系统设计提供参考和借鉴。 展开更多
关键词 杭州第19届亚运会 体育游泳馆 安防系统 视频监控 智能分析 态势感知
下载PDF
基于316L过渡层的431不锈钢激光熔覆层组织与性能研究
4
作者 高玉龙 周礼龙 +4 位作者 付娟 赵勇 冯乃强 许海洋 杨明 《江苏科技大学学报(自然科学版)》 CAS 2024年第4期32-35,48,共5页
采用激光熔覆技术制备316L不锈钢涂层作为过渡层,在过渡层表面激光熔覆431马氏体不锈钢作为表面熔覆层.通过OM和SEM观察分析了熔覆层截面的微观组织特征,并借助XRD分析了熔覆层和过渡层的物相组成,利用显微硬度仪和电化学工作站测试熔... 采用激光熔覆技术制备316L不锈钢涂层作为过渡层,在过渡层表面激光熔覆431马氏体不锈钢作为表面熔覆层.通过OM和SEM观察分析了熔覆层截面的微观组织特征,并借助XRD分析了熔覆层和过渡层的物相组成,利用显微硬度仪和电化学工作站测试熔覆层的硬度分布和耐腐蚀性.试验结果表明:加入过渡层后获得的熔覆层表面光滑平整,没有气孔裂纹等缺陷;表面熔覆层由马氏体、铁素体和少量残余奥氏体组成,过渡层由奥氏体组成;整个熔覆层的硬度从顶端向下呈现出梯度减小,表面熔覆层的硬度为538 HV,比基材提高了3倍,过渡层的平均硬度为300 HV;熔覆层的腐蚀电流为0.9569×10^(-6) A/cm^(2),腐蚀电位为-0.16644 V,熔覆层的耐腐蚀性优于基材. 展开更多
关键词 激光熔覆 马氏体不锈钢 过渡层 硬度梯度 耐腐蚀性
下载PDF
薄层砂浆在蒸压粉煤灰加气混凝土砌块中应用
5
作者 许海洋 《中文科技期刊数据库(全文版)工程技术》 2024年第6期0113-0116,共4页
本文研究了薄层砂浆在蒸压粉煤灰加气混凝土砌块中的应用。蒸压粉煤灰加气混凝土砌块作为一种轻质、保温、节能的建筑材料,在现代建筑行业中得到了广泛应用。为了提高砌块的连接强度和整体稳定性,采用了薄层砂浆进行粘结。本文论述了薄... 本文研究了薄层砂浆在蒸压粉煤灰加气混凝土砌块中的应用。蒸压粉煤灰加气混凝土砌块作为一种轻质、保温、节能的建筑材料,在现代建筑行业中得到了广泛应用。为了提高砌块的连接强度和整体稳定性,采用了薄层砂浆进行粘结。本文论述了薄层砂浆在蒸压加气混凝土砌块中的应用,提出了适用于蒸压加气混凝土砌块的薄层砂浆配合比。通过对不同配比的薄层砂浆进行试验,分析了冬季3~-10°C其对砌块抗压强度、抗折强度以及粘结性能的影响。结果表明,适当选择薄层砂浆的配比可以有效提高砌块的抗压和抗折强度,同时保证良好的粘结性能。这为蒸压粉煤灰加气混凝土砌块在实际工程中的应用提供了有益的参考。 展开更多
关键词 薄层砂浆 蒸压粉煤灰加气混凝土砌块 抗压强度 抗折强度 粘结性能
下载PDF
不同焊丝对低合金钢焊接接头组织及性能的影响
6
作者 王亮 付娟 +3 位作者 赵勇 冯乃强 许海洋 杨明 《江苏科技大学学报(自然科学版)》 CAS 2024年第3期30-34,共5页
分别采用实心焊丝和药芯焊丝作为填充金属,在不同的工艺参数下焊接12 mm厚的Q345E对接接头,研究了不同焊丝对接头和焊缝金属抗拉强度、低温冲击韧性和显微硬度的影响,并观察分析了接头的微观组织.结果表明:药芯焊丝和实心焊丝焊接接头... 分别采用实心焊丝和药芯焊丝作为填充金属,在不同的工艺参数下焊接12 mm厚的Q345E对接接头,研究了不同焊丝对接头和焊缝金属抗拉强度、低温冲击韧性和显微硬度的影响,并观察分析了接头的微观组织.结果表明:药芯焊丝和实心焊丝焊接接头拉伸均断于母材;药芯焊丝焊缝金属抗拉强度较实心焊丝焊缝提升约16%;药芯焊丝接头低温冲击韧性优于实心焊丝;药芯焊丝焊缝的平均硬度高于实心焊丝焊缝的平均硬度. 展开更多
关键词 药芯焊丝 抗拉强度 低温冲击韧性 显微硬度
下载PDF
磁场辅助窄间隙激光填丝焊焊接工艺研究
7
作者 宋浩泽 付娟 +2 位作者 赵勇 许海洋 陶欣 《热加工工艺》 北大核心 2024年第13期89-93,共5页
采用磁场辅助窄间隙激光填丝焊工艺对25 mm厚S32101双相不锈钢板进行多层焊接,并对其焊接性能进行了研究。观察对比了有无磁场辅助窄间隙激光填丝焊的焊缝成形,并重点分析了磁场辅助焊接接头的力学性能、金相组织。结果表明:有无磁场辅... 采用磁场辅助窄间隙激光填丝焊工艺对25 mm厚S32101双相不锈钢板进行多层焊接,并对其焊接性能进行了研究。观察对比了有无磁场辅助窄间隙激光填丝焊的焊缝成形,并重点分析了磁场辅助焊接接头的力学性能、金相组织。结果表明:有无磁场辅助得到的焊缝表面均平滑均匀,基本无飞溅。无磁场辅助的焊缝出现气孔及未熔合缺陷,施加磁场后焊缝无此缺陷。磁场辅助焊接的拉伸试样均断裂于母材位置,焊接接头的抗拉强度高于母材。各焊层焊缝的平均硬度高于母材。焊缝组织为奥氏体和铁素体,组织细密均匀,两相比例均匀稳定,约为1:1。 展开更多
关键词 磁场 双相不锈钢 窄间隙激光填丝焊
下载PDF
多形性胶质母细胞瘤相关基因和候选通路的生物信息学分析 被引量:1
8
作者 赵一明 许海洋 《吉林大学学报(医学版)》 CAS CSCD 北大核心 2023年第5期1280-1289,共10页
目的:采用生物信息学方法分析与多形性胶质母细胞瘤(GBM)发生发展相关的关键基因和候选通路,探讨GBM的发病机制和治疗靶点。方法:自癌症基因组图谱(TCGA)数据库和基因表达综合(GEO)数据库获得基因表达数据集TCGA-GBM及GSE7696,分别采用D... 目的:采用生物信息学方法分析与多形性胶质母细胞瘤(GBM)发生发展相关的关键基因和候选通路,探讨GBM的发病机制和治疗靶点。方法:自癌症基因组图谱(TCGA)数据库和基因表达综合(GEO)数据库获得基因表达数据集TCGA-GBM及GSE7696,分别采用Deseq2和limma R数据包筛选GBM组织与癌旁正常组织中的差异表达基因(DEGs),并对DEGs进行基因本体(GO)功能富集分析和京都基因与基因组百科全书(KEGG)信号通路富集分析,采用STRING数据库进行蛋白-蛋白互作(PPI)网络分析,采用Cytoscape 3.9.1软件对PPI网络进行可视化并进行模块分析。结果:对TCGA-GBM转录数据和芯片数据集GSE7696进行DEGs分析后共获取13个共同上调差异表达基因(UDEGs)和77个共同下调差异表达基因(DDEGs)。GO功能富集分析,DDEGs主要富集于氯离子通道活性、γ-氨基丁酸(GABA)受体活性、GABA门控氯离子通道活性、GABA-A受体活性、顺行突触传递信号和化学突触传递等生物学过程;KEGG信号通路主要富集于GABA能突触、神经活性配体-受体相互作用、含血清素的神经突触和突触囊泡循环等信号通路。PPI和模块构建确定了2个重要的基因模块。Cytoscape 3.9.1软件分析,PPI网络中溶质载体家族17成员6 (SLC17A6)、溶质载体家族1成员2 (SLC1A2)、前速激肽前体1 (TAC1)、突触结合蛋白1 (SYT1)、RNA结合蛋白fox1同源物3 (RBFOX3)和γ-氨基丁酸A型受体亚基γ2 (GABRG2)被筛选为关键基因。结论:SLC17A6、SLC1A2、TAC1、SYT1、RBFOX3和GABRG2基因可能参与了GBM的发生发展,GABA能突触传递相关基因与通路调控网络的失调可能是GBM发病的主要机制。 展开更多
关键词 多形性胶质母细胞瘤 生物信息学 基因表达综合数据库 癌症基因组图谱数据库 差异表达基因
下载PDF
模糊聚类分析在数据挖掘中的应用研究 被引量:25
9
作者 许海洋 汪国安 王万森 《计算机工程与应用》 CSCD 北大核心 2005年第17期177-179,共3页
数据挖掘是从大量数据中用平凡的方法发现有用的知识。聚类分析是数据挖掘的一个重要研究领域,它是按照一定的要求和规律将事物进行分类的一种数学方法。随着模糊数学的兴起,用精确的数学的方法研究模糊问题,人们逐渐将精确和模糊统一... 数据挖掘是从大量数据中用平凡的方法发现有用的知识。聚类分析是数据挖掘的一个重要研究领域,它是按照一定的要求和规律将事物进行分类的一种数学方法。随着模糊数学的兴起,用精确的数学的方法研究模糊问题,人们逐渐将精确和模糊统一起来。论文将模糊数学的模糊理论应用于数据挖掘的聚类分析中,讨论了如何利用样本之间的模糊关系分析样本之间的关联程度,给出了模糊聚类分析在数据挖掘中的应用的主要步骤,以及相应的实例分析和程序设计。 展开更多
关键词 数据挖掘 模糊矩阵 模糊聚类分析
下载PDF
基于背景估计和边缘检测的文档图像二值化 被引量:15
10
作者 许海洋 马龙龙 吴健 《计算机应用与软件》 CSCD 北大核心 2014年第8期196-200,共5页
为提高文档图像在对比度低、光照不均、大块噪声等复杂图像背景下二值化效果,提出一种背景估计与边缘检测相结合的图像二值化方法。该方法先利用Sauvola算法有效地估计图像的背景,并在此基础上,结合改进的Canny算法获取边缘变化信息,利... 为提高文档图像在对比度低、光照不均、大块噪声等复杂图像背景下二值化效果,提出一种背景估计与边缘检测相结合的图像二值化方法。该方法先利用Sauvola算法有效地估计图像的背景,并在此基础上,结合改进的Canny算法获取边缘变化信息,利用基于局部阈值的策略进行二值化。实验结果表明,该算法取得了较好的二值化效果,在开放的DIBCO 2011数据集上测试,其性能与Otsu、Niblack、Sauvola经典方法相比有大幅提高,其F值比ICDAR2011二值化竞赛中第一名的算法略有提高。 展开更多
关键词 文档图像 二值化 背景估计 边缘检测 CANNY 局部阈值法
下载PDF
一种面向嵌入式软件体系结构的形式化建模方法 被引量:7
11
作者 许海洋 庄毅 顾晶晶 《电子学报》 EI CAS CSCD 北大核心 2014年第8期1515-1521,共7页
为了解决MARTE(Modeling and Analysis of Real Time and Embedded systems)在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA(Probabilistic Timed Automation)的优点,本文提出了一种集成的形式化建模方法——PTA-OZ.该方法不... 为了解决MARTE(Modeling and Analysis of Real Time and Embedded systems)在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA(Probabilistic Timed Automation)的优点,本文提出了一种集成的形式化建模方法——PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程能够保持结构语义和行为语义的一致性.最后通过实例模型描述从嵌入式软件建模到属性检验的过程. 展开更多
关键词 集成模型 模型转换 概率时间自动机 语义一致性
下载PDF
核级电动执行机构防腐研究
12
作者 张世炜 许海洋 童少飞 《阀门》 2024年第3期300-304,314,共6页
海洋环境是最为恶劣的自然腐蚀环境,海洋腐蚀问题是海洋工程设备安全服役面临的主要威胁。本文针对目前电动执行机构海洋平台的开发研究现状及未来发展趋势,介绍了海洋腐蚀环境特点,分析了我国海洋腐蚀防护现状及需求,概述了核级电动执... 海洋环境是最为恶劣的自然腐蚀环境,海洋腐蚀问题是海洋工程设备安全服役面临的主要威胁。本文针对目前电动执行机构海洋平台的开发研究现状及未来发展趋势,介绍了海洋腐蚀环境特点,分析了我国海洋腐蚀防护现状及需求,概述了核级电动执行机构中,采用阳极氧化工艺的铸铝零件和达克罗工艺的球墨铸铁零件在海洋环境下的腐蚀与防护研究进展。叙述了其在海洋环境各种因素影响下的腐蚀行为和机理,采用盐雾试验模拟海洋环境,以探究通过微合金化技术和表面镀层技术提高设备的耐蚀性行为。 展开更多
关键词 盐雾试验 海洋防腐 电动执行机构 阳极氧化 达克罗 球墨铸铁
下载PDF
沙沱电站机组振动多优化方向研究
13
作者 曹光伟 王渊博 +3 位作者 许海洋 宫傲 闫文峰 唐驰 《水电站机电技术》 2024年第3期17-19,115,共4页
沙沱水电站投产后,存在振动区宽,稳定运行区偏窄的问题,需要进行拓宽稳定运行区的探索,本研究以沙沱电站水轮机为研究对象,结合沙沱电站的CFD数值模拟计算结果得到的振动特性,从强迫补气、泄水锥改造、尾水稳流装置三个方向进行了数值仿... 沙沱水电站投产后,存在振动区宽,稳定运行区偏窄的问题,需要进行拓宽稳定运行区的探索,本研究以沙沱电站水轮机为研究对象,结合沙沱电站的CFD数值模拟计算结果得到的振动特性,从强迫补气、泄水锥改造、尾水稳流装置三个方向进行了数值仿真,通过对比分析得出了这三种方式对水轮机振动改善情况的不同效果。 展开更多
关键词 振动 强迫补气 泄水锥 阻尼栅 稳流板
下载PDF
沙沱水电站机组振动特性研究
14
作者 熊必文 王渊博 +3 位作者 许海洋 宫傲 闫文峰 刘成杰 《水电与新能源》 2024年第6期8-11,43,共5页
沙沱水电站投产后,存在振动区宽、稳定运行区偏窄的问题。以沙沱电站水轮机为研究对象,开展数值模拟计算,分析了沙沱电站机组蜗壳进口、无叶区、尾水管处等部位的压力脉动。计算结果表明,蜗壳进口主要为低频脉动;无叶区的压力脉动呈现... 沙沱水电站投产后,存在振动区宽、稳定运行区偏窄的问题。以沙沱电站水轮机为研究对象,开展数值模拟计算,分析了沙沱电站机组蜗壳进口、无叶区、尾水管处等部位的压力脉动。计算结果表明,蜗壳进口主要为低频脉动;无叶区的压力脉动呈现明显的动静干涉现象,同时伴有低频的频率出现;尾水管主要由尾水管涡带引起的不同程度的低频脉动。研究成果为机组的防减振措施探索奠定了基础。 展开更多
关键词 水轮机 振动 压力脉动
下载PDF
氮化硅结合碳化硅砖在竖罐炼锌炉上的应用 被引量:2
15
作者 许海洋 曹会彦 +5 位作者 郑翰 龚剑锋 石会营 李杰 杨奎 朱冲 《耐火材料》 CAS 北大核心 2022年第6期515-518,522,共5页
介绍了氮化硅结合碳化硅砖在东岭锌业竖罐炼锌炉上替代黏土结合碳化硅砖服役过程中面临的问题、采取的措施以及取得的效果,并对比研究了服役20个月后两种砖的损毁情况。结果表明:1)与黏土结合碳化硅相比,氮化硅结合碳化硅拥有更高的热导... 介绍了氮化硅结合碳化硅砖在东岭锌业竖罐炼锌炉上替代黏土结合碳化硅砖服役过程中面临的问题、采取的措施以及取得的效果,并对比研究了服役20个月后两种砖的损毁情况。结果表明:1)与黏土结合碳化硅相比,氮化硅结合碳化硅拥有更高的热导率,在服役时高温区温控降低约30℃。2)氮化硅结合碳化硅的抗侵蚀性强于黏土结合碳化硅的,服役20个月后高温区域残砖厚度比黏土结合碳化硅的大40~50 mm。3)氮化硅结合碳化硅砖在服役过程中由于热应力得不到充分释放会不断产生漏点及长裂纹。通过调整打悬矿时的温度制度,可以在一定程度上解决该问题;后期如果能开发出更高效的漏点喷补技术,有望提高氮化硅结合碳化硅砖的使用寿命。 展开更多
关键词 竖罐炼锌 黏土结合碳化硅 氮化硅结合碳化硅 热导率
下载PDF
基于MDA的MARTE模型形式化方法 被引量:4
16
作者 许海洋 王萍 《计算机应用研究》 CSCD 北大核心 2012年第8期3018-3021,共4页
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语... 针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。 展开更多
关键词 模型驱动体系 形式化方法 模型转换 MARTE元模型
下载PDF
基于SOM神经网和K-均值算法的图像分割 被引量:4
17
作者 许海洋 王万森 《计算机工程与应用》 CSCD 北大核心 2005年第21期38-40,57,共4页
提出了一种基于SOM神经网络和K-均值的图像分割算法。SOM网络将多维数据映射到低维规则网格中,可以有效地用于大型数据的挖掘;而K-均值是一种动态聚类算法,适用于中小型数据的聚类。文中算法利用SOM网络将具有相似特征的象素S点映射到一... 提出了一种基于SOM神经网络和K-均值的图像分割算法。SOM网络将多维数据映射到低维规则网格中,可以有效地用于大型数据的挖掘;而K-均值是一种动态聚类算法,适用于中小型数据的聚类。文中算法利用SOM网络将具有相似特征的象素S点映射到一个2-D神经网上,再根据神经元间的相似性,利用K-均值算法将神经元聚类。文中将该算法用于彩色图像的分割,并给出了经SOM神经网初聚类后,不同K值下神经元聚类对图像分割的结果及与单纯K-均值分割图像进行对比。 展开更多
关键词 SOM网 K-均值算法 图像分割 聚类
下载PDF
人工智能中泛逻辑学的研究 被引量:2
18
作者 许海洋 王万森 《计算机应用研究》 CSCD 北大核心 2005年第10期13-15,共3页
逻辑学的理论为人工智能的发展提供了有力的工具。标准逻辑促进了人工智能早期的发展,随着处理知识的随机性、模糊性和未知性等特点的出现,模糊逻辑等在人工智能中得到发展;各种形式的非标准逻辑的出现,促使建立尽可能包容一切逻辑形态... 逻辑学的理论为人工智能的发展提供了有力的工具。标准逻辑促进了人工智能早期的发展,随着处理知识的随机性、模糊性和未知性等特点的出现,模糊逻辑等在人工智能中得到发展;各种形式的非标准逻辑的出现,促使建立尽可能包容一切逻辑形态和推理模式的泛逻辑学。在分析模糊逻辑规律的基础上,把三角范数理论和逻辑学紧密结合起来,利用三角范数理论提出命题泛逻辑学。目前,泛逻辑学在人工智能中已经取得了一定的研究成果。 展开更多
关键词 泛逻辑 三角范数 不确定性 模糊逻辑
下载PDF
高可靠性智能灌溉系统的形式化验证方法 被引量:3
19
作者 许海洋 王萍 《农机化研究》 北大核心 2015年第5期62-65,共4页
针对智能灌溉系统中嵌入式软件的可靠性,提出了在软件的设计阶段,采用MARTE建立软件的系统模型,通过将软件模型转换为形式化模型,对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析,指出在本文假... 针对智能灌溉系统中嵌入式软件的可靠性,提出了在软件的设计阶段,采用MARTE建立软件的系统模型,通过将软件模型转换为形式化模型,对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析,指出在本文假设前提下,数据采集单元软件的故障率最大,在实际应用中应该有针对性的进行改善,有助于解决不利于可靠性的影响因素,提高整个智能灌溉系统的可靠性。 展开更多
关键词 智能灌溉系统 可靠性 嵌入式建模 形式化验证
下载PDF
颅颈交界区肿瘤的显微外科治疗 被引量:1
20
作者 许海洋 赵刚 +4 位作者 邱吉庆 许侃 刘兴吉 张显峰 王长坤 《中风与神经疾病杂志》 CAS CSCD 北大核心 2007年第2期233-235,共3页
目的 通过总结15例颅颈交界区肿瘤的手术方法,探讨该部位肿瘤的更适当的治疗方案.方法 15例患者中有6例行枕下中线入路切除肿瘤,9例行远外侧入路.结果 15例肿瘤均全切,无手术死亡病例,术后随访6~24个月,所有病例均有不同程度的症状改善... 目的 通过总结15例颅颈交界区肿瘤的手术方法,探讨该部位肿瘤的更适当的治疗方案.方法 15例患者中有6例行枕下中线入路切除肿瘤,9例行远外侧入路.结果 15例肿瘤均全切,无手术死亡病例,术后随访6~24个月,所有病例均有不同程度的症状改善,复查头颈部MRI,未见肿瘤复发.结论 选择合适的手术方法,可改善颅颈交界区肿瘤的治疗效果. 展开更多
关键词 颅颈交界区肿瘤 显微外科
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部