摘要：汇编语言是计算机专业本科生的一门重要必修课,但又是一门学生难学,教师难教的课。现有的大部分教学案例缺乏综合性,与实际工作联系不紧密。针对这些问题,从课程群建设角度出发,设计一个基于引导型病毒的教学案例,让学生直观地感受到汇编语言在信息安全领域的应用。介绍了案例的基本原理、实现,在教学过程中的使用方法和需要注意的地方,为丰富汇编语言教学案例提出了一种可行的思路。

摘要：鲐鱼是中上层鱼类,具有较高经济价值,其种群受到气候和海洋环境的显著影响。本文根据2006-2015年7-9月中国远洋渔业数据中心提供的中国近海鲐鱼捕捞和海表温度以及海面高度两个关键环境因子的数据,构建了基于捕捞努力量的鲐鱼综合栖息地指数模型,分析研究了在不同强度厄尔尼诺和拉尼娜条件下鲐鱼栖息地适宜性的变动规律。通过计算和交叉验证,结果发现,基于算术平均法的栖息地模型能够较好地预测鲐鱼渔场栖息地适宜性指数。空间相关性结果表明,鲐鱼渔场主要作业海域范围内海表温度异常与栖息地指数值呈显著正相关关系,而海表面高度异常与栖息地指数值呈显著负相关关系。不同强度厄尔尼诺和拉尼娜事件对鲐鱼种群影响不同,具体表现为:相对于中强度厄尔尼诺事件(或中强度拉尼娜事件),超强厄尔尼诺事件(或强拉尼娜事件)驱动鲐鱼主要作业海域内温度下降(或上升),海面高度上升(或降低),鲐鱼渔场适宜栖息地面积显著减小(或增大),导致鲐鱼单位捕捞努力量渔获量骤减(或显著增加)。研究表明,中国近海鲐鱼栖息地适宜性与厄尔尼诺和拉尼娜事件显著相关,且随着异常气候事件强度的不同而发生变化。

摘要：滨海养殖废水对河口及近海水质有影响,造成潜在水华和赤潮问题。利用具有生态化、高处理效果的人工湿地处理滨海养殖水。研究不同浓度盐胁迫下人工湿地对各污染物处理效果,确定最耐受盐胁迫浓度。利用污染物去除效率、微生物数量、微生物代谢功能及微生物群落对碳源利用的主成分分析阐述净化机理。研究表明:(1)人工湿地可有效处理滨海养殖水,当HRT=3d时,人工湿地COD和NH3-N去除效果佳,出水可达地表水环境质量标准(GB3838—2002)Ⅲ类水标准。(2)在不同盐胁迫浓度条件下,人工湿地正常运行的最耐受盐胁迫浓度为1%,COD和NH3-N去除效果改善明显(P<0.05),分别为93.3%和77.12%。(3)人工湿地净化滨海养殖水的主要路径是硝化-反硝化作用,硝化/反硝化细菌在1%盐浓度胁迫下仍可正常发挥作用,盐度耐受力较好,且在盐度影响下微生物利用碳源类型趋于多样化。人工湿地可作为滨海养殖水的生态化处理技术,缓解滨海水域的潜在富营养化问题。

摘要：本文以线上线下混合式“金课”建设为目标,以《工程流体力学》课程为例,探讨工科专业基础课程的线上线下混合教学模式,对在线课程建设、教学资源及线上线下教学实践进行了探讨,并与现代信息技术有效融合,设计和实施符合混合式教学过程及课程特点的评价考核机制,突出以学生为中心的课程理念,顺应时代发展和人才培养要求。

摘要：高等院校中计算机科学及相关专业学生对面向Android应用程序的Java开发相关技术具有非常浓厚的兴趣。Android项目开发是复杂的,相关软件产品开发需要成熟的应用软件工程实践和工具。但是,大多数软件工程课程都侧重于桌面或Web应用程序的"常规"软件开发。本文回顾了国内外一些高校提出Android开发与软件工程两类课程的协同式教学策略或教学设计。目前的实践结果表明,采用两类课程相互渗透的方式,弥补了软件工程与Android开发之间的差距,同时提高了学生对软件工程概念在移动应用开发中的重要性的认识。

