相关推荐

公理系统 - 神奇的数学

神奇的公理系统

算术公理化的发明人—格拉斯曼

中国人“打算盘”需要用组多“口诀”（公理）。 打算盘的“口诀”，比如：三加五除二（一条公理）。 1860年，德国数学家格拉斯曼发明了自然数“后继数”（successor）的概念，借助“后继数”，只要几条公理即可推导算术的所有定理。 由此可见，算术公理化的发明人是格拉斯曼，皮亚诺是“后来人”。 请参阅本文明附件。 袁萌 陈启清 1月19日 附件： Hermann Grassmann（1...

高维度理论为什么不能存在，看看此文就懂了

导读：高维度理论为什么不能存在，看看此文就懂了。此文为《时空存在性不需要怀疑》的上篇，还有下篇。建议连起来读。之所以分开发，是因为文章太长，有发文限制。虽然有公式，但大家不要有负担，就是按思路走就行。 时空存在性不需要怀疑 ——灵遁者 存在不需要被怀疑，这是我要强调的。任何一种存在，物质存在也好，意识存在也好，都是存在，存在不需要怀疑。 在继续写下去之前，我还是将最简单但最重要的认识写下来。你得先有下面这些认识，才能听得懂我在讲什么。 人的定义：人是社会关系的总和。 意识的定义：意识是物质逆熵存在的本征。

历史上那些差点被扼杀的数学天才，考试、偏见都是凶手

几乎从来不存在数学传说 在阿富汗，人们在黑板上面演算数学 数学天才常被人们误解。 “天才”一词会唤起嫉妒之情。它描绘了一群预先确定的少数人，这些人真正掌握了一门学科。这些人是被选中的少数人。 然而，没有什么是预先确定的。我们每个人都有数学天分。只是大多数人还不知道。 天才稍纵即逝。如果你不拥抱天分并谨慎地对待它，它就会溜走，留下的只是我们可能...

四元数乘法_数学中的一朵“奇葩”——四元数

代数学是数学中最古老的的学科之一，在之后相当长的一段时期内，代数学都曾成为数学的中心。但中世纪过后，传统的代数学开始沉寂，陷入解方程的泥淖中，而自微积分被发明之后，数学迎来分析学的黄金时代，进而代数学的地位一度岌岌可危，这样的局面一直持续到19世纪初。进入19世纪后，代数学在众多数学家的努力之下，终于获得解放，重获生机，再次成为数学的中心学科之一 。此时，代数朝着两个大方向阔步前进，一是由解方程理...

最全的 Twitter Bootstrap 开发资源清单(转)

英文原文：TheBig Badass ...　Bootstrap 是 Twitter 推出的一个开源的用于前端开发的工具包，由 Twitter 的设计师 Mark Otto 和 Jacob Thornton 合作开发。Bootstrap 提供了优雅的 HTML 和 CSS 规范，它由动态 CSS 语

最全的 Twitter Bootstrap 开发资源清单（转）

Bootstrap是Twitter推出的一个开源的用于前端开发的工具包，由Twitter的设计师Mark Otto和Jacob Thornton合作开发。Bootstrap提供了优雅的HTML和CSS规范，它由动态CSS语言LESS写成，与CSS框架Blueprint存在很多相似...

从Twitter退出Bootstrap

Twitter 最近推出了Bootstrap ，这是一个CSS样式库，面向需要一些设计帮助的Web应用程序开发人员。 该工具包包括从网格布局到按钮和模式的所有内容，并且可以在几乎所有现代浏览器上使用，一直到IE7。 让我们看看...

bootstrap资源收集

最全的 Twitter Bootstrap 开发资源清单 之前在网上偶尔看到的很多资源的一个集合 The Best BootStrap Resources 同10资源非常的丰富，根据需要进行筛选 Ridder 一个修改的bootstrap的主题 Bootsnipp bootstrap...

欧拉和格拉斯曼解释平行宇宙

1+2+3+4+5+......=-1/12; 所有正数的和居然不是正数，而是一个负数。 证明： 网上截图，大体就是这么证明的。 超弦理论： 2-（D-1）/12=0; D=25;超弦理论认为宇宙为25维； 弦除了在D这个维度里震动，还要在“超空间”里“格拉斯曼数坐标”上面的2个方向震动，所以在超弦理论当中，弦的整体能量应该是弦理论中的3倍。 2-（D-1）/4=0； D=...

前端开发清单

原文地址：Front-End-Checklist 原文作者：David Dias 译者：JohnsenZhou 文章地址：... 前端清单 前端清单是一份在站点/HTML页面发布到生产环境之前需要测试的所有元素的详尽列表。 它基于前...

大神教你几招玩转Bootstrap框架技术

一个简单的使用 Bootstrap 布局的登录表单就完成了。我们回顾一下，实现这个布局时，完全不用自己书写 CSS 样式代码，直接使用 Bootstrap 预定义好的类来完成即可。如果自己定义各样式内容，要达到上述响应式布局...

开发和常用工具推荐清单

