二维离散小波变换低存储结构设计

针对二维9/7离散小波变换硬件架构中数据缓存需求高的问题,提出了一种基于提升算法的低存储架构。通过调整提升算法数据计算顺序,设计了一种动态计算二维小波变换的新型迭代分步计算方法。根据行、列变换的不同,对其分别做一维变换架构设计,其中行滤波器结构通过将输入数据进行三序列分裂,有效减少了寄存器数;列滤波器结构通过单行输入处理消除转置存储器,同时实现了乘法器和加法器的复用。整体二维变换采用并行和流水线混合架构设计,关键路径延时减小到一个乘法器延迟。实验结果表明,对于1 024像素×1 024像素的图像,与其他提升结构相比,本结构片上内存使用减少了11.1%,硬件效率提高了8.2%以上;与基于卷积的迭代计算方法相比,计算周期减少为现有结构的1/9。在型号为Xilinx Kintex7 XC7K325T的现场可编程逻辑门阵列上实现,吞吐率达到460 MB/s,且具有明显的硬件资源优势。     

考虑产品特征属性的替代性需求预测方法

随着电商销售业务的高速发展, 对用户需求进行快速准确预测已成为重要的研究方向. 产品间的替代性对需求有一定影响作用, 且此方面的应用研究在不断深入. 为了提升需求预测精度, 基于畅销预测属性值排序, 利用邻近替代率估计方法, 并结合 Adaboost 预测模型, 构建出一种更优的考虑产品特征属性的替代性需求预测方法, 并通过实验证明该方法行之有效.     

基于LR-IV模型的滑坡敏感性评价

滑坡敏感性评价是滑坡防治中的重要一环.针对信息量模型(Ⅳ)中各影响因子等权以及逻辑回归模型(LR)中因子难以量化的问题,将逻辑回归模型(LR)与信息量模型(Ⅳ)进行耦合,构建LR-Ⅳ模型,并将逻辑回归模型及信息量模型作为对照,以湖北省为例,进行了滑坡敏感性评价.选取工程岩组、地震烈度、水系距离、构造线距离、地貌、降雨面、坡度等七个因子,结合GIS的栅格分析方法,计算各区域滑坡敏感性指数,得到湖北省滑坡敏感性区划图.将历史滑坡数据随机分为70%的训练数据与30%的验证数据,通过受试者工作特征曲线来比较各个模型之间的性能.在成功率上,LR-Ⅳ模型(91.3%)与逻辑回归模型(91.5%)、信息量模型(90.3%)相差不大,都具有极高的成功率,但在预测率上,LR-Ⅳ模型(75.7%)远胜于逻辑回归模型(65.8%),略强于信息量模型(74.9%).研究结果表明,LR-Ⅳ模型表现优异,可用于滑坡敏感性评价.     

汉英翻译中隐性逻辑的显性化研究——以刘宇昆译《北京折叠》为例

汉语句子或句群内部的逻辑关系通常由语序来实现,而英语则通过外在形态体现逻辑关系。因此,汉英翻译时,需要对汉语源文的隐性逻辑进行显性化处理。参照英汉语言对比、语篇分析和句法学的相关理论,以汉语科幻小说《北京折叠》的刘宇昆英译本为研究对象,分析并归纳出八种汉英翻译中隐性逻辑的显性化途径,提出中国译者应着重借鉴情景具体化、增译总说词、逻辑重组这三种难度系数较高的逻辑显性化途径。     

滑板助力太阳能空调婴儿散步车的研究与设计

为解决传统婴儿车普遍采用手推式助力方式比较费力的问题,同时考虑到夏季婴儿车内温度过高、冬季温度过低,不适于婴儿正常生活,且缺少安全通信的现状进行了滑板助力太阳能空调婴儿散步车的设计研究,通过在传统婴儿车的基础上进行必要的结构改造以及软件程序设计,达到使婴儿车集轻便、实用、舒适、安全、自动和节能于一体的效果。     

开放科学及建构的制度逻辑

科学与技术是两种不同的制度模式,前者属于科学共和国"Republic of Science",后者属于技术王国"Realm of Technology",两者具有天生的互补性。开放科学作为一种非市场化的激励制度,提出一套基于优先权的报酬体制,强调在知识产权保护前提下追求创新知识社会福利的最大化,对于催生高质量的研究和创新(Research&Innovation)至关重要。本文在阐述开放科学起源、发展与理论内涵的基础上,重点从公共资助、累积创新、知识产权保护和知识分工四个方面,深入探究了开放科学建构的制度逻辑。     

荀子人性论:从“性朴”到“性恶”的内在逻辑

荀子一方面认为人性"本始材朴",另一方面力主"性恶"。"性朴"与"性恶"非但不存在任何矛盾,而且从"性朴"到"性恶"存在着思维发展的内在逻辑。"性恶"是以"性朴"作为前提,"性伪合"将荀子的"性朴"与"性恶"联系起来,共同构成了荀子的人性论,从"性朴"到"性恶"是荀子人性论发展的必然逻辑,"性朴"是"伪"的基础,"性恶"是"伪"的对象。     

半张量积方法在齐次κ值逻辑控制网络同时镇定中的应用

探究齐次κ值逻辑控制网络的同时镇定问题.利用逻辑函数的矩阵表达和矩阵的半张量积方法,先将每个κ值逻辑控制网络转化成一个离散时间的动态系统.然后,给出齐次κ值逻辑控制网络同时镇定的充要条件.     

格值一阶逻辑系统LF(X)中的α-有序语义归结

讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF(X)中α-有序语义归结演绎的有效性和不完备性。     

基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。