证据生成相关论文
信息融合技术能够实现多源信息的表示、推理和融合决策等功能，但是，由于传感器自身性能及工作环境中噪声干扰的影响，使得观测信息常具......
模型检测是公认的一种比较有效的验证系统正确性和可靠性的方法。在一些安全至关重要的领域检测预知系统的响应时间、事件调度的延......
上世纪80年代以来,高等教育研究所的陆续设立,是我国高校尝试借助决策咨询实现科学决策目标的重要标志。虽然各学校从组织机构、规......
数据竞争是多线程程序最为常见的问题之一。由于线程交织导致状态空间爆炸,多线程程序数据竞争引起的错误检测难度大、成本高、精......
