12、公共宣告逻辑的模型检查

公共宣告逻辑的模型检查

1. 引言

在多机器人系统中,代理人通过传感器感知事物并通过某些通信渠道获得信息。为了形式化这些过程,动态认识逻辑(Dynamic Epistemic Logic, DEL)应运而生。DEL旨在表达关于代理人知识的属性,并在多主体设置中模拟信息变化。公共宣告逻辑(Public Announcement Logic, PAL)是DEL的一个重要片段,它通过公共宣告来更新代理人的知识状态。本章将深入探讨符号模型针对具有任意公共宣告和群组宣告的认识论逻辑的模型检查问题,并展示如何将其归约为单调二阶逻辑(Monotone Monadic Second-Order Logic, MMSO)的可满足性问题。

2. 符号模型检查

符号模型是一种通过所有方式描述的模型,而不是以扩展方式指定的。符号模型检查的核心是验证给定模型是否满足给定属性。在多机器人系统中,符号模型可以有效地表示所有可能的状态和转换,而无需枚举每个具体的状态。

2.1 符号模型的特点

符号模型具有以下特点:
- 紧凑表示 :符号模型可以紧凑地表示大量状态,避免了扩展表示带来的存储和计算问题。
- 高效推理 :符号模型允许高效地进行逻辑推理,特别是在处理大规模系统时。

2.2 符号模型的表示方法

符号模型可以通过可达性关系(Accessibility Relation)来表示。可达性关系定义了代理人之间的知识关系,具体来说,每个代理人有一个不可区分性关系(Indistinguishability Relation),用于

相关推荐

文心5.0十大隐藏功能实战指南:模型版本管理、多模态解构与AI生产力杠杆

大语言模型(LLM)和多模态AI已从技术概念进入日常办公场景,其核心价值在于可控推理与可复用能力封装。文心5.0通过模型版本快照、中间层attention可视化、动态术语注入等机制,将抽象的AI能力转化为确定性操作路径——这本质上是提示工程工业化与模型行为可审计化的体现。技术价值体现在降低专业门槛、锁定输出一致性、支撑合规交付;典型应用场景覆盖法律文书审查、医疗报告生成、电商图像质检、企业智能分析等。本文聚焦真实可用的隐藏指令与底层原理,如/timemachine实现模型灰度回溯、/deconstruct暴

a4512138的专栏 477

容器化AI工作台:面向推理与微调的开箱即用GPU云平台

AI工作台是支撑大模型推理与微调的一站式工程化平台,其核心在于将复杂AI环境封装为可复现、可验证的容器镜像。它基于CUDA、PyTorch、vLLM等技术栈构建确定性运行时,通过AI Tested三重验证(功能、性能、稳定性)保障模型开箱即用。相比传统GPU云仅提供算力,AI工作台聚焦‘最短路径抵达可用状态’,显著降低环境配置、版本冲突、量化兼容等非计算类瓶颈,广泛应用于模型服务化、教学实验、初创AI产品快速验证等场景。容器化与AI Tested共同构成现代AI基础设施的关键演进方向。

weixin_33725239的博客 471

网络工程师实战指南:从OSI模型到企业网搭建与排错

计算机网络是现代信息系统的基石,其核心在于理解数据如何在协议栈的层层封装与解封装中实现端到端通信。OSI七层模型与TCP/IP协议栈为此提供了理论框架,而子网划分、VLAN、路由协议等技术则是实现高效、安全网络互联的关键。掌握这些原理与技术,对于构建稳定可靠的企业网络、进行日常运维与故障排查具有极高的工程实践价值。本文聚焦于网络工程师的核心技能,通过模拟企业网络搭建的实战案例,系统讲解从二层交换、三层路由到NAT、OSPF等关键配置,并融入xshell6网络工程师高亮等实用工具技巧,帮助读者将零散知识点串联

weixin_34341117的博客 354

Mythos:首个可规模化漏洞挖掘的AI安全模型解析

