通过预训练模型进行AttnGAN推理 运行推断 涉及三个步骤。 创建容器（可选地，选择cpu或gpu dockerfile： docker build -t "attngan" -f dockerfile.cpu . 运行容器： docker run -it --name attngan -p 8888:8888 attngan bash 运行jupyter笔记本。 学分 所有代码均已从借用。 此回购协议只是将评估api简化为一个Jupyter笔记本，而不是托管在Azure上。

这是我读书时的一次内部分享，现拿来与大家分享

keil4新建工程的模板，仅供参考，不允许商用及其他盈利目的的使用

Inside The C++ Object Model 简体中文清晰版 是学完C++基本语法之后，进阶学习C++的好读物。

Simulink 文件包含用于偏航稳定性研究的工作 4 自由度车辆模型。 您可以在沥青、湿沥青、冰雪路面条件之间切换。 请阅读自述文件。 使用以下方程构建的模型： Berntorp, K.、Olofsson, B.、Lundahl, K. 和 Nielsen, L.（2014 年）。 安全关键型道路车辆操纵中最佳轨迹生成的模型和方法。 车辆系统动力学，52（10），1304-1332。 https://doi.org/10.1080/00423114.2014.939094

The active geometric shape model: A new robust deformable shape model and its applications ，原文及matlab代码实现

econmoic_model 粤港澳大湾区金融数学建模一等奖作品(量化模型的建立) 在这里记录一下比赛时峥嵘的岁月，记录当年疯狂的青春，记录当初无数个挑灯野战的夜晚。 作者： 罗立旺 龚晓雪 张雯 首次上传于2021.2.14

Windows WDM 驱动程序 WDM驱动程序的基本结构”解释了Windows 2000用于管理I/O设备的基本数据结构，以及驱动程序与这些数据结构相联系的基本方式。我将讨论驱动程序对象和设备对象。还将讨论两个基本例程：DriverEntry和AddDevice，每个WDM驱动程序“容器”都包含这两个例程。 第三章，“基本编程技术”描述了一些最重要的服务函数，你可以调用这些函数来完成普通的编程工作。我还将讨论错误处理、内存管理，和其它一些编程技术。 第四章，“同步”讨论驱动程序怎样在多任务和多处理器的环境中同步访问共享数据，你将详细地学习IRQL，学习用操作系统提供的各种同步原语解决同步问题。 第五章，“I/O请求包”是本书的真正主题。我将解释I/O请求包从哪来，讨论IRP处理的“标准模型”。另外，我还将讨论一个更复杂的题目：IRP取消，它涉及到同步问题。 第六章，“即插即用”仅涉及到一种类型的I/O请求包，即IRP_MJ_PNP。PnP管理器通过发送这种IRP来报告设备的配置，并在设备存在期间向驱动程序通知重要事件。多数设计良好的PnP驱动程序不能使用“标准模型”来处理IRP。所以，我描述了一个名为DEVQUEUE的对象，你可以在PnP事件发生时使用它来正确地入队(queue)和出队(dequeue)IRP。 第七章，“读写数据”我们将在这一章里讨论执行I/O操作的驱动程序代码。我将讲述怎样从PnP管理器那里获得配置信息，怎样用这些信息初始化驱动程序，以使它能处理数据读写IRP。我还给出了两个简单的驱动程序例子：一个用于PIO设备，一个用于总线主控的DMA设备。 第八章，“电源管理”描述了驱动程序如何参与电源管理。电源管理颇为复杂。不幸的是，你必须参与系统的电源管理协议，否则整个系统将不能正常工作。 第九章，“专门问题”包含了对过滤器驱动程序、错误登记、I/O控制操作，和系统线程的讨论。 第十章，“Windows管理仪器”涉及一个企业范围的计算机管理方案，你的驱动程序能够并且也应该参与这个方案。我将解释如何为监视程序提供统计数据和性能数据，怎样响应标准的WMI控制，怎样向控制程序报告重要事件的发生。 第十一章，“USB总线”描述怎样写USB设备驱动程序。 第十二章，“安装设备驱动程序”告诉你怎样把驱动程序安装到用户系统中，你将学习INF文件的基本写法，还可以学到关于系统注册表的一些有趣并且有用的东西。 附录A，“Windows 98的不兼容处理”介绍一个基于VxD的方案，该方案允许你在Windows 98和Windows 2000平台上使用相同的驱动程序映像。由于Windows 2000出现在Windows 98之后，它输出了Windows 98没有输出或没有实现的服务例程，我将介绍一个短小的VxD程序，它可以解决这个问题。 附录B，“使用GENERIC.SYS”描述了GENERIC.SYS的公共接口。大部分驱动程序例子使用了这个库。 附录C，“使用WDMWIZ.AWX”描述了如何使用这个应用程序向导来创建一个驱动程序。我再提一下，WDMWIZ.AWX并不是一个商品化的工具包。

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. About the Authors Edmund M. Clarke, a pioneer of the automated method called Model Checking, is FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University, and a winner of the 2007 Turing Award given by the Association for Computing Machinery. Doron Peled is Professor of Computer Science at the University of Warwick, Coventry, UK. Endorsements "Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of

在微软实施零信任安全模型，Implementing a Zero Trust security model at Microsoft