论文部分内容阅读
Combination of Model Checking and Theorem Proving to Verify Embedded Software
【出 处】
：
中国邮电高校学报（英文版）
【发表日期】
：
2005年4期
其他文献
支持向量机(Support vector machines),作为一种新兴的学习机器,具有广阔的发展前景,但其性能依赖于参数选择,并且在实际工程中,这个问题一直没有得到较好的解决,在很大的程
针对未知环境下多移动机器人系统的路径规划问题,提出了一种新型的改进人工势场法.在吸引力、排斥力的基础上,按照统一规则对具有碰撞危险的多个机器人增加一旋转力,使它们同
随着我国钢产量和质量的逐步提高以及国家建筑技术政策的转变,近年来钢结构建筑,尤其是轻钢结构住宅在我国得到了非常快速的发展,介绍了我国轻钢结构住宅的应用与发展状况,分
国内整个ICT行业也开始了新一轮的打击不良和虚假信息的行动，同时推动相关市场的立法工作，为互联网及通信用户创造一个更加优良的服务空间。 2010年3·15消费者权益保护日的主题是“消费与服务”。对于以通信和互联网为代表的信息通信技术服务来说，要从技术的神坛走到大众当中，消费是必经之路，而服务则是重中之重。 每年3·15前夕，各行各业都小心翼翼。2010年3·15期间，搜索引擎、SP服务商，
我们现在可以做的,就是尽量把这些欺骗的手法公之于众,让更多的人了解这些手法,避免因此遭受各方面的损失。在手机和互联网逐渐普及之后,越来越多意欲通过手机和互联网行骗的
通过采用复合式氧化沟工艺来处理城市废水,主要对系统的运行条件进行了探讨.结果表明:在HRT为20h时,系统对污染物有更高更稳定的去除效果.COD及BOD5的去除率分别可达到90%和9