一种基于类数据流的软件测试技术

提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 .

多处理器计算环境中基于能量节约的实时动态调度算法

当前处理器由于较高的能量消耗,导致处理器热量散发的提高及系统可靠性的降低,已经成为目前计算机领域较为关心的问题.然而目前一些有效降低能量消耗的技术大多针对单处理器系统,较少考虑多处理器系统.提出的调度算法针对多处理器计算环境,以执行时间最快的任务优先调度为基础,结合其它有效技术(共享空闲时间回收),使得实时任务在其截止期内完成的同时能够有效地减低整个系统的能量消耗.针对独立任务集及具有依赖关系的任务集,提出两种针对同构计算环境的算法:STFBA1(Shortest-Task-First-BasedAlgorithm)及STFBA2,及两钟针对多任务集的算法HSA1(HybridSchedulingAlgorithm)及HAS2.在单任务集计算环境下,与目前所知的有效算法相比,算法具有更好的性能(调度长度及能量消耗).在多任务集计算环境下,基于混合调度策略的算法能够明显改进调度性能.

实时多处理器系统中基于能量节约的动态调度算法

当前处理器由于较高的能量消耗,导致处理器热量散发的提高及系统可靠性的降低,已经成为目前计算机领域较为关心的问题.然而目前一些有效降低能量消耗的技术大多针对单处理器系统,较少考虑多处理器系统.本文提出的调度算法针对多处理器系统,以最短任务优先调度为基础,结合其它有效技术,如共享空闲时间回收等,使得实时任务在其截止期内完成的同时能够有效地减低整个系统的能量消耗.针对独立任务集及具有依赖关系的任务集,本文提出两种算法:STFBA1及STFBA2(Shortest Task First-Based Algorithm).与目前所知的有效算法相比,我们的算法具有更好的性能(调度长度及能量消耗).

同构环境中基于通信竞争的任务调度算法

基于DAG的静态任务调度算法已有深入的研究及应用.目前的调度算法大多假定处理器之间可以并行接收数据,而没有考虑实际应用中通信链路的竞争及延迟,进而导致调度算法在具体应用中效率较低.侧重研究同构计算环境下具有依赖关系任务的边调度问题,结合传统任务调度问题中的有效策略,提出基于优化插入的调度算法(OISA).OISA根据实际问题的具体特征,采用改进的路由算法选择负载较少的数据链路,并通过形式化的证明以优化通信数据在链路的开始传输时间,以达到降低调度长度的目的.通过试验测试表明,OISA在性能上明显优于目前已有的相关算法.

智能语义理解搜索引擎中汉语虚词的形态特征略析

语义智能化发展是大数据技术国家重大战略需求,也是统计学、数据科学、信息科学和管理科学等学科的国际前沿。在大数据环境下,数据的规模、类型、结构和增长速度发生了质的变化,传统数据分析和处理的统计学理论和分析方法已不能满足大数据时代下的种种需求。本研究拟围绕大数据分析与处理的统计学基础理论与分析方法的核心问题和难点问题,略析语言大数据处理虚词形态新方法,为大数据技术发展和未来智能搜索引擎等应用提供新基础理论和方法支撑。

基于JSP动态网站的建设

本文在JSP原理和一些相关技术的基础上 ,通过网上书店的实例给出了基于JSP技术的可行的网站建设方案。其中 ,在商品搜索的实现中设计了一个比较高效的搜索算法 ,提高了搜索效率 。

入侵检测的设计:SBT技术

实时入侵检测技术描述了监测侵入,渗透和其他类型的滥用计算机的技术。本文介绍的SBT技术采用了 一种新方法,对每个入侵者予以惩罚,并向安全管理员声明自己的行为。网络系统也不需要花很多的时间去 处理入侵事件,这样将有利于处理更多的入侵者,提高检测效率。

项目管理在房产收购中应用与实践

面对激烈的房地产市场竞争,成功的企业三大法宝就是将战略管理、项目管理和基础管理结合起来。战略管理是企业的核心,项目管理是企业的战略管理与基础管理的纽带。以外资公司参与中国市场商务烂尾楼的收购为背景,分析了项目管理在收购项目中重要作用,以及房产收购业的发展前景。