漏洞挖掘正从人工经验驱动转向AI原生自动化,其核心是将攻击意图、系统约束与路径可行性建模为可计算的因果推理链。随着大模型在代码理解、符号执行与多步推理能力上的突破,‘自主生成可验证exploit’已从研究概念进入工程实践阶段。Claude Mythos 作为首个在真实攻击模拟中系统性超越人类白帽的模型,标志着AI安全能力正式迈入‘推理时计算调度’新范式——即通过动态预算分配、红队博弈训练与执行围栏机制,在保障目标对齐的同时实现端到端漏洞发现闭环。该能力已在金融、医疗等关键系统渗透测试、CI/CD安全门禁及开

weixin_30520015的博客 409

Claude Opus 4.7不是新模型,而是系统提示词与推理引擎的工程升级

大语言模型服务正从‘重训权重’转向‘轻量可控’的工程化演进。系统提示词(System Prompt)作为引导模型行为的核心控制层,其结构化、领域化、协议化设计,直接影响输出可靠性与合规性;而推理引擎的动态Token预算分配机制,则决定了长思考任务的逻辑完整性与多步推演稳定性。二者协同构成新一代AI服务的底层可控性基础——不改变模型能力上限,却极大提升能力落地精度。这种更新模式已广泛应用于法律合同审查、金融研报生成、医疗指南解读等强约束、高容错场景,成为企业构建可审计、可验证、可演进AI应用的关键实践路径。

weixin_33701617的博客 390

GPT-5.5不是新模型,而是企业级智能体运行时

