软件可信评估研究综述:标准、模型与工具

安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件可信性、可信评估的定义,并在研究了与可信性密切相关的软件质量的联系与区别之后,从相关国际标准、评估涉及的模型(包括质量属性模型、证据模型、分级规范等)以及软件工具支持等方面综述了软件可信评估研究工作.并且区分了这些方面中领域相关、领域无关的不同之处.目前软件可信评估已取得了一定的理论成果,并开发了若干工具辅助进行可信评估,但仍需在通用性、可伸缩性等方面有所加强.     

物流配送如何承载电子商务之轻

本期题目－电子商务之物流配送解决方案 在所有制约电子商务开展和普及的瓶颈中最关键的要属我国的物流配送环节。电子商 务中物流配送环节也是完成物流过程并产生成本的重要环节。由于我国的物流配送市场是 一个巨大的市场,电子商务之物流配送有无限发展空间。为了开展好电子商务,必须建立 相应的物流配送体系。本期为您提供的就是“电子商务之物流配送解决方案”。 具体题目如下： 对于某一商业网站,它的商务运作模式有Ｂ２Ｂ、Ｂ２Ｃ等,以网上零售模式为主,并提供 电子商务服务,由于业务的发展,现有物流配送机制不能更好地满足需要,需建立一套较 全面的物流配送体系,对配送环节进行精心设计,包括对物流配送中心、配送公司、第三 方物流的规划等等,并考虑库存的可供性、反应速度、送货频率与可靠性等方面,具体提 供一套较全面的电子商务之物流配送解决方案。 下面一篇文章主要结合我国电子商务之物流配送的发展情况,来概要介绍电子商务之 物流配送的主要内容,并说明要开展好电子商务必须以物流配送作为基本保证。     

可软配置燃料电池发动机控制系统研究

燃料电池电动汽车因其高效率低排放等优点发展前景十分看好.本文以车用燃料电池发动机控制系统为研究出发点,提出了可软配置燃料电池发动机控制系统的方案,引入了可软配置升级和多性能协调控制策略的思想,对控制系统进行了设计和分析,重点对燃料电池发动机控制器可软配置升级机制进行了研究,并阐述了多性能协调控制策略的应用.实际运行结果表明该控制系统具有良好的控制效果,具备较强的适应性和灵活性.     

乳化液泵站运行监测系统的研制

文章介绍了乳化液泵站运行监测系统的硬件组成和工作原理、主要功能及软件设计,重点介绍了系统硬件电路的设计方法。该系统通过对乳化液泵站各种状态的检测,实现了对乳化液泵站运行的实时监控、乳化液的自动配比、浓度、液位和油位超限后的声光报警以及与地面监控中心的远程通信。     

基于Ajax和Web services企业信息资源整合研究

在企业的信息化发展中,不同应用系统、数据的信息交流和无缝连接成为日益迫切的要求.分析了企业信息的实际需求,在原有的基于web Services整合框架的基础上,提出了Aiax和Web Services相结合的一种资源整合框架.该框架可以充分发挥Ajax和Web Services各自的长处,使资源整合系统得到更好的人机交互界面和响应速度.     

GPS在CK-1无人机导航系统中的应用

GPS全球卫星定位系统具有全球性、全天候、连续精密导航与定位能力,在航空、航海和地面交通等领域得到广泛应用。结合CK－1无人机在某海区实际飞行航路,研究使用GPS技术提高CK－1无人机飞行引导精度的应用原理及方法。     

航天器结构发展趋势及其对材料的需求

航天器结构是航天器的重要组成部分和基础,是在各种力学环境和空间环境下,为航天器及其各分系统提供支撑、承受和传递载荷,并保持一定刚度和尺寸稳定性的部件和附件的总称。其中,附件是指在空间伸展在卫星本体之外的大型结构件,或星体内大型设备的主承力部分,如太阳翼、天线、相机支架和镜筒等。航天器结构在     

新型燃料电池内阻测试仪的研究与设计

针对传统的燃料电池内阻测试方法测试速度慢、测试精度低和测量数据较少的现状,设计了一种基于高频阻抗测量法并具有测试速度快、精度高等特性的燃料电池内阻测试仪。在设计的测试仪中,使用了高精度的程控交流激励源提供信号激励,采用高精度测量单元进行数据测量,并使用浮点的FFT算法对数据进行频谱分析,得到了较好的测量效果。     

一种构建COTS中间件的自适应Web服务方法

自适应Web服务运行在COTS中间件平台具有特别的挑战性。通过引入业务Web服务与自适应组件之间的管理代理,给出一种构建COTS中间件的自适应Web服务的解决方案。管理代理可以定制并利用现有的中间件机制无缝地集成到一个COTS平台。通过一个基于.Net WCF的Web服务应用来论证此架构。结果表明,该方案在性能和灵活性方面是有效的。