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

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

对群中上近似的一个注记

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

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

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

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

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

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

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

直觉模糊粗糙集的公理化

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

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

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

基于Nutch的Web数学公式提取

本文主要研究基于公式的数学搜索引擎中数学公式的识别和提取方法,总结了MathML、Open-Math、LaTex、Infix格式数学公式在网页中出现时的各自特征,提出了基于特征和启发式规则的公式识别和提取方法,并用实验说明了该识别和提取方法的可行性和准确率.     

形式语言的Schreier描述系统(详细摘录)

为开展形式语言代数结构的研究,本文移植自由群子群的Schreier方法到形式语言中来,建立了一般语言描述上的所谓Schreier系统,并讨论了这种系统的基本构造。     

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

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