• 框架时序逻辑程序语言MSVL的形式语义

    框架时序逻辑程序语言MSVL的形式语义

    论文摘要形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指...
  • 钢筋混凝土异形柱框架的抗火性能研究

    钢筋混凝土异形柱框架的抗火性能研究

    论文摘要钢筋混凝土异形柱框架在建筑设计及使用功能方面具有很大灵活性,近年来在实际工程中得到了广泛应用。国内外有关异形柱的抗火研究目前还只局限于构件层次,进一步深入探讨异形柱框架...
  • 改进FSA框架下的船舶营运安全管理研究

    改进FSA框架下的船舶营运安全管理研究

    论文摘要全球经济和世界贸易的蓬勃发展,带来了航运业的欣欣向荣。7年来,我国的对外贸易在入世的巨大推动下保持加速增长的迅猛态势,“中国机会”造就世界海运繁荣,预计2010年将有1...
  • 低周往复荷载下纤维增强混凝土异形柱结构的试验及理论研究

    低周往复荷载下纤维增强混凝土异形柱结构的试验及理论研究

    论文摘要近年来,钢筋混凝土异形柱结构体系因具有良好的建筑功能而得到了较为广发的应用。国内对各种截面形式的异形柱构件、异形柱梁柱节点及异形柱框架进行了大量试验及理论研究,取得了较...
  • 基于三大要素系统的上海城市管理信息系统基本框架研究

    基于三大要素系统的上海城市管理信息系统基本框架研究

    论文摘要本文研究的“基于三大要素系统的上海城市管理信息系统基本框架”的核心思想是我的导师周宏仁教授提出的。城市管理信息系统(MunicipalManagementInforma...
  • 基于.NET多层架构领域模型的研究

    基于.NET多层架构领域模型的研究

    论文摘要随着全球信息化的深入发展,软件行业的竞争日趋激烈,软件的规模不断扩大,软件的复杂性不断增加,对软件的可重用性和可维护性提出了更高的要求,如何提高软件开发的效率和成功率是...
  • 单元测试技术研究与应用

    单元测试技术研究与应用

    论文摘要信息时代的到来,使得软件技术突飞猛进,软件产品在社会各个应用领域中扮演着越来越重要的角色。同时,软件产品的质量问题则成为许多人关注的焦点。解决软件产品质量问题最有效的办...
  • 一种基于AJAX技术的Web应用框架的设计与实现

    一种基于AJAX技术的Web应用框架的设计与实现

    论文摘要随着Web技术的发展和人们对Web使用的要求越来越高,传统的交互方式一方面使用户觉得难以使用、体验感太差,另一方面也不利于开发人员进行开发和维护。所以当AJAX概念被提...
  • 基于Ajax与J2EE技术的AJ框架的设计与实现

    基于Ajax与J2EE技术的AJ框架的设计与实现

    论文摘要框架技术的发展已经有十年之余。随着Web应用系统的广泛应用,Web框架技术越来越被人们所重视。目前,在各个平台上都拥有了许多成熟的Web框架。其中,属J2EE平台上的框...
  • 湖南省吉首市水资源生态安全研究

    湖南省吉首市水资源生态安全研究

    论文摘要本文对吉首市水资源生态安全状况进行了分析评价。建立了吉首市水资源生态安全评价的指标体系;提出了一套进行水资源生态安全评价的数学模型;开发了一套用于水资源生态安全评价的软...
  • 基于J2EE框架的电信客服知识管理系统的构建

    基于J2EE框架的电信客服知识管理系统的构建

    论文摘要客户服务中心又称为呼叫中心,是运营商对外服务的窗口,用来向客户提供业务咨询、业务查询、业务受理、投诉建议等各类服务。建立呼叫中心,可以提供与客户沟通的多种渠道,提高运营...
  • 联合循环机组运行优化:模型、算法与应用

    联合循环机组运行优化:模型、算法与应用

    论文摘要随着我国燃气-蒸汽联合循环机组的大量投运,研究厂级的优化运行方式在理论和实践上都具有重要的意义。本文针对S109FA型燃用天然气、单轴重型燃气轮机联合循环机组进行优化运...
  • 论WTO框架下跨国并购的法律问题

    论WTO框架下跨国并购的法律问题

    论文摘要随着国际间的分工合作越来越密切,跨国并购已逐步取代在东道国直接新建企业的传统方式,而成为现今国际直接投资的主要方式之一。许多企业想通过跨国并购的方式来进一步充分发挥规模...
  • 基于Stacking框架的命名实体识别

    基于Stacking框架的命名实体识别

    论文摘要中文命名实体识别是指识别出文本中特定的实体。它是机器翻译、文本分类、信息检索和自动文摘、自动问答等多种自然语言处理技术的基础。作为信息抽取的基本任务,为了促进其他技术和...
  • 异地协同设计系统的管理及模型传输模块开发

    异地协同设计系统的管理及模型传输模块开发

    论文摘要异地协同设计系统可供不同地域、不同公司、不同部门的设计人员对产品进行协同的设计开发,从而使研制周期大幅缩短。而对参与协同设计人员的有效管理是实现高效协同设计的基础。另外...
  • 基于DICOM3.0和HL7标准的医院系统间工作流集成研究

    基于DICOM3.0和HL7标准的医院系统间工作流集成研究

    论文摘要目前国内的医院信息系统(HIS)和医疗图像存储与通信系统(PACS)这些系统大部分都是独立运行和管理的,各个系统有自己的数据库管理系统和通信系统,这给医院带来了很大的人...
  • 基于Struts框架的移动学习系统的设计与实现

    基于Struts框架的移动学习系统的设计与实现

    论文摘要随着网络的高速发展和知识经济时代的到来,网上学习成为一种非常重要的学习方式。虽然其以高效性、便利性以及经济实惠等诸多优点,受到广大学习者的青睐,但是,在教学模式、题库更...
  • 企业集团内部控制研究

    企业集团内部控制研究

    论文摘要企业集团是适应生产力发展和市场经济要求而产生的一种高级企业组织形式,具有与其他经济组织不同的特征,其对经济发展、社会结构等诸多方面都产生了极其重要的影响。近年来,企业集...
  • COSO框架下的企业风险评估体系研究

    COSO框架下的企业风险评估体系研究

    论文摘要2002年7月美国出台《萨班斯——奥克斯利法案(Sarbanes-OxleyAct)》,其404条款要求上市公司管理层在年报中对公司内部控制制度及其实施的有效性做出报告...
  • 基于J2EE的人力资源管理系统的设计和实现

    基于J2EE的人力资源管理系统的设计和实现

    论文摘要近年来,企业管理信息化进入了一个飞速的发展阶段。通过信息化技术提高企业经营管理的水平,促进企业效益的提升已经成为人们的共识。21世纪,人力资源作为企业最重要的资源之一,...