排序方式: 共有23条查询结果,搜索用时 15 毫秒
1.
2.
3.
5.
大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础上,提出了一种具有精确语义的实时构件描述机制-RTCS,并探讨了在实时COR—BA架构内利用RTCS实现构件自动生成的方法。 相似文献
6.
7.
8.
潞安矿务局王庄煤矿综掘二队是我国煤炭工业战线上的一支骁勇善战的综掘队伍。多年来,发扬煤矿工人特别能战斗的拼搏精神,依靠技术进步,强化队组管理,战胜了矿井水平延深、矿压增大、构造增多、综掘设备老化等客观因素带来的种种困难,克服了市场疲软带来的不利影响,不断进取,勇攀高峰,连续11 a 实现安全掘进进尺超万米,保持了综掘进尺全国领先水平,被誉为全国煤炭行业的“综掘之冠”。 相似文献
9.
10.
用Venusil ASB-C18(4.6×250mm,5μm)色谱柱,流动相为庚烷基磺酸钠:乙腈(pH3.2)=90:10(体积比),流速为1.0mL/min.检测波长240 nm的色谱条件下,经提取处理并经混合型阳离子交换柱固相萃取净化,对肉及肉制品中的三聚氰胺残留进行测定,结果表明在0.5μg~100.0μ之间有较好的线性关系,r=0.9996.回收率在87%~94%,RSD为3.8%~4.2%(n=6). 相似文献