技术简介： 本发明公开一种基于动态描述逻辑和案例推理的软件系统故障检测方法，其以状态为基础，采用动态描述逻辑的动作理论对问题进行描述，把程序功能模块的执行看作是使状态改变的动作，把状态的转换看…… 查看详细 >
技术简介： 本发明公开一种基于动态描述逻辑和模型检测的语义Web服务验证方法，在语义Web环境中模型验证技术的基础上，引入动态描述逻辑，将动作的执行作为Web服务模型中状态变化的原因，其可以将传统的模…… 查看详细 >
技术简介： 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域，其特征在于通过对每个下推系统迭代地应用Post*算法，穷尽搜索其执行的状态空间，并通过有限的上下文切换次…… 查看详细 >
技术简介： 本实用新型公开一种可编程DDS任意波形信号发生器，包括信号发生器本体，所述信号发生器由触摸显示屏、核心控制器、可编程DDS模块、第一数模转换模块、椭圆低通滤波模块、乘法器调幅模块和第二数…… 查看详细 >
技术简介： 本实用新型公开一种画图任意波形信号发生器，主要由上位计算机、串行接口、下位单片机、第一数模转换模块、第二数模转换模块和运放加法器组成；其中上位计算机通过串行接口与下位单片机连接；下…… 查看详细 >
技术简介： 本实用新型公开一种高精度分布式同步时钟系统，采用GPS与恒温晶振相结合的分布式同步方式，即通过GPS接收机模块解算出时间信息、定位信息并产生1PPS信号去校正恒温晶振模块所产生的本地秒脉冲信…… 查看详细 >
技术简介： 本发明公开一种伪卫星时间同步及其定位方法，其基准站配备有高精度时钟，如铷原子钟，基准站发射同步信号；伪卫星站同步接收基准站发来的信号，经信号处理和授时计算，得到高精度的授时结果，并…… 查看详细 >
技术简介： 本发明公开一种北斗无缝高精度授时系统，其主要由北斗卫星、用户接收终端、伪卫星主站和至少3个伪卫星副站组成；伪卫星主站和至少3个伪卫星副站分别固定安装在空间的不同位置处；伪卫星主站同时…… 查看详细 >
技术简介： 本发明公开一种手机投影灯的健康照明方法，基于现有微型投影仪，通过投影控制端提供给用户的模式选择反馈来选择相应的连接模块接收数据；通过时钟电路来判断所属时间范围；通过光度感应器接收当…… 查看详细 >
技术简介： 本实用新型公开了基于光纤非线性增益偏振相关性的光域偏振锁定装置，其特征是，包括顺序连接的光学扰偏器、光学放大器、第一波分复用器、低双折射光纤、第二波分复用器和光学滤波器，设有第一泵…… 查看详细 >
技术简介： 本发明公开了基于光纤非线性增益偏振相关性的光域偏振锁定装置，其特征是，包括顺序连接的光学扰偏器、光学放大器、第一波分复用器、低双折射光纤、第二波分复用器和光学滤波器，设有第一泵浦源…… 查看详细 >
技术简介： 本实用新型为四线偏振模信号光在线掺铒光纤放大器，放大器包含顺序连接的第一模式复用模块，第一、第二掺铒光纤和第二模式复用模块。第一掺铒光纤纤芯铒粒子为环形掺杂，第二掺铒光纤纤芯为中心…… 查看详细 >