自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

MinCong Luo的博客

MinCong Luo的2014年冬到2015年初的技术成长

  • 博客(159)
  • 资源 (1)
  • 问答 (1)
  • 收藏
  • 关注

原创 【Applied Algebra】用于AT89C51单片机的代数控制方法

【Applied Algebra】用于AT89C51单片机的代数控制方法(Talk for W.J.Leuang)在本次讨论中我们将介绍一种基于计算交换代数的、可用于嵌入式设备的高效控制算法.问题背景用F2\mathbb{F}_2F2​的多项式环模拟谓词逻辑求解思路总结...

2020-12-28 12:03:23 24

原创 【代数语言学巡礼】归纳逻辑编程(inductive logic programming)III

【代数语言学巡礼】归纳逻辑编程(inductive logic programming)III归纳逻辑是事例证据支持的逻辑。在演绎逻辑中,一个有效的演绎论证的前提在逻辑上必然包含结论,逻辑蕴涵意味着使前提为真的每一个逻辑上可能的状态也必须使结论成为真理。因此,一个有效的演绎论点的前提为结论提供了完全的支持。然而归纳逻辑将这种观点扩展到较弱的论点。在一个好的归纳论证中,前提的真实性为结论的真实性提供了某种程度的支持,这种支持程度可以通过某种数值尺度来度量。通过与演绎蕴涵概念的类比,归纳支持度的概念可能

2020-12-23 16:09:41 60

原创 【代数语言学巡礼】Lambda-演算在形式语义学的中应用II

【代数语言学巡礼】Lambda-演算在形式语义学的中应用II现在我们开始讲述λ\lambdaλ-演算的基础知识,包括PC上的λ\lambdaλ-演算和类型论上的λ\lambdaλ-演算;λ\lambdaλ-演算λ\lambdaλ-演算最早是由Church(1941)在(The Calculi of Lambda-Conversion. Princeton University)中提出来的,但却是 Montague(1970)才使得它在自然语言的形式语义学研究 发挥重要作用.我们知道自然语言的

2020-12-01 15:11:19 51

原创 【代数语言学巡礼】Lambda-演算在形式语义学的中应用I

【代数语言学巡礼】Lambda-演算在形式语义学的中应用(上)代数语言学又称做形式语言学,其基础思想是建立语言的数学模型,如美国逻辑学家、语言学家N.乔姆斯基、苏联数学家О.С.库拉金娜 、语言学家Y.巴尔-希列尔分别提出了语言的生成性模型 、分析性模型和辨识性模型.形式语义学与组合原则自Chomsky创立生成语法(generative grammar)以来,人们开始普遍承认语法是可以 按组合原则逐步生成的。生成语法的一个基本出发点是: 自然语言中存在无穷多的句子,同 时大脑的功能是有限的,

2020-11-29 23:41:23 44

原创 战棋游戏中的简单策略方法:基于群表示论的思想

战棋游戏中的简单策略方法:基于群表示论的思想最近在开发一款自娱自乐的基于上世纪30年代历史背景的战棋游戏,需要为其设计一个策略算法,我一开始就想可能用比较传统的动态规划,恰逢本周周一周二中科院数学所的田野老师来我们组讲授Galois Representation,对我有一定启发,忽然发现这个算法亦可用群表示论的形式来表述,其直观性会更良好,计算起来可能更加方便;背景考虑一个静态棋盘,我们把战争过程简化为以军事单位为棋子的对弈,称之为战棋游戏(图片是EasyTech的欧陆战争2);那么假设AI

2020-10-14 20:45:51 108

原创 Gröbner基方法入门第III部分:Gröbner基方法的应用

Gröbner基方法入门第III部分:Gröbner基方法的应用Gröbner基理论是一种在国外被普遍认同的用于求解多变元高次方程系统的有效算法,其概念最早由Buchberger提出.其本质是从多项式环中任意理想的生成元出发,刻画和计算出一组具有“好的”性质的生成元,进而研究理想的结构并进行某些理想运算;由于数学、科学和工程学中的许多问题都可以用多元多项式方程组表示(例如,理想,模块和矩阵),Gröbner基的代数算法在理论物理学、应用科学和工程学中具有广泛的应用;计算多项式理想让我们先来了解如

