基于FlexSim的某汽车零部件配送中心的仿真研究

以FlexSim仿真平台为基础,定量分析了浙江某汽车零部件配送中心存在搬运距离长,物流路线迂回与交叉等问题.为解决这些问题,设计了两种将订单分配到由打包生产线规则(AB)和3种叉车搬运路径(Ⅰ,ⅡⅢ)组合的方案中,运用FlexSim对6种方案进行仿真分析,比较了不同方案的订单生产周期及总搬运距离等,最终选择A-Ⅲ方案作为改善方案.研究结论能为企业改善生产周期提供决策依据,有利于提升企业的竞争力.     

SCVerify:抗功耗侧信道攻击软件实现的验证

功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术.     

基于LabVIEW的甲烷产气量自动测量系统设计

针对实验室现有的厌氧发酵装置产气测量存在费时费力、人眼读数误差较大、自动化程度低等问题,设计一种基于LabVIEW的甲烷产气量自动测量系统。提出采用排水法与称重计量法结合的测量方法,以实现产气量自动测量。称重传感器获取发酵甲烷产气排水后得到水的质量,经换算得到排水体积即甲烷产气体积。利用LabVIEW编写软件平台,采用NI USB-6251数据采集卡对发酵过程中的关键参数如甲烷产气量、温度和pH值进行实时采集、处理、显示及存储,同时控制夹管阀和蠕动泵实现自动补充排水液的功能。利用微量注射器对自动测量系统开展性能验证实验。试验结果表明:该装置的测量平均相对误差最大值为1.10%。该系统可以满足发酵实验对甲烷气体的测量需求,不仅能够提高自动化水平还可以提高测量准确性。     

基于SDN的IP网络与光网络协同编排系统

针对IP网络与光网络缺乏协同管控机制的问题,文章在分析IP网与光网络各自特性的基础上,以SDN(软件定义网络)技术为抓手,设计出基于SDN的IP网络与光网络协同编排系统,以IP网络SDN控制器负责全局信息的收集与处理、网络策略的制定与下发,光网络SDN控制器负责提供光网络信息并通过预配置方法实现快速建路,同时阐述说明协同编排系统各模块的功能和交互方式。以协同编排系统为基础,提出通过灵活设定预配置光路实现业务路径快速开通的方法。     

工程教育认证驱动下的软件工程实践课程改革

针对工程教育认证持续改进的理念,结合软件工程实践课程现状,提出在工程教育认证持续改进中,加强软件工程实践课程对学生软件能力的培养,阐述以解决复杂工程问题的软件能力培养为核心的软件工程实践课程改革措施,最后通过学生的课后反馈和能力评价说明课程改革的意义和效果。     

小学信息技术课使用“Windows自带的画图软件”

随着电脑的普及,"电脑绘画"作为一种顺应时代的、基于传统绘画的新兴产物,相比较于传统绘画而言,它有着数不尽的画纸、用不完的颜料和复制、粘贴等新颖神奇的操作方法。作为小学信息技术教师,在引导小学低年级孩子在学习windows自带的画图软件中,首先要激发学习兴趣,然后以简单的任务让孩子体会到成功的快乐。对于重难点的学习,巧妙地利用教学方法帮助孩子掌握操作技能,最后引导孩子发挥想象,体会电脑绘画的乐趣。