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