Web应用的UML协作图建模与形式化规格说明

针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。

基于多Agent的动态服务器集群研究

针对信息服务系统面临的服务器性能瓶颈、海量信息与用户个性化需求的矛盾这两个突出问题,以内容服务平台为例,引入了多Agent技术与服务器集群技术,提出了基于多Agent的负载均衡策略,实现服务器整体性能提升,通过JADE平台实现服务器结构的迁移,通过原型系统实现了集群节点的动态选取。

普适计算中目录服务平台的服务质量

改善普适计算环境服务质量的一个有效方法是建立目录服务平台(Contents Service Platform,CSP).按对称主动服务模型建立的CSP能够提供个性化主动服务,提升用户级服务质量.然而由于这种服务能力的执行开销,尤其是吸引了更多用户和服务导致服务器的性能瓶颈加剧,会间接损害服务质量.提出利用动态服务器集群来解决这一问题,实现端系统级的QoS保证,并利用仿真工具模拟了这种方法,分析了动态服务器集群性能和动态服务器选取的有关参数,实现了一个原型系统.

改良式手术治疗复发翼状胬肉的研究

探究改良式手术治疗复发翼状胬肉(Pterygium, PTE)的效果。方法:选取于我院进行复发治疗的翼状PTE患者,T:2019年1月-2021年6月;所有患者均为首次复发,分组依据:随机数列表法,例数:各31例。分别接受常规PTE切除术以及改良式PTE切除术进行治疗,对比2组患者视力恢复情况、并发症发生率及复发率。结果:治疗前2组患者视力、角膜散光情况并无显著差异(P>0.05),经治疗后,RES组视力显著提升,角膜散光度下降明显,且经随访后,RES组患者并发症、复发率均相较于REF组更低,组间差异统计学意义显现(P<0.05)。结论:改良式PTE切除术对于复发翼状PTE患者的治疗效果较为明显,患者经治疗后视力显著提升,且术后并发症发生率较低,安全性更高,患者复发概率小,预后效果良好,值得将该治疗方式进行临床推广应用。