基于EBPN模型的电子商务结构化安全验证方法

电子商务借助互联网中app等形式作为媒介,打破传统的面对面交易体系,使系统变得更复杂,以至易产生更多恶意行为,这些恶意行为可能来自用户,商家或第三方平台等。第三方支付平台的加入使程序逻辑设计更复杂,更多结构化问题产生。为此,首先,根据基于Petri网的电子商务业务流程网模型,对电子商务系统进行建模推演,提出了电子商务业务流程关键网模型。其次,根据基于角色访问控制策略中的基数约束和职责分离进行改进,提出了电子商务模型中的行为分离和变迁约束。通过对序列发生的充分性进行补充,完善在Petri网模型中变迁序列发射的充分必要条件,为构建线性不等式提供了条件。最后通过构造线性规划的方法对网模型系统中的变迁约束和行为分离进行求解,进而验证系统的结构化安全性。

基于人工智能的图像识别特征提取装置设计

中国乃至全球的城市化进程正在加速,汽车正在成为主要的交通工具。汽车数量的迅速增加,让人们的生活变得简便,但也引起了各种交通问题,因此,有效地监测和管理违法车辆是维持交通秩序的重要任务。目前,车牌识别系统在一定条件下具有较高的识别精度,但在非特定性自然场景中图像的获取会受到光强度、拍摄角度、字符失真和模糊、车牌污染等因素的干扰,致使相关控制部门实时监控设备采集的车辆图像质量较差,增加了现有系统的识别难度。因此,为了更好地完善和服务智能交通系统,改进和完善车牌识别方法非常重要,具有一定的现实意义和理论参考价值。

梁拱组合体系桥梁的结构及抗震性能分析

建筑的抗震性能是直接影响建筑安全性与使用寿命的关键性能指标。若建筑的抗震性较差,国民生命与财产安全都会受到威胁,因此城市桥梁建设十分重视抗震性能的提升。梁拱组合体系桥梁是现今城市桥梁建设中常见的结构形式,适用于跨度较大、地基较软的环境,文章便研究此结构的抗震性能特点及可行的减震措施。

基于Flexsim的通用汽车A配件仓库运行效率优化设计

目前,通用公司A厂作为沈阳通用体系的最大制造基地,年产量和销售量都在国内汽车企业中的第一梯队。由于通用公司秉承着多车型、多平台的生产原则,所以对汽车零部件的数量要求非常多,导致厂内已经形成了包括JIT、DD、MR、第三方物流外包等国内比较领先的物流模式。作为沈阳地区比较重要的一个组成部分,它的效率还存在着提升的空间,该设计基于此背景,运用Flexsim仿真方法,对通用汽车A配件仓库进行了优化设计。

地铁高架段整体道床裂缝原因分析及处理措施

针对地铁高架桥短枕式纵向承轨台整体道床产生的裂缝病害情况,本文结合工程实际分析了裂缝产生的原因,介绍了合理的裂缝修补措施,提出了施工注意事项,可为同类工程提供参考。

钻爆法隧道炮孔分布计算机辅助设计及应用

隧道一次爆破炮孔分布上百个,依赖工程经验的传统人工绘制爆破方案费事费力。为了研究隧道爆破炮孔智能设计方法,基于公式推导,提出了炮孔平面分布和三维空间分布的数字化方法;再采用计算机编程技术,实现了炮孔参数的程序化,研发了炮孔智能设计系统。研究结果表明:应用隧道轮廓线、掏槽孔、周边孔和辅助孔的参数化表达方法,可以实现隧道炮孔的快速创建,符合隧道爆破需求。通过建立炮孔孔口与孔底坐标的关联关系,可以实现炮孔空间分布的精细表达,直观地指导现场钻孔作业。应用计算机编程方法,可以实现了炮孔布设的智能、精细设计。现场隧道爆后炮孔残痕完整,隧道开挖轮廓成形光滑,整体掘进效果好。研究成果提高了隧道炮孔设计的效率与智能化。