摘要：在Long,Browne,Jha和Marrero等人工作的基础上,详细分析了用Tarski不动点定理计算不动点交替嵌套深度为4的命题μ-演算公式的计算过程,找到了计算中间结果间具有的两组偏序关系,利用这两组偏序关系设计了一个高效的命题μ-演算全局模型检测算法,该算法与Long等人提出的算法有相似的时间复杂度(O((2n+1)-d/2-+1)相对于O(n-d/2-+1)),但空间复杂度有很大的改进(O(dn)相对于O(n-d/2-+1)),其中n是变迁系统的状态规模,d是命题μ-演算公式中不动点算子的嵌套深度.算法性能的改进对于命题μ-演算模型检测技术的理论研究与实际推广应用都意义重大.

摘要：在高光谱压缩感知重构中,充分利用图像的先验信息能有效提升算法的重构精度。现有重构算法均未考虑高光谱图像的谱间结构冗余信息,该文提出一种基于谱间结构相似先验的高光谱压缩感知重构方法。该方法通过谱间结构冗余定义高光谱结构图像,以结构图像为基础,设计一个压缩感知重构正则项,再结合高光谱图像的空间相关性和谱间统计相关性,提出一种新的压缩感知高光谱图像联合重构方案,并设计一种基于变量拆分的有效的求解算法。实验表明,在相同观测值数目下,该文算法的重构质量明显优于现有算法。

摘要：针对模拟法庭服务器存在大量并发客户请求问题,引入了完成端口(IOCP)多线程控制模型,建立了以主线程、监听线程、服务线程为核心的服务器架构。通过分析数据包的错序原因,提出了具体的解决方案。利用池技术思想,设计了线程池和数据库连接池,较好地解决了多线程竞争资源问题,有效避免CPU在线程调度和切换上的大量开销,充分利用了系统资源。经系统测试结果表明,该服务器能够支持海量并发连接,并具有较强的可扩展性和稳定性。

摘要：针对分布式异构空间信息的动态集成问题,在综合考虑集成的动态性、安全性和高效性的基础上,提出基于Web的分布式空间数据集成框架。该框架通过元数据和Web Services技术实现了数据的动态集成;通过压缩技术实现了数据的高效集成;通过授权控制和加密技术实现了数据的安全集成。为保证集成框架的灵活性和可扩展性,设计了基于GML格式的传输标准,并以实例证明了该方法的可行性和有效性。

摘要：针对目前市场上动漫衍生产品种类泛滥的现象,选取动漫业相对发达的广东地区作为典型代表,通过文献资料法、问卷调查法和统计分析法等一系列方法,分析人们对于动漫衍生产品的消费现状,找出具有潜在消费趋势的动漫衍生产品品种,以期为产品设计师有针对性地设计出适合大众口味的动漫衍生品提供借鉴.

摘要：基于物联网技术与农产品供应链管理的特点,寻找出农产品供应链各环节与物联网的结合点,构建物联网技术下湖南省农产品供应链管理模型,并对其生产基地模型、商务流通模型、可追溯模型进行了设计。提出了完整的基于物联网技术的农产品供应链管理模型,为湖南省农业农村信息化建设提供参考。

摘要：动漫产业的快速发展使动漫教育逐渐成为广东地方本科院校的新亮点。文章通过探讨动漫课程设置、双师型教师的培养、企业项目式教学、赛事引入等问题,提出一些可行性思路,为合理发展地方本科院校动漫教育提供理论参考。

摘要：动漫产业的快速发展导致动漫人才需求量日益增大,许多本科院校顺应社会发展趋势,纷纷设置动漫教育以填补动漫人才缺口.针对这些现象,选取地处动漫产业相对发达的广东本科院校作为典型研究代表,通过查阅文献、网上及实地考察等调查研究方法,找出其发展过程中出现的问题,探索适合本科院校动漫教育的发展方向,为合理发展动漫专业提供理论参考.

摘要：随着计算机软、硬件的不断发展,三维动画电影,作为艺术与技术的高度结合体,逐渐成为动画领域的新型产物,备受动画设计师们的高度关注.通过阐述中国三维动画电影的本质特征,并对其现状进行深入分析,找出它与动画设计师的关系所在,并针对存在的问题,提出几点提高动画设计师综合技能的建设性的思考.

摘要：网络技术的发展使管理信息系统面临安全性、扩展性、稳定性和性能等方面的新需求。提出信息系统七层体系结构,分析基于集群部署的分层体系结构,并设计系统方案。新型的系统模型结构采用面向服务方式,提高了管理信息系统的承载能力。集群部署提供灵活的系统架构,以适应现代企业信息化的新需求。