排序方式: 共有99条查询结果,搜索用时 15 毫秒
1.
2.
模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象... 相似文献
3.
4.
5.
6.
本文对多元函数条件极值问题进行研究,讨论条件极值稳定点的判定方法,总结并证明条件极值问题中一些最值存在的判断方法. 相似文献
7.
8.
9.
为了抵消自然双折射引起的Pockels电场传感器的工作点漂移,设计了一种基于波长控制的铌酸锂晶体强电场传感器。设计的传感器系统包括:可调谐激光器、Pockels传感器、微控制单元及光电探测器。采用微控制器控制可调谐激光器的输出波长,使传感器具有π的固有相位偏置,即使传感器工作在线性区。仿真结果表明:当设计的传感器晶体长度大于0.45mm时,在1530~1565nm范围内可以找到使传感器工作在线性区的工作波长。最后结合传感器最大可测电场与半波电场之间的关系E_(max)≈0.3Eπ,得出传感器晶体长度为6.32mm,光沿z方向传播,x方向加电场,传感器最大可测电场为1000kV/m,此时调谐传感器的工作波长为1546.1nm可以使传感器工作在线性区。 相似文献
10.
UPLC-MS法同时测定牛奶中磺胺类、喹诺酮类、甾体激素类及四环素类兽药残留 总被引:2,自引:0,他引:2
建立并优化了同时测定牛奶中10种磺胺类、6种喹诺酮类、8种甾体激素类以及1种四环素类药物共25种兽药残留的超高效液相色谱-串联质谱检测方法。样品中目标药物经5%乙酸乙腈提取,HLB固相萃取小柱净化后,通过UPLC-MS测定,外标法定量。25种兽药在不同加标浓度下的回收率为61.6%~119.2%,组内相对标准偏差(RSD)为2.5%~13.4%,组间RSD为5.8%~14.2%,方法检出限为0.5~2.0μg/kg。 相似文献