期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于Spin的UML状态图模型检查的设计与实现 被引量:3
1
作者 郭伟 缪力 +1 位作者 张大方 闵应骅 《计算机工程与应用》 CSCD 北大核心 2008年第10期43-47,共5页
UML已经是软件建模方面的标准语言,UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,Statechart往往包含设计者所未预料到的隐患,通过模型检查来对Statechart进行穷举检验就成为一个重要课题,首... UML已经是软件建模方面的标准语言,UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,Statechart往往包含设计者所未预料到的隐患,通过模型检查来对Statechart进行穷举检验就成为一个重要课题,首先给出了含层次、并发Statechart的语义;随后提出了对Statechart进行模型检查的一种新方法,并且已经编写软件SC2Spin实现此方法,该方法使用了提出的Statechart山脉算法和迁移提取法,可以将一个Statechart自动转化为Spin的输入语言Promela,从而验证Statechart的死锁、活锁等错误和时序逻辑公式。 展开更多
关键词 模型检查 STATECHART Statechart山脉算法 迁移提取 SPIN
下载PDF
A Novel Technique of Parameter Extraction for Short Channel Length LDD MOSFETs
2
作者 于春利 郝跃 杨林安 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2004年第10期1215-1220,共6页
A novel parameter extraction technique suitable f or short channel length lightly-doped-drain (LDD) MOSFET's is proposed which seg ments the total gate bias range,and executes the linear regression in every subs ... A novel parameter extraction technique suitable f or short channel length lightly-doped-drain (LDD) MOSFET's is proposed which seg ments the total gate bias range,and executes the linear regression in every subs ections,yielding the gate bias dependent parameters,such as effective channel le ngth,parasitic resistance,and mobility,etc.This method avoids the gate bias rang e optimization,and retains the accuracy and simplicity of linear regression.The extracted gate bias dependent parameters are implemented in the compact I-V model which has been proposed for deep submicron LDD MOSFET's.The good agreemen ts between simulations and measurements of the devices on 0.18μm CMOS technolo gy indicate the effectivity of this technique. 展开更多
关键词 LDD MOSFET parameter extraction parasitic se ries resistance MOBILITY
下载PDF
《化学药品注射剂与塑料包装材料相容性研究技术指导原则》解读——提取迁移试验方法设计 被引量:42
3
作者 蒋煜 马玉楠 +1 位作者 霍秀敏 马磊 《中国新药杂志》 CAS CSCD 北大核心 2014年第15期1738-1742,1748,共6页
本文结合我国发布的《化学药品注射剂与塑料包装材料相容性研究技术指导原则》,对如何设计提取和迁移试验进行了阐述,重点对塑料包材中可能存在的目标化合物进行了分析。基于案例分析,讨论了如何依据安全性阈值(SCT)计算化合物的分析评... 本文结合我国发布的《化学药品注射剂与塑料包装材料相容性研究技术指导原则》,对如何设计提取和迁移试验进行了阐述,重点对塑料包材中可能存在的目标化合物进行了分析。基于案例分析,讨论了如何依据安全性阈值(SCT)计算化合物的分析评价阈值(AET)以及基于AET数据选择灵敏度满足要求的分析方法,并对提取和迁移试验的实验设计和结果评估进行了分析。 展开更多
关键词 注射剂 塑料包装材料 相容性研究 技术指导原则 提取迁移试验
原文传递
Cultivated land information extraction in UAV imagery based on deep convolutional neural network and transfer learning 被引量:12
4
作者 LU Heng FU Xiao +3 位作者 LIU Chao LI Long-guo HE Yu-xin LI Nai-wen 《Journal of Mountain Science》 SCIE CSCD 2017年第4期731-741,共11页
The development of precision agriculture demands high accuracy and efficiency of cultivated land information extraction. As a new means of monitoring the ground in recent years, unmanned aerial vehicle (UAV) low-hei... The development of precision agriculture demands high accuracy and efficiency of cultivated land information extraction. As a new means of monitoring the ground in recent years, unmanned aerial vehicle (UAV) low-height remote sensing technique, which is flexible, efficient with low cost and with high resolution, is widely applied to investing various resources. Based on this, a novel extraction method for cultivated land information based on Deep Convolutional Neural Network and Transfer Learning (DTCLE) was proposed. First, linear features (roads and ridges etc.) were excluded based on Deep Convolutional Neural Network (DCNN). Next, feature extraction method learned from DCNN was used to cultivated land information extraction by introducing transfer learning mechanism. Last, cultivated land information extraction results were completed by the DTCLE and eCognifion for cultivated land information extraction (ECLE). The location of the Pengzhou County and Guanghan County, Sichuan Province were selected for the experimental purpose. The experimental results showed that the overall precision for the experimental image 1, 2 and 3 (of extracting cultivated land) with the DTCLE method was 91.7%, 88.1% and 88.2% respectively, and the overall precision of ECLE is 9o.7%, 90.5% and 87.0%, respectively. Accuracy of DTCLE was equivalent to that of ECLE, and also outperformed ECLE in terms of integrity and continuity. 展开更多
关键词 Unmanned aerial vehicle Cultivated land Deep convolutional neural network Transfer learning Information extraction
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部