摘要：针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为的方法.最后,通过开源软件JEdit中的实例分析展示了该方法的有效性.

摘要：当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切片算法能够在精度和性能之间进行权衡,适应各种规模程序的分析需要。

摘要：C++程序设计语言是许多大学计算机等相关专业的核心课程。本文分析了当前C++程序设计语言教学中存在的问题,在此基础上结合教学的内容、教学手段等方面提出了一种整合化的教学新思路。

摘要：分析系统化教学思想在软件工程专业教学中的必要性,以设计模式为例,提出将软件工程学科中多个相关领域知识有机结合在教学过程中,重视抽象的软件方法学理论基础与具体的编程开发实践两方面,并围绕案例,探讨多种教学方式,力求学生在掌握该课程知识的同时,能够加深对软件工程学科整体的理解。

摘要：随着FPGA在嵌入式领域的快速发展和网络技术的日益成熟,基于FPGA的网络开发成为嵌入式系统研究的重要分支。本文系统地研究了FPGA网络通信,并成功运用Xilinx开发平台EDK构建一个基于总线AXI4的嵌入式网络服务系统。系统包括硬件系统设计和软件程序设计,即采用MicroBlaze微处理器软核,Xilkernel嵌入式操作系统和lwip以太网协议,实现了通过Web浏览器对开发板的实时控制和网络数据回传的实时显示。这一设计在Spartan 6 Atlys开发平台上得以实现和验证,为需要使用该系列开发板进行的网络通信设计提供了很好的指导作用。

摘要："新工科"成为当前高等工程教育的重要内容,如何对"新工科"教育质量进行评估是一个值得研究的问题。现有的评估方法存在依赖专家经验且基本由人工完成、教育质量评估指标体系与支撑材料之间关联关系不够清晰等方面的不足。针对这些问题,本文分析了"新工科"教育质量评估方法现状,并着重从评估指标体系模型、支撑材料组织模型,以及二者间的关联关系等方面设计了教育质量评估模型,该模型具有一定通用性,适用于不同专业的质量评估,且有利于理顺高等工程教育评估方法的执行过程,为未来采用软件工具支持自动/半自动教育质量评估提供基础。

摘要：列锦与想象、联想 古代文学作品里,有一种颇为奇特的句式,即以名词或用以名词为中心的词组构成,里面没有形容词谓语,却能写景抒情;没有动词谓语却能叙事述怀。这种语言现象不是语法所能解释得了的,它是一种修辞手法,称之为“列锦”。例如: 枯藤老树昏鸦。小桥流水人家。古道西风瘦马。夕阳西下,断肠人在天涯。(马致远《天净沙·秋思》) 前三句分三组,每句都是三个名词性词组。“枯藤”“老树”“昏鸦”“小桥”“流水”“人家”“古道”“西风”“瘦马”诸词各是一个特写镜头,这些镜头的连贯出现,就给人展示一幅浑然一体的图画,渲染出一种凄凉萧瑟的氛围,创造出一种荒僻冷寂的艺术境界。

摘要：发展总部经济是引导浙商回归的有效路径，也是我省未来经济发展的方向。为引进和培育总部经济，我省部分市县出台了一系列政策措施，但普遍存在着具体政策多、顶层设计少，普惠政策多、个性政策少，财税政策多、配套政策少，短期政策多、长期政策少等问题。因此，笔者认为制定科学合理的财税政策，要念好“三四五”三字经，即坚持三条原则、实现四个转变、处理好五对关系，建立起立足企业需求、突出政府引导、注重考核评价的财税政策体系，推动总部经济的健康良性发展。

摘要：房地产税是世界各国普遍征收的一个税种。新中国成立以来,房地产税制虽历经变革,但已不适应我国当前经济社会发展状况。本文介绍了世界各国房地产税制及征管的典型做法,指出我国应加快房地产税立法,赋予地方较大的自主权限,科学设计各项税制要素,使其成为地方财政收入的重要来源,并在调节收入分配方面发挥积极作用。

摘要：一、推“陈”出“新”,突出趣味性以往的习题，往往是单一的文字形式呈现，形式单调、重复，不能引起学生的兴趣，容易产生疲劳。假如教师在“趣”字上做文章，把枯燥的练习题以生动活泼、富有童趣的形式出现，学生会觉得十分有趣，学习劲头很高。这避免了重复练习导致的学生注意力分散，使他们在不知不觉中巩固所学的知识。