CSFS:云存储服务支撑的文件系统设计与实现

云存储服务性能开发是云端数据技术的重要课题.提出了一种基于云存储服务的文件系统数据存储架构,描述了一个基于该架构的云存储文件系统(CSFS)设计及实现.通过利用免费邮件服务降低了开发和部署成本,通过数据与元数据分离管理、分布式存储、云端数据预取等技术提高了系统的高效性和可扩展性.测试结果表明:相关优化技术有效提高了系统的读写性能.     

一种高效的虚拟桌面可信保证机制

虚拟桌面系统与传统PC桌面系统结构的不同,导致其在保证安全机制自身可信的同时,也会带来“语义差别”和效率降低等问题。本文提出了一种安全虚拟机完整性监控机制SVMIM（Security Virtual Machine Integrity Monitor）。SVMIM采用混杂模式的安全结构,基于可信计算技术对虚拟桌面系统的代码加载过程进行监视和控制,有效克服“语义差别”问题,并保证安全机制自身的可信;同时,SVMIM基于虚拟桌面网络引导机制,在网络存储端使用存储克隆技术,最大程度地降低安全机制对系统性能的影响。系统性能分析和基于SVMIM原型系统进行的实验表明该技术是可行的,并且相对于传统的虚拟桌面安全保障方案具有较大的性能优势。     

一类带初始输入的线性循环终止性分析

本文针对带初始输入的二维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的二维齐次线性循环的终止性, 并建立了用来完备判定该类循环终止性的算法。     

基于web平台的工程造价管理系统构建研究

随着Web技术的飞速发展,工程建设领域的信息管理十分重视web的应用.为了进一步加强工程项目管理,提升工程造价数据库运维效率,针对工程造价信息管理过程中涉及到的各方需求进行详细分析,在此基础上以ASP.NET作为技术框架,设计实现了基于Web平台的现代造价信息管理系统.结果表明:基于web平台的现代造价信息平台,有利于提高工程项目的管理效率.     

普适计算的可信研究*

随着应用规模的不断扩展以及具有无处不在性和便捷性的普适计算模式的特点,对普适计算环境下的可信保障提出了更高的要求。普适计算的可信保证是无时无处不在而又不可见的计算方式得以实施的重要保障,是普适计算领域的研究热点。从访问控制、隐私保护和容错三个方面阐述了普适计算的可信技术,并指出了该领域的未来研究发展趋势。     

基于PDM的工程变更管理

变更活动在企业产品开发过程中不可避免，论文从工程变更的需求出发，分析了当前工程变更的瓶颈所在，提出了基于PDM的工程变更模型和变更流程，并结合PDM中已有的工作流管理技术和生命周期管理技术，阐述了如何保证变更流程自动化控制和变更数据的正确传递与演变的关键问题，最后给出具体的实现步骤和实例。     

产品配置管理技术

产品配置管理PCM是PDM的一项重要功能，是PDM中的核心模块之一。本文介绍了产品配置管理的基本功能、技术研究现状及发展趋势，分析了当前PDM软件中PCM存在的缺点和不足。基于SmarTeam开发出产品配置系统，能很好地满足广大用户对产品配置管理的需求。     

PLC技术与应用及其发展分析

PLC具有多种功能以及高的可靠性，这使得它在工厂中倍受欢迎，在工业控制中得到了广泛使用，成为现代工业自动化的支柱。本文详细介绍了PLC的功能特点及应用，并对PLC将来的发展作了分析，为进一步应用和开发PLC提供了参考。     

面向协同设计的PDM系统的功能结构与运行机制

针对协同设计过程中,企业组织结构、产品开发模式和信息管理方式的改变,对面向协同设计的PDM系统的功能结构和运行机制进行了研究,构建了相应的体系结构,提出企业、组织、人员和角色的四层组织管理模型,并根据面向项目的、面向任务的和面向活动的协作模式,提供相应的权限管理方式和基于W eb的项目管理和工作流集成系统,保证了对结盟企业的信息管理与控制,实现了企业间的协同授权。最后,系统在产品网络化协同设计系统中得到了应用验证,为协同设计提供了稳定、安全的数据管理平台。     

可证安全的移动互联网可信匿名漫游协议

文中提出了移动互联网下移动可信终端(MTT)的可信漫游协议,协议仅需1轮消息交互即可实现MTT的匿名漫游证明,远程网络认证服务器通过验证MTT注册时家乡网络认证服务器为其签发的漫游证明信息的合法性,完成对MTT相关属性的认证,同时保证了MTT隐私信息的安全性和匿名性.最后运用CK安全模型证明了协议是会话密钥安全的,在继承传统漫游协议身份匿名性和不可追踪性的同时,具有较高的安全性、抗攻击性和通信效率.