期刊文献+
共找到40篇文章
< 1 2 >
每页显示 20 50 100
基于场景规约的构件式系统设计分析与验证 被引量:40
1
作者 胡军 于笑丰 +3 位作者 张岩 王林章 李宣东 郑国梁 《计算机学报》 EI CSCD 北大核心 2006年第4期513-525,共13页
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验... 使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等. 展开更多
关键词 构件式系统设计 接口自动机 模型检验 顺序图 统一建模语言(UML)
在线阅读 下载PDF
基于场景构件式实时软件设计的一致性检验 被引量:13
2
作者 胡军 于笑丰 +2 位作者 张岩 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2006年第1期48-58,共11页
在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性. 展开更多
关键词 实时软件 构件式设计 模型检验 接口自动机 顺序图 统一建模语言
在线阅读 下载PDF
基于高阶时间π演算的构件式实时软件研究 被引量:4
3
作者 尤涛 杜承烈 +1 位作者 王小伟 郑炜 《西北工业大学学报》 EI CAS CSCD 北大核心 2009年第6期906-911,共6页
在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过... 在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义。作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用。 展开更多
关键词 实时系统 语义 构件式实时系统 高阶时间π演算
在线阅读 下载PDF
构件式遥感信息处理系统的设计 被引量:3
4
作者 李强 王正志 +3 位作者 周宗潭 周红建 彭雄宏 薄涛 《国防科技大学学报》 EI CAS CSCD 1998年第6期41-45,共5页
随着遥感技术在国民经济和国防等领域的广泛应用,各种用户也逐渐对遥感数据的管理和处理提出了越来越多的要求。传统的遥感信息处理系统面临着严峻的挑战。构件软件技术作为目前发展最快的软件重用技术,是降低软件开发费用,提高软件... 随着遥感技术在国民经济和国防等领域的广泛应用,各种用户也逐渐对遥感数据的管理和处理提出了越来越多的要求。传统的遥感信息处理系统面临着严峻的挑战。构件软件技术作为目前发展最快的软件重用技术,是降低软件开发费用,提高软件生产效率和系统的可靠性、可维护性、可扩展性的有效方法。本文介绍了一个遥感信息处理系统,阐述了它的基于构件软件体系结构的开发思想及其特点。 展开更多
关键词 软件重用构件 遥感信息处理 构件式 遥感技术
在线阅读 下载PDF
构件式建模方法在系统建模中的应用研究 被引量:2
5
作者 方林波 余志勇 +2 位作者 武红霞 付光远 罗眉 《计算机应用研究》 CSCD 北大核心 2012年第10期3776-3779,共4页
为了使系统级建模过程工程化,提高模型构件的重用度,针对建模的实现过程,提出了通用的建模模式和构件式建模方法。将数据抽象、信号原语、异步并发机制处理等过程归纳为建模模式,并建立了典型的软硬件构件模型以便建模时重用,方便了快... 为了使系统级建模过程工程化,提高模型构件的重用度,针对建模的实现过程,提出了通用的建模模式和构件式建模方法。将数据抽象、信号原语、异步并发机制处理等过程归纳为建模模式,并建立了典型的软硬件构件模型以便建模时重用,方便了快速建模和模型构件的重用;以无线接入系统为例,运用构件式建模方法建立了其系统模型,仿真分析了WLAN网络环境下站点数等参数对有效吞吐量的影响。实践表明,构件式建模方法能加快系统的建模过程,有助于实现建模过程的工程化。 展开更多
关键词 模型 仿真 构件式建模 无线局域网
在线阅读 下载PDF
矿用单元式液压支架立柱“井”形防冲吸能构件特性分析 被引量:2
6
作者 郝志勇 陶鹏 黄进 《安全与环境学报》 CAS CSCD 北大核心 2024年第11期4180-4193,共14页
为了解决目前煤矿井下巷道支护设备和支护材料在冲击地压作用下发生损坏破坏和失效的问题,设计研发了一种新型多肋板吸能构件。首先,根据防冲支架吸能构件的作用原理,明确了吸能构件的设计要求,提出了一种多肋板型吸能构件,对吸能构件... 为了解决目前煤矿井下巷道支护设备和支护材料在冲击地压作用下发生损坏破坏和失效的问题,设计研发了一种新型多肋板吸能构件。首先,根据防冲支架吸能构件的作用原理,明确了吸能构件的设计要求,提出了一种多肋板型吸能构件,对吸能构件的构型和截面形状展开了结构设计,给出了多肋板型吸能构件尺寸图与三维模型图;基于简化的超折叠单元理论剖析了“井”形管的能量耗散途径,推导出了“井”形管的平均支反力预测公式;其次,采用数值模拟方法对多肋板型吸能构件吸能特性展开了仿真研究,并探究了肋板厚度和不同材料对多肋板型吸能构件的吸能性能的影响,得出了肋板厚度和材料显著影响吸能性能的结论。最后,利用MATLAB的遗传算法进行了优化,利用参数优化结果,重新设计了多肋板型吸能构件,并进行了仿真试验,将仿真试验与压溃试验的结果进行对比分析。分析表明,遗传算法迭代的多肋板型吸能构件具有较好的能量吸收参数,在平台阶段支撑反力的波动较小,能量吸收过程相对稳定,能有效达到能量吸收的效果。 展开更多
关键词 安全工程 冲击地压 防冲液压支架 多肋板吸能构件 防冲性能
在线阅读 下载PDF
CoPenML:基于XML的笔式用户界面构件体系结构 被引量:5
7
作者 李杰 秦严严 +1 位作者 田丰 戴国忠 《计算机研究与发展》 EI CSCD 北大核心 2005年第7期1143-1152,共10页
笔式用户界面在许多领域得到了广泛应用,但现有的笔式界面技术不能支持高层次、多领域的可视化界面制作,很难实现面向软件构件的重用.因而提出一个新的解决方案,面向构件的体系结构CoPenML.该方案基于XML语言抽象描述了笔式界面的配置组... 笔式用户界面在许多领域得到了广泛应用,但现有的笔式界面技术不能支持高层次、多领域的可视化界面制作,很难实现面向软件构件的重用.因而提出一个新的解决方案,面向构件的体系结构CoPenML.该方案基于XML语言抽象描述了笔式界面的配置组成.可用于快速生成界面原型及二次开发接口,并且在系统实现级以及场景图级两个层面上实现软件构件的重用.设计了CoPenML的体系结构并给出了界面描述语言规范.最后开发了基于CoPenML的笔式界面制作环境以及相关工具.结果表明该方案对于笔式用户界面制作是十分有效的. 展开更多
关键词 用户界面 CoPenML 构件式开发 声明性语言 软件重用 XML模
在线阅读 下载PDF
构件化嵌入式软件设计的能耗性质分析与验证 被引量:4
8
作者 曹东 胡军 徐丙凤 《南京理工大学学报》 EI CAS CSCD 北大核心 2009年第1期26-31,共6页
从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段... 从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法。 展开更多
关键词 嵌入软件 构件式设计 能耗分析 软件验证 接口自动机
在线阅读 下载PDF
液压立柱内外翻转式吸能防冲构件特性数值分析 被引量:10
9
作者 唐治 潘一山 +1 位作者 朱小景 崔乃鑫 《中国安全生产科学技术》 CAS CSCD 北大核心 2015年第7期74-79,共6页
为增强液压立柱防冲性能,有效防治煤矿冲击地压,或在一定程度上减小冲击地压事故造成的损失,提出并设计了一种与液压立柱结合使用的内外翻转式吸能构件。采用数值分析对构件吸能防冲特性进行研究,结果表明:轴向压缩下内外翻转式吸能构... 为增强液压立柱防冲性能,有效防治煤矿冲击地压,或在一定程度上减小冲击地压事故造成的损失,提出并设计了一种与液压立柱结合使用的内外翻转式吸能构件。采用数值分析对构件吸能防冲特性进行研究,结果表明:轴向压缩下内外翻转式吸能构件具有非常好的稳定变形破坏模式,且构件变形后不向四周膨胀。内外翻转式吸能构件压缩过程中具有恒定的反作用力、较高的冲程效率和有较小的载荷波动系数。内外翻转式吸能防冲构件是一种较为理想的吸能防冲构件,其与现有常规立柱结合使用,可改善立柱受冲击载荷时的受力情况,增强立柱防冲性能。 展开更多
关键词 吸能防冲 冲击地压 内外翻转构件 数值分析
在线阅读 下载PDF
基于马尔科夫链的构件化嵌入式软件能耗估算模型 被引量:7
10
作者 熊冰 郭兵 +3 位作者 沈艳 王继禾 伍元胜 刘云本 《小型微型计算机系统》 CSCD 北大核心 2012年第3期655-659,共5页
在目前全球倡导"低碳经济"的背景下,嵌入式软件能耗已成为嵌入式系统设计的重要考量因素,一种快速有效的软件能耗估算模型对于嵌入式软件早期开发具有重要的意义.本文着眼于构件化嵌入式软件,从基于状态的角度出发,将嵌入式... 在目前全球倡导"低碳经济"的背景下,嵌入式软件能耗已成为嵌入式系统设计的重要考量因素,一种快速有效的软件能耗估算模型对于嵌入式软件早期开发具有重要的意义.本文着眼于构件化嵌入式软件,从基于状态的角度出发,将嵌入式软件系统的运行过程视为一个状态的集合,提出了一种基于马尔科夫链的嵌入式软件能耗估算模型.然后,通过使用状态转移概率矩阵获得嵌入式软件构件的稳定状态分布,再结合构件的能耗测量值,实现嵌入式软件的能耗估算,并通过实验验证了该模型的有效性. 展开更多
关键词 嵌入软件能耗 构件化嵌入软件 能耗估算 马尔科夫链
在线阅读 下载PDF
矿用扩径式吸能防冲构件特性数值分析 被引量:6
11
作者 唐治 海丹凤 +2 位作者 潘一山 崔乃鑫 张莹莹 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2017年第3期310-315,共6页
为增强液压立柱抗冲性能,有效防治煤矿冲击地压,或在一定程度上减小冲击地压事故造成的损失,提出并设计了一种与液压立柱结合使用的扩径式吸能构件.采用ABAQUS软件对构件吸能防冲特性进行研究,结果表明:不同尺寸和不同材料扩径式构件均... 为增强液压立柱抗冲性能,有效防治煤矿冲击地压,或在一定程度上减小冲击地压事故造成的损失,提出并设计了一种与液压立柱结合使用的扩径式吸能构件.采用ABAQUS软件对构件吸能防冲特性进行研究,结果表明:不同尺寸和不同材料扩径式构件均具有非常好的稳定变形破坏模式,尺寸、材料和冲击速度对构件变形破坏模式没有任何影响.扩径式构件压缩过程中具有较为恒定的反作用力,反作随构件材料强度和随壁增加而增大,但尺寸、材料和冲击速度对构件力-位移变化规律没有影响.扩径式构件具有一定承载力,具有较小的载荷波动系数和较高的冲程效率.扩径式构件是一种较为理想的吸能防冲构件,其与现有常规立柱结合使用,可改善立柱受冲击载荷时的受力情况,增强立柱防冲性能. 展开更多
关键词 吸能防冲 冲击地压 扩径构件 冲击速度 材料强度
在线阅读 下载PDF
轴裂式构件变形吸能特性研究及工程应用初探 被引量:6
12
作者 代连朋 潘一山 王爱文 《煤炭学报》 EI CAS CSCD 北大核心 2017年第7期1682-1690,共9页
为使锚杆适应深埋巷道围岩大变形,有效防治巷道冲击地压灾害,设计了一种适用于锚杆的轴裂式防冲吸能构件。通过理论分析与室内试验,研究了轴裂式吸能构件的变形特性、吸能效果等;探讨构件在锚杆中的应用方式与工作原理,初探了其工程试... 为使锚杆适应深埋巷道围岩大变形,有效防治巷道冲击地压灾害,设计了一种适用于锚杆的轴裂式防冲吸能构件。通过理论分析与室内试验,研究了轴裂式吸能构件的变形特性、吸能效果等;探讨构件在锚杆中的应用方式与工作原理,初探了其工程试验效果。研究表明,轴裂式吸能构件撕裂变形稳定,形成"螺旋式"扩展板条,具有良好的可重复性与可控性;构件吸能作用全程具有"峰值轴力波动吸能段、恒定轴力稳定吸能段"两阶段特性,且吸能构件经过预撕裂加工可消除波动载荷,使恒定轴力稳定吸能行程效率达到100%;采用内径26 mm、壁厚4 mm,预制导裂切线4或6条的吸能构件,其恒定轴力达到111.8~143.1 k N,相应吸能量达5.77~8.93 k J,构件恒定载荷值及其吸能量的试验结果与理论分析结果相符合。现场试验表明,轴裂式构件能较好地启动劈裂,实现让压耗能。 展开更多
关键词 冲击地压 锚杆支护 吸能防冲 轴裂构件 金属圆管
在线阅读 下载PDF
板式构件加固衬砌裂缝的模型试验研究 被引量:3
13
作者 龚伦 杨淋亦 +2 位作者 仇文革 敖维林 王希元 《土木工程学报》 EI CSCD 北大核心 2017年第S1期47-52,共6页
为了得到板式构件对隧道衬砌裂缝的加固效果,采用模型试验方法,对带裂缝衬砌加固前后的力学特性进行研究。通过对衬砌加固前后位移、接触应力、结构内力和破坏形态的考察,得研究成果:隧道产生裂缝后,发生位移早且位移量增大、承载能力降... 为了得到板式构件对隧道衬砌裂缝的加固效果,采用模型试验方法,对带裂缝衬砌加固前后的力学特性进行研究。通过对衬砌加固前后位移、接触应力、结构内力和破坏形态的考察,得研究成果:隧道产生裂缝后,发生位移早且位移量增大、承载能力降低,并将衬砌的破坏由墙脚压溃转变为裂缝处拉裂;通过板式构件加固后,产生变形较晚且位移量减小38.5%,板式构件有效的改善整个结构的受力状态并阻止裂缝的发展,显著提高了整体结构的抵抗变形能力和承载能力;既有衬砌承担的轴力占合力的73.9%,其仍然是加固后组合结构的承载主体;若采用合适的板式构件进行加固,其承载力完全可以恢复到甚至超过完好衬砌的水平。 展开更多
关键词 模型试验 构件 衬砌裂缝 有效改善 受力状态
在线阅读 下载PDF
高性能混凝土板式构件的早期收缩特性及预测模型 被引量:4
14
作者 李国栋 王宗林 《土木建筑与环境工程》 CSCD 北大核心 2017年第1期93-100,共8页
以桥面板等高性能混凝土板式构件为研究对象,通过实验测试了板式构件不同截面厚度位置处早期收缩分布情况,探讨混凝土早期收缩变形与温度、湿度发展过程。结果表明,混凝土板式构件的内部厚度方向不同位置处的相对湿度随龄期都呈现逐渐... 以桥面板等高性能混凝土板式构件为研究对象,通过实验测试了板式构件不同截面厚度位置处早期收缩分布情况,探讨混凝土早期收缩变形与温度、湿度发展过程。结果表明,混凝土板式构件的内部厚度方向不同位置处的相对湿度随龄期都呈现逐渐减小趋势,并呈现两阶段特征,同时,混凝土板式构件早期收缩变形厚度方向不同步,导致板式构件表面产生拉应力,当拉应力大于当时混凝土的抗拉强度时,混凝土表面就会出现浅层裂缝,这与实际工程中发现的板式构件表面开裂情况相吻合。混凝土板式构件早期收缩变形与相同配合比混凝土的早期自由收缩变形进行比较,引入相对约束度并建立了混凝土板式构件早期收缩变形的预测模型,并验证了该模型的准确性,其特点是能预测高性能混凝土板式构件不同截面厚度位置的早期收缩变形,对控制混凝土桥梁板式结构的早期收缩裂缝具有实际意义。 展开更多
关键词 高性能混凝土板构件 早期收缩变形 相对约束度 预测模型
在线阅读 下载PDF
矿用扩径式吸能构件吸能防冲特性研究 被引量:26
15
作者 杨巨文 唐治 +2 位作者 何峰 张莹莹 于永江 《振动与冲击》 EI CSCD 北大核心 2015年第8期134-138,143,共6页
为增强液压立柱的防冲性能,有效防治煤矿冲击地压,或在一定程度上减小冲击地压事故造成的损失,提出了一种与液压立柱结合使用的扩径式吸能构件。采用理论分析和试验研究方法,对构件吸能防冲特性进行研究,结果表明:轴向压缩下扩径式吸能... 为增强液压立柱的防冲性能,有效防治煤矿冲击地压,或在一定程度上减小冲击地压事故造成的损失,提出了一种与液压立柱结合使用的扩径式吸能构件。采用理论分析和试验研究方法,对构件吸能防冲特性进行研究,结果表明:轴向压缩下扩径式吸能构件具有非常好的稳定性和可重复性的变形破坏模式,且构件变形后向四周膨胀值仅为薄壁圆管厚度,几乎不占用其它空间。扩径式吸能构件压缩过程中具有较为理想的力-位移曲线。扩径式吸能构件冲程效率不受几何尺寸影响,扩径式防冲构件具有较小的载荷波动系数。理论推导得出了构件吸能防冲评价指标,并与试验结果具有较好吻合,为构件选取提供了理论依据。扩径式防冲构件是较为理想的吸能防冲构件。 展开更多
关键词 吸能防冲 冲击地压 扩径构件 试验研究
在线阅读 下载PDF
一个嵌入式软件构件的NFA量化度量模型 被引量:6
16
作者 王志刚 王民北 骆雷飞 《计算机工程》 EI CAS CSCD 北大核心 2006年第13期66-68,共3页
CBSD(Component Based Software Development)在嵌入式开发领域正逐步得到应用,软件构件的非功能属性(Non-FunctionalAttribute,NFA)对开发成功与否至关重要。现有的模型专注于构件复用框架的建立,通过建立一些框架模型进行定性的描述,... CBSD(Component Based Software Development)在嵌入式开发领域正逐步得到应用,软件构件的非功能属性(Non-FunctionalAttribute,NFA)对开发成功与否至关重要。现有的模型专注于构件复用框架的建立,通过建立一些框架模型进行定性的描述,缺乏量化的评定。该文通过建立一个层次分析模型,对影响嵌入式软件构件的NFA的各种不可度量的模糊描述,细分为每一个都可以进行测量的子属性,根据考察构件所应用领域的侧重点不同,赋予不同属性不同的影响权系数,进而计算出一个描述NFA的数值,在实际工程中可以作为构件NFA的考察指标。 展开更多
关键词 嵌入构件 非功能属性 层次分析 度量
在线阅读 下载PDF
基于嵌入式构件的编程语言融合技术研究 被引量:4
17
作者 黄奉孝 高艳华 张学军 《计算机工程与设计》 CSCD 北大核心 2012年第11期4138-4141,4181,共5页
为了解决构件化飞行控制软件开发过程中的汇编语言构件和C语言构件交互难题,提出了基于嵌入式构件编程语言融合的解决方案。对飞行控制软件的构件进行分析,指出根据功能需求选择适合的编程语言,并在此构件语言规则的基础上建立了语言融... 为了解决构件化飞行控制软件开发过程中的汇编语言构件和C语言构件交互难题,提出了基于嵌入式构件编程语言融合的解决方案。对飞行控制软件的构件进行分析,指出根据功能需求选择适合的编程语言,并在此构件语言规则的基础上建立了语言融合框架。结合ADSP21系列芯片上的实际情况,采用C语言体系结构框架调用汇编构件的方案,能很好地保证不同语言构件之间的交互,达到提高软件执行效率的最终目的。通过C语言主程序调用汇编语言和C语言单精度矩阵乘法构件作对比分析,验证汇编语言构件的高效性,以及该语言融合方案的稳定性和正确性。 展开更多
关键词 飞行控制软件 嵌入构件 编程语言 融合 ADSP21系列芯片
在线阅读 下载PDF
嵌入式应用中运行支撑框架的构件化技术研究 被引量:5
18
作者 冯庆 桑楠 熊光泽 《计算机科学》 CSCD 北大核心 2005年第3期152-155,共4页
为增强嵌入式软件的复用性、可移植性,缩短开发周期,通过研究现有的主流构件运行支撑技术,提出了一种面向嵌入式领域的运行支撑体系结构。为实现灵活、开放的嵌入式应用平台,本文首先建立了构件化的嵌入式运行支撑框架模型,然后结合PDA... 为增强嵌入式软件的复用性、可移植性,缩短开发周期,通过研究现有的主流构件运行支撑技术,提出了一种面向嵌入式领域的运行支撑体系结构。为实现灵活、开放的嵌入式应用平台,本文首先建立了构件化的嵌入式运行支撑框架模型,然后结合PDA手机领域重点分析了开放式HLA结构和虚拟OS平台等关键技术,最后利用伪代码示例探讨了该领域中应用平台的定制与扩展方法。 展开更多
关键词 嵌入构件 支撑框架 构件化技术 中间件 构件接口 嵌入操作系统
在线阅读 下载PDF
车用嵌入式开放系统的软构件研究 被引量:4
19
作者 栾鑫颖 孙晓民 《计算机应用研究》 CSCD 北大核心 2006年第4期57-59,共3页
研究适应于嵌入式领域的嵌入式构件是改进嵌入式软件开发方法的重要途径。首先阐述了嵌入式软构件的概念,对嵌入式软构件进行了深入总结分析,结合OSEK规范设计了车用OSEK嵌入式软构件,并提供了相应的开发支持工具。
关键词 嵌入构件 OSEK 汽车电子
在线阅读 下载PDF
钢筋混凝土叠合式受弯构件短期刚度的计算
20
作者 李树瑶 朱尔玉 《华北水利水电学院学报》 1992年第4期16-20,共5页
关键词 叠合受弯构件 短期刚度 钢筋混凝土构件
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部