2020-09-03 20:52:55 141 1

原创 Gröbner基方法入门第II部分:Gröbner基和Buchberger算法

Gröbner基方法入门第II部分:Gröbner基和Buchberger算法在之前的博客文章中我介绍了一些多项式代数的基本概念,在这篇文章中我们将介绍Gröbner基的基本理论和计算Gröbner基的Buchberger算法;Gröbner基和Buchberger算法Gröbner基的概念来源于B.Buchberger的博士论文.考虑最简单的情形,K\mathcal{K}K为域,K[x]\mathcal{K}[\boldsymbol{x}]K[x]是一元多项式环.J\mathcal{J}J为K

2020-09-03 16:31:53 142

原创 Gröbner基方法入门第I部分:项序和约化

Gröbner基方法入门第I部分:项序和约化理想的准素分解与矩阵分解是计算代数的核心问题,它们在计算机代数、计算代数几何、代数编码和密码学、多维系统理论等学科都有非常重要的理论意义与应用价值.Gröbner基理论是研究理想的准素分解与矩阵素分解的重要工具之一.更简单地概括:Gröbner基方法是从任意一个多项式理想的一组给定生成元,计算另一组性质良好的生成元,并称为该理想的Gröbner基.它能用来判定任意多项式是否属于该理想.Gröbner基的代数算法是Buchberger在1960年代开发的,并

2020-09-03 13:24:10 112

原创 【夜话】从抽象到具体的乐趣:一个从代数学到工业控制工程的梦

从抽象到具体的乐趣:一个从代数学到工业控制工程的梦这只是我的一个随想,在断断续续学习了一年的理论、徘徊了多个方向之后,我觉得找到了一个确定的方向,这个方向需要我继续努力学一些基础知识、看一些经典论文才能展开研究工作,这个方向就是融合了逻辑/代数的控制学方向,更大胆地畅想一下,我想的是能够做出可用的电子硬件实体;基本知识架构自顶向下地,我想到的是以下的学习顺序:代数:交换代数学/代数几何;逻辑:数理逻辑/模糊逻辑与推理;控制:现代控制理论/反馈控制系统;机器人:机器人动力学/机器人控制学;

2020-08-31 22:03:49 79 1

原创 一种基于交换环的命题逻辑代数推理算法

一种基于交换环的命题逻辑代数推理算法老实说,我一直觉得类似深度学习的纯数值方法(那些个Neural-Symbolic其实也是意识流的掩耳盗铃,完全没有理论基础,全靠"艺术创作")实在难以胜任逻辑推理,一个可行的、有希望实现计算地进行逻辑推理的方案就是借助构造一种抽象代数结构(最后借助代数结构间的同态性来实现);构造一种Logic-Ring的意义(Motivation)最终目的是更好地进行逻辑推理,详细地讲:环代数的结构比逻辑代数更佳;环代数有许多优良的性质(域/理想/复形…);可以引入多

2020-07-24 21:14:26 93

原创 当深度学习遇上量化交易:图与知识图谱篇

当深度学习遇上量化交易:图与知识图谱篇本文主要回顾三篇将图和知识图谱应用到量化交易上的文章。©PaperWeekly 原创 · 原作者|桑运鑫本文主要回顾三篇将图和知识图谱应用到量化交易上的文章。使用Rolling Window分析探索用于股市预测的图神经网络论文标题:Exploring Graph Neural Networks for Stock Market Predictions with RollingWindow Analysis论文来源:NeurIPS 2019论文链接

2020-05-14 12:09:26 698

原创 "寻龙点穴:阴宅坟山选址真鉴"的计算机视觉算法+python实现

#!/usr/bin/env python# -*- coding: utf-8 -*-""" This file is built by Hanss401: TO DO: 入 山 尋 水 口 登 穴 看 明 堂 ...

