摘要：高原地区公路建设与养护过程中,冻土问题一直困扰着人们。本文就高原冻土区高速公路的维修技术进行了较为深入的探讨,以探索适合高原冻土区公路维修的有效途径。结果表明,采取隔热材料、加强排水设施等措施,可以有效地防止高速公路因多年冻土而发生损坏。同时,通过对冻土区地质情况的详细调查,为合理设计道路路线提供了依据。另外,定期对道路进行维护保养,对于延长道路使用寿命、减少养护费用具有重要意义。本项目的实施可有效解决高原冻土区道路病害问题,为冻土区公路建设与养护提供新思路与新方法。

摘要：随着天基计算密集型任务快速增长,星上任务对计算的需求也随之迅猛上涨。星载计算机系统通常采用异构电子系统,其“算力”被封闭在独立的星载计算机内,各计算资源不能彼此共享,容易产生资源浪费,且各个嵌入式软件和可编程逻辑采用非标准的编程,不支持统一升级和综合调用。针对此问题,以异构CPU和DSP计算资源作为研究重点,设计一种基于虚拟化技术的软件定义DSP计算架构,通过分析当前所面临的抽象化和多租户的技术挑战,并借鉴异构GPU和FPGA相关虚拟化技术,综合运用硬件抽象层、时分复用虚拟化、接口调用重定向、组件注册和数据路由等技术,实现DSP异构计算资源多用户共享和高效统一调用。试验验证表明,软件定义DSP计算架构可实现星载异构计算系统软硬件灵活解耦,并支持多个用户和应用同时访问和调用单个DSP计算资源。

摘要：在传统的道路路侧台阶铣削过程中,铣刨机在工作时,需要先对路面进行垫料处理,耗时耗工且效率低、成本高。针对此问题,文章介绍一种在高速公路改扩建项目过程中用到的台阶专用铣刨装备——道路路侧台阶铣刨机。主要从道路路侧台阶铣刨机的结构特点、液压控制系统技术方案、冷却水路系统设计、重要元器件型号选用等方面进行阐述,整机设计结构简单轻量化。液压控制系统是由一个液压泵带动铣刨鼓同时进行回转运动和上下往复运动,速度快、结构简单、切削性能好、节约能源,冷却水路从变速箱获得动力后驱动洒水泵工作,将罐体内部的水通过管道和喷头喷洒出去,最后根据工况选定液压系统动力元件液压泵、液压马达和执行元件液压缸的型号。道路路侧台阶铣刨机优良的性能为高速公路建设进度和铣刨质量提供了有力的保障。

摘要：区块链上运行的智能合约具有一经部署难以修改、调用执行需经过共识等特点,现有的需要修改智能合约代码或打断其执行过程的调试方法难以直接应用到智能合约上.由于智能合约的运行过程由区块链交易顺序执行过程组成,实现对区块链交易执行过程的追溯是提升智能合约可调试性的一个有效途径.对区块链交易执行过程进行追溯主要目标是找出一条已经出块的区块链交易是如何得到当前的执行结果的.区块链交易的执行依赖于区块链内部状态,且该状态取决于之前区块链交易的执行结果,因此存在着传递性依赖.区块链交易的依赖性和区块链所提供的执行环境的特点给区块链交易执行追溯带来了挑战.区块链交易执行追溯面临的挑战主要有3方面,即如何从智能合约部署的生产环境中获取足够追溯的信息、如何获取区块链交易之间的依赖关系,以及如何保证追溯结果与实际在线执行过程一致.提出了一种基于录制重放的区块链交易执行追溯方法,在合约容器中建立录制重放机制,无需修改合约代码即可支持交易执行中对状态读写操作的录制,并且不会打断智能合约运行;提出了基于状态读写的交易依赖分析算法,支持对存在依赖关系的前序交易进行按需回溯;此外,设计了录制读写操作记录的验证机制,确保重放的执行过程与真实执行过程之间的一致性可被验证.所提出的方法能够追溯区块链交易调用智能合约的执行过程,可用于智能合约调试,并且当智能合约异常造成损失时可用于举证.在实验中对比了将录制的读写操作记录存储于链上和存储于链下之间的性能差异,通过案例研究展示了所提方法在追溯区块链交易执行方面的有效性和优点.

