在统一规划指导下，集团本部和下属企业的信息化年度项目计划、信息化投资和费用计划、重点项目的可研与立项，都要纳入集团统一管理范畴；
相关信息技术投资统一报备XXX集团大数据中心，按照总部、下属企业两个层次统一组织信息系统建设；
重大项目应采用先试点后推广的模式进行，避免低效投资和重复投资。
相关信息技术投资统一报备XXX集团大数据中心，按照总部、下属企业两个层次统一组织信息系统建设；
重大项目应采用先试点后推广的模式进行，避免低效投资和重复投资。
2024/11/7 16:49:12
13.48MB
1
数理逻辑是基础工具，研究PLT必备。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
2024/9/15 4:54:40
4.96MB
1
骨架提取与分水岭算法也属于形态学处理范畴，都放在morphology子模块内。
骨架提取，也叫二值图像细化。
这种算法能将一个连通区域细化成一个像素的宽度，用于特征提取和目标拓扑表示。
morphology子模块提供了两个函数用于骨架提取，分别是Skeletonize（）函数和medial_axis（）函数。
我们先来看Skeletonize（）函数。
格式为：skimage.morphology.skeletonize(image)输入和输出都是一幅二值图像。
例1： 生成一幅测试图像，上面有三个目标对象，分别进行骨架提取，结果如下：例2：利用系统自带的马图片进行骨架提取 medial_axis就是中
骨架提取，也叫二值图像细化。
这种算法能将一个连通区域细化成一个像素的宽度，用于特征提取和目标拓扑表示。
morphology子模块提供了两个函数用于骨架提取，分别是Skeletonize（）函数和medial_axis（）函数。
我们先来看Skeletonize（）函数。
格式为：skimage.morphology.skeletonize(image)输入和输出都是一幅二值图像。
例1： 生成一幅测试图像，上面有三个目标对象，分别进行骨架提取，结果如下：例2：利用系统自带的马图片进行骨架提取 medial_axis就是中
2024/8/3 6:20:31
177KB
1
借助于拓扑系统的思想和方法，对Heyting系统的H-空间化进行了再研究。
引入Heyting系统的H-同胚的概.念，证明了H-同胚的逆和复合还是H-同胚。
在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。
给出了Heyting系统是可H-空间化的等价刻画。
引入Heyting系统的H-同胚的概.念，证明了H-同胚的逆和复合还是H-同胚。
在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。
给出了Heyting系统是可H-空间化的等价刻画。
2024/8/1 2:16:50
256KB
1
理科生也能玩设计！今天@北京华创精益另辟蹊径，从科学的角度来分析如何吸引受众的视线，有哪些技巧可以运用。
我们喜欢将各种话题归结为一些根本原因，来说明为什么有些事有效（或者无效），这些深入的挖掘经常将我们带入心理学和科学范畴。
我发现对于视觉内容也是如此。
在许多心理学和科学中，都解释了视觉内容为何如此强大、如何创建漂亮的图片，总结了四点：你是否曾经爱上过一款设计，但是却解释不清为何喜欢？这些本能的反应是我们能够与视觉内容所产生的最强连接。
在我们的大脑中，有一个负责生存本能和战术评估（应战或者逃跑）的区域，当我们感知一种本能反应时，这个区域就会给我们发出响应。
这种响应是一种潜意识，当我们受到诸如食物
我们喜欢将各种话题归结为一些根本原因，来说明为什么有些事有效（或者无效），这些深入的挖掘经常将我们带入心理学和科学范畴。
我发现对于视觉内容也是如此。
在许多心理学和科学中，都解释了视觉内容为何如此强大、如何创建漂亮的图片，总结了四点：你是否曾经爱上过一款设计，但是却解释不清为何喜欢？这些本能的反应是我们能够与视觉内容所产生的最强连接。
在我们的大脑中，有一个负责生存本能和战术评估（应战或者逃跑）的区域，当我们感知一种本能反应时，这个区域就会给我们发出响应。
这种响应是一种潜意识，当我们受到诸如食物
2024/7/14 17:21:01
540KB
1
《概率论与数理统计：英文本》简介： 本书从ThomsonLearning出版公司引进。
本书主要介绍了概率统计的基本思想、概念和方法，从各个应用层面和案例入手，使用尽量少的概率知识介绍了应用统计的基本内容和扩展内容。
阅读本书，不需要微积分学知识，只需具备高中数学水平即可。
本书着重思维、层次分明、大量案例与练习以统计软件Minitab作统计分析，使用方便，适合于工科、经济、管理类专业学生作为概率统计双语教材使用，也可供教师教学参考。
本书主要内容有：0.统计学简介；
1.用图表描述数据；
2.用数值方法描述数据；
3.双变量数据的描述；
4.概率及概率分布；
5.几个有用的离散型分布；
6.正态概率分布；
7.抽样分布；
8.大样本估计；
9.大样本假设检验；
10.从小样本推断；
11.方差分析；
12.线性回归及相关性；
13.多元线性回归；
14.范畴数据分析；
15.非参数统计。
本书主要介绍了概率统计的基本思想、概念和方法，从各个应用层面和案例入手，使用尽量少的概率知识介绍了应用统计的基本内容和扩展内容。
阅读本书，不需要微积分学知识，只需具备高中数学水平即可。
本书着重思维、层次分明、大量案例与练习以统计软件Minitab作统计分析，使用方便，适合于工科、经济、管理类专业学生作为概率统计双语教材使用，也可供教师教学参考。
本书主要内容有：0.统计学简介；
1.用图表描述数据；
2.用数值方法描述数据；
3.双变量数据的描述；
4.概率及概率分布；
5.几个有用的离散型分布；
6.正态概率分布；
7.抽样分布；
8.大样本估计；
9.大样本假设检验；
10.从小样本推断；
11.方差分析；
12.线性回归及相关性；
13.多元线性回归；
14.范畴数据分析；
15.非参数统计。
2024/6/2 18:52:11
1.96MB
1
CategoriesandComputerScience-CambridgeComputerScienceTexts)R.F.C.Walters.pdf
2023/11/20 2:56:10
1.15MB
1
就是那个大家都熟悉的『JackandRose』的故事，豪华游艇倒了，大家都惊恐逃生，可是救生艇的数量有限，无法人人都有，副船长发话了『ladyandkidfirst！』，所以是否获救其实并非随机，而是基于一些背景有rank先后的。
训练和测试数据是一些乘客的个人信息以及存活状况，要尝试根据它生成合适的模型并预测其他人的存活状况。
对，这是一个二分类问题，是我们之前讨论的logisticregression所能处理的范畴。
训练和测试数据是一些乘客的个人信息以及存活状况，要尝试根据它生成合适的模型并预测其他人的存活状况。
对，这是一个二分类问题，是我们之前讨论的logisticregression所能处理的范畴。
2023/10/4 18:05:57
4.17MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB