摘要：哈希算法大量应用于信息传输、存储、校验等领域,其中面向字符串的哈希算法结构简单、易编码实现、速度快,这类算法的设计往往使用位操作、算术运算、查表等运算的组合来实现,不同的组合在性能和效果上也不相同。理论上,运算步骤越简单、性能越好,但哈希效果难以保证;步骤越多、性能越差,但哈希效果容易有保障。本文使用移位、取反和加法三种基本运算,设计了一种快速字符串哈希算法,使用较少的步骤获得了较好的性能和效果。通过与BKDR哈希算法对比测试,本算法在性能上有8%的优势,两者哈希效果相当。

摘要：自动检测与验证HMSC(high-level message sequence chart)模型的正确性对保证文本需求被正确建模具有十分重要的意义,为此提出一种为HMSC模型进行自动检验的方法,并将其实现。利用转换规则为HMSC模型生成Promela检测语言,借助SPIN工具对需求进行验证。该方法不仅支持模型检测,同时通过对系统行为的动态模拟可以实现需求的合理性分析。从Promela实现到SPIN验证整个过程实现自动化操作。在该方法的基础上实现一个文本需求自动建模及检测分析的工具,通过一个实例展示其自动建模检测分析的效果,表明了其有效性和实用性。

摘要：为了加强全国技能大赛赛前抽签工作的公平公正性,以及提高参赛选手信息在比赛抽签过程中的安全性,根据大赛规程中比赛工位的随机分配规则,基于Java技术开发了一款抽签加密系统。此系统利用计算机的MAC地址,设计了一种基于计算机硬件信息的密钥共享机制,让指定的计算机才能使用该密钥,该密钥用于同组计算机对数据表中数据进行加密和解密操作。

摘要：项目需要实现软件系统的在线升级,软件系统比较复杂,升级脚本程序需要做多种操作才能完成升级。要求软件系统在升级成功后,具有恢复到前一版本的能力;当升级失败时,能恢复到升级前的状态。通过分析软件系统的组成、配置,借鉴数据库系统中的事务系统原理,设计了一个升级脚本程序模型,并按此模型实现了升级脚本程序,满足了项目需求。

摘要：研究了某应力串联模式系统的结构可靠性设计的一般表达式,并对相关结论给出了实际数据的验证.

摘要：数据库中的数据需要多点保存,以降低数据丢失的风险。异构数据库的同步,不同的场景往往采用不同的算法,以满足实际需求。论文针对两个异构数据库的同步需求,提出一种基于记录标记的数据库同步方法,把同步信息放在表中的标记列中,实现同步标记和业务记录的绑定;设计了数据操作算法,结合同步标记,可以达到行级的数据同步粒度。该算法简单可靠、易于实现、有很高的性能,能实现一定的双数据库热备功能。该算法在应用层实现,应用可以全面掌控数据同步操作,同步需要同步的业务数据,灵活性高,适合两个异构数据库间的数据同步。

摘要：以软件工程理论为指导,结合多年的研发经验,设计并实现了一套即时通信软件。服务器端程序架构的设计,以简单稳固和功能易扩展为原则,在保证功能完备的前提下,重点考虑程序的可持续运行能力、可靠性、安全性、运行速度、服务效率,严格按照设计原则对程序进行研发,使最终程序达到了预定的目标。

摘要：设计并实现了一套即时通信软件,为了实现用户状态的管理,比较了几种实现策略和方法。从性能、效率和复杂度等方面进行分析和比较,最终根据软件的具体情况,选择了一套策略和方法,可以很好地满足软件的需求。

摘要：该文介绍了规则引擎的概念,并使用Drools运行了一个简单的Hello World演示实例。该文提出了基于Drools的策略体系框架,讨论了框架的组成以及Drools在其中的运行机制,并指出了有关实现的细节问题。

摘要：上海松江区长护险试点工作于2018年启动,根据制度设计需求,有四家护理站成为长护险定点服务机构,经过不断发展,长护险定点护理站在服务参保人方面发挥了重要作用。然而,在日常调研检查中发现,护理站护士的服务人数及服务时长仅占定点护理站服务中的很小一部分,长护险定点护理站并没有充分发挥自身的功能优势。本文通过分析松江区四家长护险定点护理站数据,分析护理站发展中存在的问题及产生原因,从而为促进长护险定点护理站长期高质量发展提出建议。