【摘 要】
：
近日，The Math Works宣布，其Simulink Verification and Validation软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAAB建模准则的合格性，这些建模准则已被国际航天
论文部分内容阅读
近日，The Math Works宣布，其Simulink Verification and Validation软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAAB建模准则的合格性，这些建模准则已被国际航天、汽车和工业设备市场广泛采用。用于这些安全关键标准的最新模型检查功能使Simulink Verification and Validation所提供的现有支持扩展到客户开发的建模准则。
其他文献
社会主义制度在中国确立前后,毛泽东就“以苏为戒”,总结自已已有的建设经验,开始探索适合中国情况的建设道路,在探索中尽管出现过这样或那样的失误,但取得的成就是很大的。
通过将复杂网络理论应用于城市交通中,分析当存在大量居民起讫点及路段时,城市交通中的Braess悖论现象。利用MATLAB建立一个双层城市交通网络,基于Braess悖论现象的成因,对城
电信现网上分布着各种通信能力,在互联网上也分布多种通信能力,本文说明了如何将这些分布的通信能力进行融合,提供跨运营商、跨网络架构、跨业务平台、面向客户的统一通信业务,介绍了在商务领航企业信息化平台上的具体实现,分析了业务实现中难点和主要技术。
李大钊(1889,10,29——1927,4,28)字守常,出生在河北省乐亭县大黑坨村一个农民的家庭。他“两岁丧父,三岁丧母”“既无兄弟,又鲜姊妹”,孤苦伶仃,靠老祖父教养成人。他幼年聪
为增强小波变换图像融合算法的实时性,提高视觉增强系统(EVS)可见光图像与红外图像实时融合的效率,提出了一种基于矩阵QR分解和小波变换的图像融合算法。该算法对原始图像的像素矩阵进行QR分解,再利用正交矩阵的性质,根据小波变换图像融合算法对QR分解得到的上三角矩阵进行分解融合,利用QR分解得到的正交矩阵逆变换得到融合图像。实验结果表明,该算法能获得较好的实时性,同时保证较好的融合效果。
为提高网络书店相似性搜索效率,降低时间和存储开销以适应大规模数据,提出一种基于P-Rank的相似性搜索优化算法ProductP-Rank。对相似性搜索算法进行分析和比较,指出相似性计
针对当前信任模型仿真缺乏理论支撑,仿真过程描述及建模步骤不规范的问题,将多Agent建模仿真方法应用于信任模型的仿真,建立信任模型Agent仿真过程框架.由信任模型微观机制入
近日，惠普公司推出了高扩展性服务器新产品SL6000和DL1000，旨在为使用Web2．0、云计算和高性能计算的企业节约大量费用和资源。
理性的职能是使“主观和客观、理论和实践、知和行的具体的历史的统一”，非理性并非洪水猛兽，而是启导理性的始端。中国是一个小生产者的王国，非理性的感情，常常冲击着理性思索。
近日，运城市委书记黄有泉到万荣县就旅游开发工作进行调研，黄有泉指出，万荣县要努力把黄河滩度假村建成“东方的威尼斯”。