期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
覆盖率驱动的芯片功能验证设计与实现 被引量:3
1
作者 罗莉 何鸿君 +1 位作者 窦强 徐炜遐 《计算机工程与科学》 CSCD 北大核心 2013年第1期36-40,共5页
随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流... 随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。 展开更多
关键词 覆盖率驱动 功能验证 PSL systemvERILOG
在线阅读 下载PDF
Unix System V IPC及共享内存机制分析 被引量:3
2
作者 郭学理 高世杰 《计算机应用研究》 CSCD 北大核心 2001年第4期39-40,63,共3页
介绍了Unix System V IPC(InterProcess Communication)及共享内存区的通信机制;以及IPC机制与Unix内核之间的关联.最后给出应用实例:共享内存区在电子公告板BBS系统上的实现.
关键词 systemv 共享内存 UNIX 操作系统 进程通信 IPC
在线阅读 下载PDF
Linux中System V进程通信机制安全性形式化验证 被引量:1
3
作者 吴丹 刘芳 +1 位作者 戴葵 王志英 《计算机工程与科学》 CSCD 2002年第2期13-17,共5页
基于Linux开发安全操作系统是提高计算机安全的重要途径 ,而形式化验证则是开发过程的重要和必要的环节。我们从Linux的各个子系统着手进行验证 ,逐步搭建起整个操作系统的验证模型。考虑到访问控制机制是实现操作系统安全性的关键 ,本... 基于Linux开发安全操作系统是提高计算机安全的重要途径 ,而形式化验证则是开发过程的重要和必要的环节。我们从Linux的各个子系统着手进行验证 ,逐步搭建起整个操作系统的验证模型。考虑到访问控制机制是实现操作系统安全性的关键 ,本文主要讨论使用SPIN模型检验器对IPC子系统中的SystemV进程通信机制进行形式化验证的过程与方法 ,查找安全漏洞并改进现有的机制 ,为开发工作提供理论上的保证。 展开更多
关键词 LINUX systemv 进程通信机制 安全性 形式化验证 操作系统 计算机网络
在线阅读 下载PDF
Linux中System V进程通信机制及访问控制技术的改进 被引量:5
4
作者 龚丽敏 李天宁 +1 位作者 茅兵 谢俊元 《计算机应用研究》 CSCD 北大核心 2001年第4期35-38,共4页
简述了消息队列、共享内存和信号量达三种通信机制的结构及其实现,并以此为基础,提出了通过实现进程间通信的强制访问控制来提高系统安全性的方法.
关键词 进程通信 消息队列 访问控制 LINUX 操作系统 systemv
在线阅读 下载PDF
An Intelligent Decision Support System for Lung Cancer Diagnosis
5
作者 Ahmed A.Alsheikhy Yahia F.Said Tawfeeq Shawly 《Computer Systems Science & Engineering》 SCIE EI 2023年第7期799-817,共19页
Lung cancer is the leading cause of cancer-related death around the globe.The treatment and survival rates among lung cancer patients are significantly impacted by early diagnosis.Most diagnostic techniques can identi... Lung cancer is the leading cause of cancer-related death around the globe.The treatment and survival rates among lung cancer patients are significantly impacted by early diagnosis.Most diagnostic techniques can identify and classify only one type of lung cancer.It is crucial to close this gap with a system that detects all lung cancer types.This paper proposes an intelligent decision support system for this purpose.This system aims to support the quick and early detection and classification of all lung cancer types and subtypes to improve treatment and save lives.Its algorithm uses a Convolutional Neural Network(CNN)tool to perform deep learning and a Random Forest Algorithm(RFA)to help classify the type of cancer present using several extracted features,including histograms and energy.Numerous simulation experiments were conducted on MATLAB,evidencing that this system achieves 98.7%accuracy and over 98%precision and recall.A comparative assessment assessing accuracy,recall,precision,specificity,and F-score between the proposed algorithm and works from the literature shows that the proposed system in this study outperforms existing methods in all considered metrics.This study found that using CNNs and RFAs is highly effective in detecting lung cancer,given the high accuracy,precision,and recall results.These results lead us to believe that bringing this kind of technology to doctors diagnosing lung cancer is critical. 展开更多
关键词 Lung cancer artificial intelligence CNN computer-aid diagnosis HISTOGRAM image segmentation decision support systemv
在线阅读 下载PDF
Bull和大型Unix系统
6
作者 杨英 《管理观察》 1997年第2期42-42,共1页
关键词 UNIX系统 多处理器系统 操作系统 研制和生产 SOLARIS 服务器 应用问题 systemv 专门问题 新型服务
在线阅读 下载PDF
自动控制原理在学习生活中的运用
7
作者 张星红 王汝锋 赵志国 《科技资讯》 2020年第17期163-163,165,共2页
自动控制原理是一门以"抽象化、强理论"而著称的课程,如何提高教师教学质量,提高学生学习兴趣,成了亟待思考的教学改革问题。"知行合一"的理论教学模式是一种良好的改革方式。致力于课本上学的理论知识应用于学生... 自动控制原理是一门以"抽象化、强理论"而著称的课程,如何提高教师教学质量,提高学生学习兴趣,成了亟待思考的教学改革问题。"知行合一"的理论教学模式是一种良好的改革方式。致力于课本上学的理论知识应用于学生学习和生活,提倡"在生活中学习,学习是为了生活"的理念。将常遇到现象的例子引入课堂,旨在轻松中掌握理论知识,并学以致用。 展开更多
关键词 自动控制原理 教学改革 控制系统
在线阅读 下载PDF
《涂料行业智能工厂通用技术要求》《涂料行业智能工厂评价规范》团体标准解读
8
作者 项进解 《中国涂料》 CAS 2022年第10期8-16,23,共10页
综合介绍了《涂料行业智能工厂通用技术要求》《涂料行业智能工厂评价规范》两项团体标准的制定过程、制定目的、标准技术要求和评价规范指标体系的内容,以期大家能全面了解和理解涂料行业智能工厂通用技术要求及其评价规范,以利行业人... 综合介绍了《涂料行业智能工厂通用技术要求》《涂料行业智能工厂评价规范》两项团体标准的制定过程、制定目的、标准技术要求和评价规范指标体系的内容,以期大家能全面了解和理解涂料行业智能工厂通用技术要求及其评价规范,以利行业人士共同促进涂料行业智能制造技术和水平的规范化提升和普及应用。 展开更多
关键词 智能制造 智能工厂 团体标准 信息化 数字化 网络化 智能化 评价体系
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部