新疆少数民族汉语语法教学实践探索

文章依托认知教学理论和建构主义学习观,通过解读《全日制民族中小学汉语课程标准》提出的新要求,对包括直观、演绎、归纳、对比、图表、游戏、交际、任务等多种教学方法进行了阐述。文章认为对少数民族汉语语法教学要注重实践语法的特点,学生的年龄特点、心理认知水平,对语法偏误进行分析,同时应注重教学语法内容的逻辑性,通过灵活运用多种教学方法,促进学习者语法知识的建构,提高语法学习的效率。     

ARCS动机模型在初中英语语法教学中的应用

语法学习能在一定程度上保证语言的地道性、流畅性和实用性。但就目前来看,英语学习者学习语法的积极性普遍不高,不少英语学习者抱怨英语语法项目琐碎繁杂、语法学习枯燥无聊。针对此现状,本文尝试将ARCS模型的四类动机策略整合于初中英语语法教学,以期有效激发并维持学习者的语法学习热情,提高语法教学效果。     

基于Blowfish的HEVC高效选择性加密方案

为防止实时视频信息被非法获取,提出了一种基于H.265/HEVC视频编码标准的HEVC视频图像选择性加密方案.选择熵编码过程中对运动加密影响较大的MVD符号位,RFI,MVP索引和对纹理加密影响较大的变换系数符号位量化参数后缀,以及变换系数后缀等语法元素,在此基础上,运用Blowfish加密算法对视频图像进行选择性加密...     

语用意识增强式任务模式在语法教学中的应用

本文以澳大利亚英语语法课堂教学为例，介绍了“语用意识增强式任务模式”在外语语法教学中的应用。该模式强调以语言形式为基点，结合语用机制、语境知识和百科知识，通过语言理解与输出，提高学习者对语言形式的注意程度，增强语法的语用意识功能。这一模式为探讨外语语法教学有效途径提供启示。     

“大”与“小”语法功能上的差异性

“大”与“小”作为一对反义词 ,其语法功能在多数情况下是相同的 ,具有对称性。但两者在语法功能上存在差异性 ,即在有些情况下 ,两者的使用并不对称。本文试把“大”与“小”的这种不对称现象指出来 ,略加分析 ,并尽量予以合理的解释     

话音插空技术

通信系统的基本问题是它的有效性及可靠性。围绕着这两项基本的要求促进了通信技术的不断发展。调制解调技术、最佳接收技术和信道编码等领域的发展,目的均在于提高通信系统的可靠性。而多路复用技术则是为了在有限的信道容量中传送更多的信息。在数字通信中,还采用信源压缩编码技术和话音插空技术来提高通信系统的效率。它们两者的结合则往往能带来更好的效果。话音编码技术的目的在于寻求占用最小的信道容量来传输一路话音信号,以较低的比特     

中学英语启发式语法教学探索与实践

当前中学英语语法教学仍采用传统的教学方法，从而忽视了学生学习主体性、经验性和能动性。本研究提出将启发式教学方法运用于中学英语语法课堂教学实践之中，并通过建构中学英语启发式教学的5阶段，即预备阶段、提示阶段、联想阶段、统合阶段及应用阶段，试图激发学生积极参与教学活动意识，促进师生及生生间的互动，提高英语语法课堂教学质量。     

基于目标识别的HEVC分割算法优化与实现

为了优化视频信号在复杂网络环境下由于网络拥塞出现的数据丢包等情况,提出了一种基于目标识别的HEVC(high efficiency video coding)分割算法的优化方法,提高了视频编码的压缩效率,并实现了算法在全国产平台上的移植运行。利用深度学习进行目标识别,确定感兴趣区域,再通过指导不同区域采用不同编码单元分割深度,提高整体压缩效率。实验结果表明,该优化方法可以有效提高整体压缩效率,并完成在全国产化平台的运行实现,实现整体技术的自主可控。     

一种基于规则的OWL-S本体语法一致性维护方法

OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题.提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性.对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作.     

基于认知的武器系统能力描述模式

研究武器系统能力的过程,是通过实践不断认知武器系统能力,并不断反馈的过程。为此,提出基于认知的武器系统能力描述模式。首先,研究武器系统能力的基本概念,提出将武器系统能力分解为能力要素,直至底层的能力原子,对能力原子分析起关键作用的特性称为能力属性。其次,建立基于认知的武器系统能力描述的三维模型——包括语用维、语义维和语法维。第三,提出由语用分析、语义分析和语法描述构成的武器系统能力的描述框架。最后,通过一个案例示例以说明了模式的有效性和实用性。     

层次化新闻视频处理框架的设计与实现

提出了一个通用的层次化新闻视频处理框架,将新闻视频处理分为句法分段、语义标注以及视频摘要三个层次,并给出了三个层次中涉及的故事单元探测、字幕探测、视频摘要等关键技术的解决方案。框架突破了传统的新闻视频处理框架仅局限于句法分段以及单媒体特征进行处理的缺陷,通过对视音频特征进行多模态的综合分析来获取新闻视频高层的语义内容。实验通过一个新闻视频处理原型系统NVPS验证了框架的可行性,重点对故事单元探测、标题探测以及口播帧探测三个算法进行了实验,实验结果分别达到88%,86%和86%的探测准确率,从而进一步证实了层次框架在新闻视频处理方面的有效性。     

基于改进D-S证据理论的雷达生存效能

为了综合分析雷达的生存效能,通过调整非关键因素和不确定因素的基本可信度对证据理论中证据合成规则进行了改进,并基于改进D-S证据理论提出了雷达生存效能评估模型.改进后的证据合成规则不仅减小了证据的冲突,而且仍然满足证据的基本可信度之和为1的基本要求,保持Dempster合成规则所具有的可交换性.通过雷达生存效能模型应用的一个实际例子计算表明,证据理论是一种科学的效能评估方法,具有可行性和实用性,改进后的证据合成规则能够较好地分析雷达的生存效能.     

离散 Hartley 变换的 MIMD 并行算法

本文把长为N=N_1N_2(N_1为奇数)的离散Hartley变换(DHT)分解成N_1个长N_2的DHT及一些附加运算,附加运算也可以变成N_2个长N_1的DHT。由此得到计算它的一种MIMD并行算法,若用N_1台处理机并行计算,只需(?)个乘法步和(?)个加法步,这里M(N_2)和A(N_2)分别表示计算一个长N_2的DHT所需的乘法数及加法数。并行机的有效利用率接近于1。     

多核数字信号处理卷积算法并行优化

针对国防科技大学自主研发的异构多核数字信号处理(digital signal processing, DSP)芯片的特征以及卷积算法自身特点,提出了一种面向多核DSP架构的高性能多核并行卷积实现方案。针对1×1卷积提出了特征图级多核并行方案;针对卷积核大于1的卷积提出了窗口级多核并行优化设计,同时提出了逐元素向量化计算的核内并行优化实现。实验结果表明,所提并行优化方法实现单核计算效率最高能达到64.95%,在带宽受限情况下,多核并行扩展效率可达到48.36%～88.52%,在典型网络ResNet50上的执行性能与E5-2640 CPU相比,获得了5.39倍性能加速。     

一种时域标量场平面波算法的改进方法

基于现有时域平面波(PWTD)算法,提出了一种对时域标量场平面波算法的改进方法。此方法将现有算法中的插值计算改为制表查询,并给出了其最大误差。另外,还将现有算法中转移算子中对时间求导提到算法最外层,将原先所需的(K 1)(2K 1)次FFT和IFFT计算减少为一次FFT和IFFT计算。最后算例证明当算法选取适当参数值时,可获得需要的计算精度,并验证了改进算法所需计算时间远少于现有算法。     

Extensions and reductions in the von neumann model of an expanding economy

This paper introduces an extension of the v. Neumann model of an expanding economy. In addition to the conventional nonnegative input and output matrices A₁, B₁ representing technology, two matrices A₂, B₂ represent socio-political evaluations and show that there exist solutions to the 4-matrix model. The proof is based on an extension of a constructive proof given by O. Morgenstern and G. L. Thompson. It is shown that this proof is valid only under an additional assumption. The transformation of v. Neumann models (taking consumption into account) into 1 or 2 games is shown and adds an additional condition to M. Morishima's model to guarantee a solution. The equivalence of the v. Neumann model to a maximization problem under a (efficiency) constraint is presented. It is shown that E. Malinvaud's maximality and efficiency criterion - if based on the same assumptions (model) - are equivalent and specify the assumptions which will make the MT-model efficient. The economic evaluation is considered to be of utmost importance.     

并行面向对象数据库中的查询优化

为了在开发并行性的同时，进一步提高查询处理的效率，本文针对并行面向对象数据库的异步并行查询执行模型的特点，提出了三种并行查询优化策略：（１）数据子集预选策略；（２）信息流延迟策略；（３）信息流消减策略。它们既适用于单查询处理，又适用于多查询处理，测试结果表明它们是实用有效的并行查询优化策略。     

基于CCA/DEA的装备维修保障绩效评价

运用典型相关分析方法(CCA)和数据包络法(DEA),从纯技术效率、规模效率和综合效率3方面对空军飞行团维修保障绩效进行计算分析,结果表明,飞行团维修费使用效益方面经费配置效率整体不高,特别是对于中修费和维修器材购置费,须采取管控措施提高经费利用效率。     

视频传感器覆盖范围精细化计算方法

视频传感器覆盖范围计算是视频传感器网络初始配置、优化部署等的核心基础,其精度严重影响覆盖分析的结果,然而现有很多方法并未考虑计算方法执行效率与精度的影响,而方法的精度与效率在大范围监控视频覆盖分析应用中显得尤为重要。因此,提出一种兼顾速度与精度的视频传感器覆盖范围计算方法,将地理空间进行格网化;计算每个格网角点被视频传感器覆盖的状况,用0或1表示;接着,以格网四个角点的覆盖情况描述格网的覆盖情况,将格网分为16种覆盖状态;逐步细化整个格网覆盖状态非(0000)和(1111)的格网,直至达到预设精度;获得视频传感器的覆盖范围。实验结果表明,该方法能够更为精确地获得部署在地理场景中视频传感器的覆盖范围,同时兼顾了计算方法的速度和精度。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。