2020-02-17 15:04:00 304 2

原创 对科研动机的思考:回顾蒲慕明所长在中科院神经所2011年所年会上的讲话

对科研动机的思考:回顾蒲慕明所长在中科院神经所2011年所年会上的讲话这里我有幸读到了蒲慕明所长在中科院神经所2011年所年会上的讲话,特将他的讲话记录转载到我的博客;蒲所长对科学研究的认识观点相当高,短短的讲话中浓缩了很多本质性的总结,强调了读博的正确动机、心态,使人醍醐灌顶,受益匪浅;科学追求的事实和谬论 Facts and Fallacies in Science中科院神经所...

2020-02-13 16:54:13 540

原创 【算法特训总结】计算机经典算法的核心思想及独特角度的解读

计算机经典算法的核心思想及独特角度的解读在1月1日新年之日开始的"算法特训"(一月一日~二月十日)终于结束了,对于这本<<算法竞赛经典>>,除了第十章(在上个暑假末期的"离散数学特训"已经覆盖)和第十二章(属于进阶范围还没看)之外已经搞定了其他部分,但是仍然也有许多没明白的地方(做了标记后续讨论);在这里做一个收尾总结,肯定不求写那种流水账的知识概括,而偏重于精华思想...

2020-02-10 20:38:24 667

原创 正一派道家奇门遁甲排盘算法python程序

正一派道家奇门遁甲排盘算法以下是备份的代码#!/usr/bin/env python# -*- coding: utf-8 -*-import requestsfrom bs4 import BeautifulSoupimport gzipimport re"""Build System: Python 3.6To Do: '正一派道家奇門遁甲排盤算法...

2020-01-14 17:28:33 3263 9

原创 时间复杂度,复杂类以及对快速排序算法的分析

时间复杂度,复杂类以及对快速排序算法的分析在本文中我会先介绍一些基本概念,然后以快排算法为例,讲述如何应用这些概念来分析算法性能;基本概念对快速排序算法的分析...

2019-12-31 10:47:11 158

原创 现代量子计算入门

量子密码学大作业Q比特EPR佯谬量子逻辑门及电路Hadamard变换Simon’s Algorithm 到 Grover Algorithm使用编程语言实现https://github.com/adamisntdead/QuSimPy#!/usr/bin/env python# -*- coding: utf-8 -*-import numpy as np;...

2019-12-26 15:42:09 458

原创 Stanford自然语言推理(SNLI)数据集语句的语义树构造算法

Stanford自然语言推理(SNLI)数据集语句的语义树构造算法本来想造把枪,结果发现在造子弹时就卡死了我去.目前在实现一个基于Stanford自然语言推理(SNLI)数据集的计算语义的模型,结果发现好像很简单的数据集语句的语义树构造居然很难实现,最后终于搞出来了,防止忘记,在此记录一下思路;问题描述其实就是把sentence_binary_parse(二分格式)的句子格式构造成语义树...

2019-12-06 12:41:00 695

原创 【徒手写机器学习算法】K-means和集成学习算法

K-Means是一种聚类算法,其核心思想是针对一个训练集通过预先给定的初始点和初始的聚类数目、迭代地将数据集拆分成多个类别。然后我们会把多个K-Means弱分类器集合起来,构成一个更强的集成分类器。我们要写的K-means算法核心idea:迭代地寻找和当前几个中心对应的最近向量,然后根据最新的划分更新这些中心;我们要写的集成算法核心idea:根据弱分类器的表现不断更新它们的权重,最终...

2019-11-07 14:19:10 231

原创 Visual Algebra:用于代数表述的可视化插件

Visual Algebra:用于代数表述的可视化插件如果有这样一种工具:它可以将代数中的表述可视化为图,并且能智能地挖掘元素间的代数关系并做到功能性的推导.那就是:Visual Algebra:将代数语言转化为规则的描述语言我们平常所讲述的代数学的描述事实上是数学符号和自然语言的混杂,考虑如下定义:(定义) 设MMM为RRR-模而Q⊂MQ \subset MQ⊂M为子模;若A...

