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

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

[发明专利]基于虚拟时钟的虚拟仿真系统及同步方法-CN202111182277.7有效
发明人：宋雷军;周学思;申臻;侯正平;施小敏 -专利权人：上海航天计算机技术研究所
申请日： 2021-10-11 - 公布日： 2023-10-27 - 主分类号： G06F1/12 文献下载
摘要：本发明提供了一种基于虚拟时钟的虚拟仿真系统及同步方法，包括多个虚拟数字单机和时序同步中心节点；所述虚拟数字单机用于模拟硬件芯片的指令执行；所述虚拟数字单机能够根据模拟的指令机器周期数计算得到该虚拟数字单机在虚拟时钟环境下的运行时间；多个所述虚拟数字单机之间通过所述时序同步中心节点进行时序同步。本发明可根据不同需求进行分组控制，同时解决了虚拟时钟下，不同虚拟数字单机运行时序不同步的问题，大大提高了虚拟仿真系统的可靠性和安全性。
基于虚拟时钟仿真系统同步方法

[实用新型]一种易维护的止回阀-CN202321274739.2有效
发明人：朱晓莉;韩甜甜;施小敏 -专利权人：泰州英格伟精密机械有限公司
申请日： 2023-05-24 - 公布日： 2023-09-05 - 主分类号： F16K15/06 文献下载
摘要：本实用新型公开了一种易维护的止回阀，涉及轴流式止回阀技术领域，针对现有的止回阀在使用时，通常是通过弹簧配合流质的压力来控制阀瓣的开合，需要定期对弹簧进行检查以及更换，但由于弹簧位于阀体内部，拆卸较为繁琐，因此不便于维护的问题，现提出如下方案，包括阀体，所述阀体内固定设置有导流盖，所述导流盖的内壁上固定设置有限位板，所述限位板上滑动设置有滑轴，所述滑轴的右端上固定设置有阀瓣。本实用新型结构设计合理，使用方便，通过设置第一永磁体和第二永磁体取代了弹簧，从而能够减少了定期检修以及更换弹簧的维护步骤，显著的降低了止回阀的维护频率以及拆装次数，减少了维护人员的工作量，值得推广使用。
一种维护止回阀

[发明专利]一种采用总线通信的驱动控制软件跟踪调速测试方法-CN202210501088.X在审
发明人：刘爽;魏冬冬;夏睿娴;苏金梅;施小敏 -专利权人：上海航天电子通讯设备研究所
申请日： 2022-05-09 - 公布日： 2022-07-29 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种采用总线通信的驱动控制软件跟踪调速测试方法，包括：根据指定的驱动控制软件调速指令的开始速度、结束速度、驱动机构转动方向、指令序列时间间隔、调速规律等设置自动生成要求的跟踪调速指令序列。本发明可以将多次生成的跟踪调速指令序列合成为最终跟踪调速指令序列。并采用某种总线通信以固定时间间隔或者变化时间间隔向驱动控制软件发送最终跟踪调速指令序列。本发明可以根据测试人员需求自动生成驱动控制软件的跟踪调速指令序列，并采用某种总线依据测试人员指定的时间间隔发送指令，从而更精确的进行跟踪调速指令的功能测试、性能测试和总线指令强度测试。
一种采用总线通信驱动控制软件跟踪调速测试方法

[发明专利]基于事件流分析的多任务资源冲突检测方法-CN202111244730.2在审
发明人：胡逸琳;欧阳昭;侯正平;施小敏;张伟欣 -专利权人：上海航天计算机技术研究所
申请日： 2021-10-25 - 公布日： 2022-01-04 - 主分类号： G06F9/48 文献下载
摘要：本发明公开了一种基于事件流分析的多任务资源冲突检测方法，根据软件任务书和系统环境构建事件流，并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1}；根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3}；根据软件设计架构确定各事件调用软件任务调用的的关系{R1}；根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4}；形成{M3}和{M4}的映射；得到每个资源的使用频段；是否存在资源冲突，以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况，可以根据软件实际运用场景精确定位软件资源冲突，并针对存在冲突的事件和任务对测试人员进行提示。
基于事件分析任务资源冲突检测方法

[发明专利]基于知识库特征匹配的代码规则检查方法及系统-CN202111201800.6在审
发明人：尹龙雯;施小敏;魏冬冬;张伟欣;宋力立;欧阳昭 -专利权人：上海航天计算机技术研究所
申请日： 2021-10-15 - 公布日： 2021-12-28 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种基于知识库特征匹配的代码规则检查方法及系统，包括如下步骤：建立以缺陷代码规则为基础的代码知识库，所述代码知识库中的每一条缺陷代码规则具有规则描述和对应的规则特征值；分析待检测源代码，生成源代码的语法分析树，所述语法分析树用于所述源代码的代码语法结构分析以及对应规则特征值的提取和匹配；根据所述代码知识库中的规则特征值与所述语法分析树提出的规则特征值进行匹配，获取对应的缺陷代码规则，以实现所述源代码的缺陷检测。本发明采用语法分析树转化为规则特征值匹配代码规则的方法，具有误判率小，准确性高等优点，同时使用知识库的方式进行代码规则的匹配无需在新增或修改规则时对软件进行修改或重构。
基于知识库特征匹配代码规则检查方法系统