摘要：随着计算机技术的迅猛发展，以计算机为基础的影视动画、游戏电玩等领域也随之蓬勃发展，成为人们业余生活娱乐、企业广告传媒、工厂专业设计等应用领域不可缺少的支撑技术。因此，数字媒体专业已逐渐成为一项热门专业。该专业是一门交叉学科，集图形学、美学、艺术、计算机等学科于一体。但由于一般的计算机人才不懂艺术创作和美学知识，而艺术创作人才又缺乏计算机的相关基础知识和动手能力，使得数字媒体产业人才奇缺。

摘要：工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.

摘要：税费改革结束了我国长达2000多年的农业税制度,同时又宣告农村公共产品制度外供给制度的终结。本文依据调查结果发现辽宁省农村公共产品在数量和结构都有所改进的同时又存在着一定的问题:由于供给主体单一,造成农村公共产品数量不足;农村公共产品的结构不合理,远远落后于城市。针对以上问题本文提出了相应的对策来改变农村公共产品的供给,实现城乡统筹发展。

摘要：在高光谱图像分类中,丰富的数据提升了其地物识别能力。然而,由于样本特征数大且有标记训练样本点少,导致"维度灾难"问题。本文提出一种基于无监督特征选择的高光谱图像分类方法,该方法同时考虑数据的流形嵌入映射和稀疏表达,将特征选择问题转化为一个优化问题,数据的流形嵌入和稀疏表达作为约束项加入目标函数。设计了三个目标函数,第一个目标函数描述流形学习的局部性原则,第二个目标函数将原始样本点回归到低维嵌入空间,第三个目标函数对回归系数进行正则化。针对目标函数非凸的问题,用迭代的方法来解这个约束优化问题,给出了解该优化问题的算法。优选特征用于参与后续的分类识别任务。在真实的高光谱数据集上的实验表明,新方法能够提高分类的精度。

摘要：资源独立约束工作流可满足决策*WS-RI是业务安全规划的典型问题,在云制造等第三方资源环境中有重要意义。增量模式回溯法(Incremental Pattern Backtracking,IPB)是一种能够打破对称,高效求解*WS-RI的新型算法。它的一个主要优势是在模式验证时,通过渐进方式计算其中各块到资源集的指派图。但其在整个资源集中搜索指派邻点,实际性能存在缺陷,并在模式空间上放大。利用块中各步骤授权资源的分布间隙,设计了一种边界收缩的加速方法。它在搜索过程中增量计算邻域的初始边界,循环对齐和滑动当前边界,过滤无用资源,快速求出各个邻点。随机实例集上的实验表明,该算法显著优于目前最快的非增量模式回溯法。而较现有IPB,对低授权或高资源比例的相对困难实例,时间性能有明显提高。