面向制造及管理的集团企业云制造服务平台

单纯的制造向服务化制造转变是未来企业的发展趋势.为支持这种转型,通过有效的资源整合解决转型阶段波动的订单需求与持久性制造能力之间的供需矛盾,提出了面向制造及管理的集团企业云制造服务平台.以中国北车股份有限公司为例分析了当前集团企业的资源和需求特征,提出了云企业及云制造服务的概念,通过资源整合、需求整合和按需优化配置实现了制造过程服务化和管理过程服务化.分析了面向制造及管理的集团企业云制造服务系统、云制造服务平台及相关的体系结构与核心技术.最后,指出通过此服务平台的应用,能够支撑集团企业实现从制造型企业向制造加服务型企业的产业转型.     

面向流水线型模式的MANET嵌入式可靠性分析研究

随着大型离散制造业的竞争日益激烈,提高生产效率变得越来越重要。实施MES(Manufacturing Execution System)是提高竞争力的一个比较好的解决方案,而网络通信畅通是实施MES的关键基础。针对大型离散制造业车间的行业特点和实际环境,引入了移动自组织网络(MANET,Mobile Ad hoc Network)作为通信的网络。由于MANET是不依赖固定基础设施、无中心控制、动态拓扑的动态无线通讯网络,研究基于实际环境的MANET的可靠性对于网络的部署和调整就显得非常有现实意义。基于实际制造业车间环境,给出了面向作业型制造业生产模式的MANAET可靠性分析模型(ERMWT,Embedded Reliability Model on Working Table)。     

面向特定领域的企业信息系统模型及软件架构

为降低现代企业信息系统软件开发与维护的成本,首先提出了一种面向企业信息系统的软件过程模型。为支持该软件过程模型,进一步提出了一种适用于特定领域软件体系结构的企业信息系统模型,即"资源-任务-分析"模型,并给出该模型的实例。该模型采用种类转换图刻画行为特征,采用映射图刻画数据关系特征。最后,基于该企业信息系统模型,提出了一种适用于企业信息系统领域的支撑软件体系架构,及其基于J2EE平台的实现方法。实际应用表明,该软件架构有利于提高软件复用度,降低软件复杂度,从而有效降低开发与维护成本。     

现代操作系统的思考

伴随计算机硬件和网络技术的发展,作为计算机系统中的重要组成部分的操作系统也在不断发展.本文回顾了操作系统的作用、发展历史及主要组成部分,分析了现代操作系统的发展趋势,并针对未来操作系统在计算机体系结构中的地位演变做了相应的思考.     

XML在C/S与B/S混合体系结构下的应用

XML由于具有简单、开放、可扩充、灵活、自描述等特性 ,给Internet注入了新的活力 ,特别是作为数据表示的一个开放标准 ,XML为数据交换带来了新的机遇。介绍XML及其特性 ,并给出了一个在C/S ,B/S混合结构下基于XML的数据交换原型系统。     

OMT在企业物流分析中的应用

文章介绍了面向对象的模型化技术（ＯＭＴ）的基本概念,分析了它的实现过程,即对象模型、动态模型、和过程模型的建立,并以一个具体的实例说明其在企业物流分析中的应用。     

基于Kerberos的Web单点登录研究

该文针对W eb环境中应用Kerberos认证协议存在的两个问题,提出了自己的解决方案。采用基于随机数的质询/响应方式取代基于时间的A uthenticator来解决重放攻击问题,采用Secure Cookies、H ttpSession等来解决W eb环境下服务器间和服务器内的安全会话问题。在此基础上设计并实现了面向W eb应用环境的单点登录系统Ti-SSO。     

分布式天线系统中的下行容量分析

针对分布式天线系统(DAS)的下行容量问题展开研究。首先建立了包含路径损耗、阴影衰落和瑞利衰落的复合信道模型;然后,基于该信道模型,分别对各态历经容量和中断容量进行了分析。考虑到小区内移动台的分布特点,在选择分集传输策略下,推导了各态历经容量和中断容量的近似解析表达式。仿真结果表明,所推导的2个近似解析表达式均能准确地评估分布式天线系统的系统性能。     

基于SOM的多层Web安全审计模型及其实现

随着Internet的普及，Web应用系统安全问题日益严重，而安全审计是保障信息系统安全的重要措施。可视化安全审计作为一种新的安全审计手段，有助于安全管理员充分理解主体行为，但在Web系统中却因运行效率等原因导致应用受到限制。本文定义了多层用户行为模型，以此模型作为Web安全审计的基础，并针对该行为模型提出了基于SOM的可视化算法。该算法将Web审计数据转换为形象的可视化信息，并且允许安全管理员对可视信息进行交互操作，进一步探索Web审计数据的内在关联，从而在保证可视化效果的同时，还可大幅提高安全审计的效率。     

网格环境下的分布式RBAC模型框架

分析了网格访问控制的特性，提出了基于PKI的分布式RBAC模型（G—RBAC），它实现了网格访问控制中的跨信任域授权，并且利用可变属性值的授权证书使得系统能够动态地根据用户的登录环境授予不同的权限。该文给出了G—RBAC的形式化描述、角色分类以及访问验证算法。最后通过一个实例说明了具体的访问控制过程。