期刊文献+
共找到65篇文章
< 1 2 4 >
每页显示 20 50 100
DESIGN OF LOW-DENSITY PARITY CHECK CODES FOR MIMO SYSTEMS WITH DOUBLY-ITERATIVE RECEIVERS
1
作者 Mei Zhonghui Li Xiaofei 《Journal of Electronics(China)》 2010年第4期553-556,共4页
In this paper, the Multiple Input Multiple Output (MIMO) doubly-iterative receiver which consists of the Probabilistic Data Association detector (PDA) and Low-Density Parity-Check Code (LDPC) decoder is developed. The... In this paper, the Multiple Input Multiple Output (MIMO) doubly-iterative receiver which consists of the Probabilistic Data Association detector (PDA) and Low-Density Parity-Check Code (LDPC) decoder is developed. The receiver performs two iterative decoding loops. In the outer loop, the soft information is exchanged between the PDA detector and the LDPC decoder. In the inner loop, it is exchanged between variable node and check node decoders inside the LDPC decoder. On the light of the Extrinsic Information Transfer (EXIT) chart technique, an LDPC code degree profile optimization algorithm is developed for the doubly-iterative receiver. Simulation results show the doubly-receiver with optimized irregular LDPC code can have a better performance than the one with the regular one. 展开更多
关键词 Probabilistic Data Association (PDA) Multiple-Input Multiple-Output (MIMO) Low-Density Parity-check Code (LDPC) Extrinsic Information Transfer (EXIT) chart
下载PDF
航空产品研制项目的风险识别特征—因子建模技术研究 被引量:9
2
作者 周平 姜寿山 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第7期542-545,共4页
航空产品研制项目结构复杂、风险因素多,直接应用现有的风险识别技术,难以高效、准确地识别项目中潜在的各种风险。本文提出了风险识别的特征-因子建模技术,建立了基于核对表和鱼刺图的特征-因子模型。并以航空产品研制项目为例,分析了... 航空产品研制项目结构复杂、风险因素多,直接应用现有的风险识别技术,难以高效、准确地识别项目中潜在的各种风险。本文提出了风险识别的特征-因子建模技术,建立了基于核对表和鱼刺图的特征-因子模型。并以航空产品研制项目为例,分析了风险识别的特征-因子建模技术的具体应用,为实现高效、准确地识别航空项目风险提供了实用的方法与工具,初步解决了航空项目中的风险识别难题。 展开更多
关键词 风险识别 鱼刺图 核对表 风险管理
下载PDF
控制图在火花源原子发射光谱仪期间核查中的应用 被引量:2
3
作者 畅小军 毕经亮 +1 位作者 刘颂 胡晓燕 《冶金分析》 CAS CSCD 北大核心 2015年第12期77-81,共5页
期间核查的研究在实验室的管理及实验室认可中有着重要的意义,实验将控制图运用于火花源原子发射光谱仪的期间核查,介绍了用平均值-极差(X-R)控制图进行期间核查的基本步骤和判定准则。选用GBW01400中低合金钢光谱分析标准物质作为核查... 期间核查的研究在实验室的管理及实验室认可中有着重要的意义,实验将控制图运用于火花源原子发射光谱仪的期间核查,介绍了用平均值-极差(X-R)控制图进行期间核查的基本步骤和判定准则。选用GBW01400中低合金钢光谱分析标准物质作为核查标准,以碳元素为例验证了方法的可行性,并对检测误差T的获取、控制图的影响因素以及使用控制图时有可能出现的异常情况等进行了详细的讨论。准确地评价了仪器的性能状态,保证了火花源原子发射光谱仪测量数据的准确、可靠,维持了检定/校准状态的可信度,取得良好的效果。并解决了实验室人员进行火花源原子发射光谱仪期间核查的一大难题。 展开更多
关键词 火花源原子发射光谱仪 期间核查 控制图
下载PDF
无损检测的质量控制技术 被引量:7
4
作者 郝红卫 《无损检测》 北大核心 2007年第11期666-668,共3页
以控制无损检测中的误判为例,介绍了质量控制技术在无损检测质量管理工作中的应用。首先利用流程图发现出现误判问题的产生环节,即缺陷的定位或定量错误。然后利用两图一表(因果图、排列图和检查表)分析引起缺陷定量或定位错误的原因。... 以控制无损检测中的误判为例,介绍了质量控制技术在无损检测质量管理工作中的应用。首先利用流程图发现出现误判问题的产生环节,即缺陷的定位或定量错误。然后利用两图一表(因果图、排列图和检查表)分析引起缺陷定量或定位错误的原因。最后制定了防止误判产生的对策表。采用质量控制技术可以实现无损检测质量的持续改进。 展开更多
关键词 无损检测 质量控制 流程图 因果图 排列图 检查表
下载PDF
属性序列图:形式语法和语义 被引量:6
5
作者 张鹏程 周宇 +1 位作者 李必信 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 2008年第2期318-328,共11页
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用... 在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景. 展开更多
关键词 时态逻辑 场景 属性序列图 Büchi 自动机 模型检验
下载PDF
海图出版质量检测系统的设计与实现 被引量:10
6
作者 孙万民 孙群 +2 位作者 张保明 申家双 肖强 《海洋测绘》 2004年第3期40-43,共4页
从目前海图出版的实际出发,分析了数字环境下海图生产质量控制需要解决的具体问题,以用户为最终目标设计,阐述了海图出版质量检测系统的总体结构和实现的技术思路。
关键词 数字海图 海图出版 质量控制 质量检测
下载PDF
UML状态机的模型检验方法 被引量:7
7
作者 董威 王戟 +1 位作者 郑延平 齐治昌 《计算机工程与科学》 CSCD 2001年第6期7-11,共5页
模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当... 模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证 UML状态机是否满足用计算树逻辑 ( CTL) 展开更多
关键词 UML 状态机 模型检验 计算树逻辑 软件质量 软件工程
下载PDF
在线医疗服务组合的验证方法研究 被引量:2
8
作者 滕剑锋 胡珊珊 《医学信息学杂志》 CAS 2012年第7期15-19,32,共6页
介绍在线医疗服务组合设计方法,描述在线医疗助理的属性序列图,提出一种基于模型检验的在线医疗服务组合验证方法并进行实验评估,从理论和实验两方面分析该方法的可行性和有效性。
关键词 在线医疗助理 远程医疗 WEB服务组合 模型检验 属性序列图
下载PDF
常规控制图在标准物质期间核查中的应用 被引量:20
9
作者 黄诚 卢丽明 刘国平 《职业与健康》 CAS 2008年第18期1893-1895,共3页
目的介绍常规控制图在标准物质期间核查中的应用。方法通过绘制校准曲线斜率的单值-移动极差(X-R)控制图,实现标准物质的期间核查。结果X-R控制图表明校准曲线斜率处于稳定受控状态,即标准物质可信。结论利用统计方法绘制常规控制图对... 目的介绍常规控制图在标准物质期间核查中的应用。方法通过绘制校准曲线斜率的单值-移动极差(X-R)控制图,实现标准物质的期间核查。结果X-R控制图表明校准曲线斜率处于稳定受控状态,即标准物质可信。结论利用统计方法绘制常规控制图对标准物质进行期间核查,方法可行,能达到期间核查的目的。 展开更多
关键词 常规控制图 标准物质 期间核查
下载PDF
ENC不一致性问题分类及其对策 被引量:2
10
作者 陈长林 陆毅 +2 位作者 贾俊涛 鲁强 朱颖 《测绘科学技术学报》 CSCD 北大核心 2016年第2期208-214,共7页
ENC作为一种独特的地理空间信息产品,广泛应用于ECDIS(电子海图显示与信息系统)。由于多方面原因,海员在ECDIS使用过程中可发现ENC中存在一些不一致性现象,不仅影响了ENC的数据质量和可信度,而且容易使海员对海上地理要素产生混淆和误判... ENC作为一种独特的地理空间信息产品,广泛应用于ECDIS(电子海图显示与信息系统)。由于多方面原因,海员在ECDIS使用过程中可发现ENC中存在一些不一致性现象,不仅影响了ENC的数据质量和可信度,而且容易使海员对海上地理要素产生混淆和误判,最终影响船舶海上航行安全。由于海图编绘资料的多源性以及以单幅数据进行生产的作业模式,数据生产者在数据质量评价时都将关注点放在单幅数据的检校,却忽视了数据之间的不一致问题。为此,对各类不一致问题进行梳理分类,按照出现位置不同,将不一致问题分为"ENC内部不一致性"、"邻接ENC之间不一致性"和"重叠ENC之间不一致性"等3大类,分别进行了原因分析和示例说明,最后给出了解决ENC不一致性的途径,为ENC不一致问题的进一步研究指明了方向。 展开更多
关键词 电子航海图 一致性 有效性检核 电子海图显示与信息系统 无缝显示
下载PDF
国际电子海图有效性检验S-58(5.0)版最新变化 被引量:1
11
作者 桑百川 彭文 +2 位作者 沈继青 甘建国 汪衡 《测绘与空间地理信息》 2015年第9期212-214,共3页
国际海道测量组织正在制定电子海图推荐的有效性检验S-58最新版本(5.0),对于错误的分类更细致,更加符合地理信息的描述方式。本文基于此分析其对电子海图生产制作的影响。
关键词 S-58 电子海图 有效性检验 最新变化
下载PDF
多图模式下电子海图搜索和绘制算法研究 被引量:1
12
作者 毛德军 邢焕革 万俊 《船海工程》 北大核心 2008年第2期110-113,共4页
在开发基于多图模式的ECDIS时,提出了图库匹配检测方法,设计了图幅搜索算法,并改进了绘制过程中的冗余元素判断方法。图库匹配检测减少了系统初始化的工作量;对于一个给定的区域,采用了冗余图幅检测技术的搜索算法能返回覆盖绘制区域面... 在开发基于多图模式的ECDIS时,提出了图库匹配检测方法,设计了图幅搜索算法,并改进了绘制过程中的冗余元素判断方法。图库匹配检测减少了系统初始化的工作量;对于一个给定的区域,采用了冗余图幅检测技术的搜索算法能返回覆盖绘制区域面积最大、而数目最少的图幅信息;改进的冗余元素判断方法能有效的避免重叠区域的元素重绘。 展开更多
关键词 电子海图 搜索算法 多图模式 冗余检测
下载PDF
基于规则驱动的数字海图质量检测方法研究 被引量:1
13
作者 黄毅 兰莉莎 《海洋测绘》 2012年第4期67-70,共4页
将规则和规则库的原理和方法应用到了数字海图质量检测中,首先对数字海图质量规则的表示方法进行了介绍,在此基础上,对基于规则驱动的数字海图质量检测模型、流程和规则的定制进行了介绍,最后设计和构建了海图质量规则库的数据结构,分... 将规则和规则库的原理和方法应用到了数字海图质量检测中,首先对数字海图质量规则的表示方法进行了介绍,在此基础上,对基于规则驱动的数字海图质量检测模型、流程和规则的定制进行了介绍,最后设计和构建了海图质量规则库的数据结构,分别对空间关系规则、属性约束规则描述表进行了定义和分析。 展开更多
关键词 数字海图 规则 规则库 质量检查
下载PDF
计量标准期间核查方法的建立与运用 被引量:5
14
作者 吴承汕 《仪器仪表标准化与计量》 2012年第3期29-31,共3页
从期间核查对实验室计量标准的重要性、必要性和实际应用情况出发,针对对计量标准重复性和稳定性的要求,提出了一种建立期间核查控制图的计量标准的期间核查方法,并以标准铂电阻温度计为核查对象阐明了对控制图的运用。该核查方法可供... 从期间核查对实验室计量标准的重要性、必要性和实际应用情况出发,针对对计量标准重复性和稳定性的要求,提出了一种建立期间核查控制图的计量标准的期间核查方法,并以标准铂电阻温度计为核查对象阐明了对控制图的运用。该核查方法可供计量标准管理者、使用者进行参考,确保对计量标准的计量过程受控的质量管理。 展开更多
关键词 计量标准 期间核查方法 控制图 质量管理 标准铂电阻温度计
下载PDF
基于知识标引建立专家知识云图 被引量:1
15
作者 杨硕 崔蒙 +1 位作者 贾李蓉 高博 《中国数字医学》 2012年第7期48-50,共3页
以人为中心进行知识管理系统研究,构建专题领域知识库,提取知识标引,依据知识元体现学科某一专家的知识元群,并通过知识点的相似度链接专家之间关系,体现个体专家知识的研究发展轨迹及一个领域内众多专家的复杂关系,勾勒特定研究领域的... 以人为中心进行知识管理系统研究,构建专题领域知识库,提取知识标引,依据知识元体现学科某一专家的知识元群,并通过知识点的相似度链接专家之间关系,体现个体专家知识的研究发展轨迹及一个领域内众多专家的复杂关系,勾勒特定研究领域的专家知识云图。 展开更多
关键词 知识元 特征词 知识标引 专家知识云图
下载PDF
海图更新自动检测系统的设计与实现 被引量:1
16
作者 李春菊 崔洪生 李钏 《海洋测绘》 CSCD 2015年第3期50-52,共3页
海图更新通常是局部要素更新、但是为了防止误操作或拓扑关系变化等原因造成未更新区域要素变化,需要对全图进行检查验收,大大降低了生产效率,同时也增加了人为出错概率。以海图未更新区域自动检测为研究对象,从局部要素更新海图的质量... 海图更新通常是局部要素更新、但是为了防止误操作或拓扑关系变化等原因造成未更新区域要素变化,需要对全图进行检查验收,大大降低了生产效率,同时也增加了人为出错概率。以海图未更新区域自动检测为研究对象,从局部要素更新海图的质量检查内容和特点出发,结合海图更新出版流程,提出了基于数字海图矢量数据比对的质量检查方法,设计了自动更新检测流程,实现了局部更新海图未更新区域要素数据的自动质量检查。应用实践证明,文中提出的方法提高了局部要素更新海图的质量水平和质量检查效率。 展开更多
关键词 数字海图 局部要素更新 质量检查 矢量数据比对 自动检测
下载PDF
基于S-58标准的ENC数据检核研究与实现 被引量:4
17
作者 陆毅 吴炳昭 +1 位作者 张玉洁 王玉玲 《海洋测绘》 2009年第6期78-80,共3页
针对当前电子海图生产现状和与国际接轨的要求,海图产品执行"ENC有效性检核"标准,采取机器自检、自动识别、格网分割、点点对照和人机交互等多种检核手段。研制出一套自主知识产权的国际标准电子海图检核平台,对数据进行合法... 针对当前电子海图生产现状和与国际接轨的要求,海图产品执行"ENC有效性检核"标准,采取机器自检、自动识别、格网分割、点点对照和人机交互等多种检核手段。研制出一套自主知识产权的国际标准电子海图检核平台,对数据进行合法性、合理性、充分性与完备性检核,解决了当前ENC产品完全依靠人工和国外软件质检的问题。 展开更多
关键词 电子海图 国际标准 S-58 检核
下载PDF
“一张图管矿”的数据组织与分类 被引量:4
18
作者 杨文森 陆世东 张玲 《地理空间信息》 2012年第1期64-66,3,共3页
首先详细介绍了"一张图管矿"系统数据中心的基本概念以及数据体系结构,在此基础上阐述了"一张图管矿"系统数据的逻辑结构和数据分类。
关键词 一张图管矿 数据组织 矿业权实地核查
下载PDF
一种AWGN信道下非规则LDPC码的优化方法 被引量:5
19
作者 毛倩 董德存 曾小清 《计算机应用》 CSCD 北大核心 2010年第2期292-294,共3页
提出了一种加性高斯噪声(AWGN)信道下非规则低密度奇偶校验(LDPC)码的优化方法。利用LDPC码迭代译码算法下变量节点与校验节点的EX IT曲线之间的面积反映码的收敛阈值与香农限的差距这一特点,设计表示两条EX IT曲线之间面积的函数F,该... 提出了一种加性高斯噪声(AWGN)信道下非规则低密度奇偶校验(LDPC)码的优化方法。利用LDPC码迭代译码算法下变量节点与校验节点的EX IT曲线之间的面积反映码的收敛阈值与香农限的差距这一特点,设计表示两条EX IT曲线之间面积的函数F,该函数可以衡量非规则LDPC码的性能,F值越小,LDPC码的收敛阈值就越接近香农限。仿真显示,合理设计变量节点和校验节点,减小函数F的值,能够提高非规则LDPC码的性能。 展开更多
关键词 低密度奇偶校验码 外部信息转换(EXIT)图 加性高斯白噪声 迭代译码 收敛阈值
下载PDF
基于过程模拟树的Web软件一致性检测方法 被引量:1
20
作者 李丽萍 王娜 唐姗 《上海第二工业大学学报》 2017年第1期49-57,共9页
随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的方法,动态模拟系统运行。引入文法的概念,设计一个模拟器,在模... 随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的方法,动态模拟系统运行。引入文法的概念,设计一个模拟器,在模拟过程中动态检测可执行模型在外部事件(文法描述的)触发下的执行是否存在不一致现象,整个过程以模拟树的方式呈现。该方法能在项目初期检测出模型的设计与需求的不一致,在一定程度上保证模型的一致性。 展开更多
关键词 WEB软件 模拟树 活序列图 上下文无关文法 一致性检测
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部