并发加权mu－演算(concurrentweightedmu－calculus，CWC)是对Kim．G．Larsen所提出的并发加权逻辑的强有力的扩充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。
本文对CWC进行了研究，给出了CWC的语法并阐述了CWC的标记加权转移语义。
μ－演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树自动机与CWC之间的联系，构建了一种特定的用于CWC的轮替树自动机模型。
一致性内插定理是Craig内插定理的加强和扩展，为了探究CWC上的一致性内插定理，根据AndrewM．Pitts提出的方法，利用互模拟量词寻找一致性插值。
给出了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和CWC上一致性内插定理之间的关系。
在此过程中利用ω展开(unravelling)，由ω展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在CWC上成立。
本文对CWC进行了研究，给出了CWC的语法并阐述了CWC的标记加权转移语义。
μ－演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树自动机与CWC之间的联系，构建了一种特定的用于CWC的轮替树自动机模型。
一致性内插定理是Craig内插定理的加强和扩展，为了探究CWC上的一致性内插定理，根据AndrewM．Pitts提出的方法，利用互模拟量词寻找一致性插值。
给出了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和CWC上一致性内插定理之间的关系。
在此过程中利用ω展开(unravelling)，由ω展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在CWC上成立。
2024/2/22 3:52:31
516KB
1
不用matlab的自带函数，自编的边缘提取程序。
不用matlab的自带函数，自编的边缘提取程序。
不用matlab的自带函数，自编的边缘提取程序。
不用matlab的自带函数，自编的边缘提取程序。
不用matlab的自带函数，自编的边缘提取程序。
不用matlab的自带函数，自编的边缘提取程序。
不用matlab的自带函数，自编的边缘提取程序。
2024/2/19 18:45:21
3KB
1
对传统的GA结构加以改进，利用一种改良的OX交叉算子加快算法的收敛速度，利用变换变异算子维持群体的多样性防止算法早熟收敛，访真试验结果验证了算法的有效性
2024/2/17 23:36:58
252KB
1
毕业课程设计，绝对原创。
主要用到的是边缘检测（三种算子），最佳阀值二值化，霍夫转换这三种方面的算法。
用的是最基本的编程方法。
程序最后还有一段废代码，是我遵循边缘检测-检测边缘点-短线连接-长线连接-直线拟合-霍夫转换。
这个思路做的，可惜没有得到老师的指导，直做到了长线连接这里，有兴趣的同学可以看看。
代码虽然乱，不过还是有挺多注释的，如果真的不能理解可以直接留言。
论文也传上来了，我的可不是优秀论文，万勿模仿。
。
否则后果自负。
主要用到的是边缘检测（三种算子），最佳阀值二值化，霍夫转换这三种方面的算法。
用的是最基本的编程方法。
程序最后还有一段废代码，是我遵循边缘检测-检测边缘点-短线连接-长线连接-直线拟合-霍夫转换。
这个思路做的，可惜没有得到老师的指导，直做到了长线连接这里，有兴趣的同学可以看看。
代码虽然乱，不过还是有挺多注释的，如果真的不能理解可以直接留言。
论文也传上来了，我的可不是优秀论文，万勿模仿。
。
否则后果自负。
2024/2/13 23:22:13
864KB
1
本教程适用初学者快速掌握SystemVIew工具，包含以下几章:第1章SystemView的功能与使用简介1.1SystemView简介1.2SystemView的用户环境1.2.1设计窗口1.2.2图标库1.2.3图标定义1.3系统定时1.4基本使用1.4.1基本系统的搭建1.4.2分析窗口1.4.3接收计算器1.4.4全局参数连接1.4.5可变参数设计1.4.6与外部文件的接1.4.7动态探针功能1.4.8自动程序生成(APG)功能第2章用SystemView实现滤波器设计2.1各种类型的滤波器设计2.1.1FIR滤波器设计2.1.2Analog模拟滤波器设计2.1.3Communication通信滤波器设计2.1.4用户自定义型滤波器的设计2.1.5直接输入系数设计2.2下载到硬件级第3章SystemView的图标库3.1基本库3.1.1信号源库3.1.2子系统库3.1.3加法器图标3.1.4子系统I/O图标3.1.5算子库3.1.6函数库3.1.7乘法器库3.1.8观察窗库3.2专业库3.2.1通信库3.2.2DSP库3.2.333扩展库3.3.1CDMA库3.3.2数字视频广播DVB库3.3.3自适应滤波器库第4章SystemView调用其它工具4.1用户代码库的调用4.2与仿真工具Matlab的接口
2024/2/1 22:19:53
3.23MB
1
开发环境为vs2015debugx64+opencv3.2。
资源为一个源.cpp文件，三个算子分别写成了三个函数。
下载前请先看一下环境和opencv版本是否一致。
资源为一个源.cpp文件，三个算子分别写成了三个函数。
下载前请先看一下环境和opencv版本是否一致。
2024/1/27 18:27:20
7KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB