探析军事行政权力的法治规约

依法治军是我军新时期的治军方略,其核心是军事行政权力的法治化。文章认为,军事行政权力的法治规约应当:加强立法,完善军事行政法律体系;构建和谐,增强军事行政法律的相容度;积极守法,严格军事行政执法;完善救济制度,加强对军事行政权力的监督;树立法律信仰,推进军事法治文化的形成。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

隐含否定的非规约性间接言语行为的语境阐释

隐含否定的非规约性间接言语行为是表达层面上不具备否定的形式,但却具有否定内容的语言现象。本文从语言语境、常规关系语境及社交语境角度对隐含否定的非规约性间接言语行为进行分析,并用具体实例说明语境信息对理解和表达隐含否定的非规约性间接言语行为的有效作用。     

并行规约与扫描原语在ReRAM架构上的性能优化

规约与扫描是并行计算中的核心原语,其并行加速至关重要。然而,冯·诺依曼体系结构下无法避免的数据移动使其面临“存储墙”等性能与功耗瓶颈。近来,基于ReRAM等非易失存储器的存算一体架构支持的原位计算可一步实现矩阵-向量乘,已在机器学习与图计算等应用中展现了巨大的潜力。提出面向忆阻器存算一体架构的规约与扫描的并行加速方法,重点阐述基于矩阵-向量乘运算的计算流程和在忆阻器架构上的映射方法,实现软硬件协同设计,降低功耗并提高性能。相比于GPU,所提规约与扫描原语可实现高达两个数量级的加速,平均加速比也可达到两个数量级。分段规约与扫描最大可达到五个(平均四个)数量级的加速,并将功耗降低79%。