智能体(Agent)是当前AI工程化落地的核心范式,其本质是将大语言模型从被动问答系统升级为主动执行任务的数字员工。它依托目标分解、工具调用与结果验证三大原理,实现端到端任务闭环,显著提升业务流程的可靠性与可审计性。相比传统Prompt工程,智能体更强调结构化指令、精确工具Schema和运行时契约,技术价值体现在降低人工盯防成本、减少链路错误率、支持长周期任务恢复。典型应用场景包括自动化销售报告生成、合规图像生产、客服工单闭环处理等。本文聚焦GPT-5.5作为首个商用级智能体运行时(Agent Runtim

weixin_30292745的博客 385

Claude CGL层语义熔断机制与高通过率Prompt设计

在大模型API服务中,输入请求的语义稳定性正成为影响调用成功率的核心指标。Contextual Gate Layer(CGL)作为一种前置式语义熵校验机制,通过计算token间上下文共现强度(Semantic Anchoring Strength, SAS)实施硬性熔断,其0.92阈值导致大量中性解释类、多跳推理类请求被拦截。该机制标志着AI服务从‘功能可用’向‘风险可控’范式迁移,对开发者提出全新工程要求:需兼顾语义锚定密度与指令结构化程度。本文聚焦CGL的数学原理、三类高频失败模式及可落地的Prompt

1402

AI漏洞挖掘新范式:从代码补全到自主利用的跃迁

大模型安全能力正经历从‘语法正确’到‘语义理解’的根本转变。传统AI编程工具仅能生成合规代码,而新一代模型已具备构建系统状态模型、逆向推演控制流、动态模拟漏洞利用路径的能力——这本质上是将AI从‘程序员助手’升级为‘自动化红队’。其技术价值在于突破人工审计瓶颈,实现对陈旧组件、废弃协议、长尾路径等高危盲区的全覆盖扫描;典型应用场景包括金融核心系统漏洞猎杀、开源供应链深度审计与企业级攻防对抗推演。Claude Mythos所展现的SWE-bench Pro 77.8%通过率与AISI攻击链22/32步完成度,

dielucui7698的博客 438

Claude Opus 4.7的差异化能力削减机制解析

大语言模型的安全治理正从被动过滤转向主动架构约束。差异化能力削减(differential capability reduction)是一种在推理层嵌入结构性抑制的新型安全范式,其原理并非简单关键词屏蔽,而是通过动态注意力掩码、logits钳制与上下文感知的语义审查,在数学层面阻断高危能力的生成路径。该技术显著提升模型对恶意意图的识别精度,但也带来合规性与实用性之间的张力。典型应用场景包括网络安全审计、API风险评估与渗透测试辅助,尤其适用于需兼顾NIST SP 800-53、OWASP Top 10等标准

weixin_33766168的博客 463

基于Spring AI Alibaba与MCP协议构建智能数据治理Agent

数据治理是企业数据资产管理的核心环节,旨在通过规范化的流程与工具确保数据的准确性、一致性与可用性。其核心原理在于建立统一的数据标准、模型与质量监控体系,以解决数据孤岛、口径不一等痛点。随着AI技术的发展,传统规则驱动的治理模式在应对非结构化数据与复杂场景时面临局限。通过引入AI Agent技术,结合大语言模型的语义理解与推理能力,能够实现数据治理的智能化升级。Spring AI Alibaba作为AI工程化框架,提供了统一的大模型集成抽象;而MCP协议则实现了AI能力与外部工具的安全、标准化对接。两者结合,

weixin_34174105的博客 495

Monica:本地化AI浏览器如何重构人机交互范式

浏览器作为人机交互的核心入口,其本质正从‘内容展示工具’演进为‘意图执行引擎’。随着大模型轻量化与网页语义理解技术突破,本地运行的AI代理开始具备实时解析DOM、结构化提取信息、自然语言驱动操作的能力。这类技术不再依赖云端推理,规避了数据上传风险,同时通过WebDOM Tokenizer、量化小模型(如TinyLlama-1.1B)和隐蔽JS注入等手段,在隐私前提下实现高精度网页自动化。它已渗透电商监控、法律条款分析、教育自适应等强场景,标志着AI交互正从‘搜索—点击—浏览’转向‘说即所做’。Monica正

679

Debian 10下Certbot standalone模式获取HTTPS证书完整指南

HTTPS证书是现代Web服务的基础安全组件,其核心在于通过ACME协议完成域名所有权验证。Let’s Encrypt作为主流免费CA,支持HTTP-01和DNS-01两种挑战方式,其中standalone模式专为轻量、解耦、原子化验证而设计——它绕过Nginx/Apache等Web服务器依赖,自启临时HTTP服务响应验证请求,将问题收敛至端口可用性与网络连通性层面。该模式特别适用于纯后端服务、裸机初始化环境及安全加固后仅监听回环地址的场景,是Debian 10等传统Linux发行版中稳定获取单域名证书的首

weixin_34210740的博客 349

Mythos如何重塑AI安全:从漏洞发现到零日挖掘的范式革命

AI安全正经历从‘人工渗透’到‘自主推理’的根本性转变。随着大模型在代码理解、语义建模与反事实推理能力上的突破,传统基于规则匹配和模糊测试的漏洞挖掘方式已显乏力。以Mythos为代表的新型AI系统,依托SWE-bench Pro、CyberGym等专业基准验证,在源码级逻辑漏洞识别、跨层状态机分析及零日利用生成方面实现质的飞跃。其技术价值在于将安全能力从静态模型参数解耦为可扩展的推理预算函数,推动防御体系从合规驱动转向能力驱动。典型应用场景涵盖金融核心系统红队演练、开源项目自动化审计、企业级AI安全流水线构

weixin_30786657的博客 571

Mythos如何实现AI驱动的零日漏洞自动化挖掘

零日漏洞挖掘正从依赖专家经验的手工艺术,转向基于大模型的自动化工程实践。其核心原理是将源码、二进制与协议抽象为可推理的状态机,结合反事实推理与跨层语义理解,在无先验POC条件下自主推导攻击路径。这一能力突破了传统模糊测试与符号执行的边界,显著提升漏洞发现效率与深度,技术价值体现在对SWE-bench Pro、CyberGym等专业基准的大幅超越,并已在金融、医疗、工业系统等高敏场景中触发主动红队演练与补丁响应机制。本文聚焦Mythos在真实软件工程上下文中的漏洞定位与利用生成能力,解析其如何重塑安全研发工作

frank1998819 509

双闭环PWM整流器VOC控制 +SVPWM调制仿真(Simulink仿真实现)

内容概要:本文详细介绍了基于Simulink平台构建的双闭环PWM整流器VOC(虚拟磁链定向控制)与SVPWM(空间矢量脉宽调制)相结合的仿真模型,系统阐述了三相电压型PWM整流器在电压定向控制策略下的建模方法与控制实现。通过设计外环直流电压控制与内环电流控制的双闭环结构,实现了对整流器的高功率因数运行、能量双向流动及动态性能优化的精确调控。结合SVPWM调制技术,有效提升了直流侧电压利用率并显著降低输出电流谐波含量,增强了系统的整体效率与稳定性。该仿真模型适用于新能源发电、电动汽车充电系统、微电网等高性能电能变换应用场景,文档还配套提供了丰富的学习资源与技术支持渠道,便于深入研究与工程实践。; 适合人群:面向电气工程、自动化、电力电子及相关专业的高校学生、科研人员以及从事新能源、智能电网、电力传动等领域研发工作的工程师;尤其适合已具备自动控制理论、电力电子变换技术和MATLAB/Simulink仿真基础的专业人士进一步深化学习与应用。; 使用场景及目标:①深入理解PWM整流器的工作机理及其双闭环控制系统的架构设计;②掌握VOC控制与SVPWM调制的协同工作机制,提升系统动静态响应性能;③支撑科研课题、课程设计、毕业设计或实际工程项目中的整流器控制系统开发与验证;④作为高级电能变换技术的学习范例,促进对现代电力电子系统控制策略的综合理解与创新能力培养。; 阅读建议:建议结合文中提供的百度网盘链接与公众号资源,下载完整的Simulink仿真模型进行实操演练,在MATLAB环境中调整控制器参数并观察仿真结果,深入剖析控制逻辑与系统响应特性;同时可参考同系列资源如PI双闭环控制、电网不平衡工况下的控制策略等案例,开展对比分析与拓展研究,全面提升系统建模与控制设计的综合能力。

嵌入式C开发必备:用Cursor规则搞定代码风格检查(附Pikachu项目实战)

本文以Pikachu开源项目为例,详细介绍了如何利用Cursor的AI代理规则系统,为嵌入式C开发项目配置一套完整的代码风格检查与规范执行方案。通过实战演示,指导开发者创建项目级规则,实现命名、格式、硬件抽象层及驱动开发的自动化规范,从而提升代码一致性、可维护性和团队协作效率。

weixin_29181861的博客 598

ESP32C3的I2S接口详解:以驱动PCM5102A为例,避开时序与配置的那些坑

本文深入解析ESP32C3的I2S接口驱动PCM5102A DAC的完整解决方案,涵盖时序对齐、PCB优化和寄存器级配置。通过实际案例分享时钟树分析、信号完整性设计和底层调试技巧,帮助开发者避开常见陷阱,实现高质量音频输出。重点探讨了I2S协议栈、电源滤波优化及DMA传输异常处理等关键技术要点。

weixin_30254435的博客 298

LEAP模型—低排放分析平台

LEAP 正在迅速成为进行综合资源规划、温室气体 (GHG) 缓解评估和低排放发展战略 (LEDS) 的国家的事实标准,尤其是在发展中国家,许多国家也选择使用 LEAP 作为其承诺的一部分向联合国气候变化框架公约(UNFCCC)报告。至少有 32 个国家使用 LEAP 来创建能源和排放情景,这些情景是其国家自主气候变化贡献计划 (INDC) 的基础:具有历史意义的巴黎气候协议的基础旨在表明各国开始经济脱碳的意图和投资于气候适应力。

weixin_54697010的博客 3280

SystemVerilog新手实战指南:iverilog与VScode的完美组合

本文为SystemVerilog新手提供了一套高效入门方案,详细介绍了如何利用开源编译器iverilog与轻量编辑器VScode搭建学习环境。内容涵盖十分钟快速安装配置、首个工程从编码到查看波形的完整流程,并演示了动态数组和队列等SystemVerilog新特性的使用,旨在帮助初学者避开复杂商业工具,快速掌握数字电路设计与验证的核心技能。

f6g7h8i9j的博客 513

Mac电脑本地安装Stable Diffusion小白教程避开所有坑教程

如果出现黄字部分警告,如WARNING: The scripts pip, pip3 and pip3.9 are installed inz‘/usr/local/opt/python@3.9/Frameworks/Python.framework/Versions/3.9/bin’ which is not on PATH)需要将其添加到path。下载pip,输入:curl https://bootstrap.pypa.io/pip/get-pip.py -o get-pip.py。

