底框砖房的抗震结构设计

本文介绍了底层框架多层砖房的结构特点，探讨了底框抗震墙结构的平、立面布置，结构设计要求，抗震墙的设置，过渡层的抗震构造措施等方面的问题，提出了该类建筑结构在设计中应注意的问题。     

基于字节码例化的程序优化原理与分析

为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例化技术,提出了将通用的应用程序代码例化为更有效的面向领域和体系结构的机制,并实现一个面向hva字节码的部分计值器Jmix。实验表明,Jmix能有效缩短字节码长度,提高应用的运行效率。     

基于SSL提高网上安全交易性能的研究

结合网上安全交易支付模式的课题研究,给出了建立个人CA中心,订单安全交易及混合密钥应用的过程.针对反复认证和密钥应用影响交互效率问题,提出了利用SSL会话恢复及连接分类机制实现双向连接响应的性能优化策略.综合双向握手、会话恢复的交互分析和实验结果表明,所实现的研究成果能很好提高Web应用效率.     

专业英语在软件工程建设中的教学改革与实践

专业英语在软件工程建设体系中属于一门基础和必修课程,如何培养学生学习专业英语的兴趣,提高学生阅读、理解外文资料能力和掌握专业知识的技能,是该课程建设的重点。本文将结合具体实践教学,探讨在软件工程专业建设中如何改善专业英语课程教学内容,改革教学形式,使学生及时获知软件技术前沿领域发展动态,培养学生商务沟通和写作能力,以适应国际软件行业和市场发展变化的需求。     

SNMPv3数据采集器DCP的研究与实现

依据SNMPv3的体系结构和安全特性,分析并给出SNMP v3数据采集器DCP(兼容SNMP v1/v2)的架构设计和工作流程,重点讨论了基于Java多线程机制和开源包SNMP4J实现DCP的技术要点,指出了DCP的应用方法和使用时应注意的问题,通过在安全性和效率方面所做的实验,比较分析了DCP与其他采集器的性能,DCP作为独立插件对开发各种网络安全管理平台提供了有力支持.     

基于分层Petri网的仓储管理建模与验证

文中综合理论研究和仓储管理项目的维护经验.应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例.详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用.经分析验证,得出实验结果正确无误.研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用.     

基于Web服务的图像处理系统研究与实现

网格技术的发展,特别是网络服务资源框架WSRF的推出,为以服务形式实现大型分布式应用提供了有力支持.本文结合基于Web服务构建的图像处理系统WIP,讨论实现网格应用系统的相关技术.WIP采用多层应用模式分解系统功能,任务调度通过UDDI注册中心分布式调用服务,利用网格环境中空闲计算资源处理图像服务,提高图像计算速度.WIP是基于医学图像构建的,该平台易于扩展到其它应用领域.     

基于重写逻辑的Web服务事务处理形式化描述

Web服务的事务处理研究越来越活跃，对于Web服务中的长、短事务进行形式化描述与验证是很重要的，但目前还没有成熟的方法．该文提出了一种基于重写逻辑的Web服务事务处理形式化描述方法，采用重写逻辑工具Maude，对于描述Web事务的细胞膜演算，给出一个事务处理的通用框架，采用重写逻辑中的规则描述事务的具体活动，并且引入事务补偿机制刻画长事务的运行；并应用该模型形式化描述文中的Web事务经典例子，得到一个可执行的重写逻辑模型，便于以后采用Maude线性时序逻辑分析器进行形式化分析．     

有行人相位交叉口车辆延误计算方法对比研究

分析了行人专用相位的信号交叉口冲突,阐述了交叉口车辆延误的计算方法。以涵盖行人专用相位的四相位交叉口为案例,在交通调查的基础上采用点样本法、HCM2000模型和我国道路通行能力手册模型以两种过程计算延误。结果表明：我国道路通行能力手册模型计算的饱和度基本反映了实际交叉口的拥堵状况;延误值随着饱和度的增加与实际值误差较大。