《10000个科学难题》序  前言  奥特(Vaught)猜想与拓扑奥特猜想  超紧基数典型内模型问题  递归可枚举度中的格嵌入问题和双量词理论可判定性问题  高层有限波雷尔(Borel)等价关系中的两个问题  极小塔问题  r=rω?及s=sω?  连续统势确定问题  奇异基数问题  萨克斯(Sacks)关于波斯特(Post)问题的度不变解问题和马丁(Martin)猜想  图灵(Turing)等价问题  图灵(Turing)度的自同构问题  是否存在一个稳定的一阶完全理论,它有大于一的有穷多个可数模型  Cherlin-zilber猜想  带指数函数的实数理论的可判定性问题  Shelalh唯一性猜想  微分封闭域上的平凡强极小集  3-Calabi-Yau代数的分类  阿廷(Artin)群的Grobner-Shirshov基  布如意(Broue)交换亏群猜想  布朗(Brown)问题  凯莱(Cayley)图和相关的问题  福克斯(Foulkes)猜想  戈伦斯坦(Gorenstein)对称猜想  卡普兰斯基(Kaplansky)第六猜想  中山(Nakayama)猜想和广义中山(Nakayama)猜想  拉姆拉斯(Ramras)问题  Smashing子范畴上的公开问题  巴斯-奎伦(Bass-Quillen)猜想  非半单Brauer代数的表示理论  非交换曲面的分类  关于码交换等价于前缀码的猜测  关于半群上一类重要同余的一个系列推广模式  关于有限码具有有限完备化的判定问题  关于正则半群的两个嵌入问题  广义倾斜模中的两个猜想  考克斯特群的胞腔  满足正规子群极小条件的可解群的Fitting子群是否是幂零的?  模代数smash积的半素性  球极函数的提升Pieri型公式  稳定等价猜想  一些代数的Grobner-Shirshov基  由导出范畴建立量子群和典范基  有限维数猜想  ABC猜测  巴斯(Bass)猜想和索尔(Soule)猜想  Lichtenbaum猜想  里德一所罗门(Reed-Solomon)码的译码问题  沙努尔(Schanuel)猜想  [1]哥德巴赫(Goldbach)猜想  关于不同模覆盖系的厄尔多斯(Erdos)问题  关于倒数和发散序列的厄尔多斯图兰(Erdos-Turan)猜想  关于奇数阶阿贝尔(Abel)群的Snevily猜想  关于有限域上代数曲线点数的Drinfeld-Vladt界  朗兰兹(Langlands)纲领  类数1实二次域的高斯猜想  黎曼(Riemann)zeta函数在奇正整数点处值的超越性  黎曼(Riemann)猜想  欧拉常数的超越性  椭圆曲线的BSD猜想  希尔伯特第九问题:高斯二次互反律如何推广  希尔伯特第十二问题:构作数域的最大阿贝尔扩域  岩泽(Iwasawa)理论的主猜想  ……  编后记
2023/8/19 14:21:04 9.17MB 科学难题,数学,猜想
1
多Agent系统引论(三个压缩包)(英)MichaelWooldridge著,石纯一等译网上唯一完整高清pdf版,亲自加有各章书签。
感谢“原版-miaoziao”
2023/8/14 21:54:56 5.38MB 多Agent
1
系统设计指标的多维性决定了系统设计不存在唯一解或绝对最优解,系统工程师需要结合各类实际约束条件,在不同的设计指标之间进行综合考虑和权衡(有的指标之间存在互斥)。
一般的应对方法,是在系统前期方案设计阶段,针对系统需求拟定多种实现方案,并通过对不同方案的分析、对比,最终确定一种综合最优的方案继续详细设计。
其中,变体管理与配置是系统多方案设计的手段之一。
本文章节安排如下:案例思路概述设计约束模型创建系统架构模型创建计算分析模型-参数图变体的实现-Generalizationrelationship多方案对比分析小结&项目应用展望如上图所示,系统多方案设计和比选大致分为四个步骤:1.确定系统方案架构2
1
1.定义图书类,属性有:书名、出版社、ISBN号、作者、库存量、价格等信息和相关的对属性做操作的行为.2.添加功能:主要完成图书信息的添加,要求ISBN号唯一.当添加了重复的编号时,则提示数据添加重复并取消添加.3.查询功能:可按书名、ISBN号、作者、出版社进行查询。
若存在相应信息,输出所查询的信息,若不存在该记录,则提示“该书籍不存在!”.4.修改功能:可根据查询结果对相应的记录进行修改,修改时注意ISBN号的唯一性.5.删除功能:主要完成图书信息的删除。
输入要删除的ISBN号,根据编号删除该物品的记录
2023/8/12 3:32:34 31KB 图书管理
1
赤兔Cms程序是一套采用PHP+MYSQL环境下运行的完善而强大的快速建站系统。
完善的会员管理及三级分销方案,是其他CMS无法比拟的,唯一具有分销的CMS,可能这就是他收费的亮点吧!经过近多年的开发经验和技术积累,赤兔Cms程序已逐步走向成熟,在易用性和功能上已经成为同行中的佼佼者。
2023/8/11 21:40:11 7.99MB 赤兔Cms 三级分销
1
视频网站系统主要是一个网上IT教育平台,通过它我们可以收集想要学习IT前沿技术的leaner的信息,帮助他们实现他们的IT梦,本系统提供了各种主流的编程语言,比如:java、php、Python、html等。
本系统主要是采用目前市场中主流开发框架ssm架构和相当优秀的javaweb技术,以及使用jsp技术实现动态页面的加载,当然更友好的页面加载方式是使用html来做页面的静态加载,因为加载静态页面比加载动态页面要快,从而大大的提高了系统的使用效率。
本系统采用的IDE是功能强大的eclipse,其实eclipse的优势没有idea好,根据我去上班的公司中,很多用的IDE基本上都是idea,优势好在哪里,自己去体会,实践是检验真理的唯一标准。
本系统对于用户忘记密码而无法登录观看视频的时候,可以通过点击忘记密码按钮,跳转到向自己注册的邮箱中发送验证码用于找回密码,更改为新的密码,同时也对用户信息进行了安全性的维护。
此论文首先介绍了项目的开发背景,然后介绍了eclipse开发平台,对eclipse开发工具的使用方式、特征都做了一些说明。
并且,此论文对毕业设计项目的开发环境做了一系列的检测和评估,针对于视频网站系统的使用前景也做了相应的分析和估测,确定此系统具有实际的开发意义。
着重从系统的价值和目的方面来对该系统进行详细设计,对系统的每一个模块,每一个功能都做了比较取全面的考虑。
2023/8/11 4:17:38 47.01MB 本科毕业论文 java 网页设计 数据库
1
关于大学在晚上断电的做法,我结合调研数据提出我的看法,这件事有不利的一面,但更多的是校方处于对学生日常作息的考虑而制定的制度,我们不是唯一的。
熄灯之后同学们的作息习惯明显改善,熬夜人数明显减少,课堂活跃氛围明显提高,对一部分同学来说,这样做其实对他们没有一点影响,但对于那些经常熬夜的同学却是一次提醒。
抱怨是肯定会有的,但我希望同学们在抱怨之前能够稍微换位思考一下,断电不是为了难为我们。
2023/8/9 2:52:22 18.55MB 断电调研
1
IEC61850标准是电力系统自动化领域唯一的全球通用标准。
它通过标准的实现,实现了智能变电站的工程运作标准化。
使得智能变电站的工程实施变得规范、统一和透明。
不论是哪个系统集成商建立的智能变电站工程都可以通过SCD(系统配置)文件了解整个变电站的结构和布局,对于智能化变电站发展具有不可替代的作用。
2023/8/6 21:12:17 22.97MB IEC 61850 标准 中文完整版
1
市面上能下载的《算法导论》中文版都没有目录(标签),阅读极不方便,翻阅困难。
本人(crocostone)亲自手动制作了完整的标签,包括章、节、小节的标签,在Acrobat7.0和9.0版本和FoxitReader4.2版本均能打开。
而且,我精心调整了文档的大小,打开或点击标签的时候,默认就是最适合阅读、眼睛最舒服的文档大小,无需再调整大小。
本人亲自制作,在CSDN上奉献,欢迎使用!有了目录(标签),学习效率真的可以提高一大截啊!内容:1、全世界唯一带“完整”目录的《算法导论》第二版中文版。
crocostone亲自制作2、目前能找到的多个版本的习题答案和代码,有Java实现的,C++实现的,官方的、非官方的,教参,考试题答案等等!3、讲义。
4、算法导论第二版最清晰的英文版,文字和伪代码可以拷出来。
5、算法导论第一版中文版,书名《现代计算机常用数据结构和算法》,带完整目录。
6、算法导论第三版英文版。
数据结构教材,我强烈推荐SartajSahni著《数据结构算法与应用——C++语言描述》。
这是一部难得的好书,作者循序渐进,娓娓道来,每一种数据结构和算法都给出了详细的实现代码和运行结果,而且代码质量极高,甚至可以直接照搬到商业软件开发中。
此书的算法部分也很精到,比算法导论更容易学习和入门。
SartajSahni《数据结构算法与应用——C++语言描述》全集,包含中英文图书、代码、习题答案、演示动画,都是我亲自从此书的官方网站下载并汇总的,绝对权威,请在这里下载:download.csdn.net/detail/crocostone/3255585算法和数据结构是计算机的绝对核心技术。
学好核心技术,既为了自己,也为了天空不落下别国的炸弹,别国的天空落下我们的炸弹!请CSDN网友,下载完,评论的同时,要点击评论框上方的五角星(共5个五角星),这样你的被扣的积分就可以返还,还会加一分。
如果只评论,不点击小五角星,积分不会返还。
一定要先下载完,再评论。
如果先评论后下载,或者在下载的过程中评论,积分同样不会返还。
2023/8/6 14:23:46 195.01MB 算法导论 算法 麻省理工 数据结构
1
日历打卡微信小程序demo,申请的地址和几点说明:https://mp.weixin.qq.com/cgi-bin/registermidpage?action=index&lang=zh_CN每个身份证(或手机号)最多申请5个;
微信小程序的名称有唯一限制,包括了公众号的名称;
微信小程序类似于原生app,可以在微信中找个小程序体验一下;
目前微信平台红利发放主要在小程序,比如在微信中搜索同一个名字,搜索结果中小程序会靠前;
依靠微信庞大的用户群和日活,微信小程序在整个微信生态中想象空间很大;
开发文档和开发工具下载:https://developers.weixin.qq.com/miniprogram/introduction/index.html?t=2018428小程序端代码开发:小程序、后端开发实现
2023/8/5 14:38:53 34.88MB 打卡 小程序 java
1
共 208 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