jackerjin123的博客 1799

YOLO蒸馏原理篇之---MGD、CWD蒸馏

本文详细介绍了特征蒸馏中的两种经典有效方法,MGD和CWD蒸馏

qq_41920323的博客 3240

基于Linux的PCIe设备驱动开发入门到精通-- 11.2 锁机制与并发控制 (自旋锁、互斥锁) 11.3 性能瓶颈分析与优化建议

本文探讨Linux驱动开发中的性能优化方法论,重点聚焦并发控制与性能瓶颈分析。从锁机制选择(自旋锁、互斥锁等)到工具使用(ftrace、perf),详细介绍了定位锁竞争和CPU热点的实战步骤,包括ftrace事件跟踪和perf火焰图分析。针对常见性能瓶颈(CPU/内存/I/O/锁竞争),提出了锁粒度优化、无锁结构替换、中断处理优化等解决方案。强调性能优化需要理论结合实践,通过"假设-测量-验证"的循环持续迭代。为开发者提供了一套从问题定位到解决的完整方法论,助力开发高性能工业级驱动。

MHD0815的博客 126

从零到一构建一个智能爬虫 Agent 完整教程

本文将打造一个具备自主决策、动态解析、反反爬、持久化能力的智能爬虫 Agent

数据知道的博客 4793

