-
公开(公告)号：CN106528970A
公开(公告)日：2017-03-22
申请号：CN201610929420.7
申请日：2016-10-31
申请人： 耿生玲
发明人： 耿生玲
IPC分类号： G06F17/50
摘要： 本发明提供一种基于可能性时空混成自动机的CPS建模与属性验证方法，验证方法包括下述步骤：1：确定可能性时空混成自动机与信息物理融合系统CPS；2：可能性时空信息物理融合系统CPS属性验证。本发明提供的基于可能性时空混成自动机模型用于CPS系统的建模，给出可能性时空CPS的描述语言用于系统响应性和正则安全性等属性验证度量方法，从理论上和实例两方面验证在不确定环境下CPS系统建模和属性验证度量方法的有效性，为复杂CPS系统的智能控制与优化提供理论依据。
-
公开(公告)号：CN106595665B
公开(公告)日：2019-10-11
申请号：CN201611090757.X
申请日：2016-11-30
申请人： 耿生玲
摘要： 本发明涉及一种障碍空间中移动对象时空轨迹的预测方法，其包括以下步骤：利用障碍物之间的区域关系对障碍空间进行化简；预设障碍空间中两个对象之间的期望距离，对障碍空间轨迹数据进行预处理，实现轨迹聚类，挖掘移动对象的历史热点区域；以马尔可夫模型为基础，每个聚类代表热点区域，根据各热点区域间的障碍距离和历史访问习惯判断出移动对象的运动规律，通过将移动对象的所有历史热点区域作为未来的候选位置完成轨迹预测。本发明能够对障碍空间中移动对象的时空轨迹数据进行准确、高效的分析及预测，且采用本发明得到的预测结果准确可靠。
-
公开(公告)号：CN106595665A
公开(公告)日：2017-04-26
申请号：CN201611090757.X
申请日：2016-11-30
申请人： 耿生玲
摘要： 本发明涉及一种障碍空间中移动对象时空轨迹的预测方法，其包括以下步骤：利用障碍物之间的区域关系对障碍空间进行化简；预设障碍空间中两个对象之间的期望距离，对障碍空间轨迹数据进行预处理，实现轨迹聚类，挖掘移动对象的历史热点区域；以马尔可夫模型为基础，每个聚类代表热点区域，根据各热点区域间的障碍距离和历史访问习惯判断出移动对象的运动规律，通过将移动对象的所有历史热点区域作为未来的候选位置完成轨迹预测。本发明能够对障碍空间中移动对象的时空轨迹数据进行准确、高效的分析及预测，且采用本发明得到的预测结果准确可靠。
-
公开(公告)号：CN106528970B
公开(公告)日：2019-11-29
申请号：CN201610929420.7
申请日：2016-10-31
申请人： 耿生玲
发明人： 耿生玲
IPC分类号： G06F17/50
摘要： 本发明提供一种基于可能性时空混成自动机的CPS建模与属性验证方法，验证方法包括下述步骤：1：确定可能性时空混成自动机与信息物理融合系统CPS；2：可能性时空信息物理融合系统CPS属性验证。本发明提供的基于可能性时空混成自动机模型用于CPS系统的建模，给出可能性时空CPS的描述语言用于系统响应性和正则安全性等属性验证度量方法，从理论上和实例两方面验证在不确定环境下CPS系统建模和属性验证度量方法的有效性，为复杂CPS系统的智能控制与优化提供理论依据。
-
公开(公告)号：CN217183807U
公开(公告)日：2022-08-16
申请号：CN202220263863.8
申请日：2022-02-09
申请人： 耿生玲
摘要： 本实用新型公开了一种蚕豆栽培用喷药播种一体机，包括固定板，所述固定板的下表面分别固定连接有支撑柱和压力箱，支撑柱的正面转动连接有转动轴，转动轴的两端均固定连接有移动轮，且转动轴的外表面固定连接有驱动锥齿轮，固定板的上表面分别固定连接有储药箱、蚕豆存放箱和固定杆。该蚕豆栽培用喷药播种一体机，通过设置移动轮、转动轴、驱动锥齿轮、从动锥齿轮、转杆、连接齿轮与转动齿轮，便于在该一体机移动的过程中带动搅拌轴与搅拌叶片进行转动，使储药箱内的药液得以充分混合，通过设置连接杆、活塞、单向连接管与压力箱，便于将储药箱内的药液由出液管与雾化喷头雾化喷出，从而使整个一体机具有方便自动播种与喷药的效果。
-
-
-
-
搜索结果
5 条记录 (耗时 0.015 秒)