2019-11-01 17:05:51 93

原创 计算神经科学、学习理论与分析学的千丝万缕的联系

计算神经科学、学习理论与分析学的千丝万缕的联系_________________ 再谈毕业论文在硕士学位论文中,我提出了一种可以称之为“改良神经网络”的模型 ----- 类额叶编码学习模型,相对于当前主流的深度学习模型:基于代价函数梯度下降的多层BP神经网络(Back Propagation Neural Network)在概念和一些任务的效果上取得了一些突破.一切在论文中已经详细讨论过的...

2019-10-29 10:40:34 260

原创 【静夜思】一些抽象代数的核心思想和实际应用

一些<<抽象代数>>的核心思想和实际应用(持续更新)抽象代数是现代代数的基础,以其晦涩和高度概括性而著称,如果介绍一些它的实际应用和核心思想,会对大家学习有所裨益.本文的特点是形散(采自网络)而神不散(主题明确).核心思想作者:Yuhang Liu抽象代数其实起源于数论。很多重要的概念,比如环、理想,都来自于数论的研究。比如理想,一开始是数论学家研究费...

2019-08-12 11:36:41 1527 2

原创 c++实习岗面试问题集锦

c++实习岗面试问题集锦本文的定位是c++实习岗,因此难度不可能是全职岗那么深入,重点还是在对有一定c++基础的人的知识点考察.以供临阵磨枪之用.面试技巧回答问题的时候最最基本的两个要求:不紧不慢,平心静气条理清晰表达能力绝对是面试的时候重要的考察项目。咱们做的是程序员这一行,讲究的是团队协作,不是写作、画画,一支笔、一个人就行了,一个表达能力不行的程序员,要来又有什么用呢...

2019-07-12 11:02:59 3776

原创 再谈量化交易

再谈量化交易赚钱是我要读博之前答应我男朋友的,之前虽然也做过一些量化交易的程序和研究,但是感觉实际上还是停留在demo阶段,要赚钱谈何容易.在这篇文章中再总结一下马上要开展的量化交易的设想;三年又三年,现在太晚吗?2016年我就在用python写一些简单的股票策略了,大概就是爬取一些新浪股指的数据,然后用一个线性判别模型拟合来预测走向,做短线交易.现在三年过去了,这期间作为不大,是不...

2019-07-12 10:08:18 888

原创 【简介】请使用中国原子能科学研究院学位论文Latex模板

