“时间约束”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

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

[发明专利]基于Prolog的AADL行为模型时间一致性验证方法-CN201610654797.6有效
发明人：周勇;刘骁;谢红梅 -专利权人：南京航空航天大学
申请日： 2016-08-11 - 公布日： 2019-07-23 - 主分类号： G06F8/20 文献下载
摘要：本发明公开了基于Prolog的AADL行为模型时间一致性验证方法，属于软件工程的技术领域。本发明在AADL行为附件的基础上进行扩展以建立带有时间约束的AADL行为模型，AADL行为模型描述了节点状态信息、时间约束信息，节点状态信息能够定性描述实时系统的属性，时间约束能够定量描述实时系统的时间区间，为完整验证实时系统时间一致性奠定了基础，将AADL行为模型分解得到的执行路径转换为Prolog事实，将形式化描述的隐式时间约束以及显式时间约束转换为Prolog规则，利用Prolog规则刻画实时系统的一致性，即可实现实时系统时间一致性的完整验证。
时间约束实时系统行为模型时间一致性验证节点状态信息形式化描述路径转换软件工程时间区间显式隐式定性刻画分解转换

[发明专利]一种企业用工排班方法-CN201910942466.6在审
发明人：李毅;蒋秋明 -专利权人：上海上实龙创智慧能源科技股份有限公司
申请日： 2019-09-30 - 公布日： 2020-01-10 - 主分类号： G06Q10/06 文献下载
摘要：本发明涉及一种企业用工排班方法，包括以下步骤：S1、配置部门隶属关系，建立隶属关系约束；S2、配置需排班的人员信息，建立人员隶属约束；S3、设置班次类别，并配置各个班次的上班时间、下班时间及有效工时，建立班次时间约束；S4、配置排班规则，根据所述隶属关系约束、人员隶属约束、班次时间约束，通过排班算法引擎为部门内的人员进行排班，形成新的排班日历。
隶属关系时间约束配置排班规则人工参与人员信息算法引擎有效工时日历

[发明专利]一种基于可达性的可视化住址选取系统-CN201711195574.9有效
发明人：巫英才;翁荻;朱鹤鸣 -专利权人：浙江大学
申请日： 2017-11-24 - 公布日： 2020-01-21 - 主分类号： G06F16/34 文献下载
摘要：本发明公开了一种基于可达性的可视化住址选取系统包括：约束生成模块和候选住址分析模块，所述约束生成模块包括约束编辑视图和时间轴视图，约束编辑视图包括多个时钟子视图，对于每一个时钟子视图，外侧的环形时间轴上的弧形箭头代表该可达性约束对应的起始时间与结束时间以及时间的方向，内部的地图用于展示可达性约束所对应的起始地点与概率可达性区域，其中概率可达性区域的边界用闭合曲线表示，概率可达性区域内部的概率可达性高低通过热力图来展示；所述候选住址分析模块包括：属性视图、候选住房视图和排序视图
可达性住址概率分析模块生成模块子视图环形时间轴闭合曲线弧形箭头起始地点区域内部选取系统可视化时间轴排序热力展示

[发明专利]集成接入和回程网络中的软资源的有条件释放-CN201980070131.8在审
发明人： N·阿贝迪尼;J·罗;L·布莱森特;M·N·伊斯兰;K·G·汉佩尔;骆涛;厉隽怿 -专利权人：高通股份有限公司
申请日： 2019-10-31 - 公布日： 2021-06-04 - 主分类号： H04W72/04 文献下载
摘要：在一些方面中，节点可以配置软时间资源集合将被有条件地释放还是被无条件地释放。软时间资源集合可以可配置在可调度状态或不可调度状态中。当被无条件地释放时，软时间资源集合可调度为最多服从方向性约束。当被有条件地释放时，软时间资源集合可调度为服从以下各项：如果软资源集合被配置为服从方向性约束，则为方向性约束和除方向性约束之外的一个或多个条件；或者以下各项中的至少一项：方向性约束、或者如果软资源集合未被配置为服从方向性约束，则为除方向性约束之外的一个或多个条件。该节点可以发送配置，该配置指示软时间资源集合在可调度状态中被有条件地释放还是被无条件地释放。
集成接入回程网络中的资源有条件释放

