-
公开(公告)号：CN101996147B
公开(公告)日：2012-05-02
申请号：CN200910249912.1
申请日：2009-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F13/16 , G06F15/167
Abstract: 本发明涉及一种双口RAM互斥访问的实现方法，所述一种双口RAM互斥访问的实现方法包括如下操作步骤：1)采用地址分区方式，将共享数据区划分成多个数据区，并制定相应软件协议；2)软件分区处理时，按照交换数据的类型将RAM的共享存储区从起始单元开始分成若干个大的数据区，数据区大小由实际的传输数据确定，每个大数据区又细分为一个数据接收区和一个数据发送区，且每个区都定义有相应的数据存取地址和控制标识；3)在本系统中，所有对外部系统的通信工作均由从机来完成，主机只需对双口RAM中相应的数据缓冲区写入要发送的数据或读取需要的数据即可。
-
公开(公告)号：CN101996693A
公开(公告)日：2011-03-30
申请号：CN200910249910.2
申请日：2009-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G21D3/04
CPC classification number: Y02E30/40
Abstract: 本发明公开了一种用于反应堆保护系统的组态，所述用于反应堆保护系统的组态具有：总控软件CUTE、用于控制逻辑算法组态平台的PADE、用于图形显示组态的平台SAGE、用于下装和校验的软件工具DANCE、用于参数整定的软件工具PATENT、用来存储工程中已定义变量的数据库管理系统、控制逻辑算法组态平台的PADE将算法文件存入总控软件CUTE，总控软件CUTE通过CUTE工程的路径将文件发送给参数整定的软件工具PATENT，参数整定的软件工具PATENT与数据库管理系统交换获得参数变量，数据库管理系统将参数变量信息发送到图形显示组态的平台SAGE并通过屏幕直观显示，图形显示组态的平台SAGE同时还显示出总控软件CUTE通过CUTE工程的路径信息，完成组态后出总控软件CUTE将下装文件发送到下装和校验的软件工具DANCE并实施安装工作。
-
公开(公告)号：CN101996147A
公开(公告)日：2011-03-30
申请号：CN200910249912.1
申请日：2009-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F13/16 , G06F15/167
Abstract: 本发明涉及一种双口RAM互斥访问的实现方法，所述一种双口RAM互斥访问的实现方法包括如下操作步骤：1)采用地址分区方式，将共享数据区划分成多个数据区，并制定相应软件协议；2)软件分区处理时，按照交换数据的类型将RAM的共享存储区从起始单元开始分成若干个大的数据区，数据区大小由实际的传输数据确定，每个大数据区又细分为一个数据接收区和一个数据发送区，且每个区都定义有相应的数据存取地址和控制标识；3)在本系统中，所有对外部系统的通信工作均由从机来完成，主机只需对双口RAM中相应的数据缓冲区写入要发送的数据或读取需要的数据即可。
-
公开(公告)号：CN105975573A
公开(公告)日：2016-09-28
申请号：CN201610288920.7
申请日：2016-05-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
CPC classification number: G06F16/35 , G06K9/6276
Abstract: 本发明公开了一种基于KNN的文本分类方法，适用于核安全级软件验证和可靠性验证。本发明的文本分类方法包括训练过程处理和测试过程处理，将训练样本数据集以原始文本自身和文本中所有的标题两部分的信息来表示。依据文本由浅到深的特征层次结构构建两个DBM模型，提取低维高区分度的深层特征并存储，在测试过程中以适当的权重考虑文本标题给相似度的计算带来的贡献来确定待测试文本的类别。本发明充分利用文本标题的信息，比将浅层特征向量作为训练集在分类性能上有显著改善，同时能够降低存储需求和在线计算量，解决了特征向量高维灾难问题，提高了分类的准确度，可以用于安全级软件可靠性评价分析中的规则匹配和失效模式库的建立。
-
公开(公告)号：CN102915242B
公开(公告)日：2016-01-13
申请号：CN201210364013.8
申请日：2012-09-26
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明公开一种利用图形化操作实现代码编程的方法，包括节点模块：根据不同被测设备及其相关的测试设备和对应的测试程序，建立与此测试程序对应的测试节点；测试环境模块：根据用户选择的被测设备信息建立当前流程图模块运行环境；流程图模块：用户根据预测被测设备及相应测试设备选择对应的测试节点，按顺序建立由各测试节点形成的图形化流程图；函数模块：适于保存和收录新增函数，用于支持节点模块和流程图模块的功能调用；代码输出模块：适于将生成的图形化流程图转化为由代码构成的可执行文件输出。本发明能够兼容多种测试环境（操作系统、CPU环境），并向用户提供图形界面编辑测试逻辑，直观的展示操作过程及测试功能模块含义。
-
Patent Agency Ranking
公开(公告)号：CN104408095A
公开(公告)日：2015-03-11
申请号：CN201410650756.0
申请日：2014-11-15
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F17/30
CPC classification number: G06F17/30705
Abstract: 本发明提供了一种基于改进的KNN文本分类方法，首先对训练文本进行预处理并计算每个训练样本的特征向量，构建训练集的特征向量空间模型；然后定义密度和距离，将整个样本空间按类型定义为多个球形区和离群点，并存储为训练集库；在进行测试时，首先判断待测文本是否落入某个球形区，根据对应标号判断其类别，否则，离群点和每个球形的中心点作为训练集库，调用KNN算法，判断待测试文本的类别。本发明提供的方法在兼顾分类速度、分类准确度以及对数据倾斜敏感度的同时，能够较好的应用于非球形分布的分类问题，尤其适合具有高维特征向量，分布不规则特征的文本分类问题。
-
公开(公告)号：CN116089315A
公开(公告)日：2023-05-09
申请号：CN202310209950.4
申请日：2023-03-07
Applicant: 北京广利核系统工程有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置，该方法为：确定核电站实时操作系统的标准接口，以及获取核电站实时操作系统的信号量变化详情；针对标准接口，识别标准接口的指定参数情况；基于指定参数情况和预设的接口测试需求，生成用于对核电站实时操作系统进行接口测试的接口测试设计信息；针对信号量变化详情，基于信号量变化详情构建模型；从所构建的模型中提取路径节点序列；基于路径节点序列，生成用于对核电站实时操作系统进行功能测试的功能测试设计信息，从而将接口测试和功能测试结合以指导核电站实时操作系统在软件的验证实施。
-
公开(公告)号：CN105975573B
公开(公告)日：2019-08-13
申请号：CN201610288920.7
申请日：2016-05-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F16/35
Abstract: 本发明公开了一种基于KNN的文本分类方法，适用于核安全级软件验证和可靠性验证。本发明的文本分类方法包括训练过程处理和测试过程处理，将训练样本数据集以原始文本自身和文本中所有的标题两部分的信息来表示。依据文本由浅到深的特征层次结构构建两个DBM模型，提取低维高区分度的深层特征并存储，在测试过程中以适当的权重考虑文本标题给相似度的计算带来的贡献来确定待测试文本的类别。本发明充分利用文本标题的信息，比将浅层特征向量作为训练集在分类性能上有显著改善，同时能够降低存储需求和在线计算量，解决了特征向量高维灾难问题，提高了分类的准确度，可以用于安全级软件可靠性评价分析中的规则匹配和失效模式库的建立。
-
公开(公告)号：CN102915242A
公开(公告)日：2013-02-06
申请号：CN201210364013.8
申请日：2012-09-26
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
Abstract: 本发明公开一种利用图形化操作实现代码编程的方法，包括节点模块：根据不同被测设备及其相关的测试设备和对应的测试程序，建立与此测试程序对应的测试节点；测试环境模块：根据用户选择的被测设备信息建立当前流程图模块运行环境；流程图模块：用户根据预测被测设备及相应测试设备选择对应的测试节点，按顺序建立由各测试节点形成的图形化流程图；函数模块：适于保存和收录新增函数，用于支持节点模块和流程图模块的功能调用；代码输出模块：适于将生成的图形化流程图转化为由代码构成的可执行文件输出。本发明能够兼容多种测试环境（操作系统、CPU环境），并向用户提供图形界面编辑测试逻辑，直观的展示操作过程及测试功能模块含义。
-
公开(公告)号：CN101996693B
公开(公告)日：2012-10-10
申请号：CN200910249910.2
申请日：2009-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G21D3/04
CPC classification number: Y02E30/40
Abstract: 本发明公开了一种用于反应堆保护系统的组态，所述用于反应堆保护系统的组态具有：总控软件CUTE、用于控制逻辑算法组态平台的PADE、用于图形显示组态的平台SAGE、用于下装和校验的软件工具DANCE、用于参数整定的软件工具PATENT、用来存储工程中已定义变量的数据库管理系统、控制逻辑算法组态平台的PADE将算法文件存入总控软件CUTE，总控软件CUTE通过CUTE工程的路径将文件发送给参数整定的软件工具PATENT，参数整定的软件工具PATENT与数据库管理系统交换获得参数变量，数据库管理系统将参数变量信息发送到图形显示组态的平台SAGE并通过屏幕直观显示，图形显示组态的平台SAGE同时还显示出总控软件CUTE通过CUTE工程的路径信息，完成组态后出总控软件CUTE将下装文件发送到下装和校验的软件工具DANCE并实施安装工作。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.043 seconds)
