检索结果-内蒙古大学图书馆

作者：邓盛兰潘阳祝露峰邹伟唐小华 402260 重庆市江津区双福街道绿城路12号重庆圆润工业园2幢C锻-1-1号、-1-2号、-1-3号、-2-1号、-3-1号

本实用新型提供了一种IMU的环模块检验工装，包括：底座，底座的上侧设有三个第一安装区和一个底盒安装槽，三个第一安装区与底盒安装槽呈阵列分布，三个第一安装区均设有若干固定孔；底盒，底盒内设有用于固定光源的光源安装区和用于... 详细信息

标准号: CN214951394U

本实用新型提供了一种IMU的环模块检验工装，包括：底座，底座的上侧设有三个第一安装区和一个底盒安装槽，三个第一安装区与底盒安装槽呈阵列分布，三个第一安装区均设有若干固定孔；底盒，底盒内设有用于固定光源的光源安装区和用于固定耦合器的耦合器安装槽，底盒的底部设有圆形盘纤区，底盒的侧壁设有缺口；中盖，中盖内设有用于安装PIN管的PIN管安装区和用于固定电路板的电路板安装区，中盖的底部设有贯穿的尾纤孔和光源引脚线孔，中盖的侧壁设有凹槽；底盒上可拆卸地叠放中盖，底盒安装槽上固定底盒。本实用新型解决了现有的检测工装结构复杂不紧凑，且不标准化和准确的问题。

关键词：底盒安装槽安装区本实用新型侧壁底座电路板安装区固定电路板固定耦合器工装结构固定底盒固定光源光源安装模块检验阵列分布固定孔可拆卸引脚线圆形盘耦合器工装叠放尾纤纤区光源紧凑标准化检测贯穿

来源：评论

学校读者我要写书评

暂无评论

风电永磁体模块检验通规

风电永磁体模块检验通规

引用

作者：胡明安王斌 201313 上海市浦东新区万祥镇宏祥北路83弄1-42号20幢B区628室

本实用新型公开了一种风电永磁体模块检验通规，所述的风电永磁体模块包括导磁板和设置在所述导磁板上方的可容置风电永磁体组的罩壳；其特点是，该检验通规包括底板和固定在所述底板上的通规上板，所述的通规上板的底部设有一台阶槽，... 详细信息

标准号: CN203224195U

本实用新型公开了一种风电永磁体模块检验通规，所述的风电永磁体模块包括导磁板和设置在所述导磁板上方的可容置风电永磁体组的罩壳；其特点是，该检验通规包括底板和固定在所述底板上的通规上板，所述的通规上板的底部设有一台阶槽，所述台阶槽的上方连通设有一高度槽；所述台阶槽的两侧台阶之间的宽度和所述台阶的高度与允许通过的风电永磁体模块的导磁板设定的最上限的宽度和高度一致，所述高度槽的宽度和高度与允许通过的风电永磁体模块的罩壳设定的最上限的宽度和高度一致。具有结构简单，操作容易的优点，利用该检规可同时完成模块台阶高度及总高度的检查，速度快，工作效率高，检测结果可靠。

关键词：永磁体风电导磁板底板上板罩壳工作效率模块检验台阶高度底部连通两侧检测固定检验检查

来源：评论

学校读者我要写书评

暂无评论

自动化设备的功能模块的检验

自动化设备的功能模块的检验

引用

作者：马丁·里夏德·诺伊霍伊瑟德国慕尼黑

本发明涉及一种用于检验用于过程自动化的设备(1)的功能模块(21)的兼容性的方法。为功能模块(21)的输入端口(19)提供输入规范(23)，输入规范对于至少一个输入信号(16)给出相应由功能模块(21)接受为有效值的所有输入值。为功能模块(21)... 详细信息

标准号: CN107003648A

