首先，本文讨论了弱ＭＴＬ－代数的性质，并给出弱ＭＴＬ－代数的等价刻画；
其次，将蕴涵演绎系统.的概念引入到弱ＭＴＬ－代数中，并研究了演绎系统与蕴涵演绎系统的关系，且给出蕴涵演绎系统的几个.等价条件；
最后，讨论了弱ＭＴＬ－代数中的演绎系统和同余关系之间的相互决定的关系，并证明了在弱.ＭＴＬ－代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱ＭＴＬ－代数。
其次，将蕴涵演绎系统.的概念引入到弱ＭＴＬ－代数中，并研究了演绎系统与蕴涵演绎系统的关系，且给出蕴涵演绎系统的几个.等价条件；
最后，讨论了弱ＭＴＬ－代数中的演绎系统和同余关系之间的相互决定的关系，并证明了在弱.ＭＴＬ－代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱ＭＴＬ－代数。
2024/6/12 1:44:47
340KB
1
小波与傅里叶分析基础作 者：（美）AlbertBoggess,FrancisJ.Narcowich译 者：芮国胜康健等出版社：电子工业出版社出版时间：2004-1-1许多关于小波的文章和参考书籍均要求读者具有复杂的数学背景知识，本书则只要求学生具有较好的微积分以及线性代数知识，通俗易懂。
第0章内积空间0.1引言0.2内积的定义0.3L2空间和l2空间0.4Schwarz不等式与三角不等式0.5正交0.6线性算子及其伴随算子0.7最小二乘和线性预测编码0.8习题第1章傅里叶级数1.1引言1.2傅里叶级数的计算1.3傅里叶级数的收敛定理1.4习题第2章傅里叶变换2.1傅里叶变换的通俗描述2.2傅里叶变换的性质2.3线性滤波器2.4采样定理2.5不确定性原理2.6习题第3章离散傅里叶分析第4章haar小波分析4.1小波的由来4.2Haar小波4.3Haar分解和重构算法4.4小结4.5习题第5章多分辨率分析5.1多分辨率框架5.2分解和重构的实现5.3傅里叶变换准则5.4习题第6章Daubechies小波分析6.1Daubechies小波的构造6.2分类、矩和平滑性6.3计算问题6.4二进点上的尺度函数6.5习题第7章其它小波主题7.1计算复杂度7.2高维小波7.3相应的分解和重构7.4小波变换7.5习题附录A技术问题附录BMATLAB程序
第0章内积空间0.1引言0.2内积的定义0.3L2空间和l2空间0.4Schwarz不等式与三角不等式0.5正交0.6线性算子及其伴随算子0.7最小二乘和线性预测编码0.8习题第1章傅里叶级数1.1引言1.2傅里叶级数的计算1.3傅里叶级数的收敛定理1.4习题第2章傅里叶变换2.1傅里叶变换的通俗描述2.2傅里叶变换的性质2.3线性滤波器2.4采样定理2.5不确定性原理2.6习题第3章离散傅里叶分析第4章haar小波分析4.1小波的由来4.2Haar小波4.3Haar分解和重构算法4.4小结4.5习题第5章多分辨率分析5.1多分辨率框架5.2分解和重构的实现5.3傅里叶变换准则5.4习题第6章Daubechies小波分析6.1Daubechies小波的构造6.2分类、矩和平滑性6.3计算问题6.4二进点上的尺度函数6.5习题第7章其它小波主题7.1计算复杂度7.2高维小波7.3相应的分解和重构7.4小波变换7.5习题附录A技术问题附录BMATLAB程序
2024/6/10 0:16:21
4.16MB
1
本书是经过锤炼的优秀教材，已在世界范围内畅销三十多年。
在美国的概率论教材中，本书占有50%以上的市场，被华盛顿大学、斯坦福大学、普度大学、密歇根大学、约翰霍普金斯大学、得克萨斯大学等众多名校采用。
国内很多高校也采用这本书作为教材或参考书，如北京大学、清华大学、华东师范大学、浙江大学、武汉大学、中央财经大学和上海财经大学等。
书中通过大量的例子系统介绍了概率论的基础知识及其广泛应用，内容涉及组合分析、条件概率、离散型随机变量、连续型随机变量、随机变量的联合分布、期望的性质、极限定理和模拟等。
第9版继续对教材进行微调和优化，做了大量的小修改，还增加了有助于建立概率直觉的例子和练习，使得叙述更加清晰。
各章末附有大量的练习，还在书末给出自检习题的全部解答。
这本极佳的入门教材，尤其适用于统计学、经管类和工程类专业的学生学习概率论知识。
在美国的概率论教材中，本书占有50%以上的市场，被华盛顿大学、斯坦福大学、普度大学、密歇根大学、约翰霍普金斯大学、得克萨斯大学等众多名校采用。
国内很多高校也采用这本书作为教材或参考书，如北京大学、清华大学、华东师范大学、浙江大学、武汉大学、中央财经大学和上海财经大学等。
书中通过大量的例子系统介绍了概率论的基础知识及其广泛应用，内容涉及组合分析、条件概率、离散型随机变量、连续型随机变量、随机变量的联合分布、期望的性质、极限定理和模拟等。
第9版继续对教材进行微调和优化，做了大量的小修改，还增加了有助于建立概率直觉的例子和练习，使得叙述更加清晰。
各章末附有大量的练习，还在书末给出自检习题的全部解答。
这本极佳的入门教材，尤其适用于统计学、经管类和工程类专业的学生学习概率论知识。
2024/5/5 7:11:44
17.55MB
1
数据库中关于关系模式的知识，涉及到模块分解以及相关定义性质，还有算法练习，内涵公理系统的有效性已经相应的推理规则，适合初学者以及数据库爱好者学习，有效掌握数据库关系模式这一块的知识
2024/4/23 19:07:13
1.34MB
1
现代机器人学仿生系统的运动感知与控制作者：郭巧【内容简介】现代机器人学内容十分繁杂。
本书围绕仿生系统的运动、感知与控制，主要阐述生物系统的运动机理以及仿生系统运动的实现方法。
全书共分十章。
首先，从生物系统的运动系入手，通过研究人体骨、肌和软件组织及其相应的力学性质来阐述生物体的运动机理；
通过对生物运动学和动力学特性的分析建立生物体的运动模型；
在讨论了生物体感觉系统模型以及生物体多源信息融合的基础上，给出了仿生系统感知信息融合的原理与方法以及仿生系统常用的感知器和致动器。
其次，着重讨论了现代机大人系统的神经控制、认知控制和自主控制的原理及其实现方法以及进化算法与人工生命问题。
最后，给出了各种仿生系统的实例。
本书可供生物工程、机器人学、自动控制等有关专业的科研人员和工程技术人员参考，也可供高学院相关专业教师、研究生和大学生作教学参考书。
http://images.china-pub.com/ebook250001-255000/250717/shupi.jpghttp://www.china-pub.com/250717
本书围绕仿生系统的运动、感知与控制，主要阐述生物系统的运动机理以及仿生系统运动的实现方法。
全书共分十章。
首先，从生物系统的运动系入手，通过研究人体骨、肌和软件组织及其相应的力学性质来阐述生物体的运动机理；
通过对生物运动学和动力学特性的分析建立生物体的运动模型；
在讨论了生物体感觉系统模型以及生物体多源信息融合的基础上，给出了仿生系统感知信息融合的原理与方法以及仿生系统常用的感知器和致动器。
其次，着重讨论了现代机大人系统的神经控制、认知控制和自主控制的原理及其实现方法以及进化算法与人工生命问题。
最后，给出了各种仿生系统的实例。
本书可供生物工程、机器人学、自动控制等有关专业的科研人员和工程技术人员参考，也可供高学院相关专业教师、研究生和大学生作教学参考书。
http://images.china-pub.com/ebook250001-255000/250717/shupi.jpghttp://www.china-pub.com/250717
2024/4/19 1:01:06
18.61MB
1
IOI国家集训队2019论文集，目录：钟子谦-《两类递推数列的性质和应用》王修涵-《浅谈图模型上的随机游走问题》杨骏昭-《“小水题”命题报告》高嘉煊-《浅谈图的点着色问题》戴言-《浅谈格路计数相关问题》李佳衡-《算法竞赛中一些数论问题的推广与高斯整数初探》范致远-《“基础圆方树练习题”命题报告》徐翊轩-《“整点计数”命题报告以及对高斯整数的若干研究》张哲宇-《浅谈树上分治算法》吴思扬-《“组合数求和”命题报告》王思齐-《浅谈一类简洁数据结构》陈孙立-《子串周期查询问题的相关算法及其应用》吴作同-《“公园”命题报告》孔朝哲-《浅谈可追溯化数据结构》袁方舟-《浅谈杨氏矩阵在信息学竞赛中的应用》
2024/3/14 8:57:02
2.86MB
1
应用Pegg-Barnett位相理论,研究了Jaynes-Cummings模型(J-C模型)中压缩真空初态场位相演化特性,具体计算了弱压缩条件下,场的位相几率分布函数及位相涨落,给出了在极坐标中位相几率分布演化曲线,讨论了原子与场相互作用对场的位相性质的影响。
2024/3/12 10:35:52
1.12MB
1
贝塞尔光束的横向光强分布表现为一个中心光斑和一系列同心圆环。
在物理上可以实现的贝塞尔光束，其无衍射传播范围是有限的。
在贝塞尔光束的无衍射范围内，贝塞尔光束保持横向光强分布，即使在遇到不透明障碍物后也可以恢复到原来的横向光强分布。
贝塞尔光束独特的光强分布和传播性质使其得到了广泛应用，例如光学成像，微细加工，光学互联和校直，粒子操控，微缩平板印刷，非线性光学等。
在物理上可以实现的贝塞尔光束，其无衍射传播范围是有限的。
在贝塞尔光束的无衍射范围内，贝塞尔光束保持横向光强分布，即使在遇到不透明障碍物后也可以恢复到原来的横向光强分布。
贝塞尔光束独特的光强分布和传播性质使其得到了广泛应用，例如光学成像，微细加工，光学互联和校直，粒子操控，微缩平板印刷，非线性光学等。
2024/3/10 6:56:49
1KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB