检索结果-内蒙古大学图书馆

在《Windows 98和Windows NT 5.0的新Win32驱动程序模型综述》中,我描述了Win32 Driver Model(WDM)的基本结构,并表明了将用于DriverEntry和AddDevice去初始化一个WDM驱动程序的代码。在这篇文章中,我将通过描述如何去处理即插即用(PNP... 详细信息

在《Windows 98和Windows NT 5.0的新Win32驱动程序模型综述》中,我描述了Win32 Driver Model(WDM)的基本结构,并表明了将用于DriverEntry和AddDevice去初始化一个WDM驱动程序的代码。在这篇文章中,我将通过描述如何去处理即插即用(PNP)和电源管理I/O请求来结束对WDM的介绍。此外。

关键词：驱动程序模型 Windows98 Windows-NT Windows32

来源：评论

学校读者我要写书评

暂无评论

Windows驱动程序模型的设计与开发

引用

重庆邮电学院学报（自然科学版） 2001年第3期13卷 88-91,94页

作者：张伟张云麟重庆邮电学院程控研究所重庆400065

介绍了Ｗｉｎｄｏｗｓ驱动程序模型（ＷＤＭ：Ｗｉｎｄｏｗｓ　Ｄｒｉｖｅｒ　ｐｒｏｇｒａｍ　Ｍｏｄｕｌｅ的基本结构、设计和开发中的注意事项、基本步骤，并简单介绍了驱动程序的安装和调试。最后说明了编译设备驱动程序的方法。

关键词：操作系统 Windows 驱动程序模型程序设计

来源：评论

学校读者我要写书评

暂无评论

Windows 98和Windows NT5.0的新Win32驱动程序模型综述

引用

电脑编程技巧与维护 1998年第9期 38-39页

作者：李亚军陕西省子长县

为Windows98和Windows NT5.0而设计的Win32 Driver Model(WDM),其性点主要体现在以下四个功能区。第一,两个操作系统都有一个新的、共同的、基于Windows NT4.0驱动程序模型的接口集,它允许在Windows98和Windows NT5.0间的二进制兼容。... 详细信息

为Windows98和Windows NT5.0而设计的Win32 Driver Model(WDM),其性点主要体现在以下四个功能区。第一,两个操作系统都有一个新的、共同的、基于Windows NT4.0驱动程序模型的接口集,它允许在Windows98和Windows NT5.0间的二进制兼容。但不幸的是,那些标准的。

关键词：驱动程序模型操作系统 Windows Windows-NT

来源：评论

学校读者我要写书评

暂无评论

基于线程循环调度顺序化的中断驱动程序模型检测方法

基于线程循环调度顺序化的中断驱动程序模型检测方法

引用

作者：张媛吴逸飞屈磊吴兴国陈睿于婷婷孔维强 116024 辽宁省大连市甘井子区凌工路2号

本发明公开了一种基于线程循环调度顺序化的中断驱动程序模型检测方法，属于软件模型检测领域。首先收集输入的中断驱动程序的中断相关信息，如软件中包含的中断类型、数量、优先级等。初步的源到源的转化处理将中断驱动程序转化为标准... 详细信息

标准号: CN115033472B

本发明公开了一种基于线程循环调度顺序化的中断驱动程序模型检测方法，属于软件模型检测领域。首先收集输入的中断驱动程序的中断相关信息，如软件中包含的中断类型、数量、优先级等。初步的源到源的转化处理将中断驱动程序转化为标准多线程程序，然后使用关键步骤线程循环调度顺序化处理实现对随机中断、周期中断和事件触发中断的顺序化。最后，选择检测性质，将顺序化程序输入给限界模型检测工具，得到检测结果。该方法的程序顺序化过程实现对三种类型中断的顺序化处理，并支持中断的多级嵌套、中断去能使能的自动分析。该方法可用于真实的航天嵌入式软件的缺陷检测，如数组越界、除零错等，具有较强的实用性。

关键词：中断顺序化驱动程序循环调度线程驱动程序模型软件模型检测多线程程序嵌入式软件程序输入多级嵌套关键步骤过程实现检测结果模型检测缺陷检测事件触发相关信息选择检测中断类型周期中断自动分析越界可用使能限界转化航天检测

来源：评论

学校读者我要写书评

暂无评论

基于线程循环调度顺序化的中断驱动程序模型检测方法

基于线程循环调度顺序化的中断驱动程序模型检测方法

引用

作者：张媛吴逸飞屈磊吴兴国陈睿于婷婷孔维强 116024 辽宁省大连市甘井子区凌工路2号

标准号: CN115033472A

来源：评论

学校读者我要写书评

暂无评论

用于替换核心系统硬件的驱动程序模型

用于替换核心系统硬件的驱动程序模型

引用

作者： A·J·瑞茨 S·S·约德 E·D·沃克 T·C·赵 M·G·特里克尔美国华盛顿州

公开了用于替换分区单元的各装置和方法。公开了基于指定多个回调的驱动程序模型的通用和平台专用驱动程序。这些驱动程序使得能够替换分区单元而不必针对每一平台重新编译计算设备的固件和/或软件。该多个回调提供对在操作系统服务不... 详细信息

标准号: CN101553791B

公开了用于替换分区单元的各装置和方法。公开了基于指定多个回调的驱动程序模型的通用和平台专用驱动程序。这些驱动程序使得能够替换分区单元而不必针对每一平台重新编译计算设备的固件和/或软件。该多个回调提供对在操作系统服务不可用时安全使用的多个功能的访问。该多个回调包括，但不限于，初始化、转储和转移处理器状态回调。这些方法使用这些驱动程序来替换分区单元。较佳地，分区单元使用利用平台专用能力的平台专用分区单元替换(PUR)驱动程序来替换。

关键词：分区单元驱动程序操作系统服务驱动程序模型专用驱动程序处理器状态安全使用计算设备专用分区专用能力初始化编译软件转移

来源：评论

学校读者我要写书评

暂无评论

一种基于视窗驱动程序模型的视频设备集成方法及系统

一种基于视窗驱动程序模型的视频设备集成方法及系统

引用

作者：唐健陈毅林付文成 518049 广东省深圳市福田区梅林路十七号捷顺大厦

本发明公开了一种基于视窗驱动程序模型的视频设备集成方法，包括：获取物理视频设备的IP地址和端口及软件开发工具包SDK，所述物理视频设备包括硬盘录像机或IP摄像机；调用视窗驱动程序模型WDM，根据获取的所述IP地址和端口及SDK，为... 详细信息

标准号: CN102984504A

本发明公开了一种基于视窗驱动程序模型的视频设备集成方法，包括：获取物理视频设备的IP地址和端口及软件开发工具包SDK，所述物理视频设备包括硬盘录像机或IP摄像机；调用视窗驱动程序模型WDM，根据获取的所述IP地址和端口及SDK，为所述物理视频设备的每个通道生成相应的基于WDM的虚拟视频设备；将所述物理视频设备的视频信号处理成为所述虚拟视频设备的视频源。本发明实施例还提供相应的系统。本发明技术方案通过生成虚拟视频设备的方式实现了视频设备与安防系统的集成，具有难度低，效率高，在后期应用中不容易出现问题的优点，并具有较高的质量和稳定性以及普适性。

关键词：视频设备虚拟视频驱动程序模型视窗软件开发工具包视频信号处理硬盘录像机安防系统集成方法摄像机视频

来源：评论

学校读者我要写书评

暂无评论

一种基于视窗驱动程序模型的视频设备集成方法及系统

一种基于视窗驱动程序模型的视频设备集成方法及系统

引用

作者：唐健陈毅林付文成 518049 广东省深圳市福田区梅林路十七号捷顺大厦

标准号: CN102984504B

关键词：视频设备虚拟视频驱动程序模型视窗软件开发工具包视频信号处理硬盘录像机安防系统普适性视频源调用应用

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：