公开(公告)号：CN106104469A

公开(公告)日：2016-11-09

申请号：CN201480077084.7

申请日：2014-03-25

Applicant: 株式会社日立制作所

Inventor： 村上正敏 ,  中川雄一郎 ,  三部良太 ,  古家直树

IPC: G06F9/44

CPC classification number: G06F8/10

Abstract: 软件规格间匹配性验证装置(100)具有：规格构造解析部(103)，其取得对应的软件规格，并提取预先按照所述分层构造设定了在软件规格中的相对位置的各规格项目；规格项目匹配部(105)，其使用匹配规则，来判别各规格项目间有无依存关系，其中，匹配规则记述了在对应的规格项目间应成立的依存关系；依存关系信息生成部(106)，其提取依存关系信息，该依存关系信息用于指定被判定为具有依存关系的规格项目的组合；依存关系验证部(109)，其根据针对特定的规格项目的组合，通过包含应该成立的匹配条件的验证规则而提取出的依存关系信息，判定是否满足匹配条件，在判定为不满足时，将该依存关系作为不匹配信息进行输出；验证结果可视化部(110)，其通过预定的用户接口输出所述不匹配信息。

公开(公告)号：CN114580822B

公开(公告)日：2025-05-13

申请号：CN202111311566.2

申请日：2021-11-08

Applicant: 株式会社日立制作所

Inventor： 长谷川学 ,  小坂忠义 ,  古家直树 ,  宇山一世

IPC: G06Q10/0631 ,  G06Q10/0835 ,  G06Q10/0639

Abstract: 本发明提供一种车辆调度系统和车辆候选显示方法，生成在进行整体优化的观点上适当地匹配用的指标，用于实现改善了配送效率的车辆共享服务。车辆调度系统具有处理器、记录部和显示装置。在记录部中配置记录配送车辆的信息的车辆信息记录部、记录新的配送货物的信息的货物信息记录部、和计算多个指标并执行基于计算出的指标的信息显示的指标计算处理部。处理器读取指标计算处理部，基于执行车辆信息记录部和货物信息记录部而获取的信息，按每个配送车辆计算关于移动距离的指标、关于收益的指标和关于非空驶率的指标，对计算出的指标使用权重而按每个配送车辆计算综合指标，显示指标的信息和将各配送车辆的综合指标按降序排列的信息。

公开(公告)号：CN114580822A

公开(公告)日：2022-06-03

申请号：CN202111311566.2

申请日：2021-11-08

Applicant: 株式会社日立制作所

Inventor： 长谷川学 ,  小坂忠义 ,  古家直树 ,  宇山一世

IPC: G06Q10/06 ,  G06Q10/08

Abstract: 本发明提供一种车辆调度系统和车辆候选显示方法，生成在进行整体优化的观点上适当地匹配用的指标，用于实现改善了配送效率的车辆共享服务。车辆调度系统具有处理器、记录部和显示装置。在记录部中配置记录配送车辆的信息的车辆信息记录部、记录新的配送货物的信息的货物信息记录部、和计算多个指标并执行基于计算出的指标的信息显示的指标计算处理部。处理器读取指标计算处理部，基于执行车辆信息记录部和货物信息记录部而获取的信息，按每个配送车辆计算关于移动距离的指标、关于收益的指标和关于非空驶率的指标，对计算出的指标使用权重而按每个配送车辆计算综合指标，显示指标的信息和将各配送车辆的综合指标按降序排列的信息。