会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Method and apparatus for processing image signal
    • 用于处理图像信号的方法和装置
    • US4551768A
    • 1985-11-05
    • US545926
    • 1983-10-27
    • Hiroyoshi TsuchiyaKatsuo NakazatoKunio SannomiyaHidehiko KawakamiHirotaka Otsuka
    • Hiroyoshi TsuchiyaKatsuo NakazatoKunio SannomiyaHidehiko KawakamiHirotaka Otsuka
    • H04N1/405H04N1/40
    • H04N1/4051
    • The invention relates to a method for processing an image signal such that areas of original image data are sequentially scanned with a scanning window having a size corresponding to M picture elements in units of a predetermined number of picture elements so as to perform halftone display in accordance with black-and-white binary distribution with respect to the signal levels of the picture elements within the scanning window every time the scanning window is moved. The picture elements within the scanning window are assigned an order of preference in accordance with their image signal levels. A sum of the image signal levels of the picture elements within the scanning window is calculated, and A and N of the equation S=C.times.N+A are calculated, where C is a predetermined image signal level (e.g., black level and maximum level), N is an integer, and A is the image signal level falling within the range 0.ltoreq.A
    • 本发明涉及一种用于处理图像信号的方法,使得以预定数量的图像元素为单位的具有与M个图像元素相对应的尺寸的扫描窗口依次扫描原始图像数据的区域,以便根据该方式执行半色调显示 每次扫描窗口移动时,相对于扫描窗口内的图像元素的信号电平,具有黑白二进制分布。 扫描窗口内的图像元素根据其图像信号电平被分配优先顺序。 计算扫描窗口内的像素的图像信号电平的和,并且计算等式S = C×N + A的A和N,其中C是预定图像信号电平(例如,黑电平和最大电平) ,N是整数,A是图像信号电平落在0
    • 4. 发明授权
    • Apparatus for processing image signal
    • 用于处理图像信号的装置
    • US4692811A
    • 1987-09-08
    • US758961
    • 1985-07-25
    • Hiroyoshi TsuchiyaToshiharu KurosawaHirotaka OtsukaYuuji MaruyamaKatsuo Nakazato
    • Hiroyoshi TsuchiyaToshiharu KurosawaHirotaka OtsukaYuuji MaruyamaKatsuo Nakazato
    • H04N1/405H04N1/40
    • H04N1/4052
    • The invention relates to a method for processing an image signal such that areas of original image data are sequentially scanned with a scanning window having a size corresponding to M picture elements in units of a predetermined number of picture elements so as to perform halftone display in accordance with black-and-white binary distribution with respect to the signal levels of the picture elements within the scanning window every time the scanning window is moved. The picture elements within the scanning window are assigned an order of preference in accordance with their image signal levels. A sum of the image signal levels of the picture elements within the scanning window is calculated, and A and N of the equations S=C.times.N+A are calculated, where C is a predetermined image signal level (e.g., black level and maximum level), N is an integer, and A is the image signal level falling within the range O.ltoreq.A
    • 本发明涉及一种用于处理图像信号的方法,使得以预定数量的图像元素为单位的具有与M个图像元素相对应的尺寸的扫描窗口顺序地扫描原始图像数据的区域,以便按照该方式执行半色调显示 每次扫描窗口移动时,相对于扫描窗口内的图像元素的信号电平,具有黑白二进制分布。 扫描窗口内的图像元素根据其图像信号电平被分配优先顺序。 计算扫描窗口内的像素的图像信号电平的和,并计算等式S = CxN + A的A和N,其中C是预定的图像信号电平(例如,黑电平和最大电平) ,N是整数,A是图像信号电平落在范围O <= A
    • 5. 发明申请
    • Method and apparatus to generate test sequences for communication protocols
    • 生成通信协议测试序列的方法和装置
    • US20050086020A1
    • 2005-04-21
    • US10689553
    • 2003-10-21
    • Takanori MoriHirotaka OtsukaNobuo FunabikiAkio NakataTeruo Higashino
    • Takanori MoriHirotaka OtsukaNobuo FunabikiAkio NakataTeruo Higashino
    • G01M99/00H04L12/26G01R31/14G06F19/00
    • H04L43/50
    • The present invention's method and apparatus to generate test sequences for communication protocols input the data of the finite state machines (FSM) representing the specification of the communication protocols, and convert the test sequence generation problem to the SAT problem, and generate test sequences for communication protocols by solving the SAT problem. In addition, the present invention converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem by using a conjunctive normal form formula based on the modified FSM. According to the present invention, by considering the multiple UIO sequences and the overlapping of the UIO sequences, the minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM can be generated. According to the present invention, by considering the overlapping of the subsequences, the minimum length test sequences to check whether the state transitions described in the specification of the protocol is correctly implemented in the implementation of the FSM can be generated.
    • 本发明的生成用于通信协议的测试序列的方法和装置输入表示通信协议规范的有限状态机(FSM)的数据,并将测试序列生成问题转换为SAT问题,并生成用于通信的测试序列 协议通过解决SAT问题。 另外,本发明通过修改FSM并通过使用基于修改后的FSM的连接正态形式公式来描述测试序列生成问题,将测试序列生成问题转换为SAT问题。 根据本发明,通过考虑多个UIO序列和UIO序列的重叠,可以生成最小长度测试序列,以检查在实施FSM中是否存在协议规范中描述的状态。 根据本发明,通过考虑子序列的重叠,可以生成用于检查协议规范中描述的状态转换的最小长度测试序列是否在FSM的实现中正确实现。
    • 6. 发明授权
    • Method and apparatus to generate test sequences for communication protocols
    • 生成通信协议测试序列的方法和装置
    • US07035747B2
    • 2006-04-25
    • US10689553
    • 2003-10-21
    • Takanori MoriHirotaka OtsukaNobuo FunabikiAkio NakataTeruo Higashino
    • Takanori MoriHirotaka OtsukaNobuo FunabikiAkio NakataTeruo Higashino
    • G01D3/00G01M19/00
    • H04L43/50
    • A method and apparatus for generating test sequences for communication protocols that inputs data of finite state machines (FSM) representing the specification of the communication protocols, converts the test sequence generation problem to the satisfiability problem (SAT problem), and generates test sequences for communication protocols by solving the SAT problem. The method converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem using a conjunctive normal form formula based on the modified FSIM. By considering multiple input/output (UID) sequences and overlapping sequences, the method generates minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM.
    • 用于生成表示通信协议规范的有限状态机(FSM)的数据的通信协议的测试序列的方法和装置将测试序列生成问题转换为可满足性问题(SAT问题),并生成用于通信的测试序列 协议通过解决SAT问题。 该方法通过修改FSM并使用基于修改的FSIM的连续正态表达式描述测试序列生成问题,将测试序列生成问题转换为SAT问题。 通过考虑多个输入/输出(UID)序列和重叠序列,该方法生成最小长度测试序列,以检查协议规范中描述的状态是否存在于FSM的实现中。