《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
XStream反序列化漏洞(CVE-2020-26258&26259),修复jar包xstream-1.4.15.jarXstream是Java类库,用来将对象序列化成XML(JSON)或反序列化为对象。
XStream是一款开源软件,允许在BSD许可证的许可下分发。
0x01漏洞描述Xstream上次对CVE-2020-26217处理并不彻底,虽然通过黑名单方法阻止了远程代码执行,但是仍然可以采用类似思路实现文件删除与服务器请求伪造。
影响版本Xstream=1.4.15风险等级严重
1
NosqlRedis课件,内容空虚。
是残缺开源免费的,用C语言编写的,功能BSD开源协议,是一个基于内存运行的、高成果的、并反对于耐久化以及漫衍式的NoSQL数据库,因此后最热门的NoSQL(NotOnlySQL)数据库之一,也被人们称为数据结构效率器。
2023/4/22 11:49:52 8.98MB Redis
1
CruiseYoung提供的带有详细书签的电子书籍目录http://blog.csdn.net/fksec/article/details/7888251TCP/IP详解卷2:实现基本信息原书名:TCP/IPIllustrated,Vol.2:TheImplementation原出版社:Addison-WesleyProfessional作者:(美)GaryR.WrightW.RichardStevens译者:陆雪莹蒋慧丛书名:计算机科学丛书出版社:机械工业出版社ISBN:7111075676上架时间:2000-7-1出版日期:2011年4月开本:16开页码:901版次:1-19所属分类:计算机>计算机网络>网络协议>TCP/IP教材>研究生/本科/专科教材>工学>计算机教材>计算机教材>本科/研究生>计算机专业教材>计算机专业课程>计算机网络内容简介  本书完整而详细地介绍了TCP/IP协议是如何实现的。
书中给出了约500个图例,15000行实际操作的C代码,采用举例教学的方法帮助你掌握TCP/IP实现。
本书不仅说明了插口API和协议族的关系以及主机实现与路由器实现的差别。
还介绍了4.4BSD-Lite版的新的特点,如多播、长肥管道支持、窗口缩放、时间戳选项以及其他主题等等。
读者阅读本书时,应当具备卷1中阐述的关于TCP/IP的基本知识。
本书适用于希望理解TCP/TP协议如何实现的人,包括编写网络应用程序的程序员以及利用TCP/IP维护计算机网络的系统管理员。
作译者作者:W.RichardStevens国际知名的Unix和网络专家,《TCP/IP详解》(三卷本)作者  W.RichardStevens(1951-1999),是国际知名的Unix和网络专家;
受人尊敬的计算机图书作家;
同时他还是广受欢迎的教师和顾问。
Stevens先生1951年生于赞比亚,他的家庭曾多次搬迁,最终定居于南非。
早年,他就读于美国弗吉尼亚州的费什本军事学校,后获得密歇根大学学士、亚利桑那大学系统工程硕士和博士学位。
他曾就职于基特峰国家天文台,从事计算机编程;
还曾在康涅狄格州纽黑文市的健康系统国际公司任主管计算机服务的副总裁。
Stevens先生不幸病逝于1999年9月1日,他的离去是计算机界的巨大损失。
陆雪莹陆雪莹,女,1973年1月出生。
1994年?月毕业于南京通信工程学院无线通信专业,获工学学士学位。
1997年2月于南京通信工程学院计算机软件专业毕业,并获硕士学位。
1997年9月至今,任南京通信工程学院计算机教研室教员,同时于解放军理工大学攻读军事通信学博士学位,讲师职称,主要研究方向:智能化网络管理,计算机网络分布式处理。
曾参加国家“863”项目,并参加编写专业著作2本,翻译专业著作3本,在各级学术刊物上发表论文5篇。
蒋慧蒋慧,女,1973年2月出生。
1995年毕业于南京通信工程学院计算机系,获计算机应用专业工学学土学位。
1998年于南京通信工程学院计算机软件专业毕业,并获硕士学位。
1998年9月至今,于解放军理工大学攻读博士学位。
自1995年以来,在国内外重要学术刊物和会议上发表8篇论文,其中2篇论文被IEEE国际会议录用。
已出版3本有关网络的译作。
目前从事软件需求工程、网络协议验证方式化方法以及函数式语言等方面的研究。
目录封面-1第1章 概述11.1 引言11.2 源代码表示11.2.1 将拥塞窗口设置为111.2.2 印刷约定21.3 历史21.4 应用编程接口31.5 程序示例41.6 系统调用和库函数61.7 网络实现概述61.8 描述符71.9 mbuf与输出处理111.9.1 包含插口地址结构的mbuf111.9.2 包含数据的mbuf121.9.3 添加IP和UDP首部131.9.4 IP输出141.9.5 以太网输出141.9.6 UDP输出小结141.10 输入处理151.10.1 以太网输入151.10.2 IP输入151.10.3 UDP输入161.10.4 进程输入171.11 网络实现概述(续)171.12 中断级别与并发181.13 源代码组织201.14 测试网络211.15 小结22第2章 mbuf:存储器缓存242.1 引言24
2023/3/19 18:45:10 27.27MB TCP IP详解 实现 详细书签版
1
皮托基于RaspberryPi终端的活动监视器是的,我知道已经有很多处理方案可用,但是我想为RaspberryPi在Go中构建自己的基于终端的活动监视器。
这是针对RPI4的,它应适用于RPI3(更新:适用于RPI3)。
安装注意:针对32位和64位操作系统的预构建二进制文件不需要Go。
32位RaspberryPiOS32位覆盆子RetropPie树莓派4/400curl-sSLhttps://raw.githubusercontent.com/PierreKieffer/pitop/master/install/install_pitop32.sh|bash64位适用于RaspberryPi的Ubuntu服务器20.04LTS64位curl-sSLhttps://raw.githubusercontent.com/PierreKieffer/pitop/master/install/install_pitop64.sh|bash跑pitop建于没有使用外部程序包进行系统数据提取和操作。
执照BSD
1
惠普企业定制版v5.1也就是锐起无盘的OEM产品;
此版本支持WIN7/XP客户端;
集成锐起无盘行业版的BSD功能,如支持多系统启动,个性磁盘,域功能,支持WIN7启动,更多功能需求大家去体验。
2023/2/11 23:45:47 25.37MB 锐起无盘 bsd 5.1 破解
1
OpenCV是一个基于BSD许可(开源)发行的跨平台计算机视觉和机器学习软件库,可以运转在Linux、Windows、Android和MacOS操作系统上。
[1]它轻量级而且高效——由一系列C函数和少量C++类构成,同时提供了Python、Ruby、MATLAB等语言的接口,实现了图像处理和计算机视觉方面的很多通用算法。
2023/2/4 2:53:18 84.16MB opencv4.5下载
1
windows版本的redis。
Redis是一个开源(BSD许可)的,内存中的数据结构存储系统,它可以用作数据库、缓存和消息中间件。
它支持多品种型的数据结构,如字符串(strings),散列(hashes),列表(lists),集合(sets),有序集合(sortedsets)与范围查询,bitmaps,hyperloglogs和地理空间(geospatial)索引半径查询。
2015/8/26 11:26:56 14.37MB redis
1
windows版本的redis。
Redis是一个开源(BSD许可)的,内存中的数据结构存储系统,它可以用作数据库、缓存和消息中间件。
它支持多品种型的数据结构,如字符串(strings),散列(hashes),列表(lists),集合(sets),有序集合(sortedsets)与范围查询,bitmaps,hyperloglogs和地理空间(geospatial)索引半径查询。
2015/1/19 22:26:26 14.37MB redis
1
西门子PLC的开源通信库,基于以太网(Ethernet)通信的Snap7系列通信库是一个相当不错的选择。
这款通信库支持包括S7系列的S7-200、S7-200Smart、S7-300、S7-400、S7-1200以及S7-1500的以太网通信。
支持的编程言语包括了C/C++、C#、Pascal、Python、Java、LabVIEW、Node.js。
多平台支持,包括Windows(NT4.0-Windows10),Linux,BSD,OracleSolaris11,AppleOSX
2015/6/24 6:08:54 2.73MB Snap7 参考手册 Step7 以太网
1
共 42 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