-
公开(公告)号:CN106060016A
公开(公告)日:2016-10-26
申请号:CN201610334264.X
申请日:2016-05-19
Applicant: 上海大学 , 上海上大海润信息系统有限公司
CPC classification number: H04L63/0428 , G06K7/1417 , G06Q10/083 , G06Q50/28 , H04L9/0643
Abstract: 本发明涉及一种加密物流系统,包括:服务器,用于根据运单涉及的发件人信息和收件人信息生成加密用二维码,并将该二维码与运单绑定;多个第一终端,与服务器连接,分别由物流服务方中各环节持有,用于识别二维码从服务器获取下一物流节点信息,并进行分拣运送,直至将运单送至收件人;第二终端,与服务器连接,由收件人持有,用于查看物流状态和验证收件人身份,并在验证通过后由服务器通知由派件员持有的第一终端;第三终端,与服务器连接,由发件人持有,用于查看运单的物流状态。与现有技术相比,本发明将发件人信息和收件人信息通过二维码加密,可以有效避免快递实名制下的个人信息泄露,二维码扫描技术的成熟,物流分拣效率也能得到提高。
-
公开(公告)号:CN105955755A
公开(公告)日:2016-09-21
申请号:CN201610334262.0
申请日:2016-05-19
Applicant: 上海大学
Abstract: 本发明涉及一种基于状态图的代码化验证方法,包括步骤:1)用ArgoUML状态图描述目标软件需求,进行需求分析;2)将ArgoUML输出的文件作为提取目标,抽取其状态图描述文件;3)解析状态图描述文件,获取状态图的节点状态,迁移信息以及状态属性;4)根据获取的状态图的节点状态,迁移信息以及状态属性将ArgoUML状态图转化为目标NuSMV代码;5)自动抽取检验性质,以交互式方式供用户二次编辑;6)调用NuSMV检验器执行检验,返回校验性质是否被满足,如不满足,给出出错位置点并展示路径序列。与现有技术相比,本发明可实现边对软件需求建模边实现自动化验证,同时使得设计分析人员不用再关心如何编写复杂的NuSMV程序,这些转化将自动实现。
-