灌浆法在潮州市某住宅楼纠偏加固工程中的应用

本文介绍了灌浆法在潮州市某新建住宅楼倾斜纠偏及地基加固工程中的设计、施工过程。实践表明,灌浆法在一定的地形、地质条件下是种较为有效的房屋纠偏加固方法。     

商住楼地基纠偏加固处理

采用锚杆静压桩和干式掏土法对砖混结构商住楼进行地基加固纠偏。施工过程中不断将监测结果反馈给建设、设计单位,及时调正施工工艺,取得了加固纠偏的目的。     

注浆法施工产生的附加沉降在既有建筑物加固纠偏中的应用

通过注浆法施工产生的附加沉降在某一多层建筑物加固纠偏中应用的实例,得出注浆加固法是一种行之有效的地基加固方法,同时,通过合理安排施工顺序,利用施工期间产生的附加沉降,还可以减少建筑物的沉降差,达到加固纠偏的目的。     

锚杆静压桩在建筑物纠偏加固中的应用

经过对某施工场地的地层情况和建筑物倾斜原因的分析，确定了采用锚杆静压桩纠偏加固的施工措施，并配合在建筑物北侧施工掏土孔进行迫降．按拟定的处理技术方案历经4个月的施工，最终取得了良好的处理效果，使建筑物的平均倾斜率达到了0．6‰，满足了建筑物的安全使用要求．应用锚杆静压桩对建筑物进行纠偏加固处理，见效快，效果好，经济合理，具有广阔的应用前景．     

软土地区建筑物的纠偏与加固技术

软土地区深基坑施工易引起周边建筑物产生较大的不均匀沉降、结构开裂,因而必须对受损建筑物进行纠偏与加固处理。文章结合工程实践经验,总结讨论了建筑物的纠偏与加固技术。     

唐山市某住宅小区纠偏工程的应用分析

随着社会生产力的不断发展,建筑物纠偏扶正与防复倾加固技术也取得了一定的进展,涌现出许多纠偏加固的新工艺、新方法和新技术,为国家避免了很多经济损失。但是由于建筑物产生偏移或倾斜的原因复杂多样,就使得纠偏方法的合理选择至关重要。所以如何根据建筑物倾斜病害的特征选择切实可行的纠偏方案,以及如何高效经济的使纠偏方案得以实施,最终实现工程纠偏扶正的目标,就很值得研究。     

浅议南京河西地区建筑物的纠偏与加固技术

南京河西地区深基坑施工易引起周边建筑物产生较大的不均匀沉降、结构开裂,因而必须对受损建筑物进行纠偏与加固处理。本文结合作者多年实践经验,总结讨论了河西地区建筑物的纠偏与加固技术。     

住宅楼接建加固改造工程设计与施工

通过对某学校住宅搂接建加固改造过程的介绍，提出接建纠偏和抗震加固设计思想及施工时所要注意的事项。     

建筑物倾斜纠偏技术的研究与应用

本文通过对建筑物建筑物纠偏加固的特点,建筑物倾斜纠偏常用方法,以及建筑物倾斜纠偏时应注意的问题进行分析研究,希望对推动建筑物倾斜纠偏技术的理论研究与实践应用做出有益贡献.     

锚杆静压桩基础加固及房屋纠偏处理实例

本文结合工程实例细探讨了建筑工程基础加固和纠偏处理的施工方法。     

基于命令模式的权限控制的设计与实现

针对Web系统的特点及其对用户访问控制的特殊要求,笔者在RBAC（基于角色的访问控制）模型的基础上引入了命令模式,设计并实现了分级的、细粒度的权限管理子系统.基于设计模式中的命令模式,利用方法调用与方法执行分离的原则和采用集中调度控制所有方法执行的方式,设计出一种灵活的权限控制管理.实践证明此方案不仅可以满足大中型Web系统对权限管理的需求,而且能随组织结构或安全需求的变化而变化,具有很好的灵活性和可操作性.     

基于图像处理技术的蔬菜嫁接机砧木自动定位系统研究

本文针对2JSZ-600型蔬菜自动嫁接机器人，设计了对砧木子叶展开方向和生长点高度进行自动检测的机械装置，并运用计算机图像处理方法研究出了一套适用于砧木自动检测的算法；同时开发了单片机控制系统。本文对营养钵苗自动嫁接过程中砧木的输送问题做了初步的探讨，对于提高嫁接的自动化程度具有重要意义。     

CAD在电子技术课程设计中的应用

通过一次具体的教学描述了在课程设计中应用CAD设计电路的探索过程，讨论了CAD在课程设计中应用的必要性、可行性以及应用的必备条件。     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

支持产品数据动态管理的数据-过程互动模型

根据产品设计过程的实际特点,提出一个数据－过程互动模型（DPIM,dsata and pocess interplayed model）,该模型能有效地描述产品数据和设计过程间的动态交互行为,基于该动态模型,设计过程的描述和执行能适应设计数据的动态变化,设计数据和设计过程的管理紧密地集成一起,由于设计数据的变化和过程的定义执行是互动的方式交织进行的,所以该模型能较好地描述产品设计过程的动态性。     

基于OWL- S的语义Web服务匹配代理的设计与实现

文中提出了一种智能中间代理来执行Web服务语义匹配.匹配过程基于OWL-S本体,它包含服务发现、匹配及执行所需要的语义信息.为了发现满足用户请求的服务,智能代理使用匹配算法和基于描述逻辑自动推理器来匹配服务请求和服务广告描述.     

某矿业资源管理平台测试用例的设计研究

测试用例的设计过程对于软件测试的成败起着至关重要的作用。首先,介绍了测试用例及其复用技术等相关概念。其次,结合实际测试环境,针对某一矿业集团的资源管理平台(简称MT平台)完成了由制定测试计划、测试用例的选取、设计、执行、评审、缺陷分析与管理各个环节所构成的测试用例设计过程,并对实测模块进行测试用例设计复用。最后,从熟悉测试对象的行业背景、用户参与测试评审会议、准确定位缺陷信息三个方面对未来的测试工作提出了展望。     

对我院94级学生身体素质的调查分析

本文主要通过对我院94级新生三项身体素质的测验，了解和分析了学生身体素质下降的原因，针对这一状况提出了应采取的措施．     

基于OWL-S的语义Web服务匹配代理的设计与实现

文中提出了一种智能中间代理来执行Web服务语义匹配.匹配过程基于OWL-S本体,它包含服务发现、匹配及执行所需要的语义信息.为了发现满足用户请求的服务,智能代理使用匹配算法和基于描述逻辑自动推理器来匹配服务请求和服务广告描述.