论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
目前,随着人们对状态机的研究日趋深入,状态机的模型思想已应用到越来越多的领域,对于状态机模型的正确性和可靠性要求也越来越高,因此对于状态机测试显得越来越关键。现有的
【机 构】
：
哈尔滨工业大学
【出 处】
：
哈尔滨工业大学
【发表日期】
：
2016年期
其他文献
WiMAX(Worldwide Interoperability for Microwave Access，全球微波接入互操作)在2007年成为3G标准之一，是一种基于IEEE802.16标准的宽带无线接入城域网技术。由于其具备低成本
随着互联网技术的发展,电子商务成为人们日常生活中越来越不可缺少的一部分,随之而来的是用户意见和评论数据量的飞速增长。这些评论中包含了用户对某一领域相关功能、属性和
医学中的大部分疾病都和细胞行为有关。细胞图像分割与细胞跟踪是研究细胞行为的重要手段。传统细胞行为的研究往往是基于人工的方式,不但需要大量的人力,而且在跟踪细胞过程
作为密码学的新兴研究方向,量子密钥分发(Quantum Key Distribution,QKD)技术理论上被证明是无条件安全的,很好地解决了一次一密加密算法中长距离密钥分发的难题。误码协商是
随着数字化校园建设的逐步完善和发展,各种基于校园网的应用系统层出不穷。各种应用系统独立认证的弊端也逐渐突显出来,校园网络难以集中管理,用户访问不方便,安全性存在极大
近年来,我国煤矿安全事故频繁发生,造成了重大人员伤亡和经济损失,给许多家庭带去了沉重的伤痛。通过事故调查分析得知,绝大多数煤矿安全事故均源于矿井实时数据无法及时准确
边缘是图像中目标的灰度突变的部分，是图像的基本特征，是图像处理到图像分析阶段的关键步骤，是图像分割的重要内容，在边缘检测、模式识别和机器视觉等中有着重要的作用。
本
经过科研人员近三十年不懈的努力,基于图像的二维人脸识别已经在一定约束条件下取得了较高的识别率。但是由于二维图像信息的局限性,二维人脸识别无法解决姿势、光照和表情问
随着北京交通大学信息化建设的进行,在现有校园网的基础上,学校对面向本科生的校园管理信息系统进行改进,使其集成校园现有的各应用系统的数据,建立一个统一的平台,并在此基