开发相关 Resharper(收费) 如果说在VS中，必装的插件是什么，那么一定是Resharper. 园中甚至有看到朋友因为老板不愿意掏钱买Resharper而辞职。(不过我觉得也对，如果老板认为工具比人值钱，跟这样的老板混，...

30款最好的 Bootstrap 3.0 免费主题和模板

Twitter Bootstrap 框架已经广为人知，用于加快网站，应用程序或主题的界面开发，并被公认为是迄今对于 Web 开发的最有实质性帮助的工具之一。在此之前的，各种各样的界面库伴随着高昂的维护成本。 　在这篇文章中...

bootstrap学习——自定义bootstrap

定制的bootstrap：...bootstrap.less: 这个是核心文件。它用来引入其他文件，最终由你来编译它。 reset.less: 始终是最先引入的文件。 variables.less 和 mixins.less: 这两个文件总是同时出现，因为其他文件...

网络编程资源大集合(包含前端、java、linux、安卓、github开源项目、开发工具等)

以下内容来自转载（非常感谢此文第一作者）：1.安卓各组件介绍一、ListView二、ActionBar三、Menu四、ViewPager 、... Android开发神器1.Xabber客户端2.oschina客户端3.手机安全管家4.星座连萌5.玲闹铃6.魔乐盒7....

基于FPGA的四相八拍步进电机控制系统设计：集成交付、正反转、加速减速及调速功能

内容概要：本文详细介绍了基于FPGA的四相八拍步进电机控制系统的开发过程。主要内容包括：1. 使用VHDL和Verilog编写LED显示屏驱动代码，用于显示角度、学号和姓名等信息；2. 实现步进电机的正反转控制，通过状态机管理相序变化；3. 开发加速减速控制模块，确保电机启动和停止时的平稳性；4. 设计调速功能，通过调节脉冲频率实现速度控制。此外，文中还讨论了调试过程中遇到的问题及其解决方案。 适合人群：对FPGA开发和步进电机控制感兴趣的电子工程师、嵌入式系统开发者以及相关专业的学生。 使用场景及目标：适用于需要高精度运动控制的应用场合，如工业自动化、机器人技术和精密仪器等领域。目标是帮助读者掌握FPGA控制步进电机的基本原理和技术细节。 其他说明：文中提供了详细的代码片段和调试经验分享，有助于读者更好地理解和应用所学知识。同时，作者还提到了一些实用技巧，如通过PWM调节实现多级变速，以及如何避免步进电机的共振问题。

Android开发：基于SQLite的日历备忘录记事本项目详解与实现

内容概要：本文详细介绍了基于Android Studio开发的日历备忘录记事本项目，涵盖日历查看、添加备忘录、闹钟提醒和删除备忘录等功能。项目使用SQLite数据库进行数据存储，通过CalendarView、EditText、Button等控件实现用户交互，并利用AlarmManager和PendingIntent实现闹钟提醒功能。此外，项目还包括数据库的设计与管理，如创建DatabaseHelper类来管理数据库操作，确保数据的安全性和完整性。文章还探讨了一些常见的开发技巧和注意事项，如时间戳的使用、手势监听的实现等。 适用人群：适用于初学者和有一定经验的Android开发者，尤其是希望深入了解Android开发基础知识和技术细节的人群。 使用场景及目标：该项目旨在帮助开发者掌握Android开发的基本技能，包括UI设计、数据库操作、闹钟提醒机制等。通过实际项目练习，开发者能够更好地理解和应用这些技术，提升自己的开发能力。 其他说明：文中提到一些进阶任务，如用Room替换SQLite、增加分类标签、实现云端同步等，鼓励开发者进一步扩展和优化项目。同时，项目源码公开，便于学习和参考。

Matlab实现基于SVM-Adaboost支持向量机结合Adaboost集成学习时间序列预测的详细项目实例（含完整的程序，GUI设计和代码详解）

内容概要：本文档详细介绍了一个基于SVM（支持向量机）和Adaboost集成学习的时间序列预测项目。该项目旨在通过结合这两种强大算法，提升时间序列预测的准确性和稳定性。文档涵盖了项目的背景、目标、挑战及其解决方案，重点介绍了模型架构、数据预处理、特征选择、SVM训练、Adaboost集成、预测与误差修正等环节。此外，文档还探讨了模型在金融市场、气象、能源需求、交通流量和医疗健康等多个领域的应用潜力，并提出了未来改进的方向，如引入深度学习、多任务学习、联邦学习等先进技术。 适合人群：具备一定机器学习基础的研究人员和工程师，特别是那些从事时间序列预测工作的专业人士。 使用场景及目标：①用于金融市场、气象、能源需求、交通流量和医疗健康等领域的复杂时间序列数据预测；②通过结合SVM和Adaboost，提升预测模型的准确性和稳定性；③处理噪声数据，降低计算复杂度，提高模型的泛化能力和实时预测能力。 其他说明：文档不仅提供了详细的理论解释，还附有完整的Matlab代码示例和GUI设计指导，帮助读者理解和实践。此外，文档还讨论了模型的部署与应用，包括系统架构设计、实时数据流处理、可视化界面、GPU加速推理等方面的技术细节。