请使用中国原子能科学研究院学位论文LaTex模板本院论文采用较为老旧的word模板排版,在目录自动生成、引用、数学公式以及修改的灵活性、解耦合等等方面都有太多问题.word工具设计的初衷是给不擅长Tex工具的文科生、艺术生上手排版,作为理工科学生还是应该使用Tex或者LaTex上手排版.本模板修改自中国科学院大学学位论文LaTex模板.前言事实上中科院各个所(软件所、计算所、高能所…...

2019-06-15 15:37:14 495 1

原创 【Neural-Symbolic】方向的研究工作核心思想一览

【Neural-Symbolic】方向的研究工作核心思想一览Neural-Symbolic可以认为是将人工智能中原本对立的连接主义和符号主义结合的一个新兴研究方向(实际上最早相关工作可追至1978年),先对其相关研究工作典型的十篇论文做出总结。Neural-Symbolic的本质是什么Neural-Symbolic意指神经符号主义,但是更本质地讲,实际上是将现代数学中的分析学和代数学...

2019-05-19 19:33:34 2081 2

原创 【Math Chanllenge】我的国内考博之路结束的一个总结

我的国内考博之路结束的一个总结2019我的考博历程总算结束了,我亲历了多个研究机构实验室的考核,学科横跨数学,控制,计算机,人工智能,网络安全,神经科学等等,也认识了各种各样的老师,算是对国内考博有了一个相当深入的认识,以此为基础总结一下经验.国内考博只需要申请审核?错!!!首先是对国内考博的一个错误认知,就是只需要申请审核...

2019-05-14 15:55:30 2201 4

原创 【研究方向】应用于网络安全的神经符号(Neural-Symbolic)学习算法

【研究方向】应用于网络安全的神经符号(Neural-Symbolic)学习算法网络安全的许多问题(恶意检测、隐私权限、欺诈检测、取证分析等)都可以看做高阶的智能标签判定问题,传统的机器学习方法虽然可以胜任这类分类任务,但是由于网络安全问题的异常样本少、泛化样本多,因此擅长拟合分布的传统算法在真实场景下易错判/漏判;神经符号(Neural-Symbolic)学习算法是我博士期间希望深入研究的一个...

2019-05-11 10:07:51 839

原创 猕猴视神经实验的双光子成像与智能控制系统的构建

猕猴视神经实验的双光子成像与智能控制系统的构建实验简介:清醒猴视觉皮层神经元长时期的光遗传控制和双光子成像这个实验似乎对外行来说有点复杂,但是其核心理念很简单:探索视觉相关功能和大脑皮层内部活动的关系;上次在和其组内的博士生讨论时,谈到这确实是一系列自由度很高的实验,你可以利用这个实验的基础设施去设计很多有意义的研究计划(就我而言:我希望研究视觉推理和大脑表征的联系);唐世明研究组利用腺...

2019-03-31 22:16:59 267

原创 【Math Chanllenge】这两周学习总结以及下周的学习计划

【Math Chanllenge】这两周学习总结以及下周的学习计划为何中途过年没有更新???过年我并没有修整,还是维持了一个比较投入的学习状态,没更新博客的原因是:电脑坏了!!!从2.2日到2.12日我的寒假就结束了,其间高等概率论进展艰难,还停留在勉强看完泛函分析和实变函数的水平,但是中科院考察的科目复习得达到了几乎可以考试的状态;任何一个天才的脑神经架构都是恰好为"适合学数学"的概率...

2019-02-11 00:29:00 368 1

原创 【Math Chanllenge】本周学习总结以及下周的学习计划

【Math Chanllenge】本周学习总结以及下周的学习计划从上周二到这周二刚好完成了一周的数学学习计划,在此总结一下,另外在下一周(本周六出发)我可能要回家几天,希望不要被影响到学习的效率;上周三去了趟北大交材料,顺便看了下他们实验室几个人在选课,发现有很多专业课的习题课,再次强调了习题的重要性;Mon 28Mon 04矩阵论1-4章已完成 模式识别2-...

2019-01-29 11:22:10 832

原创 【Math Chanllenge】本周学习总结以及接下来的学习计划

【Math Chanllenge】本周学习总结以及接下来的学习计划从上周二到这周二刚好完成了一周的学习计划,在此总结一下,另外在下一周应当改进本周的不足继续完成学习;Mon 21Mon 28矩阵论1-4章 模式识别2-6章 复习巩固 实变函数&amp;泛函分析 彻底学完模识&am...

2019-01-22 09:43:40 526 1

原创 【Math Chanllenge】一月前两周我干了什么以及接下来的学习计划

【Math Chanllenge】一月前两周我干了什么以及接下来的学习计划总体来说进入一月后我放下了所有的科研工作,开始博士入学考试的复习,我只有1月和2月两个月的复习时间,但是要考和数学相关的多达6门课的内容,参加3个单位的入学考试.这期间我每周会总结分享我的学习感悟;一月前两周我干了什么一月一号之后我去多个单位交了报名材料(报名表,个人资料,推荐信等等),目前的博士入学考试实行申...

2019-01-15 10:11:36 262 2

原创 使用二阶梯度作正则项交叉训练参数

使用二阶梯度作正则项交叉训练参数在上周五讨论时关于交叉训练&quot;语义概念参数&quot;和&quot;视觉概念参数&quot;时我们说到了导致正确率底下的两个缺陷:训练样本少:这个即将解决,因为我们上次讨论将进行关于&quot;指令&quot;的概念训练,这比需要逻辑推理的任务更加简单,而也可以生成更多的样本;训练方式的问题。现在我引入一个有效的正则项:这是在凸优化的数学原理上来优化,这是本文要谈的;值得注意的是,这个方法(用

2018-12-28 22:45:55 207

原创 【论文夜读】陈天琦神作Neural Ordinary Differential Equations(NuerIPS2018最佳paper)

【论文夜读】陈天琦神作Neural Ordinary Differential Equations(NuerIPS2018最佳paper)在最近结束的 NeruIPS 2018 中,来自多伦多大学的陈天琦等研究者成为最佳论文的获得者。在与机器之心的访谈中,陈天琦的导师 David Duvenaud 教授谈起这位学生也是赞不绝口。Duvenaud 教授认为陈天琦不仅是位理解能力超强的学生,钻研起...

2018-12-28 22:44:40 4930 2

原创 【论文讲义】使用SGHMC(随机梯度哈密顿-蒙特卡罗方法)做姿态估计

使用SGHMC(随机梯度哈密顿-蒙特卡罗方法)做姿态估计这是401所信息中心我组最新工作。人体姿态估计是人工智能中场景认知和人体行为意图预测的重要基础。当前多采用CNN对视觉信息全局评估的方法。在本项研究中,我们尝试使用SGHMC方法,给出一个Energy全局函数H(θ,r)H(\theta,r)H(θ,r)来引导heatmap的生成,取得了不错的效果。人体姿态估计的研究意义人体姿态估...

2018-11-26 11:03:24 1114 5

原创 【论文讲义】正交策略梯度法和自动驾驶应用

【讲义】正交策略梯度法和自动驾驶应用本文是论文Orthogonal Policy Gradient and Autonomous Driving Application的讲解讲义,本文中我们从一个关于奖励函数的回报梯度定理出发,证明了"当策略梯度向量和Q-Value向量正交时,奖励函数值为极大值",由此得出了一种实时逼近最优值的方法,并实现了这种方法且应用在了智能自动驾驶上.关于奖励函...

2018-10-29 15:32:33 160

原创 【随感】在Keras中如何按最大似然(Max Likewood)训练模型

在Keras中如何按最大似然(Max Likewood)训练模型按照生成模型的思路,模型的参数是和数据分布无关的,利用极大似然准则就可以训练模型。但是在类似Keras这种神经网络库中,如何训练类似如下的目标函数:−Eo[t],l[log⁡πθ(a[t]∣o[t],h[t−1],l))+ηvθ(o[t],h[t−1],l)]-\mathbb{E}_{{o}^{[t]},{l}} [ { \...

2018-10-24 14:51:55 487 1

原创 【随笔】下周本人将做的学术报告:401信息中心3楼会议室

下周将做的学术报告目前决定下周于401信息中心做的学术报告如下,论文部分尚未完成,但是本周末之前可以做完:Deep Deterministic Policy Gradient and Self-Driving(深度实时策略梯度和自动驾驶);简介:在本文中我们提出了一种DDPG方法可以在梯度空间每次都进行求解正交梯度(最有价值的方向),并给出了应用于自动驾驶的实例。Mento-Car...

2018-10-21 22:53:00 297 2

原创 【记录】我做过的关于核工程的科研项目

我做过的关于核工程的科研项目在这篇文档里我记录了一些我之前做过的关于核工程的项目,我本科是核工程出身,既有物理背景也有工程背景(总体来说还是工科的内容学得更多一些)。要从传统工科转变为理论科研思维是不容易的,在工科的世界里,很多事情有些不求甚解,譬如插值法、模拟退火法等等,工科生一般是当做工具使用,很多人连其原理都不清楚,但是做理论的人需要对这些“工具”知根知底且懂得如何改良。我做过以下...

2018-10-14 22:23:43 487

终极算法完整版

终极算法完整版;终极算法完整版;终极算法完整版;终极算法完整版;

2018-08-04

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人 TA的粉丝

提示
确定要删除当前文章?
取消 删除