期刊文献+
共找到193篇文章
< 1 2 10 >
每页显示 20 50 100
基于Ethernet技术的安全关键实时网络 被引量:22
1
作者 杨仕平 桑楠 熊光泽 《软件学报》 EI CSCD 北大核心 2005年第1期121-134,共14页
随着实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键领域,多类型的同步实时、异步实时和非实时网络传输需求给现场网络提出了新的目标和挑战,其中安全关键实时网络的实现方式与调度分析是需要解决的关键问题.在分析、... 随着实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键领域,多类型的同步实时、异步实时和非实时网络传输需求给现场网络提出了新的目标和挑战,其中安全关键实时网络的实现方式与调度分析是需要解决的关键问题.在分析、总结现有COTS网络技术不足之处的基础上,基于事件触发与时间触发,提出了一种基于Ethernet技术的高可靠实时通信协议E&TTE(event- and time-triggered Ethernet),使实时网络不但具有较高的灵活性,而且具有较好的可预测性.为证明E&TTE协议的合理性与可行性,建立了网络调度模型,进行了全局调度分析,并通过具体实例进行了例证.E&TTE协议的提出,满足了安全关键实时网络的多种传输需求,同时也可广泛应用于工业现场控制网络. 展开更多
关键词 安全关键 实时网络 事件触发 时间触发 调度分析
下载PDF
安全关键软件的防危性测评技术研究 被引量:19
2
作者 杨仕平 桑楠 熊光泽 《计算机学报》 EI CSCD 北大核心 2004年第4期442-450,共9页
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性 .紧接着 ,使用贝叶斯函数动态地表示软件失效率的密度函数 ,提... 为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性 .紧接着 ,使用贝叶斯函数动态地表示软件失效率的密度函数 ,提出了一种增量记忆型的防危性测试方法 ,该方法可根据软件出现失效时间的早晚及次数动态地确定所需测试用例数的增量 ,达到了改进传统测试方法局限性的目的 ,使安全关键软件测试失效后可经受更严格的测试 ,同时减小了测试工作量 .为证明该方法的合理性、有效性 ,使用了大量例证 .最后 ,就该领域内的相关工作及发展方向进行了展望 . 展开更多
关键词 安全关键系统 测试用例 防危性测试 可靠性测试 安全关键软件
下载PDF
安全关键系统的防危性技术研究 被引量:9
3
作者 杨仕平 熊光泽 桑楠 《电子科技大学学报》 EI CAS CSCD 北大核心 2003年第2期164-168,共5页
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了... 为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。 展开更多
关键词 安全关键系统 防危性 防危核 反射 可信性 OpenC++ 防危机制 软件
下载PDF
高可信软件的防危性评估研究 被引量:8
4
作者 杨仕平 熊光泽 +1 位作者 桑楠 吴新勇 《计算机工程与设计》 CSCD 2004年第2期161-165,169,共6页
在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技... 在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。 展开更多
关键词 软件可靠性 软件系统 防危性评估 高可信软件 软件工程
下载PDF
安全关键系统高可信保障技术的研究 被引量:10
5
作者 杨仕平 熊光泽 桑楠 《计算机科学》 CSCD 北大核心 2003年第5期97-101,共5页
In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of ... In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of and rela-tions among fault、error、failure are analyzed. In succession, how to apply with fault prevention、fault tolerance、faultremoval、fault forecasting to enhance dependability of safety critical systems are expounded concisely by diagrams. Be-cause error detecting is very important in fault tolerant systems, an error detecting technology based on safety kernelis proposed in this paper. Future trends of research in safety critical field are listed at the end. 展开更多
关键词 计算机 可靠性 安全关键系统 高可信保障技术 冗余技术
下载PDF
高可信赖实时操作系统的防危调度机制 被引量:4
6
作者 杨仕平 桑楠 +1 位作者 熊光泽 刘校矢 《电子科技大学学报》 EI CAS CSCD 北大核心 2006年第1期111-114,共4页
为增强实时操作系统的防危性,在分析现有调度机制的基础上,探讨了最大关键度优先的调度算法,该算法是一种混合型的优先级实时调度算法,由静态优先级、动态子优先级和静态子优先级3部分组成,综合了固定优先级调度算法和动态优先级调度算... 为增强实时操作系统的防危性,在分析现有调度机制的基础上,探讨了最大关键度优先的调度算法,该算法是一种混合型的优先级实时调度算法,由静态优先级、动态子优先级和静态子优先级3部分组成,综合了固定优先级调度算法和动态优先级调度算法的优点,既可充分利用处理器资源,又能在发生瞬时过载时保证关键任务不受非关键任务的影响,从而增强了实时操作系统的防危性。 展开更多
关键词 高可信赖 关键度 防危性 调度算法 实时操作系统
下载PDF
安全关键实时系统高可信集成技术的研究 被引量:5
7
作者 杨仕平 熊光泽 桑楠 《电子学报》 EI CAS CSCD 北大核心 2003年第8期1237-1241,共5页
为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机... 为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机制 .为实现时间隔离 ,论文首先针对集成式多级关键高可信保障机制建立了调度模型 ,然后进行了子系统及其任务的可调度性分析 ,最后用实例进行了例证 .本文的研究成果也可应用于其他非关键领域 。 展开更多
关键词 安全关键 多级关键度 高可信 调度分析 时间隔离
下载PDF
基于整体最小二乘法的任意旋转角度三维坐标转换 被引量:16
8
作者 杨仕平 范东明 龙玉春 《大地测量与地球动力学》 CSCD 北大核心 2013年第2期114-119,共6页
在研究任意旋转角度三维坐标转换的过程中,针对控制点在两套坐标系下均存在随机误差(EIV模型)的情况,提出在只有三个控制点的情况下采用改进的附有约束条件的加权整体最小二乘法进行解算,在控制点较丰富(四个及以上)的情况下采用多元整... 在研究任意旋转角度三维坐标转换的过程中,针对控制点在两套坐标系下均存在随机误差(EIV模型)的情况,提出在只有三个控制点的情况下采用改进的附有约束条件的加权整体最小二乘法进行解算,在控制点较丰富(四个及以上)的情况下采用多元整体最小二乘法(观测方程的观测值不只一列的整体最小二乘法)进行解算,解决系数矩阵中重复随机元素改正数不相等的问题,提高参数值的精度。 展开更多
关键词 改进的约束加权整体最小二乘法 多元整体最小二乘法 任意旋转角度三维坐标转换 系数矩阵 重复随机元素
下载PDF
基于马尔可夫模型的可信性评估研究 被引量:3
9
作者 杨仕平 熊光泽 +1 位作者 桑楠 吴新勇 《计算机工程与应用》 CSCD 北大核心 2003年第12期40-44,105,共6页
研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法... 研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。 展开更多
关键词 安全关键 可信性 马尔可夫模型 评估 多级关键度
下载PDF
加权整体最小二乘算法的改进 被引量:10
10
作者 杨仕平 范东明 龙玉春 《大地测量与地球动力学》 CSCD 北大核心 2013年第1期48-52,共5页
针对EIV模型中系数矩阵含有重复元素的问题,通过考虑系数矩阵元素间的相关性,改进已有的加权整体最小二乘法,使得重复元素的改正数的绝对值相等。并将改进方法应用于直线拟合和解算三维小角度基准转换模型。算例证明,相比以往的参数估... 针对EIV模型中系数矩阵含有重复元素的问题,通过考虑系数矩阵元素间的相关性,改进已有的加权整体最小二乘法,使得重复元素的改正数的绝对值相等。并将改进方法应用于直线拟合和解算三维小角度基准转换模型。算例证明,相比以往的参数估计方法,利用改进后的加权整体最小二乘法能够得到更合理的系数矩阵残差阵。 展开更多
关键词 EIV模型 改进的加权整体最小二乘法 直线拟合 三维小角度基准转换 系数矩阵
下载PDF
基于多级关键度的高可信安全关键系统 被引量:2
11
作者 杨仕平 桑楠 +1 位作者 吴新勇 熊光泽 《系统工程与电子技术》 EI CSCD 北大核心 2004年第2期277-282,共6页
为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守... 为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守的防危访问控制规则。为实现该规则,采用了基于元对象的反射技术,并就如何使用反射技术实现不同关键度子系统间的可靠互动进行了详细讨论。最后,给出了实验结果,同时就该领域内的相关工作及发展方向进行了展望。 展开更多
关键词 安全关键系统 多级关键度 防危核 反射技术 安全保障机制 信息安全 计算机安全
下载PDF
实时异常处理技术的探讨 被引量:3
12
作者 杨仕平 熊光泽 桑楠 《计算机工程》 CAS CSCD 北大核心 2004年第21期61-63,共3页
在分析现有异常处理技术的基础上,比较了在程序语言及操作系统中实现异常处理的优缺点,然后讨论了实时系统中异常处理的本质需求、必要需求及性能目标。为设计出适合于实时系统的异常处理机制,从异常的表示、关键度的管理等几个方面进... 在分析现有异常处理技术的基础上,比较了在程序语言及操作系统中实现异常处理的优缺点,然后讨论了实时系统中异常处理的本质需求、必要需求及性能目标。为设计出适合于实时系统的异常处理机制,从异常的表示、关键度的管理等几个方面进行了讨论,为实时异常处理的设计提供了指导原则。最后对实时异常设计进行了总结,同时展望了该领域内的相关工作及发展方向进行。 展开更多
关键词 实时系统 关键度管理 异常 可靠性 异常处理
下载PDF
超分子化合物[Ag(4,4'bipyridine)]ClO_4和[Ag(4,4'bipyridine)]H_2PO_4·2H_2O的合成与晶体结构 被引量:4
13
作者 杨仕平 郑绍良 +2 位作者 陈红梅 张凡 余锡宾 《上海师范大学学报(自然科学版)》 2004年第1期73-77,共5页
用4,4' 联吡啶分别与高氯酸银、磷酸二氢银反应,得到了化合物[Ag(4,4' bipyri dine)]ClO41和[Ag(4,4' bipyridine)]H2PO4·2H2O2,通过单晶X射线衍射对它们的结构进行了确证.数据为:1三斜晶系,P 1空间群,Mr=363.50,a=8.1... 用4,4' 联吡啶分别与高氯酸银、磷酸二氢银反应,得到了化合物[Ag(4,4' bipyri dine)]ClO41和[Ag(4,4' bipyridine)]H2PO4·2H2O2,通过单晶X射线衍射对它们的结构进行了确证.数据为:1三斜晶系,P 1空间群,Mr=363.50,a=8.181(8),b=8.747(4),c=8.921(7) ,α=80.35(1),β=74.64(1),β=73.48(1)o,V=587.2(8) 3,Z=2,F(000)=356,Dc=2.056g·cm-3,μ=1.951mm-1,R1=0.0467,wR2=0.1301;2单斜晶系,P2/c空间群,Mr=397.07,a=8.566(6),b=8.807(7),c=18.729(17) ,β=101.37(1),V=1385.2(19) 3,Z=4,F(000)=792,Dc=1.904g·cm-3,μ=1.596mm-1,R1=0.0714,wR2=0.1834;结构分析表明,二者皆为一维链状结构.分子间通过静电引力、氢键使得化合物构成二维的超分子化合物. 展开更多
关键词 Ag配合物 合成 晶体结构 超分子
下载PDF
安全关键实时操作系统时间隔离保护机制的设计与实现 被引量:2
14
作者 杨仕平 桑楠 +1 位作者 陈慧 熊光泽 《计算机研究与发展》 EI CSCD 北大核心 2004年第7期1306-1314,共9页
为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想 空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法... 为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想 空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写 ,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行 为实现时间隔离保护机制 ,在改进传统处理器能力预留机制的基础上 ,基于两级调度的思想 ,提出了新的实现方法 时空隔离保护机制的提出 。 展开更多
关键词 安全关键 空间隔离 时间隔离 调度分析 实时操作系统
下载PDF
嵌入式实时软件可视化开发方法 被引量:2
15
作者 杨仕平 熊光泽 陈慧 《系统工程与电子技术》 EI CSCD 北大核心 2003年第1期98-102,共5页
分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性。
关键词 嵌入式实时软件 开发方法 统一建模语言 规范描述语言 映射
下载PDF
加入WTO对我国会计发展的影响 被引量:18
16
作者 杨仕平 吴荣宝 《财会研究》 北大核心 2001年第1期24-26,共3页
关键词 WTO 中国 会计发展 影响
下载PDF
肺结核合并糖尿病的临床疗效分析 被引量:3
17
作者 杨仕平 林树强 黄敬彬 《河北医学》 CAS 2007年第5期573-575,共3页
目的:探讨肺结核合并糖尿病患者临床特点以及治疗措施。方法:选择肺结核合并糖尿病患者55例(观察组)与同期住院的肺结核患者60例(对照组)做对比分析,总结各自临床特点,两组常规抗痨基础上,观察组加强降糖治疗,特别是强化期使用胰岛素治... 目的:探讨肺结核合并糖尿病患者临床特点以及治疗措施。方法:选择肺结核合并糖尿病患者55例(观察组)与同期住院的肺结核患者60例(对照组)做对比分析,总结各自临床特点,两组常规抗痨基础上,观察组加强降糖治疗,特别是强化期使用胰岛素治疗。结果:观察组在强化期治疗后以及全程化疗结束后痰菌阴转率,肺部病灶吸收率与对照组无显著性(P>0.05)。结论:肺结核合并糖尿病患者应早诊断,早治疗,特别是积极降糖治疗,抗痨效果与无并发症的肺结核初治患者相当。 展开更多
关键词 肺结核 糖尿病 疗效分析
下载PDF
基于SDL的硬实时调度可执行分析模型 被引量:1
18
作者 杨仕平 熊光泽 陈慧 《计算机科学》 CSCD 北大核心 2002年第7期142-145,共4页
1引言 在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验... 1引言 在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V&V)及代码的自动生成同步进行. 展开更多
关键词 软件开发 嵌入式实时系统 软件代码 SDL 硬实时调度可执行分析模型
下载PDF
整体最小二乘法平面坐标转换在基坑水平位移监测中的应用 被引量:9
19
作者 杨仕平 范东明 龙玉春 《测绘与空间地理信息》 2012年第9期221-223,228,共4页
在参数求解过程中,经常遇到参数估计模型的观测向量和系数矩阵都可能存在误差的情况,于是人们在20世纪80年代提出了整体最小二乘方法。近几年,整体最小二乘才被引入测量领域。本文详细阐述了整体最小二乘法平面坐标转换基于奇异值分解... 在参数求解过程中,经常遇到参数估计模型的观测向量和系数矩阵都可能存在误差的情况,于是人们在20世纪80年代提出了整体最小二乘方法。近几年,整体最小二乘才被引入测量领域。本文详细阐述了整体最小二乘法平面坐标转换基于奇异值分解原理的解算过程。在此基础上,把整体最小二乘法平面直角坐标转换应用到基坑水平位移监测中,改进了传统的变形监测数据处理方法,并运用工程实例验证了该方法的可行性。 展开更多
关键词 整体最小二乘 坐标转换 基坑水平位移监测 数据处理
下载PDF
面向对象实时多任务系统的优化实现模型 被引量:1
20
作者 杨仕平 熊光泽 陈慧 《计算机工程与科学》 CSCD 2003年第5期56-60,共5页
论文提出了一种基于抢占门限的实时多任务系统的优化实现模型,它同时具有低开销与高可调度性。该模型扩展了固定优先级调度模型,同时通过实现模型中线程数的减少实现了运行时的低开销。文中同时也讨论了互不抢占分组的实现算法及每个任... 论文提出了一种基于抢占门限的实时多任务系统的优化实现模型,它同时具有低开销与高可调度性。该模型扩展了固定优先级调度模型,同时通过实现模型中线程数的减少实现了运行时的低开销。文中同时也讨论了互不抢占分组的实现算法及每个任务最大抢占门限的分配算法。 展开更多
关键词 面向对象 实时多任务系统 优化实现模型 任务抢占门限 软件开发
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部