基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于峭度的组分分析方法解析重叠峰

基于峭度的组分分析方法用来解析重叠峰．其优点是半盲源分离，即只要确定出重叠峰所含组分的数目，就能从混合波谱中分离出纯组分谱．采用CABK来解析模拟两组分重叠峰体系和酒样的GC-MS混合谱，得到了令人满意的结果．     

"以人为本"的教育理念应是学校德育工作的基本价值取向

在现代社会里．我们要用“以人为本”的现代教育理念来指导学校德育工作，要遵循学生道德的发展规律去进行我们的德育实践活动。     

核动力装置模拟器就地系统中双机通讯的实现

利用微机软仿真实现模拟器就地系统中仪表的动态实时显示和开关的实时控制，可以节省的大量外部设备，提高系统可扩充性。本文介绍了该技术实现的方法，即服务器与客户机之间数据双向通讯的实现途径。经实践验证，本文的方法是正确、可行的。     

表达建筑设计思想的重要工具--轴测图

轴测图凭借平行投影的特点，传递着一种模型般的空间感。近年来国外对轴测图的研究开发和利用已达到很高层次。本文从建筑三维构图的角度，对轴测图的教研问题，轴测图与透视图的比较以及关于轴测图绘制手段进行讨论。     

Interaction Dynamics in AEC Global Teamwork

Architecture, engineering, and construction (AEC) global project teamwork is communication intensive and relies heavily on synchronous and asynchronous information and collaboration technologies (ICT). We explore in this paper how an asynchronous ICT, called ThinkTank, reshaped the work practice of design-construction global teams, and how the interaction with this ICT reshaped the purpose and benefits of its use. ThinkTank is a web-based asynchronous collaboration and discussion forum. We introduce the influence diffusion model (IDM) that formalizes the process of identifying the influence of people, messages, and terms mathematically. Discovering who the influence leaders in project teams are can be beneficial and critical from a corporate management perspective, since they can guide or motivate the team towards successful actions and outcomes. We present the ThinkTank-IDM integrated system and its validation with a testbed of 53 AEC global team project archived in ThinkTank over 8 years.     

创新思维在成功决策中的地位和作用

创新思维在成功决策中的地位和作用在于:它倡导相兼相容的系统观,主张打破基本假设的惯性,追求战胜自我的最高境界,强调领导者或管理者的素质,要求领导者或管理者永远保持一种创造精神.要成为成功决策的高手,一方面要防止决策中常犯的错误,另一方面要不断提高决策的水平和能力.     

网络路由收敛性能测试研究

在网络建设和运行中,采用测试的方法对其性能进行评估对于网络的正常运营具有重要的意义.本文研究了网络路由收敛性能测试方法,为得到路由收敛性能指标,对OSPF和iBGP的路由收敛时间进行了测量.提出了一种简化的路由收敛时间测量方法,通过测量数据平面的传输性能指标,对路由控制平面的收敛时间进行估算.该方法对于测试设备要求不高,实施简单方便.采用该方法在CERNET2投入运营之前对其进行了路由性能测试,实验结果表明CERNET2在路由变化时具有较好的路由收敛性能.     

浅析供热计量收费计算原理与方法

介绍了热量计量的基本原理和热费确定的基本原则,阐述了供热总费用的构成与计算原理以及用户热费的构成与计算原理。     

基于模型的飞行控制系统一体化设计技术研究

飞行控制系统设计是一项复杂的系统工程,涉及众多的专业。为了提高系统开发效率,采用MATLAB软件构建了统一的设计平台,使得各专业能够借助平台开展相关设计工作。飞行控制系统一体化设计思路来源于基于模型的设计思想。采用基于模型的设计流程,能够快速完成设计迭代,缩短产品研制周期。作者从飞行控制系统设计的角度,对采用MATLAB软件构建的一体化设计平台及涉及的相关专业技术进行了研究,供广大工程设计人员借鉴。