随感
关注
分享
扫一扫
文章平均质量分 86
hanss2
这个作者很懒，什么都没留下…
展开
-
多线程编程和并行计算的实例:期货交易及打车软件算法
多线程编程是一个编程范式，它的核心思想是将一个程序的执行拆分为多个可以同时运行的线程。在单核处理器系统中，多个线程在逻辑上同时运行，而在多核处理器系统中，多个线程可以物理上同时运行。多线程编程允许程序更有效地使用计算机资源，特别是对于现代多核处理器，提高了程序的响应性和性能。原创 2023-06-24 15:50:14 · 1558 阅读 · 0 评论 -
对科研创新的思考:回顾蒲慕明所长在中科院神经所2010年所年会上的讲话
创新是一个和科学密不可分的的概念,蒲所长主要从实验科学的角度详细谈了对创新的看法(2010年12月28日,根据录音整理);原创 2023-01-10 09:36:04 · 428 阅读 · 1 评论 -
【Applied Algebra】GF(2)上的MQ方程求解:Wu消元法实现
由于Groebner基方法求解MQ问题的困难性,我们先后又尝试了MQ转SAT方法,MQ转SMT方法来求解,但是求解效果仍然有限.在进一步调研后,我们又设计了基于Wu消元法求解算法;更重要的是,我们明确了接下来的道路:只有坚持走实验算法学的道路才能有希望改进GF(2)上MQ方程求解这样的NP-问题;原创 2022-05-18 16:57:17 · 729 阅读 · 0 评论 -
【vim技巧】使用vim编写代码的一些心得
使用vim编写代码的一些心得从2015年开始在服务器上用vim也有这么久了,但是并没能高效地使用它.现在想系统地开始涉猎并反复练习vim的一些技巧,把折腾经历持续地在这篇博文里更新; ------2021/08/03...原创 2021-11-18 11:16:15 · 2440 阅读 · 0 评论 -
构建一阶谓词逻辑和有限域上多项式方程的同构
构建一阶谓词逻辑和有限域上多项式方程的同构基于命题逻辑的布尔可满足SAT存在描述能力弱、抽象层次低、求解复杂度高等问题,而基于一阶逻辑的可满足性模理论SMT(或称之为FOLMS问题:一阶逻辑的可满足性问题)采用高层建模语言,表达能力更强,更接近于字级设计, 避免将问题转化到位级求解,在硬件RTL级验证、程序验证与实时系统验证等领域得到了广泛应用;因此寻找一种一阶谓词逻辑和有限域上多项式方程的同构,将SMT问题和有限域上多项式方程组的求解问题进行相互转化具有重要的意义.一阶谓词逻辑(定义:一阶谓原创 2021-07-19 13:58:20 · 534 阅读 · 0 评论 -
【Applied Algebra】用于AT89C51单片机的代数控制方法
【Applied Algebra】用于AT89C51单片机的代数控制方法(Talk for W.J.Leuang)在本次讨论中我们将介绍一种基于计算交换代数的、可用于嵌入式设备的高效控制算法.问题背景用F2\mathbb{F}_2F2的多项式环模拟谓词逻辑求解思路总结...原创 2020-12-28 12:03:23 · 242 阅读 · 0 评论 -
战棋游戏中的简单策略方法:基于群表示论的思想
战棋游戏中的简单策略方法:基于群表示论的思想最近在开发一款自娱自乐的基于上世纪30年代历史背景的战棋游戏,需要为其设计一个策略算法,我一开始就想可能用比较传统的动态规划,恰逢本周周一周二中科院数学所的田野老师来我们组讲授Galois Representation,对我有一定启发,忽然发现这个算法亦可用群表示论的形式来表述,其直观性会更良好,计算起来可能更加方便;背景考虑一个静态棋盘,我们把战争过程简化为以军事单位为棋子的对弈,称之为战棋游戏(图片是EasyTech的欧陆战争2);那么假设AI原创 2020-10-14 20:45:51 · 908 阅读 · 0 评论 -
【夜话】从抽象到具体的乐趣:一个从代数学到工业控制工程的梦
从抽象到具体的乐趣:一个从代数学到工业控制工程的梦这只是我的一个随想,在断断续续学习了一年的理论、徘徊了多个方向之后,我觉得找到了一个确定的方向,这个方向需要我继续努力学一些基础知识、看一些经典论文才能展开研究工作,这个方向就是融合了逻辑/代数的控制学方向,更大胆地畅想一下,我想的是能够做出可用的电子硬件实体;基本知识架构自顶向下地,我想到的是以下的学习顺序:代数:交换代数学/代数几何;逻辑:数理逻辑/模糊逻辑与推理;控制:现代控制理论/反馈控制系统;机器人:机器人动力学/机器人控制学;原创 2020-08-31 22:03:49 · 303 阅读 · 2 评论 -
一种基于交换环的命题逻辑代数推理算法
一种基于交换环的命题逻辑代数推理算法老实说,我一直觉得类似深度学习的纯数值方法(那些个Neural-Symbolic其实也是意识流的掩耳盗铃,完全没有理论基础,全靠"艺术创作")实在难以胜任逻辑推理,一个可行的、有希望实现计算地进行逻辑推理的方案就是借助构造一种抽象代数结构(最后借助代数结构间的同态性来实现);构造一种Logic-Ring的意义(Motivation)最终目的是更好地进行逻辑推理,详细地讲:环代数的结构比逻辑代数更佳;环代数有许多优良的性质(域/理想/复形…);可以引入多原创 2020-07-24 21:14:26 · 373 阅读 · 0 评论 -
"寻龙点穴:阴宅坟山选址真鉴"的计算机视觉算法+python实现
#!/usr/bin/env python# -*- coding: utf-8 -*-""" This file is built by Hanss401: TO DO: 入 山 尋 水 口 登 穴 看 明 堂 ...原创 2020-02-17 15:04:00 · 803 阅读 · 2 评论 -
对科研动机的思考:回顾蒲慕明所长在中科院神经所2011年所年会上的讲话
对科研动机的思考:回顾蒲慕明所长在中科院神经所2011年所年会上的讲话这里我有幸读到了蒲慕明所长在中科院神经所2011年所年会上的讲话,特将他的讲话记录转载到我的博客;蒲所长对科学研究的认识观点相当高,短短的讲话中浓缩了很多本质性的总结,强调了读博的正确动机、心态,使人醍醐灌顶,受益匪浅;科学追求的事实和谬论 Facts and Fallacies in Science中科院神经所...原创 2020-02-13 16:54:13 · 900 阅读 · 0 评论 -
【算法特训总结】计算机经典算法的核心思想及独特角度的解读
计算机经典算法的核心思想及独特角度的解读在1月1日新年之日开始的"算法特训"(一月一日~二月十日)终于结束了,对于这本<<算法竞赛经典>>,除了第十章(在上个暑假末期的"离散数学特训"已经覆盖)和第十二章(属于进阶范围还没看)之外已经搞定了其他部分,但是仍然也有许多没明白的地方(做了标记后续讨论);在这里做一个收尾总结,肯定不求写那种流水账的知识概括,而偏重于精华思想...原创 2020-02-10 20:38:24 · 1447 阅读 · 0 评论 -
时间复杂度,复杂类以及对快速排序算法的分析
时间复杂度,复杂类以及对快速排序算法的分析在本文中我会先介绍一些基本概念,然后以快排算法为例,讲述如何应用这些概念来分析算法性能;基本概念对快速排序算法的分析...原创 2019-12-31 10:47:11 · 429 阅读 · 0 评论 -
Stanford自然语言推理(SNLI)数据集语句的语义树构造算法
Stanford自然语言推理(SNLI)数据集语句的语义树构造算法本来想造把枪,结果发现在造子弹时就卡死了我去.目前在实现一个基于Stanford自然语言推理(SNLI)数据集的计算语义的模型,结果发现好像很简单的数据集语句的语义树构造居然很难实现,最后终于搞出来了,防止忘记,在此记录一下思路;问题描述其实就是把sentence_binary_parse(二分格式)的句子格式构造成语义树...原创 2019-12-06 12:41:00 · 2060 阅读 · 0 评论 -
Visual Algebra:用于代数表述的可视化插件
Visual Algebra:用于代数表述的可视化插件如果有这样一种工具:它可以将代数中的表述可视化为图,并且能智能地挖掘元素间的代数关系并做到功能性的推导.那就是:Visual Algebra:将代数语言转化为规则的描述语言我们平常所讲述的代数学的描述事实上是数学符号和自然语言的混杂,考虑如下定义:(定义) 设MMM为RRR-模而Q⊂MQ \subset MQ⊂M为子模;若A...原创 2019-11-01 17:05:51 · 326 阅读 · 0 评论 -
计算神经科学、学习理论与分析学的千丝万缕的联系
计算神经科学、学习理论与分析学的千丝万缕的联系_________________ 再谈毕业论文在硕士学位论文中,我提出了一种可以称之为“改良神经网络”的模型 ----- 类额叶编码学习模型,相对于当前主流的深度学习模型:基于代价函数梯度下降的多层BP神经网络(Back Propagation Neural Network)在概念和一些任务的效果上取得了一些突破.一切在论文中已经详细讨论过的...原创 2019-10-29 10:40:34 · 657 阅读 · 0 评论 -
使用二阶梯度作正则项交叉训练参数
使用二阶梯度作正则项交叉训练参数在上周五讨论时关于交叉训练"语义概念参数"和"视觉概念参数"时我们说到了导致正确率底下的两个缺陷：训练样本少：这个即将解决，因为我们上次讨论将进行关于"指令"的概念训练，这比需要逻辑推理的任务更加简单，而也可以生成更多的样本；训练方式的问题。现在我引入一个有效的正则项：这是在凸优化的数学原理上来优化，这是本文要谈的；值得注意的是，这个方法(用原创 2018-12-28 22:45:55 · 421 阅读 · 0 评论 -
【论文夜读】陈天琦神作Neural Ordinary Differential Equations(NuerIPS2018最佳paper)
【论文夜读】陈天琦神作Neural Ordinary Differential Equations(NuerIPS2018最佳paper)在最近结束的 NeruIPS 2018 中，来自多伦多大学的陈天琦等研究者成为最佳论文的获得者。在与机器之心的访谈中，陈天琦的导师 David Duvenaud 教授谈起这位学生也是赞不绝口。Duvenaud 教授认为陈天琦不仅是位理解能力超强的学生，钻研起...原创 2018-12-28 22:44:40 · 14719 阅读 · 2 评论 -
【论文讲义】使用SGHMC(随机梯度哈密顿-蒙特卡罗方法)做姿态估计
使用SGHMC(随机梯度哈密顿-蒙特卡罗方法)做姿态估计这是401所信息中心我组最新工作。人体姿态估计是人工智能中场景认知和人体行为意图预测的重要基础。当前多采用CNN对视觉信息全局评估的方法。在本项研究中，我们尝试使用SGHMC方法，给出一个Energy全局函数H(θ,r)H(\theta,r)H(θ,r)来引导heatmap的生成，取得了不错的效果。人体姿态估计的研究意义人体姿态估...原创 2018-11-26 11:03:24 · 2260 阅读 · 5 评论 -
【随笔】下周本人将做的学术报告：401信息中心3楼会议室
下周将做的学术报告目前决定下周于401信息中心做的学术报告如下，论文部分尚未完成，但是本周末之前可以做完：Deep Deterministic Policy Gradient and Self-Driving(深度实时策略梯度和自动驾驶)；简介:在本文中我们提出了一种DDPG方法可以在梯度空间每次都进行求解正交梯度(最有价值的方向)，并给出了应用于自动驾驶的实例。Mento-Car...原创 2018-10-21 22:53:00 · 508 阅读 · 2 评论 -
【记录】我做过的关于核工程的科研项目
我做过的关于核工程的科研项目在这篇文档里我记录了一些我之前做过的关于核工程的项目，我本科是核工程出身，既有物理背景也有工程背景(总体来说还是工科的内容学得更多一些)。要从传统工科转变为理论科研思维是不容易的，在工科的世界里，很多事情有些不求甚解，譬如插值法、模拟退火法等等，工科生一般是当做工具使用，很多人连其原理都不清楚，但是做理论的人需要对这些“工具”知根知底且懂得如何改良。我做过以下...原创 2018-10-14 22:23:43 · 1033 阅读 · 0 评论 -
【论文审阅】ICLR2018论文及其审阅流程中评委意见和作者反馈的赏析
【论文审阅】ICLR2018论文及其审阅流程中评委意见和作者反馈的赏析当我回头过来阅读ICLR2018大会的论文及其审阅流程时，发现这是很有价值的，其中不乏Bengio这种业内顶级大牛投稿被拒的评审意见，而一些很好的idea也许却能让你入围。现在就一起回味一下这些信息量巨大的精彩审阅吧！ICLR2018机器学习会议现场，众人扎堆地讲解自己的论文，或者去听感兴趣的论文。Learnin...原创 2018-09-29 09:53:19 · 1664 阅读 · 2 评论 -
【随笔】Python如何读取.x的DirectX的3D格式文件
Python如何读取.x的DirectX的3D格式文件(其实这是一个陈年老Bug)之前2015年大三下学期看张若愚版本的<<Python科学计算>>发现上面的读取.x的DirectX的3D格式文件的程序有错，最近仔细读了读源码，发现他默认模型的点、面、颜色属性是按顺序排列的，其实不同3D建模工具产生的.x文件的排列是不一样的。修改后的程序还有就是作者当时用的那个...原创 2018-09-20 07:55:39 · 1627 阅读 · 0 评论 -
【随感】当前人工智能12大派系
当前人工智能12大派系 一天一次的等待编译时间又到了，这期间我刚好可以总结一下当前的人工智能12大派系。原创 2018-09-06 23:01:30 · 1170 阅读 · 3 评论 -
【Math Chanllenge】一月前两周我干了什么以及接下来的学习计划
【Math Chanllenge】一月前两周我干了什么以及接下来的学习计划总体来说进入一月后我放下了所有的科研工作,开始博士入学考试的复习,我只有1月和2月两个月的复习时间,但是要考和数学相关的多达6门课的内容,参加3个单位的入学考试.这期间我每周会总结分享我的学习感悟;一月前两周我干了什么一月一号之后我去多个单位交了报名材料(报名表,个人资料,推荐信等等),目前的博士入学考试实行申...原创 2019-01-15 10:11:36 · 417 阅读 · 2 评论 -
【Math Chanllenge】本周学习总结以及接下来的学习计划
【Math Chanllenge】本周学习总结以及接下来的学习计划从上周二到这周二刚好完成了一周的学习计划,在此总结一下,另外在下一周应当改进本周的不足继续完成学习;Mon 21Mon 28矩阵论1-4章 模式识别2-6章 复习巩固 实变函数&泛函分析 彻底学完模识&am...原创 2019-01-22 09:43:40 · 783 阅读 · 1 评论 -
【Math Chanllenge】本周学习总结以及下周的学习计划
【Math Chanllenge】本周学习总结以及下周的学习计划从上周二到这周二刚好完成了一周的数学学习计划,在此总结一下,另外在下一周(本周六出发)我可能要回家几天,希望不要被影响到学习的效率;上周三去了趟北大交材料,顺便看了下他们实验室几个人在选课,发现有很多专业课的习题课,再次强调了习题的重要性;Mon 28Mon 04矩阵论1-4章已完成 模式识别2-...原创 2019-01-29 11:22:10 · 1375 阅读 · 0 评论 -
【静夜思】一些抽象代数的核心思想和实际应用
一些<<抽象代数>>的核心思想和实际应用(持续更新)抽象代数是现代代数的基础,以其晦涩和高度概括性而著称,如果介绍一些它的实际应用和核心思想,会对大家学习有所裨益.本文的特点是形散(采自网络)而神不散(主题明确).核心思想作者：Yuhang Liu抽象代数其实起源于数论。很多重要的概念，比如环、理想，都来自于数论的研究。比如理想，一开始是数论学家研究费...原创 2019-08-12 11:36:41 · 7726 阅读 · 5 评论 -
再谈量化交易
再谈量化交易赚钱是我要读博之前答应我男朋友的,之前虽然也做过一些量化交易的程序和研究,但是感觉实际上还是停留在demo阶段,要赚钱谈何容易.在这篇文章中再总结一下马上要开展的量化交易的设想;三年又三年,现在太晚吗?2016年我就在用python写一些简单的股票策略了,大概就是爬取一些新浪股指的数据,然后用一个线性判别模型拟合来预测走向,做短线交易.现在三年过去了,这期间作为不大,是不...原创 2019-07-12 10:08:18 · 1961 阅读 · 0 评论 -
【简介】请使用中国原子能科学研究院学位论文Latex模板
请使用中国原子能科学研究院学位论文LaTex模板本院论文采用较为老旧的word模板排版,在目录自动生成、引用、数学公式以及修改的灵活性、解耦合等等方面都有太多问题.word工具设计的初衷是给不擅长Tex工具的文科生、艺术生上手排版,作为理工科学生还是应该使用Tex或者LaTex上手排版.本模板修改自中国科学院大学学位论文LaTex模板.前言事实上中科院各个所(软件所、计算所、高能所…...原创 2019-06-15 15:37:14 · 1253 阅读 · 1 评论 -
【研究方向】应用于网络安全的神经符号(Neural-Symbolic)学习算法
【研究方向】应用于网络安全的神经符号(Neural-Symbolic)学习算法网络安全的许多问题(恶意检测、隐私权限、欺诈检测、取证分析等)都可以看做高阶的智能标签判定问题，传统的机器学习方法虽然可以胜任这类分类任务，但是由于网络安全问题的异常样本少、泛化样本多，因此擅长拟合分布的传统算法在真实场景下易错判/漏判；神经符号(Neural-Symbolic)学习算法是我博士期间希望深入研究的一个...原创 2019-05-11 10:07:51 · 2383 阅读 · 0 评论 -
【Neural-Symbolic】方向的研究工作核心思想一览
【Neural-Symbolic】方向的研究工作核心思想一览Neural-Symbolic可以认为是将人工智能中原本对立的连接主义和符号主义结合的一个新兴研究方向(实际上最早相关工作可追至1978年),先对其相关研究工作典型的十篇论文做出总结。Neural-Symbolic的本质是什么Neural-Symbolic意指神经符号主义,但是更本质地讲,实际上是将现代数学中的分析学和代数学...原创 2019-05-19 19:33:34 · 8796 阅读 · 2 评论 -
猕猴视神经实验的双光子成像与智能控制系统的构建
猕猴视神经实验的双光子成像与智能控制系统的构建实验简介:清醒猴视觉皮层神经元长时期的光遗传控制和双光子成像这个实验似乎对外行来说有点复杂,但是其核心理念很简单:探索视觉相关功能和大脑皮层内部活动的关系;上次在和其组内的博士生讨论时,谈到这确实是一系列自由度很高的实验,你可以利用这个实验的基础设施去设计很多有意义的研究计划(就我而言:我希望研究视觉推理和大脑表征的联系);唐世明研究组利用腺...原创 2019-03-31 22:16:59 · 730 阅读 · 0 评论 -
【Math Chanllenge】这两周学习总结以及下周的学习计划
【Math Chanllenge】这两周学习总结以及下周的学习计划为何中途过年没有更新???过年我并没有修整,还是维持了一个比较投入的学习状态,没更新博客的原因是:电脑坏了!!!从2.2日到2.12日我的寒假就结束了,其间高等概率论进展艰难,还停留在勉强看完泛函分析和实变函数的水平,但是中科院考察的科目复习得达到了几乎可以考试的状态;任何一个天才的脑神经架构都是恰好为"适合学数学"的概率...原创 2019-02-11 00:29:00 · 588 阅读 · 1 评论 -
【随感】8月工作总结:这个月我去干啥了？
8月工作总结一个疑问:我失踪了吗? 在一个月前的一篇Blog后，我再也未出现过，可能有人认为我失踪了。“那个人有可能疲于学习暂时退隐了。”“也许他放弃了吧。”事实并非如此，这个月的work比其他任何时候都充实，但是我没有任何功利的成就，哈哈，不过我更心虚的不是这个，我更心虚我的知识不牢固。我一直觉得，只要基础牢固加灵感，会出顶会paper。事实上，这个月在尽可能Follow之前...原创 2018-09-03 12:08:44 · 689 阅读 · 0 评论 -
百度算法团队的强化学习神器:XWorld编译历程
百度算法团队的强化学习神器:XWorld3d编译历程 这个是百度算法团队今年五月开源的一套c++库,整体感觉质量还可以,基础架构就是开源的物理碰撞库bullet和去年OpenAI开源的另一个神器Roboschool(个人感觉那款是偏动作学习),XWorld差不多在这个基础上还增加了许多功能(你也可以把它看做一款大改的Mod).项目源码下载地址编译环境Ubuntu...原创 2018-09-05 16:07:12 · 689 阅读 · 0 评论 -
独立开发者
有两种人是独立开发者，一无是处的菜鸟和全能的高手，我属于第三种；什么能让一个人的理念完美的传达给别人？科技；那些弥漫在回忆里的浪漫元素，以及我对人生的憧憬和自定义；那绝对是那些浑浑噩噩、追逐物质的人无法理解的；什么才叫成功？那是按我们留给世界的影响确定的；再完美的措辞也无法表达我内心的狂热，唯有科技；原创 2015-07-19 16:24:50 · 786 阅读 · 0 评论 -
java命令行引用jar发生"ClassNotFoundException"以及"无法加载主类"
我妄图编译运行的是java矩阵计算库Jama的一个示例程序，会引用Jama-1.0.3.jar; 现在的情况是这样：hanss@master_o:/App/Jama/examples$ lsMagicSquareExample.java由于MagicSquareExample.java开头是：package Jama.examples;import Jama.*;//等等于是乎，编译需要：h原创 2017-08-15 09:56:31 · 637 阅读 · 0 评论 -
CentOS 安装Python3 及 Pip3
直接上代码：$ yum install zlib-devel openssl-devel python-devel$ sudo yum install epel-release python34$ wget https://bootstrap.pypa.io/get-pip.py$ python3 get-pip.py原创 2017-08-28 14:27:09 · 341 阅读 · 0 评论 -
核+X参赛小作品:拟真核电厂控制台
本文为该作品在线文档仿真控制模块有以下几大类一回路控制调节反应堆调节二回路流量调节发电模块调节数据监控(核电厂自身负载、以及其功率输出)运行 点击区域开关和水冷启动方可开启；调节 依课堂上核电厂理论基础知识可调节；停机 依次调节各参量到最小或者点击紧急停机方可关闭；原创 2017-08-28 19:57:54 · 729 阅读 · 0 评论