《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
正则表达式检测工具,非常方便的工具,还可以生成c#代码。
2023/8/6 6:06:05 184KB RegExBuilder,正则表达式
1
作者:胡彦本框架是一个lex/yacc完整的示例,用于学习lex/yacc程序基本的搭建方法,在linux/cygwin下敲入make就可以编译和执行。
本例子虽小却演示了lex/yacc程序最常见和重要的特征:*lex/yacc文件格式、程序结构。
*如何在lex/yacc中使用C++和STL库,用extern"C"声明那些lex/yacc生成的、要链接的C函数,如yylex(),yywrap(),yyerror()。
*重定义YYSTYPE/yylval为复杂类型。
*用%token方式声明yacc记号。
*用%type方式声明非终结符的类型。
*lex里正则表达式的定义、识别方式。
*lex里用yylval向yacc返回属性值。
*在yacc嵌入的C代码动作里,对记号属性($1,$2等)、和非终结符属性($$)的正确引用方法。
*对yyin/yyout重赋值,以改变yacc默认的输入/输出目标。
*如何开始解析(yyparse函数),结束或继续解析(yywrap函数)。
本例子功能是,对当前目录下的file.txt文件,解析出其中的标识符、数字、其它符号,显示在屏幕上。
linux调试环境是Ubuntu10.04。
总之,大部分框架已经搭好了,你只要稍加扩展就可以成为一个计算器之类的程序,用于《编译原理》的课程设计。
文件列表:lex.l:lex程序文件。
yacc.y:yacc程序文件。
main.hpp:共同使用的头文件。
Makefile:makefile文件。
file.txt:给程序解析的文本文件。
使用方法:1-把lex_yacc_example.rar解压到linux/cygwin下。
2-命令行进入lex_yacc_example目录。
3-敲入make,这时会自动执行以下操作:(1)自动调用flex编译.l文件,生成lex.yy.c文件。
(2)自动调用bison编译.y文件,生成yacc.tab.c和yacc.tab.h文件。
(3)自动调用g++编译、链接出可执行文件main。
(4)自动执行main,得到如下结果:。
bison-dyacc.yg++-clex.yy.cg++-cyacc.tab.cg++lex.yy.oyacc.tab.o-omainid:abcid:defghiint:123int:45678op:!op:@op:#op:$AllId:abcdefghi参考资料:《Lex和Yacc从入门到精通(6)-解析C-C++包含文件》,http://blog.csdn.net/pandaxcl/article/details/1321552其它文章和代码请留意我的blog:http://blog.csdn.net/huyansoft2013-4-27
1
js简单应用的课程设计,主要运用多种简单js,知识点:JavaScript+jQuery+Ajax+正则表达式+面向对象+js插件+代码性能优化+github+seaJs+requireJs+gulp通过学习JavaScript基础变量、运算符、数据类型,函数,DOM高级操作,实现前端的数据处理与响应用户的各种操作学习ajax数据交互,与JSON数据处理,对象解析与面向对象开发,实现网页异步更新
2023/7/20 12:29:28 3.84MB JS
1
这里将给大家介绍怎么实现C#采用正则表达方式读取某段字符串中指定位置后面的数据内容,某种程度上可替代数据库的功能。
2023/7/19 3:30:25 50KB C# 正则表达
1
用百度云下载了很多文件后缀名都是.baiduyun.p.downloading怎么办?下载了一堆视频教程或连续剧名字很乱怎么办?想给很多音乐文件批量加专辑和歌手标签怎么办?可以用这个批量更名工具解决。
这是一个我见过最强大的批量更名工具。
例如批量修改百度云下载后缀名baiduyun.p.downloading:1、在上方输入文件夹路径,载入路径,并选择【遍历文件夹】。
2、点击【E扩展名变更】-【E.1.添加替换扩展名】-【替换】,输入【.downloading】,点击上方【开始更名】,这时后缀名变为baiduyun.p。
3、重复步骤2,依次替换【.p】和【.baiduyun】。
大功告成。
工具支持正则表达式,应该还有更简便的方法。
2023/7/17 18:18:43 5.69MB 批量 更名 改名 修改后缀名
1
《社会网络分析:理论、方法与应用》的内容结构是,除前言外共分为八章,分别介绍社会网络分析的基本原理和理论、社会网络资料类型和收集方法、网络分析的各种技术与方法、社会网络分析的应用等内容。
第一章首先追溯了西方社会网络分析的思想渊源,对国内外的研究状况做了系统回顾,介绍了社会网络分析的一些新进展。
社会网络分析有不同的学科发展背景,其发展也经历了不同的阶段。
我们通过回顾社会网络分析思想与方法在西方的发展,梳理出其中的主要线索和问题,并结合国内的研究状况进行探讨,目的在于强调更好地借鉴已有的成果,加强对社会网络分析的认识和应用。
第二章系统说明了社会网络分析的基本原理。
社会网络分析作为一种独立的社会研究方法,已形成了自己的理论基础和方法论原则。
通过这些方面我们可以认识社会网络分析方法的特征及其独特之处。
在本章中我们在说明社会网络分析概念的基础上,具体介绍了社会网络分析的方法论原理和研究程序。
第三章主要说明社会网络分析所用的数据资料具有自己的类型与特征,它是一组反映行动者关系的信息。
社会网络资料首先是关于社会关系的数据信息,简称关系数据。
关系数据不同于属性数据,不仅其本质内容不同,其表达形式也不同。
本章在介绍了社会网络资料的概念和类型基础上,结合研究设计具体说明了社会网络的测量及其收集方法。
第四章主要介绍社会网络分析的研究技术与方法。
社会网络最基本的数学表达形式是图论法和矩阵法。
图论法是以线和点的形式来表示行动者及其关系的一种方法。
用社群图可表示社会关系的结构、特征等属性。
矩阵法是把社会网络中的每一个结点或关系分别按行和列的方式排列即可形成网络矩阵,包括邻接矩阵、关联矩阵等。
矩阵法可以对群体关系进行具体分析。
第五章是关于社会网络的中心度分析。
中心度是我们认识社会网络中行动者位置及其关系的重要概念,具有广泛的应用性。
本章首先介绍了中心度、中心势概念,重点说明了结点中心度、紧密中心度、间距中心度及其测量方法。
最后又对社会网络中与等级密切相关的权力和声望作了分析。
网络中的声望不同于一般意义的社会声望概念,这里主要说明了接近度声望概念及其测量。
第六章是关于社会网络分析中的子群研究。
构成社会网络的基本元素就是行动者及其群体,社会中存在着各种各样的子群,它们相互结合形成了复杂的社会结构。
本章首先从社会群体、子群概念出发,说明各种团聚性的子群及其测量方法,包括“团伙”、n-团伙、n-宗派、k-丛等,最后分析隶属性群体。
第七章是关于网络中的位置和角色的分析。
在社会结构分析中,位置和角色是两个重要的概念。
本章在简要介绍了网络分析的位置和角色概念之后,主要说明了结构等价性、自同构等价性和正则等价性及其不同的测量方法,最后一节简要介绍了关系代数法和统计模型法。
位置和角色分析是目前社会网络分析中数量化分析程度最高的方面,已应用和发展出了许多不同的数学分析方法。
本章结合例子简要介绍了聚类法、统计模型法等。
这些分析方法现在都可借助于有关的分析软件来应用。
第八章讨论了社会网络分析的一些应用。
社会网络分析具有非常广泛的应用,其应用领域已远远超出了社会学和人类学的传统范围,如小群体关系、社会支持网等,而且扩展到了人文社会科学甚至工程技术科学的诸多领域。
但《社会网络分析:理论、方法与应用》只是简要分析了与社会网络分析密切相关的社会资本研究以及体现中国社会结构特征的“关系”研究。
2023/7/15 18:14:47 47.25MB 社会网络
1
compose-regexp.js用JavaScript构建和编写可维护的正则表达式。
正则表达式不能正确对待正则语法。
正规的语法/语言形式主义全都与。
但是RegExps被设计为ed和grep等。
使用RegExp文字无法从较小的抽象模式构建大型表达式。
这使得复杂的RegExps难以阅读,调试和修改...compose-regexp可以解救!它并不能使常规语法变得更强大,但它们上仍然,但是由于它们无处不在,因此我们也可能拥有更好的工具来实现它们……用法$npminstall--savecompose-regexpimport{sequence,either,capture,  ref,suffix,flags,avoid}from"compose-regexp";//canberequire
2023/7/12 13:46:05 14KB JavaScript
1
基于主成分分析和贝叶斯正则化BP神经网络的GDP预测
2023/7/7 16:17:49 196KB MATLAB
1
L2正则化python实现案例(附代码),含图形展示,对于正则化理解又直观帮助
2023/7/6 7:19:36 4KB 机器学习 正则化
1
共 234 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