本发明涉及一种用于检验用于过程自动化的设备(1)的功能模块(21)的兼容性的方法。为功能模块(21)的输入端口(19)提供输入规范(23)，输入规范对于至少一个输入信号(16)给出相应由功能模块(21)接受为有效值的所有输入值。为功能模块(21)的输出端口(20)提供输出规范(24)，输出规范对于功能模块(21)的至少一个输出信号(17)给出在满足输入规范(23)的情况下相应由功能模块(21)按规定提供的所有输出值。在设备(1)处的功能模块(21)运行之前，通过分析装置(11')检验：通过功能模块(21)是否对于在输入端口(19)处根据输入规范(23)产生的每个输出信号(16)在输出端口(20)处仅仅根据输出规范(24)产生至少一个输出信号(17)。如果至少一个输出信号(17)的至少一个输出值违反输出规范(24)，那么以信号通知模块故障。

关键词：输出规范输出信号输入规范输出端口输入端口过程自动化分析装置模块故障信号通知输出兼容性检验违反模块模型分析装置功能程序模块检验模块行为输出端口输出规范输入规范兼容性检验

来源：评论

学校读者我要写书评

暂无评论

并发反应式系统的组合模型检验与组合精化检验

引用

软件学报 2007年第6期18卷 1270-1281页

作者：文艳军王戟齐治昌国防科学技术大学计算机学院湖南长沙410073

模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检... 详细信息

模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳,从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略.同时总结了各类问题的复杂性,并对上述两种方法作了比较分析,揭示了它们之间的内在联系.最后展望了组合模型检验与组合精化检验的发展方向.

关键词：模型检验精化检验组合模型检验组合精化检验状态爆炸问题模块检验

来源：评论

学校读者我要写书评

暂无评论

光学检测机

光学检测机

引用

作者：蔡鸿儒姚哲文徐铭锺中国台湾新北市

一种光学检测机，适用检测一未黏贴偏光片的液晶面板半成品，并包含一平台单元、一探针模块、一巨观检测模块及一微观检测模块。平台单元承载未黏贴偏光片的液晶面板半成品。探针模块电连接未黏贴偏光片的液晶面板半成品。巨观检测模块... 详细信息

标准号: CN104597634B

一种光学检测机，适用检测一未黏贴偏光片的液晶面板半成品，并包含一平台单元、一探针模块、一巨观检测模块及一微观检测模块。平台单元承载未黏贴偏光片的液晶面板半成品。探针模块电连接未黏贴偏光片的液晶面板半成品。巨观检测模块检验未黏贴偏光片的液晶面板半成品，并包括一低倍率镜头、一第一偏光片、一光源及一第二偏光片。微观检测模块检验未黏贴偏光片的液晶面板半成品，并包括一高倍率镜头、一第一偏光片、一旋转单元、一光源及一第二偏光片。借此，使得液晶面板半成品未贴合偏光片前，先检验瑕疵，从而提升良率。

关键词：偏光片液晶面板半成品检测模块平台单元探针模块微观检测光源高倍率镜头光学检测机模块检验旋转单元低倍率电连接良率贴合瑕疵检验承载镜头检测

来源：评论

学校读者我要写书评

暂无评论

一种模块化编程工业软件中模块生成规范校验方法

一种模块化编程工业软件中模块生成规范校验方法

引用

作者：王子轩郑佳伟郭世凯李晓晨江贺 311199 浙江省杭州市临平区崇贤街道西房·拱宸外滩23-2-203

本发明公开了一种模块化编程工业软件中模块生成规范校验方法，于包括：随机生成一个包含不同模块类型的测试用例集，收集一批具有多种不同模块类型的真实测试用例用于扩大测试用例集；统计并分析测试用例集中每个测试用例所包含模块种... 详细信息

标准号: CN116069670A

本发明公开了一种模块化编程工业软件中模块生成规范校验方法，于包括：随机生成一个包含不同模块类型的测试用例集，收集一批具有多种不同模块类型的真实测试用例用于扩大测试用例集；统计并分析测试用例集中每个测试用例所包含模块种类的数量，对模块做标准化命名预处理操作；从测试用例集中采取分层随机抽样法抽取一个测试用例作为待检验测试用例；对待检验测试用例中的模块进行查询校验、生成校验、克隆校验三种生成规范检验，记录已校验模块信息并生成模块检验结果；对模块检验结果中不符合三种生成规范的模块进行生成规范补充完善并将补充完善方案反馈至模块化编程工业软件技术支持；对所有测试用例集内的测试用例均进行上述操作，直至不再有新的模块被测试。

关键词：测试校验测试用例集模块化编程工业软件模块类型检验分层随机抽样预处理操作分析测试技术支持检验结果模块检验模块信息生成模块随机生成补充抽取标准化克隆查询反馈记录统计

来源：评论

学校读者我要写书评

暂无评论

线上电商平台的安全性检验方法

线上电商平台的安全性检验方法

引用

作者：郑家民王嘉欣高彦平贾楠菲 100048 北京市海淀区阜成路33号

本发明公开了线上电商平台的安全性检验方法，包括以下步骤：S1、卖家将买家下单的商品信息录入到安全性检验系统；S2、通过安全性检验装置对将要打包的商品进行安全性检验，并判断检验结果是否安全，若检验结果安全则进入下一步，若检... 详细信息

标准号: CN115630968A

本发明公开了线上电商平台的安全性检验方法，包括以下步骤：S1、卖家将买家下单的商品信息录入到安全性检验系统；S2、通过安全性检验装置对将要打包的商品进行安全性检验，并判断检验结果是否安全，若检验结果安全则进入下一步，若检验结果不安全，则更换商品，并对更换后的商品重新进行商品信息录入和安全性检验，直至安全性合格，并将上述检验过程和检验结果上传系统。本发明通过设有线上电商平台的安全性检验系统，提高了线上电商平台对商品的安全性把控力度，需通过安全性检验模块检验，并将检验过程上传，经买家确认后，才能发货，并打包过程实时记录，保证了商品发货的安全性，保证购买者的利益。

关键词：安全性检验检验结果上电商品信息上传发货录入打包过程模块检验实时记录不安全打包检验安全保证

来源：评论

学校读者我要写书评

暂无评论

一种基于Internet of Rights(IoR)合同的方法和系统

一种基于Internet of Rights(IoR)合同的方法和系统

引用

作者：史云凌肖峻峰管杰袁昱北京市大兴区金盛大街2号院2号楼1层102-087

本发明属于InternetofRights合同数据处理技术领域，尤其为一种基于InternetofRights(IoR)合同的方法，包括如下步骤：创建合同：用户向合同模块申请创建合同，保存位置信息，生成合同Id标识，返回给用户，并依次保存签约人和受益人位... 详细信息

标准号: CN116415911A

本发明属于InternetofRights合同数据处理技术领域，尤其为一种基于InternetofRights(IoR)合同的方法，包括如下步骤：创建合同：用户向合同模块申请创建合同，保存位置信息，生成合同Id标识，返回给用户，并依次保存签约人和受益人位置信息，以及保存合同条款哈希、工作流位置信息和条款绑定的工作流位置信息；签署合同：用户向合同模块申请签署一个指定IoR合同，合同模块检验用户是否为签约人之一以及签署状态，在用户签署后设置为已签署；执行合同：用户向合同模块申请指定IoR合同中执行一个指定条款，合同模块对用户、条款执行状态以及是否绑定工作流进行检验，执行条款后设置为已执行状态。本发明，定义了IoR合同数据结构以及流程，提升了用户的便利性和系统的可用性。

关键词：合同模块申请工作流签署绑定保存位置信息合同数据处理人位置信息可用性签约模块检验数据结构保存便利性哈希创建返回检验

来源：评论

学校读者我要写书评

暂无评论

模块化系统的部件的更新

模块化系统的部件的更新

引用

作者：于尔根·戈尔卡乔纳森·詹森德国明登

本发明涉及一种用于更改，尤其用于更新输入/输出模块即E/A模块的控制程序的方法，其中所述E/A模块在模块化的现场总线节点的前端站旁排列，所述方法包括将描述所述更改的数据从所述前端站通过本地总线向所述E/A模块传输，其中所述本地... 详细信息

标准号: CN112241383A

本发明涉及一种用于更改，尤其用于更新输入/输出模块即E/A模块的控制程序的方法，其中所述E/A模块在模块化的现场总线节点的前端站旁排列，所述方法包括将描述所述更改的数据从所述前端站通过本地总线向所述E/A模块传输，其中所述本地总线将所述前端站与所述E/A模块连接，所述方法还包括通过所述E/A模块检验所述E/A模块与所述更改之间的兼容性，和将基于所述E/A模块的经检验的兼容性的反馈从所述E/A模块通过所述本地总线向所述前端站传输，本发明还涉及一种相应地设置的E/A模块。

关键词：总线兼容性控制程序输入/输出模块传输模块检验模块连接现场总线模块化反馈更新检验

来源：评论

学校读者我要写书评

暂无评论

基于数据特征分析的智能财务管理系统

基于数据特征分析的智能财务管理系统

引用

作者：刘琼张思凡冯耀钱晴 210000 江苏省南京市六合区龙池街道雄州南路399号恒顺园区118幢五单元301室

本发明公开了一种基于数据特征分析的智能财务管理系统，涉及财务管理领域；包括智能数据采集模块、数据监管模块、特征分析模块和风险分析模块；智能数据采集模块采集公司数据和网络数据；数据监管模块检验公司数据的安全性和精准性；... 详细信息

标准号: CN118246737A

本发明公开了一种基于数据特征分析的智能财务管理系统，涉及财务管理领域；包括智能数据采集模块、数据监管模块、特征分析模块和风险分析模块；智能数据采集模块采集公司数据和网络数据；数据监管模块检验公司数据的安全性和精准性；特征分析模块将对数据进行安全数据特征分析和数据质量进行分析；风险分析模块将数据进行风险预测和可视化显示；发送至相关财务管理人员的智能终端，加速异常的发现和处理过程，审核和重新校对，可以有效防范潜在的财务风险；对数据进行了严格的安全检验，通过多维度的质量分析，有效提高网络数据的可信度和质量，提高效率，减少人工操作，同时也保障了数据的安全性和质量。

关键词：智能数据采集模块风险分析模块特征分析模块公司数据数据监管网络数据财务管理财务管理系统数据特征分析可视化显示安全检验安全数据风险预测模块检验人工操作特征分析有效防范智能终端质量分析多维度可信度潜在的校对采集发送智能审核财务分析发现

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：