摘要：Android操作系统广泛应用于手机等移动设备,但并未根据移动设备的空间移动特性加入有针对性的访问控制,从而带来安全隐患。通过对现有Android权限模型的形式化分析,证明其无法针对空间位置信息进行有效的访问控制。给出一种将空间访问控制集成至Android权限模型的实现方法,并给出其有效性的形式化证明。经过实验分析发现该方法能够有效地根据空间位置信息对系统中的敏感操作做出保护,同时并不影响系统的可用性。

摘要：设计一个Web系统,利用Android电子市场上各个领域的软件评论,对软件进行细致的评价,帮助用户选择适用的软件。首先通过抓取Google play评论建立数据库,利用规则模板提取软件特征和情感词。然后,通过知网与用户常用极性词典判别情感倾向。最后通过特征聚类等方式将软件之间特征级别进行对比与评价,从而把同类软件按特征粒度进行精准排序和选择。

摘要：提出了一种嵌入式DSP系统的存储优化方法。该方法基于同步数据流模型SDF(Synchronous Data Flow)。针对其他优化算法不适用于存在反馈环的同步数据流模型的问题,该方法为反馈环的空间优化设计实现了启发式的调度算法,并提出了将SAS(Single Appearance Schedules)和Non-SAS类型调度序列相结合的层次化的空间优化方案,为同步数据流模型调度序列的空间优化提供一个通用的解决方案。实验结果证实了该方案的有效性。

摘要：结合空间对象关键字和位置信息的查询作为一项移动互联网的核心技术近年来引起了学术界和工业界的广泛关注.但是,之前的研究工作往往假设关键字是静态的、不变的;然而,由于和空间对象相关的关键字往往是具有其时效性的,因此静态性的假设可能会导致结合空间对象关键字和位置信息的查询结果并不实际可用.针对这种情况,从动态关键字的定义切入;提出了一种结合了动态关键字和空间对象索引的动态关键字空间索引树(dynamic-keyword-R tree);模型化了一个可优化的查询———基于顺序动态关键字的最短路径查询(dynamic and sequential keyword constraints shortest path query,SPQ-DSK);基于DKR-Tree设计了两种策略:关键字优先策略(keyword first)和距离优先策略(distance first)处理SPQ-DSK并给出了相应的算法;最后通过大量的实验对比并分析了基于DKRTree的关键字优先策略和距离优先策略的性能.实验结果表明DKR-Tree能很好地对动态关键字查询提供支持,不论是有效性和高效性都填补了原有含有静态关键字假设的索引树的空白,为下一步研究提供了基础.

摘要：编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度.

摘要：针对航天系统的嵌入式操作系统选型的问题,分析航天系统星载计算机的实时性需求,提出了一个包含五大类评价指标的实时性评价体系。按照评价体系的各个指标,采用基于SPARC架构的S698-MIL嵌入式平台对在航天领域广泛使用的典型嵌入式操作系统进行了评测。实验结果表明,该评价体系能对嵌入式操作系统的实时性做出全面的评价和分析,并对航空系统的嵌入式操作系统选型提供可靠的决策支持。

摘要：根据现场总线的特点,提出一种基于现场可编程逻辑门阵列(FPGA)和高级精简指令集机器(ARM)的现场总线设备设计框架。FPGA负责完成协议栈链路下层逻辑和物理线路控制逻辑,该部分功能有严格的时延限制,ARM负责完成协议栈链路上层逻辑和网络层以上所有层逻辑,该部分功能有稍微宽松的时延限制。实验结果表明,该设计框架能够满足通信、互联和实时性要求。

摘要：提出了一种围绕主题的同步交互学习支持工具,该工具将后现代课程观中的交互理念与围绕主题学习的思想相结合,利用即时通信和个性化知识的再组织辅助学习中的交互过程,使得整个交互过程与学习内容紧密结合,有利于学习活动的深入开展,提高了学习的效率和质量,体现了后现代课程观对课程教学的指导意义。

摘要：为了从用户真实行为中挖掘可能存在的可用性问题,避免启发式评估不可靠的问题,提出了基于大量用户行为数据,面向Web系统的可用性自动化评估系统。通过自动化匹配大量用户行为数据与需求分析阶段产生的用例,发现不一致的任务和任务前后置关系进而发现可用性问题。真实项目实践结果表明,输出的异常任务和异常任务前后置关系对可用性评估人员有指导价值,可以为进一步改进Web系统提供参考。

摘要：为了解决Snort入侵检测系统中由于规则库存在冲突而可能导致的漏报和误报问题,提出了检测规则冲突的方法。定义了规则之间的关系;通过单根结构的策略树简单有效的表示规则,并揭示规则之间的关系;由规则之间的关系和相对顺序定义了冲突的类型,并通过冲突状态转换图反映冲突发现的过程,在此基础上进一步提出冲突检测算法;最后对Snort规则库的一部分进行检测,结果表明这种方法可以有效发现冲突。