[发明专利]考虑停站调整的周期与非周期结合高铁运行图建模方法-CN202011445111.5在审
发明人：贺振欢;王刚;付慧伶;陈亚茹;聂磊;佟璐;谭宇燕 -专利权人：北京交通大学
申请日： 2020-12-08 - 公布日： 2021-03-23 - 主分类号： G06F30/20 文献下载
摘要：将周期和非周期结合的开行方案、以及车站和线路信息作为输入数据；以列车旅行时间最小为目标建立目标函数，设置区间运行时间约束、停站时间约束、越行次数约束、列车安全间隔时间约束、始发时间域约束、天窗约束、周期性约束
考虑调整周期结合运行建模方法

[发明专利]一种基于约束分类的时间最优速度规划方法及系统-CN202111505094.4有效
发明人：高健;张桂鑫;张揽宇;邓海祥;陈云;贺云波;陈新 -专利权人：广东工业大学
申请日： 2021-12-10 - 公布日： 2022-09-23 - 主分类号： G05B13/04 文献下载
摘要：本发明公开了一种基于约束分类的时间最优速度规划方法及系统，该方法包括：读取路径信息并进行曲线拟合，得到路径曲线；对路径曲线进行采样，考虑静态约束获得速度曲线的静态上界值；考虑动态约束，结合速度曲线的静态上界值构建时间最优速度模型；将时间最优速度模型进行凸变换，得到凸模型；基于二次序列规划法求解凸模型，得到最终速度曲线。该系统包括：路径曲线模块、静态约束模块、动态约束模块、模型变换模块和求解模块。通过使用本发明，在路径复杂的情况依然可以规划出时间最优的速度曲线，且可以考虑更多类型约束，不会出现过度缩放的情况。本发明作为一种基于约束分类的时间最优速度规划方法及系统，可广泛应用于精密运动控制领域。
一种基于约束分类时间最优速度规划方法系统

[发明专利]基于分层改进遗传算法的投送任务规划方法-CN202111621954.0在审
发明人：张勇;赵侠 -专利权人：北京神星科技有限公司
申请日： 2021-12-28 - 公布日： 2022-04-05 - 主分类号： G05D1/10 文献下载
摘要：构建利用无人机将仓库资源投向投送点的投送任务规划模型；采用分层改进的遗传算法求解投送任务规划模型；获得投送任务规划方案；所述的投送任务规划模型的目标函数包括两个，第一个目标函数是所需无人机数量最小，第二个目标函数是所需无人机飞行距离最小；约束条件包括：无人机续航时间的约束，各个投送点对各类资源及其频次的约束，无人机需要维保时间的约束，任务周期的时间约束，无人机起飞和降落为仓库的约束，飞行时间和飞行距离的相互约束，无人机航迹物理连续的约束。
基于分层改进遗传算法投送任务规划方法

[发明专利]基于动-静无功置换机制的双时间尺度电压控制方法-CN202111412786.4有效
发明人：李鹏;高一航;王加浩;李建宜;郭彦斌;夏辉 -专利权人：华北电力大学（保定）
申请日： 2021-11-25 - 公布日： 2023-08-15 - 主分类号： H02J3/16 文献下载
摘要：一种基于动‑静无功置换机制的双时间尺度电压控制方法：搭建长时间尺度电压控制模型，以所有时刻点跟踪控制的中枢节点电压偏差最小为目标函数，将电网运行潮流约束、电容器组调节性能约束以及节点运行电压约束为约束条件；搭建短时间尺度滚动优化模型，以预测窗内n个时刻点电压预计控制偏差最小为目标函数，将考虑静止无功发生器出力下限和上限约束、爬坡约束以及电网运行电压约束为约束条件；采用基于模型预测控制的滚动优化控制方法求解短时间尺度滚动优化模型
基于无功置换机制时间尺度电压控制方法

