-
公开(公告)号：CN102308263A
公开(公告)日：2012-01-04
申请号：CN200980156204.1
申请日：2009-02-04
Applicant: 三菱电机株式会社
IPC: G05B19/05
CPC classification number: G05B19/056 , G05B2219/13196
Abstract: 在构成对梯形图进行编辑的梯形图程序编辑装置时，通过设置编辑控制部，从而防止生成存在语法错误的梯形图，其中，该编辑控制部基于梯形图中的电路要素的配置，生成与梯形图中的输入条件和输出条件的逻辑构造对应的逻辑式的数据，将规定输入条件的各电路要素基于上述逻辑式的数据，按输入条件设定为1输入1输出的1个电路单位，将梯形图中应彼此并联连接的电路单位的输出端彼此利用连接线连接。
-
公开(公告)号：CN107295810B
公开(公告)日：2019-07-26
申请号：CN201680003809.7
申请日：2016-02-12
Applicant: 三菱电机株式会社
IPC: G05B19/05
CPC classification number: G05B19/0426 , G05B19/054 , G05B2219/13052 , G05B2219/24034 , G06F3/0484 , G06F2203/04803
Abstract: 工程设计工具具有：显示区域(62a1)，其显示于显示装置(62)的显示画面(62a)且对梯形图程序(RP)进行显示；以及单元格(C1)，其是时序运算符赋予区域。作为时序运算符赋予区域的单元格(C1)是显示于显示区域(62a1)且对梯形图程序(RP)的程序模块(RPM1)赋予时序运算符(TO1)的区域。工程设计工具具有控制规格编辑部和控制规格记述式变换部。控制规格编辑部创建程序模块(RPM1)。控制规格记述式变换部将程序模块(RPM1)变换为能够输入至模型检查程序的算式。
-
Patent Agency Ranking
公开(公告)号：CN105074591A
公开(公告)日：2015-11-18
申请号：CN201380074147.9
申请日：2013-03-07
Applicant: 三菱电机株式会社
IPC: G05B19/05
CPC classification number: G05B19/056
Abstract: 在梯形图程序显示程序中，使计算机执行下述步骤：层次数据保存步骤，在该步骤中，以数据构造标记(4)对梯形图程序进行存储，该数据构造标记(4)通过利用逻辑式对作为梯形图程序的层次单位的各电路模块进行表示，从而利用逻辑上的层次构造表示梯形图程序；以及显示处理步骤，在该步骤中，基于数据构造标记(4)，以能够针对每个层次单位对层次构造从视觉上进行识别的数据构造标记(4a)或梯形图(L5)，将梯形图程序在显示装置上显示。
-
公开(公告)号：CN107295810A
公开(公告)日：2017-10-24
申请号：CN201680003809.7
申请日：2016-02-12
Applicant: 三菱电机株式会社
IPC: G05B19/05
CPC classification number: G05B19/0426 , G05B19/054 , G05B2219/13052 , G05B2219/24034 , G06F3/0484 , G06F2203/04803
Abstract: 工程设计工具具有：显示区域(62a1)，其显示于显示装置(62)的显示画面(62a)且对梯形图程序(RP)进行显示；以及单元格(C1)，其是时序运算符赋予区域。作为时序运算符赋予区域的单元格(C1)是显示于显示区域(62a1)且对梯形图程序(RP)的程序模块(RPM1)赋予时序运算符(TO1)的区域。工程设计工具具有控制规格编辑部和控制规格记述式变换部。控制规格编辑部创建程序模块(RPM1)。控制规格记述式变换部将程序模块(RPM1)变换为能够输入至模型检查程序的算式。
-
公开(公告)号：CN102308263B
公开(公告)日：2014-05-07
申请号：CN200980156204.1
申请日：2009-02-04
Applicant: 三菱电机株式会社
IPC: G05B19/05
CPC classification number: G05B19/056 , G05B2219/13196
Abstract: 在构成对梯形图进行编辑的梯形图程序编辑装置时，通过设置编辑控制部，从而防止生成存在语法错误的梯形图，其中，该编辑控制部基于梯形图中的电路要素的配置，生成与梯形图中的输入条件和输出条件的逻辑构造对应的逻辑式的数据，将规定输入条件的各电路要素基于上述逻辑式的数据，按输入条件设定为1输入1输出的1个电路单位，将梯形图中应彼此并联连接的电路单位的输出端彼此利用连接线连结。
-
公开(公告)号：CN102834833B
公开(公告)日：2015-06-03
申请号：CN201080066113.1
申请日：2010-04-14
Applicant: 三菱电机株式会社
IPC: G06F21/60
CPC classification number: G06F21/60
Abstract: 设计工具和工业产品的安全方法包含：读取限制设定作业，其对应于读取限制请求设定存储在工业产品的硬件中的程序的读取限制；以及读取请求作业，其从作为读取请求源的设计工具向上述工业产品发送上述程序的读取请求，在上述读取限制设定作业中，将上述工业产品的硬件具有的唯一个体信息，或者用于执行作为读取限制请求源的设计工具的硬件具有的唯一个体信息，登记作为登记个体信息，在上述读取请求作业中，将用于执行作为上述读取请求源的设计工具的硬件具有的唯一个体信息或上述工业产品的硬件具有的唯一个体信息，与上述登记个体信息进行比较。
-
公开(公告)号：CN102834833A
公开(公告)日：2012-12-19
申请号：CN201080066113.1
申请日：2010-04-14
Applicant: 三菱电机株式会社
IPC: G06F21/22
CPC classification number: G06F21/60
Abstract: 设计工具和工业产品的安全方法包含：读取限制设定作业，其对应于读取限制请求设定存储在工业产品的硬件中的程序的读取限制；以及读取请求作业，其从作为读取请求源的设计工具向上述工业产品发送上述程序的读取请求，在上述读取限制设定作业中，将上述工业产品的硬件具有的唯一个体信息，或者用于执行作为读取限制请求源的设计工具的硬件具有的唯一个体信息，登记作为登记个体信息，在上述读取请求作业中，将用于执行作为上述读取请求源的设计工具的硬件具有的唯一个体信息或上述工业产品的硬件具有的唯一个体信息，与上述登记个体信息进行比较。
-
-
-
-
-
-
Search Results
7
records
(took 0.017 seconds)
