一种采用Chord协议的网格日志系统

为记录在大规模网格环境中发生的事件,提出了一种联合使用服务和Chord协议的日志服务系统.通过Chord协议中的一致哈希算法,把采用订阅通知的方式收集来的系统节点的性能数据和系统中所发生事件的记录,分布式存储于日志服务系统中;为了把Chord协议和Web service相结合,对Chord协议的节点加入算法做了修改,使得数据发布服务可以作为Chord节点动态加入离开Chord网;为了在日志系统中查询数据,在Chord协议基础上加入了基于元数据查询的算法.     

面向消息驱动框架的实体管理模块设计与实现

探讨了一种基于消息驱动的框架(MDF,Message-driven Framework)的软件开发方法,旨在一些互联网多用户的应用系统中进一步提高软件开发效率.MDF设计被分为3个部分:实体管理、消息管理和数据显示管理.主要研究了实体管理模块,在该模块中,系统提供实体的规范和模板,用户需要根据表单注册信息,然后MDF会根据注册信息自动将实体模板转换为实体实例.从设计模式和开发方法的角度看,MDF具有更便捷、更高效率的特点,并开发了相应的中间件来支持系统的运行,最后通过1个案例说明该方法的特点     

直觉模糊粗糙集的公理化

直觉模糊粗糙集的公理系统是直觉模糊粗糙集理论与应用的基础,文章定义了直觉模糊集的2种运算,基于这些运算和直觉模糊粗糙集公理化模型,给出直觉模糊粗糙集新的公理系统;该系统用一条简洁的公理描述了直觉模糊粗糙集,为直觉模糊粗糙集理论研究的深入和完善提供了有益的帮助。     

基于CGSP的计算化学e-Science的研究

针对计算化学中异构数据库、大型仪器设备和软件资源的共享问题,提出了基于CGSP的计算化学e-Science(简称e-Chemistry)科研支撑平台的总体架构.CGSP的功能性、可扩展性、健壮性和实用性等性质都为e-Chemistry支撑平台的建立提供可能.e-Chemistry支撑平台将会为化学家提供一个计算化学资源共享和学术交流的虚拟环境,有利于开展e-Science在计算化学领域的应用研究.此研究工作有望填补我国计算化学e-Science研究的空白,具有较好的示范应用和应用前景.     

对群中上近似的一个注记

研究了群中子群的上近似和下近似的相关性质,指出并证明了其中3个关于上近似的性质中的包含关系实质是相等关系,从而改进了上近似的相关结论,为上近似的应用奠定了理论基础.     

原子锁技术性破坏痕迹的研究

原子锁因在防技术开锁方面优于传统的弹子锁,目前被广泛使用,在实际案件中也经常会遇到原子锁被大扭矩工具破坏开启的情况。因此,对原子锁的结构、开闭锁原理以及技术性破坏所形成的痕迹进行研究,对于确定案件性质、提供侦查方向具有重要意义。对原子锁先用原配钥匙开启一千次,再用大扭矩工具进行技术性破坏,观察并记录弹子球面、锁体锁芯孔壁上面、制栓钢片、制栓钢珠的技术性破坏痕迹,总结出原子锁是否被技术性破坏的判断依据。     

Prodinger问题与正则语言的Schreier方法

本文推广右同余引进了p.p(几乎处处)右同余的概念,利用[5]中建立的形式语言的Schreier方法,得到了正则语言的若干特性,其中,解决了Prodinger在[3]中提出的问题。     

基于PAC算法的流数据Top-k实时查询

针对流数据的Top-k查询问题,为降低对存储容量和处理时间的要求,利用概率近似正确(PAC)原理,提出了一种实时查询算法,通过随机抽样近似地估计流数据中最大的k个数据,并保证误差和可信度均在规定的范围内.该算法设置k个随机独立排序器,每个排序器独立地抽取N个数据并返回各自不同的最大值d,然后用这k个最大值排序获得该流数...     

计算机模拟在薄膜外延生长中的应用

计算机模拟是计算机技术的一个重要应用领域,具有高效、快捷、经济等多种特点.以Cu膜为例用Monte Carlo算法模拟了薄膜生长的随机过程,并提出了更加完善的模型.在合理选择原子间相互作用计算方法的基础上,考虑了原子的吸附、在生长表面的迁移及迁移所引起的近邻原子连带效应、从生长表面的脱附等过程.利用自行编写的4个软件模拟计算了薄膜的早期成核情况以及表征薄膜生长表面状况的粗糙度和表征薄膜内部晶格完整性的相对密度.结果表明,随着衬底温度的升高或入射率的降低,沉积在衬底上的原子逐步由众多各自独立的离散型分布向聚集状态过渡形成一些岛核,并且逐步由二维岛核向三维岛核过渡.在一定的原子入射率下,存在3个优化温度,成核率最高时的最大成核温度Tn,薄膜的表面粗糙度最低时的生长转变温度Tr,相对密度趋近于1时的相对密度饱和温度Td.三者均随入射率的对数形式近似线性增大,并且基本重合.这说明在一定入射率下这3个优化温度近似相等.这一现象的原因在于三者的形成机理都是基于原子的热运动.这一结论使探索工艺条件时不仅可以采用计算机模拟的方法,而且可以从早期最大成核条件预计沉积较厚薄膜的最佳生长工艺.同时发现,随着入射率的增大,相对密度不断减小.可是在不同温度区域入射率对早期成核率和表面粗糙度的影响不同.当温度较低时,随着入射率的增大,最大成核率基本不变,表面粗糙度不断增大;当温度较高时,随着入射率的增大,最大成核率不断增大,但表面粗糙度不断减小.     

微分几何定理证明中最简单辅助条件的计算

在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。对预先确定的标准如变元个数最少、导数算子阶数最低等，利用根微分理想分解的Rosenfeld—Groebner算法，给出了微分几何定理机器证明中最简单辅助条件的构造性算法。