[发明专利]一种航空成像设备多执行器的拓扑结构设计方法及装置-CN202210053320.8在审
发明人：王昱棠;田大鹏 -专利权人：中国科学院长春光学精密机械与物理研究所
申请日： 2022-01-18 - 公布日： 2022-04-22 - 主分类号： G06F30/15 文献下载
摘要：，具体涉及一种航空成像设备多执行器的拓扑结构设计方法及装置，方法包括：预先设置物理参数、拓扑结构设计方法所需参数初值及参数范围；根据物理参数的数值计算多个执行器的加权邻接矩阵、通信强度、运动矩阵及多个约束，多个约束包括通信强度约束、时间约束、空间约束、通信能量约束及控制能量约束；求解多个执行器约束下最优拓扑结构；输出最终判定为满足要求的最优拓扑结构的约束范围。本申请建立包含通信延时和故障概率的多执行器加权邻接矩阵，并建立多执行器的通信强度约束、时间约束、空间约束、通信能量约束及控制能量约束，求解出满足所有约束的最优拓扑结构。
一种航空成像设备执行拓扑结构设计方法装置

[发明专利]基于参数化控制剖面的多约束轨迹快速规划方法-CN202111001304.6在审
发明人：梁子璇;黄美伊;崔平远;朱圣英;徐瑞 -专利权人：北京理工大学
申请日： 2021-08-30 - 公布日： 2021-12-17 - 主分类号： G05D1/08 文献下载
摘要：本发明公开的基于参数化控制剖面的多约束轨迹快速规划方法，属于飞行器制导与控制技术领域。本发明实现方法为：通过设计参数化攻角控制剖面，将攻角与时间作为待调参数，用于调节飞行器终端速度；对控制剖面进行光滑处理，得到满足控制量约束的攻角曲线；优化设计攻角参数，将轨迹规划问题转化为时间参数规划问题，并通过在线规划时间参数得到多约束飞行轨迹。本发明主要用于解决控制量约束及终端位置、角度、速度约束条件下的飞行轨迹快速规划问题，对初始状态扰动具有鲁棒性，能够在满足控制量约束及终端状态约束的前提下，通过求解攻角参数优化问题降低轨迹规划维度，缩短规划时间
基于参数控制剖面约束轨迹快速规划方法

[发明专利]一种工作流系统中实现时间管理的方法-CN201210011621.0无效
发明人：高伟 -专利权人：浪潮集团山东通用软件有限公司
申请日： 2012-01-16 - 公布日： 2012-07-11 - 主分类号： G06Q10/06 文献下载
摘要：本发明公开了一种工作流系统中实现时间管理的方法，属于计算机应用领域。该方法包括A.建立业务过程时间模型、B.设置违反时间约束时的处理策略、C.编译业务过程时间模型，检查时序约束、D.模拟仿真运行工作流及E.动态调整工作流时间模型。与现有技术相比，本发明的工作流系统中实现时间管理的方法能够保证业务过程时间约束的一致性，确保工作流执行满足过程的时间约束，减少企业因为违反时间所带来的损失，具有很好的推广应用价值。
一种工作流系统实现时间管理方法

[发明专利]一种电力现货市场的优化出清方法、系统、设备及介质-CN202211511684.2在审
发明人：陈博;李晨辉;王鹏;王进;赵昕;薛万磊;牟颖;厉艳;刘知凡;王振坤;李校莹;张栋梁;管大顺;白颖 -专利权人：国网山东省电力公司经济技术研究院
申请日： 2022-11-29 - 公布日： 2023-04-07 - 主分类号： G06Q10/04 文献下载
摘要：本发明公开了一种电力现货市场的优化出清方法、系统、设备及介质，包括：设计抽蓄电站的运行约束模型，计算抽蓄机组出力状态、抽蓄机组运行状态、抽蓄机组日启停次数、抽蓄电站库容、抽蓄电站始末时刻库容关系；设计日前市场出清模型，建立目标函数、系统功率平衡约束、线路输电约束、系统功率平衡约束；线路输电约束；断面输电约束；机组运行状态约束；机组出力约束；机组爬坡约束，机组最短运行时间约束、机组最短停机时间约束、系统备用约束。
一种电力现货市场优化出清方法系统设备介质