LinePhone3.2.7(android端最新版本) sip客户端

SIP客户端For android:LinePhone3.2.7(最新版本),官网地址:http://www.linphone.org/

C# WinForm 基于DirectShow.dll编写的程序,可边预览边保存视频,音频和图片

基于微软的DirectShow.dll的二次开发1.自动识别连接的摄像头跟麦克风且可以对其进行选择(默认选中第一个)2.可录制wmv和avi两种格式的视频并且都带有音频,avi可以录制的分辨率和帧数进行选择,wmv默认进行了淸晰度优化如不喜欢可去除代码中有相关提示3.可在预览点开之后进行拍照,也可边录制视频边拍照4.添加了视频和音频的压缩功能(酌情使用)这次二次开发发现C#对DirectShow的相关信息太少,这次做完也不敢藏私共享出来,还望大家指正

IEM模型,地表粗糙度模拟

利用微波反演土壤水分时候,利用IEM模型可以实现对随机地表的模拟

深度学习工具包 DeepLearningToolbox

深度学习工具包Deprecation notice.-----This toolbox is outdated and no longer maintained.There are much better tools available for deep learning than this toolbox, e.g. [Theano](http://deeplearning.net/software/theano/), [torch](http://torch.ch/) or [tensorflow](http://www.tensorflow.org/)I would suggest you use one of the tools mentioned above rather than use this toolbox.Best, Rasmus.DeepLearnToolbox================A Matlab toolbox for Deep Learning.Deep Learning is a new subfield of machine learning that focuses on learning deep hierarchical models of data.It is inspired by the human brain's apparent deep (layered, hierarchical) architecture.A good overview of the theory of Deep Learning theory is[Learning Deep Architectures for AI](http://www.iro.umontreal.ca/~bengioy/papers/ftml_book.pdf)For a more informal introduction, see the following videos by Geoffrey Hinton and Andrew Ng.* [The Next Generation of Neural Networks](http://www.youtube.com/watch?v=AyzOUbkUf3M) (Hinton, 2007)* [Recent Developments in Deep Learning](http://www.youtube.com/watch?v=VdIURAu1-aU) (Hinton, 2010)* [Unsupervised Feature Learning and Deep Learning](http://www.youtube.com/watch?v=ZmNOAtZIgIk) (Ng, 2011)If you use this toolbox in your research please cite [Prediction as a candidate for learning deep hierarchical models of data](http://www2.imm.dtu.dk/pubdb/views/publication_details.php?id=6284)```@MASTERSTHESIS\{IMM2012-06284, author = "R. B. Palm", title = "Prediction as a candidate for learning deep hierarchical models of data", year = "2012",}```Contact: rasmusbergpalm at gmail dot comDirectories included in the toolbox-----------------------------------`NN/` - A library for Feedforward Backpropagation Neural Networks`CNN/` - A library for Convolutional Neural Networks`DBN/` - A library for Deep Belief Networks`SAE/` - A library for Stacked Auto-Encoders`CAE/` - A library for Convolutional Auto-Encoders`util/` - Utility functions used by the libraries`data/` - Data used by the examples`tests/` - unit tests to verify toolbox is workingFor references on each library check REFS.mdSetup-----1. Download.2. addpath(genpath('DeepLearnToolbox'));Example: Deep Belief Network---------------------```matlabfunction test_example_DBNload mnist_uint8;train_x = double(train_x) / 255;test_x = double(test_x) / 255;train_y = double(train_y);test_y = double(test_y);%% ex1 train a 100 hidden unit RBM and visualize its weightsrand('state',0)dbn.sizes = [100];opts.numepochs = 1;opts.batchsize = 100;opts.momentum = 0;opts.alpha = 1;dbn = dbnsetup(dbn, train_x, opts);dbn = dbntrain(dbn, train_x, opts);figure; visualize(dbn.rbm{1}.W'); % Visualize the RBM weights%% ex2 train a 100-100 hidden unit DBN and use its weights to initialize a NNrand('state',0)%train dbndbn.sizes = [100 100];opts.numepochs = 1;opts.batchsize = 100;opts.momentum = 0;opts.alpha = 1;dbn = dbnsetup(dbn, train_x, opts);dbn = dbntrain(dbn, train_x, opts);%unfold dbn to nnnn = dbnunfoldtonn(dbn, 10);nn.activation_function = 'sigm';%train nnopts.numepochs = 1;opts.batchsize = 100;nn = nntrain(nn, train_x, train_y, opts);[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.10, 'Too big error');```Example: Stacked Auto-Encoders---------------------```matlabfunction test_example_SAEload mnist_uint8;train_x = double(train_x)/255;test_x = double(test_x)/255;train_y = double(train_y);test_y = double(test_y);%% ex1 train a 100 hidden unit SDAE and use it to initialize a FFNN% Setup and train a stacked denoising autoencoder (SDAE)rand('state',0)sae = saesetup([784 100]);sae.ae{1}.activation_function = 'sigm';sae.ae{1}.learningRate = 1;sae.ae{1}.inputZeroMaskedFraction = 0.5;opts.numepochs = 1;opts.batchsize = 100;sae = saetrain(sae, train_x, opts);visualize(sae.ae{1}.W{1}(:,2:end)')% Use the SDAE to initialize a FFNNnn = nnsetup([784 100 10]);nn.activation_function = 'sigm';nn.learningRate = 1;nn.W{1} = sae.ae{1}.W{1};% Train the FFNNopts.numepochs = 1;opts.batchsize = 100;nn = nntrain(nn, train_x, train_y, opts);[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.16, 'Too big error');```Example: Convolutional Neural Nets---------------------```matlabfunction test_example_CNNload mnist_uint8;train_x = double(reshape(train_x',28,28,60000))/255;test_x = double(reshape(test_x',28,28,10000))/255;train_y = double(train_y');test_y = double(test_y');%% ex1 Train a 6c-2s-12c-2s Convolutional neural network %will run 1 epoch in about 200 second and get around 11% error. %With 100 epochs you'll get around 1.2% errorrand('state',0)cnn.layers = { struct('type', 'i') %input layer struct('type', 'c', 'outputmaps', 6, 'kernelsize', 5) %convolution layer struct('type', 's', 'scale', 2) %sub sampling layer struct('type', 'c', 'outputmaps', 12, 'kernelsize', 5) %convolution layer struct('type', 's', 'scale', 2) %subsampling layer};cnn = cnnsetup(cnn, train_x, train_y);opts.alpha = 1;opts.batchsize = 50;opts.numepochs = 1;cnn = cnntrain(cnn, train_x, train_y, opts);[er, bad] = cnntest(cnn, test_x, test_y);%plot mean squared errorfigure; plot(cnn.rL);assert(er<0.12, 'Too big error');```Example: Neural Networks---------------------```matlabfunction test_example_NNload mnist_uint8;train_x = double(train_x) / 255;test_x = double(test_x) / 255;train_y = double(train_y);test_y = double(test_y);% normalize[train_x, mu, sigma] = zscore(train_x);test_x = normalize(test_x, mu, sigma);%% ex1 vanilla neural netrand('state',0)nn = nnsetup([784 100 10]);opts.numepochs = 1; % Number of full sweeps through dataopts.batchsize = 100; % Take a mean gradient step over this many samples[nn, L] = nntrain(nn, train_x, train_y, opts);[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.08, 'Too big error');%% ex2 neural net with L2 weight decayrand('state',0)nn = nnsetup([784 100 10]);nn.weightPenaltyL2 = 1e-4; % L2 weight decayopts.numepochs = 1; % Number of full sweeps through dataopts.batchsize = 100; % Take a mean gradient step over this many samplesnn = nntrain(nn, train_x, train_y, opts);[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.1, 'Too big error');%% ex3 neural net with dropoutrand('state',0)nn = nnsetup([784 100 10]);nn.dropoutFraction = 0.5; % Dropout fraction opts.numepochs = 1; % Number of full sweeps through dataopts.batchsize = 100; % Take a mean gradient step over this many samplesnn = nntrain(nn, train_x, train_y, opts);[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.1, 'Too big error');%% ex4 neural net with sigmoid activation functionrand('state',0)nn = nnsetup([784 100 10]);nn.activation_function = 'sigm'; % Sigmoid activation functionnn.learningRate = 1; % Sigm require a lower learning rateopts.numepochs = 1; % Number of full sweeps through dataopts.batchsize = 100; % Take a mean gradient step over this many samplesnn = nntrain(nn, train_x, train_y, opts);[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.1, 'Too big error');%% ex5 plotting functionalityrand('state',0)nn = nnsetup([784 20 10]);opts.numepochs = 5; % Number of full sweeps through datann.output = 'softmax'; % use softmax outputopts.batchsize = 1000; % Take a mean gradient step over this many samplesopts.plot = 1; % enable plottingnn = nntrain(nn, train_x, train_y, opts);[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.1, 'Too big error');%% ex6 neural net with sigmoid activation and plotting of validation and training error% split training data into training and validation datavx = train_x(1:10000,:);tx = train_x(10001:end,:);vy = train_y(1:10000,:);ty = train_y(10001:end,:);rand('state',0)nn = nnsetup([784 20 10]); nn.output = 'softmax'; % use softmax outputopts.numepochs = 5; % Number of full sweeps through dataopts.batchsize = 1000; % Take a mean gradient step over this many samplesopts.plot = 1; % enable plottingnn = nntrain(nn, tx, ty, opts, vx, vy); % nntrain takes validation set as last two arguments (optionally)[er, bad] = nntest(nn, test_x, test_y);assert(er < 0.1, 'Too big error');```[![Bitdeli Badge](https://d2weczhvl823v0.cloudfront.net/rasmusbergpalm/deeplearntoolbox/trend.png)](https://bitdeli.com/free "Bitdeli Badge")

上一篇: 12、实体继承与多态映射策略详解
下一篇: 13、俄罗斯卡牌谜题与泥泞儿童谜题
http9protocoller
博客等级 码龄1天 0粉丝 1782原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值