简介：基于模态逻辑的安全协议形式化分析方法一直备受关注。本文在简述一个基于GNY逻辑实现的可视化集成工具的基础上，以SSL协议为例，详细阐述其自动分析过程。最后，就工具不能自动执行第三方信任逻辑的情况，提出了简单的可信第三方参与的扩展逻辑，为复杂安全协议的可视化分析和设计提供参考。

简介：将振型向量与向量空间余弦因子的概念相结合,提出了度量模型整体相关度的定量指标.即计算模型和试验模型的整体相关度指标VM,以此来修改计算模型局部参数的方法.算例表明,相对于传统的方法而言,该方法能更好的表达出计算模型和试验模型之间的相关关系,并且能有效的用于工程实际.

简介：本文介绍了MobileIP原理及切换中存在的问题以及业界提出的几种解决方案。并在此基础上提出了一种基于服务的切换机制。该切换机制能够同时满足实时性和非实时性数据传输的时延及丢包率要求。

简介：科学研究人员采用科学的方法研究问题时，最初都是从小问题入手。因为小问题比较容易分析解决。太复杂的事情，牵涉的变量太多，往往难于着手。科学研究人员的研究，通常是由浅入深，最后抽象成某种模型。这种模型是基于小问题的，比较简单，但可以给人耳目一新的感觉，成为现实工作中的利器，在解决更为复杂的大问题中发挥作用。所谓麻雀虽小，五脏俱全。不能忽略这些小问题，也不能忽略这些简化的模型。

简介：近年来，电子商务的迅速崛起，并以其所具有的快捷、高效、节约成本的优势吸引着越来越多的企业加速融入到电子商务浪潮中去。

简介：随着移动计算、移动数据库和无线数据通信等相关技术迅猛发展,嵌入式移动数据库系统是支持移动计算或某种特定计算模式的数据库管理系统,诸如复制与缓存技术、移动事务处理、数据广播技术、移动查询处理与查询优化、位置相关的数据处理及查询技术、移动信息发布技术等技术仍在不断的发展和完善

简介：通过实验建模,提出了一种改进的Bingham模型来描述磁流变阻尼力,模型中的各参数具有明确的物理意义,都与磁流变阻尼器的特性有关.另外,还采用此模型研究了单自由度天棚阻尼控制系统的主共振,利用平均法得到了系统的理论解,并对理论解进行了数值验证.最后,研究了各参数对主共振的影响,从而可以更加有效地控制主共振.

简介：有两种方法修改Linux内核以提高实时任务抢占非实时任务的能力,3.3 改善Linux内核实时调度器的调度策略,改善的Linux内核实时调度器采用了优先级调度算法

简介：嵌入式系统 ,代表性的有嵌入式Linux系统、μC/OS系统,三、μC/OS在ARM微处理器上的移植

简介：分析了计算机组成原理课程教学中存在的主要问题，围绕如何调动学生学习兴趣、提高教师的业务水平、改善教学方法以及实验创新等问题进行了深入研究，提出了行之有效的提高教学质量的方法。

简介：本文介绍了在LabVIEW编程环境下对通用数据采集卡编写驱动程序的三种方法，着重论述了使用LabVIEW中的CIN结点法，并以一A／D板为对象编写了实例。

简介：

简介：随着宽带业务的迅猛发展，基于互联星空平台的视频流媒体等业务对中国电信互联网提出了越来越高的要求，这就需要研究可行的、能够有效保障大规模、高质量流媒体业务的服务提供能力，制订QoS保证方案。为此，中国电信集团公司互联网产品部和互联星空事业部成立了项目组，开展相关的研究工作。

简介：

简介：气体炮以其优良的性能,在兵器弹道环境模拟领域得到了较好的应用.首先分析了典型弹药的发射环境参数,并找出了其特征值.然后运用气体动力学的相似理论建立了气体炮的内弹道模型,并在计算机上进行了数值模拟.为后续气体炮的结构设计、相关设备的选型、气体炮参数的调整提供了理论依据.

简介：

简介：随着新世纪的到来、激烈的市场竞争和社会、经济、政治的全球化使得大多数的制造企业开始面临各种各样的风险和挑战，企业惹要积极应对挑战，求得生存和发展，就必须增强核心竞争力

简介：

简介：研究了重物对圆板的冲击问题.采用伽辽金原理及拉普拉斯变换推导出了物体对圆板的冲击力解析表达式.通过数值实例,讨论了圆板半径、板厚、缓冲垫刚度、重物下落高度、重物质量等因素对重物对圆板冲击力影响,并绘出了冲击力随时间的变化曲线.算例表明:用该法求冲击力问题,不但比传统的Hertz接触理论更接近真实情况,而且计算简便,便于工程设计人员应用.

简介：文章介绍了将计算机与多个现场控制站(PLC)和操作站以及监控计算机连接成分布式网络，并实现计算机之间、计算机与PLC之间、PLC与PLC之间通信的方法。