基于GPU的元胞自动机熔岩流动模拟

为解决基于元胞自动机进行熔岩流动模拟的计算效率问题,提出一种应用在元胞自动机上的GPU并行计算方法。将元胞自动机中每一个方形网格映射到GPU的一个逻辑计算单元上,通过并行计算,提高模拟的效率,解决传统串行计算方法的不足,使模拟达到实时性。模拟结果表明,在元胞自动机的物理模型理论基础上,用GPU并行计算进行加速,在模拟效果和时间效率上均取得了良好的效果。     

基于MSH263编码器协同系统的设计与实现

使用代理动态链接库对Windows(R)NetMeeting(R)调用MSH263编码的过程进行了记录.通过与标准调用序列的对比,发现了未公开的两个ICM消息和一组状态数据,使得MSH263编码器可以在用户程序中应用.给出了MSH263编码帧中隐含的RTP切分索引数据格式,并由此提出了快速切分算法.基于以上方法构造的实时多媒体协同系统,可以与AccessGrid及H.323系统良好互通,已成功应用于多项国家级项目.     

一种面向大规模P2P环境的成员管理机制

基于P2P的系统都严重依赖于底层节点之间形成稳定的具有某种特征的拓扑结构.成员管理通过为节点维护可以直接访问的邻居视图,能够实现根据上层应用的语义组织节点拓扑.然而大规模P2P环境下节点的动态加入/退出、网络状况的动态波动、节点上资源的动态更新以及庞大的节点规模对成员管理的抗扰动性和可伸缩性提出了更高的要求.许多典型的成员管理技术要么忽略了系统的扰动问题,要么忽略了系统的伸缩问题,因而无法在大规模P2P环境下获得良好的效果.提出了一种新的成员管理机制,综合考虑多种系统资源动态变化的因素,通过抗扰动的成员发现协议以及可伸缩的成员维护方法,保证即使在恶劣环境下仍能够为上层应用维护稳定正确的节点拓扑结构.最后通过实验验证了所提出的成员管理机制在大规模P2P环境下的有效性,通过对实验数据的分析得出的结论为进一步的研究工作奠定了基础.     

Ambient演算的一种分层语义

网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有不确定性,不利于实际的网络计算系统的设计和直接实现;另一方面,这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义,使得Ambient演算中各种计算行为纠缠在一起,复杂而难以理解.根据Ambient演算的结构特点,给出了Ambient演算的一种分层语义描述形式,系统以ambient为单元,分成3层进行描述,分别给出不同层上行为的语法定义、语义定义、语义方程以及不同层间的转换函数的定义,从而给出Ambient演算系统的指称语义描述形式.这种描述方式从层次化的角度分析了Ambient演算的计算行为,有助于对Ambient演算中行为的理解和实际应用系统的实现.     

命题中介逻辑的可靠和完备Gentzen推导系统

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词◁以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.     

面向电信领域的共享信息模型的研究与实现*

对新一代运营系统和软件中信息及数据的建模与共享问题进行了研究。在电信管理论坛提出的共享信息模型标准和规范的基础上,借鉴模型驱动体系结构的开发方法,建立了共享信息模型的应用框架结构,提出并实现了一套与其相应的共享信息建模方法和模型存储、管理与访问机制。模型的应用在基于NGOSS框架应用中间件平台上得到了很好的验证,体现了共享信息模型对于电信运营支撑系统重要的应用价值。     

基于混合加密算法与FUK技术的SMIS数据安全设计与实现

以大型销售MIS的数据安全问题为例,提出以终端ID号、钥匙盘ID号和终端用户样本指纹绑定为一体的身份认证方案。该方案采用软硬件协同工作方式,克服了传统身份认证模式或安全性能低,或运算成本高等缺陷,提高了认证效率,并保证了合法用户操作的唯一性和认证过程的不可抵赖性。提出的基于ECC与一维混沌加密算法优点相结合的混合加密方案,使基于互联网传送的数据安全性有了实质性提高。基于分治叠加法的大整数计算成果运用,克服了计算机精度域的限制,使密钥空间从理论上趋向于无穷大。试验结果表明,基于混合加密算法的数据安全方案具有良好的抗穷举攻击和抗差分攻击能力。该项研究为解决各类MIS的数据安全问题提供了重要策略,意义重大。     

R演算——科学发现的逻辑

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。     

基于双线性对的可认证密钥协商协议

针对Smart等人提出的密钥协商方案存在主密钥托管单点失效安全问题,提出两个新的可认证双线性对密钥协商协议：一个通过向可信第三方获取对方注册的公钥,及实体唯一持有的私钥,实现身份认证和密钥协商;另外直接给出一个无第三方的简单密钥协商方案,先利用椭圆曲线上的数乘实现节点安全认证,再通过双线性对生成会话密钥。最后分析两个协议均满足基本的密钥协商安全属性,并给出协议性能的综合分析。     

基于Prolog的安全协议在线自动化分析

基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。