高清嵌入式实时操作系统μCOS-II原理及应用-任哲(高清版本).pdf，目前网上最高清的资源，无页面缺损，适合ucos初学者阅读。
2024/3/28 0:04:54
60.89MB
1
并发加权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
提出了基于光强检测方式的空芯光纤表面等离子体共振(SPR)传感器。
采用波长为532nm的激光作为光源,对所设计传感器的性能进行了研究,并采用光传输模型对传感器的性能进行了理论分析,所得理论结果与实验结果相符。
传感器在线性区的最高灵敏度和最佳分辨率分别达到8380.3μW/RIU和5.5×10－6RIU。
相比于波长检测型空芯光纤SPR传感器,所提传感器的分辨率提高了2个数量级,且实验系统简单,有利于器件的进一步小型化。
采用波长为532nm的激光作为光源,对所设计传感器的性能进行了研究,并采用光传输模型对传感器的性能进行了理论分析,所得理论结果与实验结果相符。
传感器在线性区的最高灵敏度和最佳分辨率分别达到8380.3μW/RIU和5.5×10－6RIU。
相比于波长检测型空芯光纤SPR传感器,所提传感器的分辨率提高了2个数量级,且实验系统简单,有利于器件的进一步小型化。
2024/2/10 10:32:36
4.15MB
1
构建了全保偏双包层掺镱大模场面积光子晶体光纤(LMA-PCF)的单级飞秒激光直接放大系统。
光子晶体光纤(PCF)振荡级采用孤子型锁模运转，放大级采用非线性放大技术。
该系统获得的高功率飞秒脉冲输出平均功率为34W，脉冲宽度约为50fs，重复频率为42MHz，对应脉冲能量为0.8μJ，峰值功率为16.2MW。
光子晶体光纤(PCF)振荡级采用孤子型锁模运转，放大级采用非线性放大技术。
该系统获得的高功率飞秒脉冲输出平均功率为34W，脉冲宽度约为50fs，重复频率为42MHz，对应脉冲能量为0.8μJ，峰值功率为16.2MW。
2024/2/9 22:07:56
2.43MB
1
报道了一种由宽带光纤环形镜(FLM)作为腔反射元件的法布里珀罗腔掺磷光纤拉曼激光器(RFL)，并与使用窄带光纤布拉格光栅(FBG)作为高反镜的腔结构进行了对比研究。
研究结果表明，使用宽带FLM替代FBG仍可实现掺磷RFL的窄带激光输出，并且可有效避免拉曼激光从高反镜端的泄漏。
在相同的输出镜反射率情况下，使用FLM作为高反镜比使用FBG作为高反镜具有更低的振荡阈值和更高的光光转换效率。
当抽运功率为9.45W时，拉曼激光(1.24μm)输出功率为4.31W，激光器斜效率和光光转换效率分别为57.9%和45.6%。
研究结果表明，使用宽带FLM替代FBG仍可实现掺磷RFL的窄带激光输出，并且可有效避免拉曼激光从高反镜端的泄漏。
在相同的输出镜反射率情况下，使用FLM作为高反镜比使用FBG作为高反镜具有更低的振荡阈值和更高的光光转换效率。
当抽运功率为9.45W时，拉曼激光(1.24μm)输出功率为4.31W，激光器斜效率和光光转换效率分别为57.9%和45.6%。
2024/2/7 0:52:11
1.89MB
1
本文报道了一种在铜片上采用原位生长法制备的Cu2O-AgSERS基底的方法。
通过优化制备Cu2O的退火温度和时间及制备Cu2O-Ag的AgNO3浓度和反应时间，获得的原位生长Cu2O-Ag基底具有良好的拉曼增强效果。
通过对基底的表征及仿真模拟，发现基底表面形成的凹型空间和均匀密布的AgNPs提供了丰富的SERS“热点”，且该基底具有较好的疏水性，因此SERS活性显著。
该基底对多种违禁药物都有很好的灵敏度，拉曼强度与药物浓度具有良好的定量关系，孔雀石绿、恩诺沙星和呋喃西林的检测线分别为4.9nM、0.72μM和0.12μM。
本文提出的基底制备方法具有工艺简单、成本低且SERS活性高等优点，在环境监测领域具有较好的应用前景。
通过优化制备Cu2O的退火温度和时间及制备Cu2O-Ag的AgNO3浓度和反应时间，获得的原位生长Cu2O-Ag基底具有良好的拉曼增强效果。
通过对基底的表征及仿真模拟，发现基底表面形成的凹型空间和均匀密布的AgNPs提供了丰富的SERS“热点”，且该基底具有较好的疏水性，因此SERS活性显著。
该基底对多种违禁药物都有很好的灵敏度，拉曼强度与药物浓度具有良好的定量关系，孔雀石绿、恩诺沙星和呋喃西林的检测线分别为4.9nM、0.72μM和0.12μM。
本文提出的基底制备方法具有工艺简单、成本低且SERS活性高等优点，在环境监测领域具有较好的应用前景。
2024/2/6 12:44:34
49KB
1
功能全部实现；
误差很小；
利用51单片机IO口作输出，通过定时器的周期性中断输出一个占空比可调、频率可调的简易方波信号发生器，具体要求如下：1、完成频率范围为0.1Hz～5KHz的方波发生器，要求如下：（1）占空比5%~95%连续可调；
（2）可键盘输入信号发生的频率。
2、可完成脉宽范围为100μs～1s的脉冲信号发生器，要求如下：（1）可键盘输入发生脉冲宽度；
（2）每按一次触发键，可发出一个单脉冲。
3、根据已经描述的C语言控制程序，运用Proteus画出硬件连接图，并将运用C语言描述的程序下载到Proteus虚拟单片机中，在Proteus中实现“简易方波信号发生器”的各项功能。
误差很小；
利用51单片机IO口作输出，通过定时器的周期性中断输出一个占空比可调、频率可调的简易方波信号发生器，具体要求如下：1、完成频率范围为0.1Hz～5KHz的方波发生器，要求如下：（1）占空比5%~95%连续可调；
（2）可键盘输入信号发生的频率。
2、可完成脉宽范围为100μs～1s的脉冲信号发生器，要求如下：（1）可键盘输入发生脉冲宽度；
（2）每按一次触发键，可发出一个单脉冲。
3、根据已经描述的C语言控制程序，运用Proteus画出硬件连接图，并将运用C语言描述的程序下载到Proteus虚拟单片机中，在Proteus中实现“简易方波信号发生器”的各项功能。
2024/1/21 22:50:14
2.39MB
1
UCOS是Micrium公司出品的RTOS类实时操作系统，UCOS目前有两个版本：UCOSII和UCOSIII。
UCOSIII是一个可裁剪、可剥夺型的多任务内核，而且没有任务数限制。
UCOSIII提供了实时操作系统所需的所有功能，包括资源管理、同步、任务通信等。
UCOSIII是用C和汇编来写的，其中绝大部分都是用C语言编写的，只有极少数的与处理器密切相关的部分代码才是用汇编写的，UCOSIII结构简洁，可读性很强！最主要的是非常适合初次接触嵌入式实时操作系统学生、嵌入式系统开发人员和爱好者学习。
UCOSIII是一个可裁剪、可剥夺型的多任务内核，而且没有任务数限制。
UCOSIII提供了实时操作系统所需的所有功能，包括资源管理、同步、任务通信等。
UCOSIII是用C和汇编来写的，其中绝大部分都是用C语言编写的，只有极少数的与处理器密切相关的部分代码才是用汇编写的，UCOSIII结构简洁，可读性很强！最主要的是非常适合初次接触嵌入式实时操作系统学生、嵌入式系统开发人员和爱好者学习。
2024/1/13 8:17:37
13.3MB
1
为了实现无损检测，经常在生产中使用超高速全息照相。
但检测物(例如发动机或工作零件内部的检测)往往不总是很容易接近的。
这个障碍已由圣·路易德法联合研究所的F.Albe和H.Fagot两人消除，此法证实使用超短脉冲激光以很高功率密度在光纤中传输的超高速全息照相确实可行，虽然超短脉冲激光能使相干长度减小，频率展宽，甚至有时使光纤损坏，但使用脉宽20ns、输出能量20mJ的倍频YAG激光时，用单模参考光纤和直径为1nm的光纤(长为1m)照明物体。
他们以此成功地拍摄了两张全息照相，其第一个脉冲在物体振动后1.8ms,二次曝光间隔40μs。
实现全息照相内窥镜现也有所考虑。
但检测物(例如发动机或工作零件内部的检测)往往不总是很容易接近的。
这个障碍已由圣·路易德法联合研究所的F.Albe和H.Fagot两人消除，此法证实使用超短脉冲激光以很高功率密度在光纤中传输的超高速全息照相确实可行，虽然超短脉冲激光能使相干长度减小，频率展宽，甚至有时使光纤损坏，但使用脉宽20ns、输出能量20mJ的倍频YAG激光时，用单模参考光纤和直径为1nm的光纤(长为1m)照明物体。
他们以此成功地拍摄了两张全息照相，其第一个脉冲在物体振动后1.8ms,二次曝光间隔40μs。
实现全息照相内窥镜现也有所考虑。
2024/1/4 5:52:35
1.28MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB