状态转换系统的格值量化验证方法研究 

形式化方法是使用数学方法确保计算机软硬件系统的正确性和可靠性.经典的形式化描述和验证方法是在二值逻辑上展开的.近年来,大家开始关注非二值情形的形式化描述和验证方法研究,逐步形成了量化描述和验证方法,包括数值和非数值的形式化描述和验证方法.本文将剩余格理论和形式化方法两个不同的研究领域联系起来,提出了一种描述不完备或不相...
华东师范大学  博士论文  2012年 下载次数(206)| 被引次数(4)

基于完备剩余格的双标号转换系统 

为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念,给出格值互模拟关系的逻辑刻画。
《模糊系统与数学》  2012年 第05期 下载次数(53)| 被引次数(4)

软件的近似正确性及与环境交互度量模型研究 

随着软件系统的日趋庞大和复杂,软件可信性问题越来越得到人们的关注.软件的可信性是在软件的正确性、可靠性、安全性等众多属性基础上发展起来的一个新概念.而正确性是软件可信研究中一个重要的内容,其主要体现在软件执行结果能否符合人们的预期.在抽象层次上,可以把软件执行看作软件实现(implementation),人...
华东师范大学  博士论文  2010年 下载次数(237)| 被引次数(2)

控制器驱动器、使用其的移动终端以及显示面板驱动方法 

一种控制器驱动器,包括颜色板电路,用于容纳可表示对应于颜色的颜色标号和对应于颜色的RGB数据之间关系的颜色板数据;第一存储部分,用于容纳包含了指明第一层图像每一像素颜色的第一RGB数据的第一层数据;第二存储部分,用于容纳包含了指明第二层图像每一像素颜色的颜色标号的第二层数据;计算电路,用于产生第...
恩益禧电子股份有限公司  中国专利  2005年 下载次数(0)| 被引次数(0)

网络管理系统,网络单元,网络,方法和计算机程序产品 

网络管理系统,包括产生控制信号的发生器,通过把控制信号提供给控制器而管理网络中每个网络单元或每个链路的所有话务信号之总和。通过分辨第一种话务信号和第二种话务信号,计算至少一种话务信号的函数,把所计算的函数与门限值进行比较,根据比较结果产生控制信号,管理的效率可以大大提高。分辨可以在可控话务信号和不可控话务信号之间进行,...
阿尔卡塔尔公司  中国专利  2003年 下载次数(0)| 被引次数(0)

采用IP传输网络的终端至终端通信连接控制方法 

一个连接服务器和一个中继连接服务器都被安装在一个IP传送网络中;与一个用户交换机的线路连接控制类似的一种功能被应用于一个连接服务器;与一个中继交换机的线路连接控制类似的一种功能被应用于中继连接服务器;且采用IP传送网络的一种终端至终端通信连接控制方法以这样的方式得到实现,即电话机...
财团法人流通系统开发研究所;有限会社宫口研究所  中国专利  2009年 下载次数(0)| 被引次数(0)

采用IP传输网络的终端至终端通信连接控制方法 

一个连接服务器和一个中继连接服务器都被安装在一个IP传送网络中;与一个用户交换机的线路连接控制类似的一种功能被应用于一个连接服务器;与一个中继交换机的线路连接控制类似的一种功能被应用于中继连接服务器;且采用IP传送网络的一种终端至终端通信连接控制方法以这样的方式得到实现,即电话机...
财团法人流通系统开发研究所;有限会社宫口研究所  中国专利  2009年 下载次数(0)| 被引次数(0)

一种利用类标号关系的多类标号分类算法 

传统的分类问题中,一个实例只和一个类标号相关联,但是多类标号分类问题中,一个实例可以和多个类标号相关联,所以,与单类标号分类问题的任务不同,多类标号分类的任务是为一个新实例预测一个合适的类标号集合。目前,如何充分利用类标号之间关联关系是多类标号分类问题成功的关键,但是,已有的多类标号分类方法往往认为类标号之间是相互独立...
郑州大学  硕士论文  2012年 下载次数(83)| 被引次数(0)

采用IP传输网络的终端至终端通信连接控制方法 

一个连接服务器和一个中继连接服务器都被安装在一个IP传送网络中;与一个用户交换机的线路连接控制类似的一种功能被应用于一个连接服务器;与一个中继交换机的线路连接控制类似的一种功能被应用于中继连接服务器;且采用IP传送网络的一种终端至终端通信连接控制方法以这样的方式得到实现,即电话机和诸如IP终端和视频终端的终端发送/接收...
财团法人流通系统开发研究所;有限会社宫口研究所  中国专利  2001年 下载次数(0)| 被引次数(0)

连通域标记算法的高速化研究及在纸病检测中的应用 

不断提高的纸机速度对纸病检测的处理速度提出了越来越高的要求。研究高效的纸病检测方法是国内外研究者们长期关注的热点问题。图像处理、模式识别等技术的快速发展,为纸病检测算法的研究带来了新的思路和方法。识别图像中的物体、提取物体的形状特征是通过图像处理实现纸病检测功能必不可少的处理。二值图像的连通域标记处理用于区分不同的物体...
陕西科技大学  博士论文  2019年 下载次数(46)| 被引次数()

Y,zn1联结组标号变压器用作变电站站用电变压器的探讨 

通常在变电站中安装10/0.4千伏Y,yn0联结组标号和35/0.4千伏Y,yn0联结组标号变压器各一台作站用电变压器,但在两台变压器之间无法实现不间断转换。文章提出用Y,zn1联结组标号变压器代替Y,yn0联结组标号变压器,即可实现不间断转换。
《沿海企业与科技》  2009年 第06期 下载次数(9)| 被引次数(0)

一种具有OAM和监控功能的非压缩视频光端机 

本发明涉及一种具有OAM功能和监控功能的非压缩视频光端机。该视频光端机由发送端和接收端组成。用户可以在接收端监控任一路的视频信号,还可以通过OAM模块得到光端机的工作环境和工作状态。对本发明进行功能扩展,增加多路选择功能,根据用户的需要从多个视频源中选出几路视频信号进行传输。本发...
北京邮电大学  中国专利  2009年 下载次数(0)| 被引次数(0)

利用电磁型振动单元的软骨传导接听装置及电磁型振动单元 

本发明提供移动电话或耳机或电磁型振动单元,其构成为在电磁型振动元件中夹置弹性体而支承彼此相对移动的两个部分,且从两个部分的至少一个部分取出用于软骨传导的振动。弹性体成为接触耳软骨的软骨传导单元。弹性体被配置在壳体的上部角部或角部附近。将两个部分的一个部分支承在壳体构造中,由壳体构造支承弹性体,并以上述弹性体支承两个部分...
罗姆股份有限公司;株式会社精好  中国专利  2017年 下载次数(0)| 被引次数(0)

一种面向类间交叠的两类文本分类方法 

本发明公开了一种面向类间交叠的两类文本分类方法,该方法首先形成训练样本向量,对类间交叠区域内的训练样本进行识别,判断其是否处于类间交叠区域内;然后,重新划分训练样本向量集合,在新划分的训练样本向量集合上构建第一层分类器;在各类处于类间交叠区域的训练样本集合上,提取相邻两个词性为动词或名词构成的二元词串作为特征,构建第二...
中国人民解放军信息工程大学  中国专利  2010年 下载次数(0)| 被引次数(0)

一种PM2.5浓度检测仪 

本发明公开了一种PM2.5浓度检测仪,包括传感器电路、A/D转换电路、主控电路、显示电路、报警电路、污染提醒电路;传感器电路和A/D转换电路串联连接,主控电路分别与A/D转换电路、显示电路、报警电路、污染提醒电路连接;传感器电路将PM2.5浓度值转换为对应电信号,并将电信...
武汉大学  中国专利  2015年 下载次数(0)| 被引次数(0)

共找到相关记录18条12下一页