摘要：绣画艺术有着丰富的历史底蕴,以神韵充分、工艺高深闻名遐迩。借助汴绣中绣画艺术和休闲女装相关设计导向,探讨如何将两者结合进行服装设计。以绣画艺术为切入点,对其代表作品进行分析,归纳出其强调彰显书画意境的艺术特点和针法灵活、刻画生动及绣工精致的工艺特点。针对女装设计,总结出绣画艺术在休闲女装设计中的工艺使用、色彩搭配、面料选择、图案风格与服装款式适配的应用原则。研究可促进优秀传统文化汴绣的传承和休闲女装的再发展。

摘要：由于我国科学技术的进步与发展,在高中课程教育中,我国教育部门已经把信息技术课程加入到其中。高中信息技术课程存在较强技术能力以及动手能力等特性,教师在进行教学过程中,要不断优化和改善满足当前时代发展的高中信息技术课程教学模式,不能一味的运用传统教学理念和教学方式。针对于学习信息技术能力不同的学生,教师要针对性的设计信息技术教学模式,从而增强学生学习信息技术能力的效率,促进学生充分发展。在高中信息技术课程教学中,对于探究式教学模式的运用,在当前来说,属于一种有效的教学手法,不但可以增强学生学习信息技术的兴趣,而且还可以提高教师的教学水平,促进信息技术课程的价值。

摘要：在有限元计算中,散乱数据插值以及曲面设计和表示等问题常常需要构造三角域上C^1连续的分片插值多项式.Zenisek证明了闭三角域上整体具有m阶光滑的双变量插值多项式至少是4m+1次的.在实际问题中最常用到的是三角域上C^1连续五次双变量插值多项式的表示.

摘要：随着世界经济高速发展,生态自然资源大量的消耗和无节制的索取导致了诸多环境问题,绿色环保的设计理念也逐渐渗入服装行业中。基于生态文明的时代背景,在简析绿色服装设计理念的产生背景,以及国内外绿色服装设计研究现状的基础上,阐明了绿色服装设计是符合当今社会发展下与生态环保要求的全新理念。分析了生态时代绿色服装设计的发展趋势,并从消费者和服装设计企业的角度出发,提出了实现绿色服装设计的策略。

摘要：对3个国产万亿次机群系统进行了NPB性能测试分析,重点研究大规模并行处理时(处理器数目达到上千个)的性能特点和趋势.分析了不同的处理器、互连网络等系统配置对NPB性能的影响,发现NPB的8个程序在3个万亿次机器上的性能特点和表现并不一致,表明国产高性能机群在设计上正在逐渐走出同质化的趋势,向多样化发展.进一步分析表明,目前NPB程序的可扩展性可以达到几百个处理器,但尚不能达到上千个处理器,NPB程序能发挥出的系统峰值的百分比仍然徘徊在10%左右,机群系统的并行可扩展性和应用程序对机器运算潜能的利用还需要进一步提高.对于处理器数目达到上千个的万亿次机群系统来说,对集合通信和细粒度通信能力的支持亟需提高.

摘要：本文通过理论分析和试验研究相结合的方法,探讨了斜向规则波与局部开孔防波堤的相互作用。流体运动的计算域被分成两个子域,一个区位于开孔沉箱结构物外侧,另一个区位于结构物内。在每个子区域内,应用分离变量法和特征函数展开法以求得相应的速度势,在速度势的特征展开中考虑了非传播模态波。理论计算与试验结果对比表明,二者符合较好。基于对不同因素影响的分析,给出了斜向规则波在局部开孔结构前反射率的简化计算公式,在工程设计中可用于预估类似条件下结构物前的波浪反射率。