计算机体系结构设计原理的易经模型

易经是中华民族宝贵文化遗产，它包含上古时期人们对自然宇宙和人生社会的思想认识、哲学理念和辩证法，代表了先民哲学地把握宇宙的思维成果.现代科学的许多重大发现和突破，如二进制、原子结构、生物遗传DNA等学科理论，都可以从八卦和六十四卦模型中发现与之对应的形态和哲学思维.计算机体系结构设计原理（PPCAD）应是易经这种形态和思维的一种自然现象和映射对象，利用八卦和六十四卦哲学思维和策略，提供PPCAD的思路和策略是本文的目标.本文依据PPCAD中的基本推演理念，提炼出4对基本对立统一推演关系，根据4对基本关系构造了新的易经八卦及六十四卦.同时，结合体系结构设计中的层次模型方法，指出了易经层次模型的特点及动态性.为了便于对PPCAD易经模型的理解，我们选择了10个新卦的例子加以说明和表达，同时也给出了一些PPCAD原则和策略的新观察.我们想指出，我们的新易经模型方法不但可用于计算机体系结构的设计，也可尝试用于其他复杂系统的设计原理.最后，对全文进行了总结，并对下一步的研究进行了展望.     

工程机械行走液压回路极限匹配方法

针对工程机械液压行走回路设计中参数匹配问题,从角功率概念出发,基于底盘牵引调速的极限工况系统性匹配闭式行走回路中的泵和马达,适于全液压工程机械底盘行走回路的工程设计。     

可信网络的发展及其面对的技术挑战

随着信息网络的基础性、全局性作用日益增强，传统的网络理论与技术，尤其是网络安全，已经不能满足网络发展的需要，提供系统的安全可信的服务已经成为网络研究的新趋势。本文认为可信网络应该是网络和用户的行为及其结果总是可预期与可管理的。网络可信主要包括服务提供者的可信、网络信息传输的可信性和终端用户的可信等3个方面的内容。从网络与用户行为的可信模型、可信网络的体系结构、服务的可生存性、网络的可管理性4个方面进行研究，以便为解决可信网络面临的科学问题提供思路。     

能源互联网——信息与能源的基础设施一体化

能源是人类生存发展的重要物质基础,能源互联网作为未来可能的能源可持续发展解决方案正逐渐成为研究的热点和潮流。阐述了能源互联网的概念和特征,提出其基本架构,并从广域网,局域网和基础设施三个层面讨论信息与能源的基础设施一体化建设。综述了国内外能源互联网技术的发展现状,提出了能源路由器作为信息与能源的基础设施一体化的解决方案,并对基于能源路由器的能源互联网应用场景给出了详细描述。     

一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点,对工作流模型的性能分析是工作流研究的一个重要内容.实际的模型往往规模大而复杂,这为分析其性能带来了很大的困难.但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成,对于这类模型,本文给出了计算其性能乘积解的数学公式.文中给出了如何由这四种基本模型嵌套组成实际模型的方法,推导出了计算这四种基本模型的性能等价公式,并按建立实际模型相反的顺序,用由里到外逐层的分析方法,给出了计算实际模型的性能乘积解.     

3G与WLAN互连的安全协议和分析

随着无线互联网的发展,第3代移动通信系统(3G)与无线局域网(WLAN)的互连也成为研究的热点。3G系统的优势在于计费管理、漫游与安全性,WLAN系统的优势在于高带宽和低投资成本。通过3G与WLAN的互连可以实现优势互补。论文介绍了3G与WLAN互连的体系和安全结构,综述了互连的安全协议,分析了互连面临的安全挑战,并指出了现有的安全机制所存在的不足,探讨了下一步研究的方向。     

机会网络中的安全与信任技术研究进展

机会网络是一种通信连接经常中断的移动自组织网络,是利用节点移动形成的通信机会逐跳传输消息,以“存储-携带-转发”的路由模式实现节点间通信,然而机会网络作为移动自组织网络的极端版本,其特有的节点高移动性、网络链路经常变化和延迟容忍特性,对数据的机密性和完整性、路由安全性与隐私性以及节点认证与合作性等提出了更高的要求与挑战.首先系统地描述了机会网络的安全威胁与安全需求,深入分析了机会网络中的安全路由及其隐私保护机制;其次研究了机会网络节点认证及其合作激励机制,并对各种相关安全与信任技术解决方案进行了综合比较分析;最后对未来进一步的研究工作作出了展望.     

基于变换的大图点边可视化综述

大图可视化是信息可视化领域的前沿课题之一,也是在线社会网络、信息安全、电子商务等热点行业大数据分析的重要支撑技术.基于变换的大图点边可视化方法由于其具有在线处理时间短、可视复杂度低、交互方法灵活多样等优点,近年来在学术界与实际商用系统中得到广泛重视与应用.文中从图可视化的基本概念及其在大图上的关键挑战出发,梳理了基于变换的大图点边可视化方法的典型分类与主要流程;通过详述3类基于变换的大图点边可视化典型方法(图数据抽象、视图变换与视角转换),阐明了不同方案的优缺点与适用场景,并进一步指出了未来工作的可行方向与潜在难点.     

非乘积解随机Petri网的乘积形式近似求解

讨论了非乘积解随机Petri网的近似求解问题。将Marie方法引入到随机Petri网的近似分析中,利用随机Petri网中已有的结论将该方法中的分解原则推广到更一般的情形,使其应用范围更广,利用运算分析法对这些分解原则作了形式化描述,在此基础上,给出了有关结论的数学证明。最后,对这种近似方法作了误差分析,找出了产生误差的原因。实验数据表明本文所给的近似方法应用广且有效。     

一种不确定时段的扩展时段对序逻辑：时间Petri网模型表示和线性推理

针对点－时段时序逻辑的不足,提出了一种新的时段时序逻辑－－扩展时段时序逻辑,对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入,增强了扩展时段时序逻辑的描述直观性及分析能力,为进行线性推理提供了有利的工具。同时还提出了几种变迁间的实施推理规则。运用这些规则可以简化复杂时序关系的Petri网模型,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系,因而是一种行这有效的方法。