“王沿海”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果8个，建议您升级VIP下载更多相关专利

[发明专利]一种异构的多平台系统控制逻辑一致性校验的方法-CN201711319925.2有效
发明人：周立东;李维;王沿海;耿哲;魏莹;卢丹 -专利权人：北京四方继保自动化股份有限公司
申请日： 2017-12-12 - 公布日： 2021-01-12 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了一种异构的多平台系统控制逻辑一致性校验的方法。本发明主要解决工业控制系统中相同的控制逻辑在不同的控制系统平台上逻辑执行一致性的问题，例如同一控制逻辑在PowerPC架构的CPU下和Arm架构的CPU下实际的控制流程是否一致；本发明包括4个阶段：(1)定义中间符号集；(2)识别不同架构控制器的机器指令；(3)生成控制逻辑对应的中间符号文件；(4)对不同架构下生成的控制逻辑的中间符号文件进行对比。
一种平台系统控制逻辑一致性校验方法

[发明专利]一种工业控制系统逻辑断点调试功能的实现方法-CN201511021573.3有效
发明人：张志东;丁柏玲;师嘉;李维;王沿海;耿哲 -专利权人：北京四方继保自动化股份有限公司
申请日： 2015-12-31 - 公布日： 2018-06-26 - 主分类号： G05B19/418 文献下载
摘要：一种工业控制系统逻辑断点调试功能的实现方法。以逻辑最小执行单位划分算法逻辑，并在每个最小执行单元处设置调试状态变量；通过调用相关功能函数来完成逻辑中断，并通过调试状态变量与最小执行单元的对应关系来维护运行调试时的界面显示。具体的包括，实现在算法程序中设置及删除断点，包括文本及图形化算法逻辑的断点设置及删除；程序执行过程中提供运行到断点Run to和单步Step In/Step Over的调试方法，并在算法程序组态界面进行运行状态显示。通过本发明可以实现工业控制系统逻辑断点调试功能，保证了算法逻辑的正确性及稳定性。
断点调试功能工业控制系统算法逻辑最小执行单元调试状态算法程序断点删除调试程序执行过程运行状态显示断点设置功能函数界面显示组态界面图形化单步调用文本中断保证维护

[发明专利]一种适用于逻辑组态软件中编译器的自动化测试系统及其方法-CN201410836381.7有效
发明人： 王沿海;刘刚;黄磊;徐延明;李维;师嘉;魏莹 -专利权人：北京四方继保自动化股份有限公司
申请日： 2014-12-29 - 公布日： 2017-08-22 - 主分类号： G06F11/36 文献下载
摘要：一种适用于逻辑组态软件中编译器自动化测试的系统及其方法。所述测试系统包括测试驱动工具、测试工具,所述测试驱动工具用于调用测试工具、完成对测试用例的测试并生成测试报告，其中所述测试用例包括待测试工程和用于描述测试过程的测试脚本文件。其中测试工具包括脚本引擎、测试夹具和在线调试模块等；测试驱动工具包括解析配置文件模块、统计模块、执行用例模块、生成报告模块和发送电子邮件模块等。基于该自动化测试系统设计的测试用例不但能够验证逻辑组态软件中编译器的正确性，还能够验证逻辑组态软件中其它一些非GUI类型模块和控制器软件的正确性。本发明可以实现只编写一次测试用例集，每当逻辑组态软件需要发布新版本时可自动执行测试用例集并生成测试报告以判断是否有编译器缺陷，提高了测试工作的效率和质量。
一种适用于逻辑组态软件编译器自动化测试系统及其方法

[发明专利]一种自动处理闭环回路的图形元件分组排序方法-CN201410746628.6有效
发明人：李维;徐延明;师嘉;魏莹;王沿海 -专利权人：北京四方继保自动化股份有限公司
申请日： 2014-12-09 - 公布日： 2015-03-11 - 主分类号： G06F17/50 文献下载
摘要：一种自动处理闭环回路的图形元件分组排序方法。收集起始图形元件所连接的可执行元件，将上述图形元件作为一个疑似的图形元件组中的图形元件，并按照拓扑关系进行初排序；依次遍历收集到的可执行元件，排查疑似图形组，如果该图形元件已经被排序，则不做处理；对于单一图形元件组内的图形元件进行基于数据流和拓扑关系的快速排序，并在上述过程中通过闭环处理程序自动识别并处理闭环回路；遍历孤立的无连接关系的图形元件，将上述图形元件作为独立的图形元件组；图形元件组之间通过各自的特征坐标点进行拓扑排序；遍历已排序的图形元件组，在组内依次遍历已排序的图形元件，同时设置依次递增的执行序号。上述方法能够智能识别处理图形元件连接关系中的闭合回路，在整个执行过程中完全无须人工干预，方便高效。
一种自动处理闭环回路图形元件分组排序方法

