使用程序静态分析技术识别Web程序中的用例结构

本文利用程序静态分析技术对Web程序中的用例识别进行了深入研究。对Web页面的用户行为进行了深入分析并建模,从行为模型中提取出描述整个系统中用户行为的事件流图,结合采用现有的从目的成功语句出发、以必经结点为基础的用例识别方法,从各个Web页面中提取的独立控制流图,形成全局控制流图,进行全局用例识别。与以前已有工作相比,本文考虑了Web程序的特点,尤其是前端程序如何实现用户行为,并在前端程序中进行精确的用例识别。本文采用目前使用较为广泛的JSP程序进行了实验,结果表明该方法能够有效识别JSP程序中的用例结构。     

并联机床的运动仿真和运动学正解计算

提出一种用SolidWorks软件实现并联机床实体运动仿真和解决机构运动学正解计算的方法．     

高性能并行仿真中持久性研究磁

随着分布式仿真规模的日益扩大,高性能计算的不断发展,高性能仿真技术逐渐成为仿真领域新的研究热点,其中持久性框架及其实现机制是高性能仿真引擎中至关重要的一层支撑技术,它不但用于系统的负载平衡而且用于检查点及恢复操作。该文针对高性能仿真持久性问题,先提出了持久框架的结构,重点研究了两种持久库对持久框架性能的影响,通过实验数据对其性能差异进行分析,得出基于 C ＋＋模板的持久框架更具优越性的结论。     

并行程序概念设计方法的研究

并行程序概念设计方法是将数据并行高层建模语言研究、并行识别方法、并行程序自动构造和人机交互界面技术集成在一起的并行程序设计的一种新方法,能简化并行程序设计,有效缩短并行程序开发周期,提高并行计算效率。文中就上述4个方面的主要技术作了简要介绍,给出了并行程序概念设计系统(PPCDS)的基本框架和计算实例。     

3-RRR并联机器人的精度分析与仿真

目前有关并联机器人精度方面的研究工作还比较薄弱,为采取有效措施提高并联机构的精度,通过对3-RRR并联机器人机构的分析,针对传统D-H参数法的局限性,采用微分理论,建立了该并联机器人机构的精度模型,通过计算机仿真,针对单条支链多个结构参数误差,比较全面的分析了结构参数对输出位姿误差以及位姿变化对机器人机构精度的影响。分析结果为：机构中所有结构误差随着X轴正向增大而单调增大;运动支链在关节转角处的误差单调上升的比其他结构快。为该机器人机构实际误差补偿与控制提供了理论依据。     

一种Trace驱动的多核SMP集群并行性能模拟方法

基于新型多核SMP集群的层次化性能模型,本文在BigSim并行性能模拟器基础上实现了一个Trace驱动的多核SMP集群并行性能模拟器Sim-MSC。在一个InfiniBand多核SMP集群的宿主机平台上采用jacobi3D程序进行了测试,结果表明Sim-MSC能够模拟MPI消息传递并行应用程序在多核SMP集群上的执行特征,精确预测系统和应用性能。     

基于MPI的并行程序设计

在介绍消息传递接口标准(MPI)和分析并行程序设计方法的基础上,提出了在并行程序设计中需要进行算法级分析和程序级测试,以此来对影响具体的并行程序执行效率的因素进行分析,并用实例验证了分析结果。最后对MPI的实现之一———MPICH1.2.5版本的不足,提出了改进的方法。     

VHDL的并行模拟方法

提出了一种基于 PVM软件的并行和分布式模拟算法 ,用于解决由于 VHDL本身的复杂性和电子电路的超规模化而造成的模拟器开发难度及运行时间、空间上的问题 ,可以极大地提高模拟速度     

演化仿真优化的并行实现及其应用

由于仿真对象的复杂性,一些仿真模型很难用有效的解析函数来表达,同时演化算法不要求优化目标具有连续,可导等特点,因此,演化算法用于仿真优化具有很大的优越性,针对仿真优化这一领域提出了演化仿真优化的概念及其形式化语言描述,并给出了演化仿真优化的算法实现框架,演化仿真优化的模型评估需要大量的计算时间,根据仿真优化的特点,提出主／从模式,粗粒度孤岛仿真优化模型及它在PVM,DCOM下的实现,并给出了两个控制器优化设计的实验,仿真试验的结果表明：对于演化仿真优化来说主／从模式的并行度要高于粗粒度孤岛模型,并得出以下结论,对于演化仿真优化来说仿真模型越复杂,主／从模式的性能越好。     

程序复杂性度量

本文力图阐明程序复杂性度量的有关定义研究内容、技术和方法，并探讨它用软件产品的质量、交付的时间和费用的关系以及它在软件开发中的作用。     

基于事务性执行的投机并行多线程软件模拟