[发明专利]一种基于时间约束的时间图近似查询方法及装置-CN202110872412.4有效
发明人：黄金晶 -专利权人：苏州工业职业技术学院
申请日： 2021-07-30 - 公布日： 2023-07-21 - 主分类号： G06F16/2458 文献下载
摘要：本发明公开了一种基于时间约束的时间图近似查询方法，包括如下步骤：S1：接收若干查询图，将若干查询图按照时间顺序放入查询等待队列。S2：从查询等待队列依次取出若干查询图,并接收相对应的受限跳数h。S3：将查询图在预存储的时间图中进行受限跳数h范围内的近似匹配，得到近似查询结果集。S4：根据近似查询结果集和查询图的时间约束关系进行筛选，得到最终查询结果集。S5：输出最终查询结果集，结束时间图近似查询。本发明可进行有时间约束的时间图近似查询，查询图中设置了时间约束关系，利用子图模拟技术，在规定跳数范围内进行子图匹配，在数据图中找到查询图的近似查询结果，查询结果满足查询图中预设的时间约束关系。
一种基于时间约束近似查询方法装置

[发明专利]一种基于规则的敏捷遥感卫星任务规划方法-CN202111229362.4在审
发明人：陈浩一;齐昕浒;靳云;杨宏亮;胡志杰;陈彦斌 -专利权人：航天恒星科技有限公司
申请日： 2021-10-21 - 公布日： 2022-03-08 - 主分类号： G06Q10/06 文献下载
摘要：本发明涉及一种基于规则的敏捷遥感卫星任务规划方法，包括：进行目标访问计算，得到元任务、成像时间窗口组和成像时间窗口；进行成像一元约束检查和元任务初步筛选；根据顶头插入规则和成像时间窗口调整规则进行成像元任务插入，并检查成像多元约束；进行接收资源安排，同时判断数传天线遮挡约束、回放多元约束、固存约束、能源约束检查；生成任务规划结果，包括成像、回放方案和对应的动作序列及接收方案；对规划结果自动进行正确性检查。本发明具有任务安排率高、成像质量好、时间复杂度低等特点，特别适用于敏捷遥感卫星任务规划领域。
一种基于规则敏捷遥感卫星任务规划方法

[发明专利]一种基于虚拟发电的主动配电网优化调度方法-CN201510137591.1有效
发明人：赵明欣 -专利权人：国家电网公司;中国电力科学研究院;国网山东省电力公司烟台供电公司
申请日： 2015-03-26 - 公布日： 2017-03-01 - 主分类号： H02J3/46 文献下载
摘要：本发明公开了一种基于虚拟发电的主动配电网优化调度方法，包括下述步骤(1)建立优化调度目标函数；(2)获得优化调度目标函数的约束条件；约束条件包括系统负荷平衡约束，系统旋转备用约束，常规机组与需求侧资源的技术出力限制，常规机组爬坡约束，常规机组最小运行时间和最小停运时间约束，需求侧最大连续受控时间约束，用电方式满意度约束；(3)根据优化调度目标函数以及约束条件并通过基于启发式规则的离散粒子群算法来逐个时段的确定所有机组的启停状态；(4)在完成所有机组各个时段启停状态的计算之后，在已知启停状态的基础上，对每一个机组在按照约束条件的基础上进行经济分配；从而实现主动配电网优化调度。
一种基于虚拟发电主动配电网优化调度方法