公开(公告)号：US20130263092A1

公开(公告)日：2013-10-03

申请号：US13876771

申请日：2011-10-25

申请人： Masaki Chikahisa ,  Makoto Ichii ,  Hideto Noguchi

发明人： Masaki Chikahisa ,  Makoto Ichii ,  Hideto Noguchi

IPC分类号： G06F11/36

CPC分类号： G06F11/3608 ,  G06F11/3604 ,  G06F11/3624

摘要： A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.

摘要翻译： 一种通过使用计算机转换用于将软件的源代码转换为检验码的源代码的方法，包括以下步骤：输入软件的源代码; 输入多个不同的转换规则; 输入与过程绩效有关的约束的非功能性规则; 以及通过所述多个不同的转换规则和所述非功能规则将所述源代码转换为以验证工具的输入语言编写的非功能检验代码。

公开(公告)号：US09027002B2

公开(公告)日：2015-05-05

申请号：US13876771

申请日：2011-10-25

申请人： Masaki Chikahisa ,  Makoto Ichii ,  Hideto Noguchi

发明人： Masaki Chikahisa ,  Makoto Ichii ,  Hideto Noguchi

IPC分类号： G06F9/44 ,  G06F11/36

CPC分类号： G06F11/3608 ,  G06F11/3604 ,  G06F11/3624

摘要： A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.

摘要翻译： 一种通过使用计算机转换用于将软件的源代码转换为检验码的源代码的方法，包括以下步骤：输入软件的源代码; 输入多个不同的转换规则; 输入与过程绩效有关的约束的非功能性规则; 以及通过所述多个不同的转换规则和所述非功能规则将所述源代码转换为以验证工具的输入语言编写的非功能检验代码。

公开(公告)号：US20130239098A1

公开(公告)日：2013-09-12

申请号：US13814744

申请日：2011-08-08

申请人： Makoto Ichii ,  Masaki Chikahisa ,  Hideto Noguchi ,  Takehiko Nagano

发明人： Makoto Ichii ,  Masaki Chikahisa ,  Hideto Noguchi ,  Takehiko Nagano

IPC分类号： G06F9/45

CPC分类号： G06F8/40 ,  G06F8/51 ,  G06F8/75 ,  G06F11/3604 ,  G06F11/3624

摘要： In checking a model of software, there is an approach of transforming a source code of software into a checking code in order to reduce a cost required to describe the checking code by an input language of a model checker. Since a user may select only a single transformation method, there are problems in that an abstraction-level change is difficult, a rule modification cost for following up a design and a change of the source code is high, and a rule modification cost for checking using another checking tool is high. In the present invention, when the source code is transformed into the checking code, a unit that selects a plurality of transformation rules is provided to allow the user to easily change an abstraction level. Further, the plurality of transformation rules include a transformation rule of transforming the source code into an intermediate format, a transformation rule of abstracting the intermediate format, and a transformation rule of transforming the intermediate format into the checking code.

摘要翻译： 在检查软件模型时，有一种将软件的源代码转换成检查代码的方法，以便通过模型检查器的输入语言来减少描述检查代码所需的成本。 由于用户只能选择单一的变换方法，所以存在抽象级别变化困难的问题，用于跟踪设计和修改源代码的规则修改成本高，并且用于检查的规则修改成本 使用另一种检查工具很高。 在本发明中，当将源代码变换为检查代码时，提供选择多个变换规则的单元，以允许用户容易地改变抽象级别。 此外，多个变换规则包括将源代码变换成中间格式的变换规则，抽取中间格式的变换规则以及将中间格式变换为检查码的变换规则。

公开(公告)号：US07284443B2

公开(公告)日：2007-10-23

申请号：US10543493

申请日：2004-01-29

申请人： Masakazu Sato ,  Tatsuya Ito ,  Hideto Noguchi

发明人： Masakazu Sato ,  Tatsuya Ito ,  Hideto Noguchi

IPC分类号： G01L9/00

CPC分类号： G01L9/0054 ,  G01L19/0069

摘要： This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.

摘要翻译： 本发明的目的是在不损害其中玻璃基板粘附在其上形成有压阻压力计的压敏片的背面侧的半导体压力传感器中实现尺寸的减小而不损害测量精度或连接可靠性 由硅单晶形成的隔膜的前表面，以在隔膜的后表面和玻璃基板之间形成空间，用于参照第一空间的压力测量施加到隔膜前表面的压力 标准压力。 为了实现该目的，半导体压力传感器包括形成在压敏表电极上的树脂突起，所述压敏电极设置在压敏芯片的前表面上，或者布置在压敏表电极和凸起上，凸起形成为局部或 完全覆盖树脂突起。