基于事务性执行的投机并行多线程是一种适合未来多核微处理器架构的新型并行程序设计和编译技术.但在此基础上的并行程序执行过程更为复杂,程序执行过程的模拟成为关键问题之一.本文提出利用二进制代码级动态插桩技术对投机并行多线程程序进行功能性模拟,设计并实现了完整的软件平台,可精确地模拟和监控并行程序的线程级投机执行过程,检测访存冲突,从而实现投机并行多线程的语义.该软件平台同时可以作为进一步研究投机多线程并行程序真实执行过程的基础,并有效支持投机并行多线程编译器的设计和分析.     

MPI并行程序设计的负载平衡实现方法

MPI是目前集群系统中最重要的并行编程工具,它采用消息传递的方式实现并行程序间通信。在MPI并行程序设计中实现负载平衡有着重要的意义,可以减少运行时间,提高MPI并行程序的性能。负载平衡又可分为静态负载平衡和动态负载平衡,对于静态负载平衡,提出了一种分配任务的算法,可有效地按照节点的计算能力,在节点间分配任务;对于动态负载平衡,提出了一种在MPI并行程序中实现的方法,可有效地根据节点的负载情况,在节点间迁移任务。     

基于系统抽样的并行程序性能特征分析方法及其实现

程序性能特征分析是理解程序行为的基础,对识别程序性能瓶颈、了解软硬件资源利用状况具有重要作用.特别在大规模并行系统的性能评价中,受时间和空间的约束无法分析完整应用性能特征.一个有效的方法是通过抽样的方法分析应用程序部分代码的性能特征,以此代表完整应用的性能特征.分析了Profiler程序负载来源,提出了基于抽样的程序性能特征分析方法,并基于该方法实现了性能特征分析器SamplePro.与其他方法比较,基于系统抽样的程序性能特征方法在最小样本容量下得到最优的分析结果,仅需抽样分析1%～3%的程序指令就能实现小于3%的分析误差.     

新型欠秩并联机器人机构3RRC仿真

分析了并联机器人机构3RRC的输入输出特性,给出了位置分析和连杆运动干涉分析。以directX为仿真引擎,vc6为软件平台,采用面向对象方法封装了机构正反解算法,编写了仿真软件,实现了该机器人机构运动学动态仿真,为类似机构结构设计和特性研究提供了有益参考。     

并行网络蠕虫模拟中任务优化划分的研究

为提高并行网络蠕虫模拟的性能，需要对蠕虫模拟任务进行合理的划分．鉴于基于图划分工具的任务划分方法存在的不足，提出了并行网络蠕虫模拟任务的优化划分方法：以并行网络蠕虫模拟运行时间估计模型作为优化目标函数，采用改进的模拟退火算法实现对蠕虫模拟任务的划分．在PDNS上进行的Slammer蠕虫传播模拟实验表明，该优化划分方法较基于图划分工具的方法提高模拟性能20％以上．     

XVM虚拟环境下并行程序的性能评测

该文引入speedup作为并行程序的性能评测指标,分析了并行程序在不同类型和不同数量的客户虚拟机中运行的性能差异,实验表明,MPI并行程序在xVM虚拟化环境中的运行性能接近非虚拟化本地主机的性能,在半虚拟化环境中的并行程序性能超过全虚拟化环境中的并行程序性能。     

基于国产YH系列并行机的并行算法设计分析与实现

基于国产 YH 并行机的并行算法的设计分析 ,实现程序高效并行。采用宏任务的并行方式 ,实现子程序级的并行 ,其并行粒度大 ,总的开销小 ,并行效果好。     

基于并口的I2C总线模拟软件包开发及应用

提出了使用计算机并口口线来模拟I^2C总线,以实现对具有I^2C总线接口的器件进行调试的方法。详细介绍了I^2C总线的原理、使用注意事项和时序要求,讨论了用并口口线来模拟I^2C总线的具体实现方法和使用方法,并给出了具体的应用实例。     

联合下标循环的并行执行方法

所谓联合下标循环是指循环体中,数组下标的引用由多个循环索引联合决定。这是一种常见的循环程序,且数据相关模式复杂,循环空间没有规律。能否开发这类程序的并行性,是一个重要的研究课题。文章针对联合下标循环程序,系统地提出了一套有效的并行执行方法。     

基于并行仿真的MTBA算法研究

混合策略在一定程度上避免了过分保守或极端乐观的缺点。本文首先分析了现有同步机制存在的不足,然后论述了视界概念及最小时间桶算法的设计与实现,接着对最小时间桶算法的性能进行了定性定量的深入探讨,最后采用PHOLD仿真应用模型在MTBA算法、保守算法和TW乐观算法之间进行了性能对比实验。实验结果表明,MTBA算法在某些条件下具有更小的回退开销和更快的事件处理效率。