摘要：1引言随着经济的不断发展,现代渔业的发展至关重要,与人民生活息息相关。渔业结构的不断改革创造了经济效益,但是同时带来了一系列环境问题。传统的水产养殖业存在着水域环境恶化、养殖设施陈旧、养殖灾害频发等问题,导致水产品质量安全隐患增多,水产养殖发展与资源、环境的矛盾不断加剧[1]。而且传统的养殖模式单一,以分散养殖为主,可复制性差,环境污染大,不确定性大。因此,改造提升传统水产养殖业,大力发展生态养殖模式至关重要。

摘要：以信号处理中非递归型Finite Impulse Response(FIR)滤波器作为研究对象,针对硬件电路设计中存在的面积、功耗和计算性能的问题,通过利用Catapult C高层次综合工具先优化单个FIR滤波,再级联滤波算法的方法以改善滤波的能耗。同时FIR滤波算法在STx P70专用微处理器中采用单指令多数据Single Instruction Multiple Data(SIMD)VECx技术以加速电路的计算性能,分析与评估硬件与软件对实现FIR滤波算法的影响。实验结果表明,采用硬件等效替代的方法能使单个FIR滤波能耗降低6倍,级联滤波能耗降低7倍,满足了绿色环保的电路设计理念。采用软件的SIMD技术可实现数据向量化加速计算,计算加速比提高4倍以上。

摘要：智能合约是区块链技术应用的一个重要场景,智能合约技术实现了区块链的可编程化,提高了其扩展性,有广阔的应用前景。然而,一系列关于智能合约的安全事件造成了大量经济损失,削弱了人们的信心,安全性问题已经成为制约智能合约进一步发展的关键问题。如果合约设计和代码实现的过程中存在缺陷,可能会造成严重后果。而智能合约发布后无法修改,因此,在智能合约发布前对其正确性做出验证尤为重要。近年来,国内外学者在智能合约的验证领域取得了大量成果,但对这些研究成果的系统分析和总结相对较少。对以太坊的交易过程、gas机制、存储结构、编写语言做了简要介绍,在此基础上调查归纳了智能合约中常见的8种漏洞类型,解释了漏洞产生的原因,回顾了一些真实发生的安全事件并给出了漏洞示例代码;根据不同的技术手段,如符号执行、模型检测、定理证明等,对智能合约的形式化验证工作做分类介绍,分析了各种方法的优劣,并选取了3个开源的自动化验证工具Mythril、Slither和Oyente,从运行效率、检测漏洞类型以及准确率等方面作出实验评估和对比;研究了目前已有的相关综述文章,总结了这些研究的区别与优势;概述了智能合约的漏洞检测技术中仍存在的关键问题,对智能合约验证工作的现状进行了分析和展望,提出了未来能够进一步研究的方向。

摘要：针对《传感器与现代检测技术》课程线上线下教学过程中知识点分散、理论抽象、检测电路与实际应用脱节等问题,提出了引入虚拟仿真技术,设计了混合式虚拟仿真实验教学模式。首先,利用虚拟仿真预习实验环节,加强学生对实验过程和内容的理解。其次,在课内教学过程中引入检测电路虚拟仿真操作演示,加深学生对检测电路的理解。最后,在综合实验环节利用LabVIEW/Proteus进行检测系统虚拟仿真,提高学生的综合实践和应用能力。通过在不同的教学环节实施不同形式的虚拟仿真实验辅助教学,激发了学生的学习兴趣,增强了学生的工程实践能力,提高了学生的学习效果和能力输出。

摘要：隐私集合交集(Private Set Intersection,PSI)技术允许私有集合数据持有方联合计算出集合交集而不泄露交集外的任何隐私信息。作为安全多方计算中的重要密码学工具,该技术已被广泛应用于人工智能和数据挖掘的安全领域。随着多源数据共享时代的到来,大多数PSI协议主要解决两方隐私集合交集问题,一般无法直接推广到多方隐私交集计算场景。文中设计了基于云服务器辅助的多方隐私交集计算协议,能将部分计算和通信外包给不可信云服务器而又不会泄露任何隐私数据,通过使用不经意伪随机函数、秘密共享和键值对打包方法使得协议更高效。通过模拟范例证明了协议在半诚实模型下能够安全地计算多方隐私集合交集,所有参与方和云服务器都无法窃取额外数据。与现有方案相比,所提协议受限制更少,适用范围更广。