[发明专利]一种工业控制系统数据内存的管理方法-CN201410746644.5在审
发明人：师嘉;徐延明;李维;王沿海 -专利权人：北京四方继保自动化股份有限公司
申请日： 2014-12-09 - 公布日： 2015-03-04 - 主分类号： G05B19/418 文献下载
摘要：本发明公开了一种工业控制系统数据内存的管理方法。控制系统通常包含组态软件和控制器两大部分，组态软件负责生成算法程序，控制器负责执行程序实现控制功能。组态软件编写算法程序时，需要定义若干数据来实现其逻辑，并将运算结果保存在控制器的数据内存中用于运算与监控。控制系统分配固定大小的内存空间供数据使用，针对待处理的数据按照其属性(类型、大小、对齐要求等)在控制器数据内存中分配内存空间；数据信息删除或修改后，将其使用内存进行回收并与空闲内存合并；在线修改算法程序时的内存管理方法。通过本发明可以实现控制系统数据内存的高效管理，更为重要的是可以满足控制系统在线修改算法程序的要求。
一种工业控制系统数据内存管理方法

[发明专利]一种梯形图数据结构描述及扫描解析方法-CN201310585975.0有效
发明人：李琨;王长江;王沿海;王鼎;李维 -专利权人：北京四方继保自动化股份有限公司
申请日： 2013-11-20 - 公布日： 2014-02-05 - 主分类号： G06T9/00 文献下载
摘要：一种梯形图数据结构描述及扫描解析方法。其方法包括：1）将引脚作为梯形图图形元素的图形属性成员，并且连接线元素包含并入、并出类型引脚；2）将父节点、子节点元素作为梯形图图形元素的模型属性成员，并且连接线元素包含水平、垂直子类型；3）采用梯形图图形元素组成的“十字链表”和“二叉树”数据结构描述和记录梯形图中所有元素的图形属性与模型属性；4）遍历“十字链表”与“二叉树”计算梯形图图形元素之间（含连接线元素）的拓扑关系；5）遍历“二叉树”计算梯形图图形元素之间（连接线元素除外）的逻辑关系。本发明在描述梯形图图形元素之间拓扑关系同时记录了逻辑关系，简化了解析算法，提高了转化成中间语言的效率。
一种梯形数据结构描述扫描解析方法

[发明专利]目标软件在指定硬件环境中最差时间的计算方法-CN201110386640.7有效
发明人：张智慧;高铭;王沿海;杜乔瑞;石桂连 -专利权人：北京广利核系统工程有限公司;中国广东核电集团有限公司
申请日： 2011-11-29 - 公布日： 2012-06-27 - 主分类号： G06F9/445 文献下载
摘要：本发明涉及一种目标软件在指定硬件环境中最差时间的计算方法，包括：步骤1、读取目标文件并对目标文件进行解析及反汇编；步骤2、模拟目标软件使用的虚拟硬件环境，包括：步骤3、在虚拟硬件环境中执行汇编后的目标文件，其中：步骤4、把每一个程序分支的运行时间横向比较后，计算并输出目标文件中最差运行时间的程序路径。本发明能够预估目标软件在控制系统中的最差运行时间，从而在目标软件下装之前确定是否超时，以满足系统的时间确定性要求。
目标软件指定硬件环境最差时间计算方法

[发明专利]一种高级语言转换成其它高级语言的方法及转换器-CN200910080311.2无效
发明人：施波;赵雅囡;刘金龙;王沿海 -专利权人：北京和利时系统工程有限公司
申请日： 2009-03-18 - 公布日： 2009-08-05 - 主分类号： G06F9/45 文献下载
摘要：本发明公开了一种高级语言转换成其它高级语言的方法及转换器；转换器包括：词法分析装置，语法分析装置，语义分析装置，目标语言生成装置；目标语言生成装置该语法分析树进行后序遍历，根据所保存的源语言语法分析树中不同类型的节点和目标语言描述片段之间的对应关系，生成语法分析树中每一个节点所对应的目标语言描述片段，所生成的目标语言描述片段共同构成目标语言描述；当生成目标语言描述片段时，根据所保存的各条目标语言描述之间的层次关系确定各条目标语言描述的层次，在该目标语言描述左边添加相应数目的特定字符。本发明能够转换成规范的、格式化的，具有可读性和可维护性的目标语言描述。
一种高级语言转换其它方法转换器

1
共 8 条