嵌入式操作系统中断现场保护的优化策略

大多数嵌入式操作系统在进入中断后进行中断现场保护时选择保护所有通用寄存器，这种普遍的做法延长了微处理器的访存时间，并且增加了产生存储器分体冲突的可能性。本文提出根据中断服务子程序对通用寄存器的需求而进行中断现场保护的策略，有效减少了中断现场保护时所需保护的通用寄存器数量．缩短了中断响应时间．提高了系统的中断实时性。最后，对这种优化策略进行了总结。     

斜面基础记切向冻胀力的受力分析

通过地基土在冻胀时对基础作用的受力情况分析，说明凭面基础防切向冻胀力的理论依据，并通过大量的试验观测，提出斜面的定量指标。     

长螺旋置换与挤密钻孔工艺在北京地区砂卵石层中的应用

在砂卵石层中采用长螺旋钻机成孔往往因为卵石密度过高、粒径过大,造成成孔困难,而被迫采用其他的成孔方法。针对在砂卵石层中成孔存在的问题,对施工钻具和对施工工艺进行改进,总结出一套挤密钻孔施工工艺,可较好地解决长螺旋钻机在砂卵石层中成孔的问题,并取得提高工效、降低成本的效果。     

抽渗结合法在北京地区基坑降水施工中的应用

北京地区的基坑降水一般大多采用管井抽水的方法,由于在抽水过程中会将土层中的细颗粒带出,容易引起周边建筑物、道路、地下管线的不均匀沉降,另外,大量抽取地下水对北京地区的地下水资源也是一个非常大的浪费。采用抽渗结合法进行基坑降水,利用水力坡度的原理,将上层的滞水和潜水引到深层渗透系数较大的砂卵石层中,既可避免长时间抽水不断地将土层中大量的细颗粒带出,也可避免地下水资源被大量的浪费。     

MPI程序的Petri网模型及其验证

利用PVM程序中抽取Petri网的方法实现了MPI程序的部分功能语句的Petri网抽象,并分别针对MPI-1和MPI-2在通信方式上的新特性给出对应的Petri网模型抽象方法,使利用Pertri网模型对MPI程序正确性进行理论验证成为可能.     

网格计算环境下的ASP服务模型

随着新技术的不断涌现以及企业对于商业应用服务的需求,人们对ASP服务模型的探讨又活跃了起来。本文比较了网格环境下的P2P,web服务等技术,指出了web服务技术能将各种分布的、异构的、由单一企业提供或者由各外部共享资源和应用服务提供商联合提供的动态服务整合起来的特性,并分析了ASP的演化将由传统的一对多模式转向web服务的趋势。最后结合具体的科研项目,提出了一种通用的ASP服务模型,还探讨了它在实际应用中的价值。     

Web Service技术进行企业系统应用集成的研究

随着网络化发展的需要,以及电子商务系统的应用,我们需要将企业原有的众多内部系统进行整合,并且将他们和对外的电子商务系统相联系。本文将讨论使用Web Service技术来进行此类相应的企业系统集成。     

多处理机系统的负载平衡模型设计

负载平衡是目前分布式计算中一个重要的研究领域。本文对负载及负载平衡问题进行了数学化描述,分析了轻载结点请求算法、重载结点请求算法和双向请求算法,以及各种负载平衡策略的优缺点。然后描述了双向请求算法的改进算法,它更适合于嵌入式多处理机系统的应用,并进行了仿真测试。     

基于COM的嵌入式系统通用硬件抽象层框架设计

随着嵌入式系统的飞速发展,各种嵌入式处理器以及片上系统（Systemon Chip,SoC）应用于各种设备,从传感器、手机、PDA等到笔记本电脑。嵌入式系统的广泛应用促进了嵌入式软件,特别是嵌入式操作系统的发展,但嵌入式系统硬件体系结构的多样性又给嵌入式软件、嵌入式操作系统的开发、维护带来了极大的不便。文中针对硬件平台依赖性制约嵌入式操作系统发展问题,提出了一种应用COM技术开发的硬件抽象层设计,实现嵌入式操作系统跨硬件平台移植。     

轻量级嵌入式TCP/IP协议栈的设计

介绍了引入轻量级TCP/IP协议栈的背景，描述了标准TCP/IP协议栈，分析了嵌入式系统中TCP/IP协议栈的特点和设计的思路，总结了轻量级TCP/IP协议栈和标准TCP/IP协议栈的区别。