会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明专利
    • Generation device for test pattern, generation method thereof, and generation program thereof
    • 测试模式的生成装置及其生成方法及其生成程序
    • JP2014130414A
    • 2014-07-10
    • JP2012286636
    • 2012-12-28
    • Toshiba Corp株式会社東芝
    • MARUCHI KOHEISAKAI MASAHIROSHIN HIROMASAYOSHIZAWA SUSUMUSAKAI HIROTAKANITTA TAKAYUKIYOSHIDA NOBUAKIUMEMURA NORIHIROHATTORI KANAKO
    • G06F17/50G01R31/3183
    • PROBLEM TO BE SOLVED: To provide a generation technique for a test pattern in which it can be confirmed that each connection is propagated independently to an output.SOLUTION: A generation device 10 for a test pattern includes: a circuit connection information holding part 18 which holds connection information on a circuit included in circuit representation data represented with a logic gate, a logic block, and a connection connecting them to each other; a test registration part 12 which registers a test case used for a logic test on the circuit in a test DB 13; a connection value calculation part 14 which records a connection value calculated by inputting the test case to the circuit in a connection value history 15; and a connection propagation calculation part 21 which derives an input line group affecting a specified output line on the basis of the connection information, and calculates whether each input line is propagated independently to the output line on the basis of the connection value history.
    • 要解决的问题:提供可以确认每个连接独立地传播到输出端的测试图案的生成技术。解决方案:用于测试图案的生成装置10包括:电路连接信息保持部18,其 保存由逻辑门,逻辑块和将它们相互连接的连接所表示的电路表示数据中包含的电路上的连接信息; 测试注册部分12,其将用于逻辑测试的测试用例登记在测试DB 13中的电路上; 连接值计算部14,其通过连接值历史15记录通过将测试用例输入到电路而计算出的连接值; 以及连接传播计算部21,其基于连接信息导出影响指定输出行的输入线组,并且基于连接值历史来计算各输入线是否独立地传播到输出线。
    • 2. 发明专利
    • Process improvement measure evaluation device and method
    • 过程改进测量设备和方法
    • JP2011198300A
    • 2011-10-06
    • JP2010066948
    • 2010-03-23
    • Toshiba Corp株式会社東芝
    • FUKUMOTO YASUFUMIICHIJO YASUOMARUCHI KOHEI
    • G06Q10/00G06Q10/06G06Q50/00
    • PROBLEM TO BE SOLVED: To provide a process improvement measure evaluation device and a method where a return caused by a fault and a cost to be required for improvement measures are incorporated into an evaluation target.SOLUTION: The process improvement measure evaluation device includes: a process flow model 12 for generating a model where man-hour in the case without a fault, the number of faults to be modified in the process, and a man-hour required per one fault in the process are regulated concerning each process of a project; a setting part 14 for setting in the model, the number of the faults and the man-hour concerning each process based on a teacher project with the past results recorded therein; a measures influence estimating part 17 for changing the number of the faults in each process which is set in the model based on the process improvement measure information with a project plan value changed therein, and updating the man-hour of each process after the process improvement measures based on the changed number of the faults; and an output part 16 for outputting a process improvement measure evaluation value including the updated information.
    • 要解决的问题:提供一种过程改进措施评估装置和将由故障引起的返回和改进措施所需的成本并入评估对象的方法。解决方案:流程改进措施评估装置包括: 流程模型12用于生成在没有故障的情况下的工时,在过程中要修改的故障的数量以及过程中每个故障所需的工时的模型,关于项目的每个过程 ; 根据其中记录过去结果的教师项目,设置模型中的设置部分14,故障数量和关于每个过程的工时; 一种措施影响估计部分17,用于根据在其中改变项目计划值的过程改进措施信息来改变在模型中设置的每个过程中的故障数量,并且在处理改进之后更新每个处理的工时 基于故障数量变化的措施; 以及用于输出包括更新信息的处理改进量度评价值的输出部16。
    • 3. 发明专利
    • Magnetic disk unit and method for controlling magnetic head
    • 磁盘单元及控制磁头的方法
    • JP2008243283A
    • 2008-10-09
    • JP2007081901
    • 2007-03-27
    • Toshiba Corp株式会社東芝
    • TAKAKURA SHINJIMARUCHI KOHEIYOSHIDA MITSUNOBU
    • G11B21/08
    • G11B5/5547
    • PROBLEM TO BE SOLVED: To provide a magnetic disk unit and method for controlling a magnetic head which can quickly write data when a data sector comes under the magnetic head.
      SOLUTION: The magnetic disk unit comprises a driving section for moving the magnetic head to magnetically write/read information on a magnetic disk, a position error feedback controlling section for operating feedback control of the driving section based on a difference between a destined position and a detected position of the magnetic head, and a speed controlling section for operating the driving section to make the speed of the driving section follow a target speed curve by making the target speed curve variable and using a control equation model of the driving section based on the position of the magnetic head before moving, the target position of the magnetic head, and the position of the data sector to write/read.
      COPYRIGHT: (C)2009,JPO&INPIT
    • 要解决的问题:提供一种用于控制磁头的磁盘单元和方法,该磁头可以在数据扇区到达磁头之下时快速写入数据。 解决方案:磁盘单元包括用于使磁头移动以磁性地写入/读取磁盘上的信息的驱动部分,位置误差反馈控制部分,用于基于目标物体的差异来操作驱动部分的反馈控制 位置和磁头的检测位置;以及速度控制部分,用于操作驱动部分,以使得驱动部分的速度通过使目标速度曲线变化而跟随目标速度曲线,并且使用驱动部分的控制方程模型 基于磁头在移动之前的位置,磁头的目标位置和数据扇区的位置进行写/读。 版权所有(C)2009,JPO&INPIT
    • 9. 发明专利
    • 情報処理装置、情報処理方法及びプログラム
    • 信息处理设备,信息处理方法和程序
    • JP2015032151A
    • 2015-02-16
    • JP2013161453
    • 2013-08-02
    • 株式会社東芝Toshiba Corp
    • ISHII TAKESHIMARUCHI KOHEIIWAMASA MIKIHITO
    • G06F17/50
    • G06F17/5004G06F17/50
    • 【課題】システムを設計する際の設計品質のばらつきを低減させる。【解決手段】空間的に複数の構成要素が配置され、階層毎に種類が異なる構成要素が階層状に電気的に接続され、各構成要素の電気的な出力が当該構成要素より一つ上の層の構成要素へ入力される対象システムを設計する情報処理装置である。電気的接続関係生成部は、上記構成要素それぞれが他の構成要素と接続できる数と各階層の構成要素の種類とで決まる構成要素の電気的な接続関係を、与えられた空間に配置できる所定の種類の構成要素の数と上記階層の最上層における構成要素の電気的な許容量とに基づいて調整することで、上記複数の構成要素の電気的な接続関係を生成する。空間配置決定部は、電気的接続関係生成部が生成した電気的な接続関係と上記構成要素の空間的な配置の規則に基づいて、上記所定の種類の構成要素の空間的な配置を決定する。【選択図】図5
    • 要解决的问题:在设计系统时减少设计质量的不规则性。解决方案:提供一种信息处理装置,用于设计多个组成元素在空间上布置的目标系统,不同类型的组成元素 每个等级分级和电连接,每个组成元件的电输出以比构成元件的电平输出高一个的构成元件。 电连接关系生成单元调整由各构成要素可以与其他构成要素连接的构成要素的数量和各等级的构成要素的种类决定的构成要素之间的电连接关系, 可以配置在分配空间中的预定类型的构成要素的数量和最高等级的构成要素的电气公差的基础,从而在多个构成要素之间产生电连接关系。 空间排列确定单元基于由电连接关系生成单元产生的电连接关系和构成要素的空间排列规则,来确定预定类型的构成要素的空间排列。
    • 10. 发明专利
    • Program verification device, program verification method and verification program
    • 程序验证设备,程序验证方法和验证程序
    • JP2009157456A
    • 2009-07-16
    • JP2007332152
    • 2007-12-25
    • Toshiba Corp株式会社東芝
    • MARUCHI KOHEIKATAOKA YOSHIOSAKAI MASAHIRO
    • G06F11/28
    • G06F11/3696G06F11/3676
    • PROBLEM TO BE SOLVED: To efficiently expand test coverage in dynamic verification of a program.
      SOLUTION: A program verification apparatus includes: a variable monitoring means executing a program to be verified, and monitoring a plurality of variables; a constraint condition holding means holding constraint condition including constraints of each variable and constraints between the variables; a state acquisition means acquiring a target variable state comprising a set of values of one or more target variables of the plurality of variables monitored by the state monitoring means; a state generation means generating a target variable state not acquired yet by the state acquisition means such that the constraint conditions are satisfied; and a state setting means setting the generated target variable state to the program to be verified.
      COPYRIGHT: (C)2009,JPO&INPIT
    • 要解决的问题:在程序的动态验证中有效扩展测试覆盖范围。 解决方案:程序验证装置包括:执行要验证的程序的可变监视装置,以及多个变量的监视; 约束条件保持装置,其保持包含每个变量的约束和所述变量之间的约束的约束条件; 状态获取装置获取包含由所述状态监视装置监视的所述多个变量中的一个或多个目标变量的值的集合的目标可变状态; 状态产生装置,用于产生尚未被状态获取装置获取的目标可变状态,使得满足约束条件; 以及状态设置装置,将生成的目标可变状态设置为要被验证的程序。 版权所有(C)2009,JPO&INPIT