法院直接变更起诉罪名的正当性

本文从法律规定,法院的诉讼地位和职权、不告不理原则、诉讼经济原则、辩护权的实现,阐明法院变更指控罪名的合法性和合理性,以及在该制度实践既存的情况下,理性地对其加以辩护权的必要完善和保障。     

二维非等长图像置乱变换

传统的2维图像置乱变换一般用于正方形图像处理,对宽高不等的矩形图像,需进行正方形扩展,或使用高维置乱变换阵置乱.本文对此问题做了改进,提出了一种新颖的2维非等长图像置乱变换,给出了周期存在判据,用以选择合适的置乱系数,使得在不增加额外存储空间和计算代价的基础上,可用于非等长图像置乱,并且存在可恢复周期.实验表明所提方法的有效性和可行性.     

矿物质细粉复掺配制高性能混凝土的均匀试验研究

运用均匀试验设计的方法研究了不同品种、不同用量的矿物质超细粉复合作用对高性能混凝土工作性、力学性能的影响。研究表明:当配比组合为水泥∶磨细矿渣∶粉煤灰∶硅灰∶膨胀剂=3∶1∶1∶0.2∶0.02时,塌落度超过130mm,7d,28d,56d劈拉强度/抗压强度分别为5.5/45.55MPa,7.7/71.05MPa和8.3/88.8MPa。本研究采用均匀理论设计试验方案,利用SPSS,MATLAB软件建立了高精度的多组分高性能混凝土强度和塌落度的预测方程,并从机理上分析了多组分矿物质细粉复掺的作用,探索出一条微机辅助试验设计的新方法。     

二维双尺度矩形映射及其在图像置乱上的应用

传统的二维等尺度矩阵变换不能直接对矩形图像进行置乱,对于任意矩形图像需通过正方形扩展或分块处理,由此带来了一次迭代过程中额外的运算代价.为此,提出一种用于任意矩形图像置乱的二维双尺度矩形映射,并证明了双尺度矩形映射是任意二维双模线性映射满足一一映射的充分必要条件;然后结合二维等尺度矩阵变换和二维双尺度三角映射2类特殊映射的逆映射,给出了双尺度矩形映射的逆映射.实验结果表明了文中映射对任意矩形图像置乱的有效性,对矩形图像置乱和恢复的低代价性,以及对剪切、擦除和JPEG有损压缩攻击的鲁棒性.与已有方法相比,文中映射具有最小的一次置乱和恢复的代价、更大的变换阵生成空间,且无需计算最小可恢复周期.     

形式化方法B的精化

形式化方法B支持从抽象规约到实现的完整的开发过程，用于开发安全关键的软件系统。给出了B方法精化的定义后，介绍了抽象机的精化过程与方法，结合实例分析了仅使用前向精化的普通精化规则的不完整性，通过引入反向精化提供了完备的精化理论，二者联合起来能够证明任何正确的精化。     

基于高维矩阵变换的雪崩图像置乱变换

传统的以高维Arnold变换和高维Fibonacci-Q变换为代表的基于高维矩阵变换的图像置乱方法,虽然具备较好的安全性,且能改变被置乱图像的灰度特征,但存在可恢复周期长,且对攻击不具备全局扩散能力等问题,在应用中存在缺陷。针对以上问题,基于高维矩阵变换,构造了雪崩图像置乱变换,该置乱变换可通过逆变换对图像进行置乱,通过正变换对置乱图像进行恢复,因而可减少由置乱图像恢复为原始图像的迭代次数,同时理论和实验结果表明该置乱变换在受到各种攻击时的强脆弱性,因而可用于数字作品完整性鉴别的脆弱水印构造。     

基于Android的农业信息服务平台可视化建模

在“软件工程”和“软件系统分析与设计”等课程传统理论教学中，参考CDIO教育思想，为了引入案例驱动、项目驱动以及团队合作等模式，结合MOOCs授课特色，本文以一个实际项目为例，讨论了在教学中如何进行信息系统的建模。实践表明，这种教学方式取得了良好的教学效果。     

基于矩阵变换的图像置乱逆问题求解

 基于矩阵变换的图像置乱用周期性对图像恢复,代价高昂;而通过逆变换恢复,已有方法未解决 Z _N上逆阵求解问题.针对此问题,通过构造映射规则,将伴随矩阵求逆方法推广到 Z _N,解决了n维矩阵变换的逆问题.为减小该方法计算代价,将杜里特尔分解和克劳特分解求逆推广到 Z _N,解决了变换阵顺阶主子式模N互质,矩阵变换的逆问题.为弱化扩展杜里特尔分解和克劳特分解求逆条件,将高斯-约当消去法推广到 Z _N,给出了任意变换阵在 Z _N上求逆算法和简化求逆算法.所提方法可用于得到任意变换阵在 Z _N上的逆变换阵,从而可直接对图像恢复,而不必计算可恢复周期.实验表明所提方法的可行性和有效性.     

基于两阶段查询重写的XML近似查询算法

提出了基于两阶段查询重写的XML近似查询算法.该算法不仅能够返回精确查询结果,而且能够返回带有相似度分值的近似结果序列.首先,通过模式重写策略,将原始查询树改写为多种XML DTD(文档类型定义)下的重写查询树,从而解决了XML数据的多样性带来的查询语义缺失问题,接着,利用基本变异操作得到的变异查询树对XML数据树完成精确嵌入,可将XML近似查询的问题转变为多棵变异查询树的精确查询问题,并给出了基于XML数据统计的相似度计算模型和Top-K问题求解的优化算法.最后,在汽车外形智能化设计的实验中表明该算法优于SSO算法.     

软件工程应用型人才课程教学研究

本文从目前软件企业人才需求及人才培养现状入手,分析了软件工程课程教学过程中存在的问题,提出了软件工程应用型人才课程体系构建方法,并针对教学过程中诸多教学与实践环节的改革进行了探讨,以达到培养应用型人才的实践教学目标。