Java程序到类图和AISD的转换方法研究

论述了Java类、UML类图和过程蓝图AISD的基本概念,详细介绍了Java程序和类图、抽象实现结构图的映射关系及转换方法,使抽象模型能全面地表达所对应的程序代码.     

基于手机中间件的JavaScript 解释器设计与实现

封闭手机系统之上的一种手机中间件平台,采用Doug Lea 内存管理算法对非常有限的系统内存进行管理,小内存块的有效利用率比较低,针对该手机中间件的内存特点,开发了基于封闭手机系统手机中间件上的一款JavaScript 解释器系统,该系统分为解释前端和解释后端两部分,采取语法分析驱动词法分析和语义动作策略,并基于语法制导思想构造了JavaScript 生成抽象语法树的属性文法。相对于其他解释器系统而言,有效地降低了小内存块的大规模使用,提高了内存利用率,效果良好。     

反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

基于TTCN-3的SIP协议软件测试方法研究

为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点.     

基于TinyOS的三轴加速度传感器驱动组件的设计

无线传感器网络节点数据采集决定于节点上的传感器模块.三轴向加速度传感器MMA7260性能优越,适合作为传感器模块来感知节点的运动情况.在分析了嵌入式操作系统TinyOS的硬件抽象体系结构及其对传感器驱动提出的设计原则的基础上,使用NesC语言实现了基于micaZ平台的MMA7260驱动程序.驱动程序的接口简单,使用方便,并满足传感嚣节点低功耗的要求.     

美国滴画大师杰克逊·波洛克作品探析

杰克逊·波洛克(Jackson Pollock)作为美国抽象表现主义的代表人物,他执着于追求艺术情感的真实表达,并勇于尝试一切有助于情感表达的绘画形式,最终以极富挑战的行动绘画创造出自由不羁的抽象表现主义新作,从而成为20世纪美国最有影响力的艺术家之一。在其作品恒久魅力的背后,是深藏在线条交织与色彩碰撞中的强烈情感表现以及勇于突破传统的挑战精神。     

首饰创意设计中的镶嵌技法应用

随着人们物质条件的逐步提高,人们对于贵金属首饰的需求早已超越首饰本身的"保值"功能,而更加重视贵金属首饰的装饰效果。因此,首饰创意设计在首饰生产中的重要性逐渐凸现出来。而如何设计创新出更精美的款式则需与贵金属首饰镶嵌技法紧密结合。     

面向TD协议栈的内存管理技术研究

内存管理是一个一直值得研究和优化的问题。在TD—SCDIVIA高层协议栈软件跨平台技术的研究过程中,文中提出了一种内存管理方法：在软件和操作系统之间设立抽象层,抽象层的内存池在系统初始化时集中申请,软件运行时的内存申请释放由抽象层进行调度,抽象层采用大小最匹配算法将内存池中的内存块给软件使用。抽象层提供link函数以提高软件执行效率,并提供内存泄露和内存越界使用的检测。与传统内存管理相比,使用文中介绍的内存管理技术的高层协议栈软件,一次内存调度平均速度可以提高1微秒,并能完全屏蔽下层不同操作系统之间的差异。     

树型结构设计模式在市政工程项目管理中的应用

介绍如何应用树型结构设计方法进行市政工程项目的设计,并总结了这种设计方法的优点,最后给出了树型结构设计模式。     

基于任务空间概念模型的导弹作战想定研究

作战想定是军事仿真领域不可缺少的重要组成部分.在目前的军事建模与仿真中,作战想定与仿真模型之间通常都是紧耦合的,由此带来了仿真成员、仿真系统可重用性差等诸多缺点.针对此,基于任务空间概念模型(CMMS)的思想,探讨了CMMS与想定的关系,分析了常规导弹作战想定中需要描述的主要内容,对导弹作战想定中的基本要素进行了分析抽取,并对其进行标准化、规范化的抽象描述,以实现想定与仿真系统相分离.最后,给出了想定数据库中基本表的结构和关系.