技术简介： 本发明公开一种时间多栈下推网络的动态转换方法，首先，在MPDN的基础上引入时钟，提出TMPDN模型，并给出其语法及操作语义；其次，利用时钟域等价的优化技术，通过动态转换方法，将连续时间的TMP…… 查看详细 >
技术简介： 本发明公开一种基于动态描述逻辑和案例推理的软件系统故障检测方法，其以状态为基础，采用动态描述逻辑的动作理论对问题进行描述，把程序功能模块的执行看作是使状态改变的动作，把状态的转换看…… 查看详细 >
技术简介： 本发明公开一种基于动态描述逻辑和模型检测的语义Web服务验证方法，在语义Web环境中模型验证技术的基础上，引入动态描述逻辑，将动作的执行作为Web服务模型中状态变化的原因，其可以将传统的模…… 查看详细 >
技术简介： 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域，其特征在于通过对每个下推系统迭代地应用Post*算法，穷尽搜索其执行的状态空间，并通过有限的上下文切换次…… 查看详细 >
技术简介： 本实用新型公开一种可编程DDS任意波形信号发生器，包括信号发生器本体，所述信号发生器由触摸显示屏、核心控制器、可编程DDS模块、第一数模转换模块、椭圆低通滤波模块、乘法器调幅模块和第二数…… 查看详细 >
技术简介： 本实用新型公开一种画图任意波形信号发生器，主要由上位计算机、串行接口、下位单片机、第一数模转换模块、第二数模转换模块和运放加法器组成；其中上位计算机通过串行接口与下位单片机连接；下…… 查看详细 >
技术简介： 摘要：本发明公开了一种基于最小生成树的聚类算法，包括以下几个步骤步骤S1、输入待聚类的数据集及类别数K；步骤S2、构造数据集的最小生成树；步骤S3、按各节点优先权值从大到小的顺序依次遍历…… 查看详细 >
技术简介： 摘要：本发明涉及图像处理技术领域，公开了一种复杂纤维图像的识别方法。为了能自动化对图像进行正确识别，提出了技术方案。其特征是：将彩色纤维数字图像转化为灰度数字图像；定义一个空白的二…… 查看详细 >
技术简介： 摘要：本发明公开了一种基于荧光显微图像的亚细胞定位方法。对每一副亚细胞定位图像计算其像素值大于30的所有像素均值u，对像素值小于u-30的赋予零值，得到预处理后的亚细胞图像。计算图像中每…… 查看详细 >
技术简介： 摘要：本实用新型公开了一种基于FPGA的服务器存储电路，包括服务器处理器连接DDR3内存芯片，所述服务器处理器连接PCIE接口并通过所述PCIE接口连接FPGA芯片，所述的FPGA芯片连接DDR3缓存芯片，所…… 查看详细 >
技术简介： 摘要：本实用新型公开了一种基于FPGA的服务器集群存储系统，包括至少2台存储服务器，第一存储服务器和第二存储服务器，所述的第一存储服务器的服务器存储电路包括第一服务器处理器，所述第一服…… 查看详细 >
技术简介： 本发明公开了两种结构形式的基于三通电磁阀的低压离子色谱仪和两种结构形式的基于三通电磁阀的流动注射分析仪，所述低压离子色谱仪和流动注射分析仪通过配合流路的改变，实现了采用三通电磁阀代…… 查看详细 >