公开(公告)号：US20080216075A1

公开(公告)日：2008-09-04

申请号：US11969295

申请日：2008-01-04

申请人： Kenji Ogasawara ,  Akihiko Koga ,  Hideto Noguchi

发明人： Kenji Ogasawara ,  Akihiko Koga ,  Hideto Noguchi

IPC分类号： G06F9/46

CPC分类号： G06F11/3688

摘要： An apparatus for supporting creation of a program includes: a program execution module (25) which reads a program (60) including a random output block (64) from a storage device (30), executes a program with a test input value, and obtains an execution result of the program; a model execution module (22) which reads a model (40) including a random output model block (44) from the storage device (30), executes the model on the test input value using a model execution tool, and obtains an execution result of the model; and a cross-checking module (28) which compares the execution result obtained by the program execution module (25) and the execution result obtained by the model execution module (22). The model execution module (22) obtains an output value of the random output block which is outputted as a result of execution of the program, and uses the output value of the random output block (64) as an output value of the random output model block (44) in the model.

摘要翻译： 一种用于支持程序创建的装置包括：从存储装置（30）读取包括随机输出块（64）的程序（60）的程序执行模块（25），执行具有测试输入值的程序，以及 获得程序的执行结果; 从存储装置（30）读取包括随机输出模型块（44）的模型（40）的模型执行模块（22）使用模型执行工具对测试输入值执行模型，并获得执行结果 的模型; 以及交叉检查模块（28），其将由所述程序执行模块（25）获得的执行结果与由所述模型执行模块（22）获得的执行结果进行比较。 模型执行模块（22）获取作为执行程序的结果输出的随机输出块的输出值，并且使用随机输出块（64）的输出值作为随机输出模型的输出值 模块中的块（44）。

公开(公告)号：US20080173096A1

公开(公告)日：2008-07-24

申请号：US11843342

申请日：2007-08-22

申请人： Masakazu SATO ,  Tatsuya Ito ,  Hideto Noguchi

发明人： Masakazu SATO ,  Tatsuya Ito ,  Hideto Noguchi

IPC分类号： G01L9/00 ,  H01L21/02

CPC分类号： G01L9/0054 ,  G01L19/0069

摘要： This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.

摘要翻译： 本发明的目的是在不损害其中玻璃基板粘附在其上形成有压阻压力计的压敏片的背面侧的半导体压力传感器中实现尺寸的减小而不损害测量精度或连接可靠性 由硅单晶形成的隔膜的前表面，以在隔膜的后表面和玻璃基板之间形成空间，用于参照第一空间的压力测量施加到隔膜前表面的压力 标准压力。 为了实现该目的，半导体压力传感器包括形成在压敏表电极上的树脂突起，所述压敏电极设置在压敏芯片的前表面上，或者布置在压敏表电极和凸起上，凸起形成为局部或 完全覆盖树脂突起。

公开(公告)号：US5942028A

公开(公告)日：1999-08-24

申请号：US930428

申请日：1997-10-06

申请人： Nobuyuki Tomiya ,  Mikio Hayashi ,  Hideto Noguchi

发明人： Nobuyuki Tomiya ,  Mikio Hayashi ,  Hideto Noguchi

IPC分类号： C09B67/20 ,  C09B67/04 ,  C09B67/12 ,  C09B67/50 ,  C09D11/02 ,  C09D11/033 ,  C09D11/037 ,  C09D11/10 ,  C09D11/103 ,  C09D11/104 ,  C09D11/106 ,  C09D11/107 ,  C09D11/108

CPC分类号： C09D11/037 ,  C09B67/0002 ,  C09B67/0016

摘要： High quality .beta.-form copper phthalocyanine pigment printing ink is produced by the present method, this method reducing the large amount of time and labor required in the process of pigmentation of crude copper phthalocyanine and production of the pigment printing ink.To this end, the production method of printing ink according to the present invention is characterized by adding to crude copper phthalocyanine, 20-80 weight % of printing ink resin based on the amount of the crude copper phthalocyanine, dry-milling the mixture at 80-170.degree. C., and heating the ground material in printing ink solvent. The printing ink obtained contains copper phthalocyanine particles of .beta.-form crystals with an aspect ratio of 1-2.

