检索结果-维普期刊中文期刊服务平台

程序条件化用于软件模型检测中的状态空间缩减被引量：1: 1; 作者肖健宇张德运 +1 位作者郑卫斌张勇《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第4期377-380,共4页; 针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件... 展开更多; 关键词程序条件化软件模型检测状态空间缩减符号化执行线性时序逻辑; 在线阅读下载PDF 职称材料

一种基于肤色和脸部特征的人脸特征点检测算法被引量：1: 2; 作者李晗辛威窦爱萍《航空计算技术》 2006年第1期106-109,共4页; 人脸检测通常是人机系统中人机交互的第一步,像人机系统中基于人体特征的用户身份识别,计算机对用户感情和意图的理解等。本文提出了一种用于办公室环境下的彩色图像中人脸检测算法。基于一种新的肤色检测算法,对图像进行肤色区域检测... 展开更多; 关键词人机系统人脸检测人脸特征模板人脸特征提取; 在线阅读下载PDF 职称材料

电子信息技术与企业档案管理被引量：2: 3; 作者党艳平《信息通信》 2012年第2期148-149,共2页; 在研究了我国档案管理的现状的基础上,提出如何使电子信息技术应用于企业档案管理,旨在建立和探索企业档案管理新方法、新理念和新模式。; 关键词电子信息技术企业档案管理应用; 在线阅读下载PDF 职称材料