摘要翻译： PCT No.PCT / JP97 / 00275 Sec。 371日期：1997年10月6日 102（e）日期1997年10月6日PCT 1997年2月5日提交PCT公布。 WO97 / 28224 PCT公开号 日期1997年7月8日通过本方法生产高品质的β型铜酞菁颜料印刷油墨，该方法减少了粗铜酞菁色素沉淀和色素印刷油墨生产所需的大量时间和劳动。 为此，根据本发明的印刷油墨的制造方法的特征在于，将粗铜酞菁添加至基于粗铜酞菁的量的20-80重量％的印刷油墨树脂，将混合物在80℃下干磨 -170℃，并在印刷油墨溶剂中加热研磨材料。 获得的印刷油墨含有长宽比为1-2的β型晶体的铜酞菁颗粒。

公开(公告)号：US07530276B2

公开(公告)日：2009-05-12

申请号：US11843342

申请日：2007-08-22

申请人： Masakazu Sato ,  Tatsuya Ito ,  Hideto Noguchi

发明人： Masakazu Sato ,  Tatsuya Ito ,  Hideto Noguchi

IPC分类号： G01L9/00 ,  G01L9/16

CPC分类号： G01L9/0054 ,  G01L19/0069

摘要： This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.

摘要翻译： 本发明的目的是在不损害其中玻璃基板粘附在其上形成有压阻压力计的压敏片的背面侧的半导体压力传感器中实现尺寸的减小而不损害测量精度或连接可靠性 由硅单晶形成的隔膜的前表面，以在隔膜的后表面和玻璃基板之间形成空间，用于参照第一空间的压力测量施加到隔膜前表面的压力 标准压力。 为了实现该目的，半导体压力传感器包括形成在压敏表电极上的树脂突起，所述压敏电极设置在压敏芯片的前表面上，或者布置在压敏表电极和凸起上，凸起形成为局部或 完全覆盖树脂突起。

公开(公告)号：US20060185437A1

公开(公告)日：2006-08-24

申请号：US10543493

申请日：2004-01-29

申请人： Masakazu Sato ,  Tatsuya Ito ,  Hideto Noguchi

发明人： Masakazu Sato ,  Tatsuya Ito ,  Hideto Noguchi

IPC分类号： G01L9/00

CPC分类号： G01L9/0054 ,  G01L19/0069

摘要： This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.

摘要翻译： 本发明的目的是在不损害其中玻璃基板粘附在其上形成有压阻压力计的压敏片的背面侧的半导体压力传感器中实现尺寸的减小而不损害测量精度或连接可靠性 由硅单晶形成的隔膜的前表面，以在隔膜的后表面和玻璃基板之间形成空间，用于参照第一空间的压力测量施加到隔膜前表面的压力 标准压力。 为了实现该目的，半导体压力传感器包括形成在压敏表电极上的树脂突起，所述压敏电极设置在压敏芯片的前表面上，或者布置在压敏表电极和凸起上，凸起形成为局部或 完全覆盖树脂突起。

公开(公告)号：US20050002655A1

公开(公告)日：2005-01-06

申请号：US10909395

申请日：2004-08-03

申请人： Hideto Noguchi ,  Hiroshi Shimizu

发明人： Hideto Noguchi ,  Hiroshi Shimizu

IPC分类号： H04N5/225 ,  G06F17/30 ,  G11B27/34 ,  H04N5/765 ,  H04N5/92 ,  H04N5/937 ,  B41B1/00

CPC分类号： G06F16/51

摘要： An image transcription apparatus inludes a random access recording medium which has a picture data recording area, an attribute data recording area and a thumbnail image data recording area for storing image data indicating features of the picture date in correspondence to the attribute data. A memory is employed which has a work area used upon recording of the picture data on the recording medium and reproduction therefrom, an attribute data storage are for storing the attribute data recorded on the recording medium and a shared storage area used for storing temporarily the picture data upon recording and reproduction. The shared storage area is so arranged as to be capable of storing the thumbnail image data when the picture data is neither being recorded nor reproduced. The attribute data and the thumbnail image data can speedily be displayed on the display unit.

摘要翻译： 包括具有图像数据记录区域，属性数据记录区域和缩略图数据记录区域的随机存取记录介质的图像转录装置，用于存储指示与属性数据对应的图像日期特征的图像数据。 使用存储器，其具有在记录介质上记录图像数据并从其再现时使用的工作区域，属性数据存储器用于存储记录在记录介质上的属性数据和用于临时存储图像的共享存储区域 记录和再现时的数据。 共享存储区域被布置为当图像数据既不被记录也不被再现时能够存储缩略图像数据。 属性数据和缩略图数据可以快速地显示在显示单元上。