基于多重回归LSSVM的并发故障诊断

提出了一种基于多重回归最小二乘支持向量机模型的并发故障诊断方法,并将其应用于诊断某船舶主柴油机冷却系统的并发故障.仿真结果表明,该方法具有良好的效果,能够对系统的单个故障和并发故障进行检测.仿真结果还表明,多重回归最小二乘支持向量机模型适合于小样本条件下多输入多输出数据样本的建模,在一定噪声的影响下仍能够得到相对准确的诊断结果,因此多重回归最小二乘支持向量机模型为一种有效的并发故障诊断方法.     

并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。     

交互式多媒体板的研究与设计

针对在IP网络环境下开展大规模用户实时多媒体交互协作的需求,提出多媒体板的概念,给出了多媒体板系统的定义,并用Petri两描述了该系统的会话模型,提出了一种适合于多媒体板及其他CSCW应用系统的并发控制机制和算法,最后给出了一种基于该机制的Browser／Server结构多媒体板设计思路,并分析了多媒体板的应用场合与前景。     

ARTs-CS数据字典的并发控制技术

提出了通过将事务划分为不同的数据字典事务类型,分别采用不同的事务并发控制策略的并发控制技术。减少了事务因为对数据字典进行操作而需要进行全网络封锁的概率。在ARTs-CS原型系统上实现了该并发控制技术。模拟实现表明,并发控制技术能有效地提高整个系统的效率。     

共享信息机制及应用方法

简要论述了MTS中共享属性管理器（SPM）在分布式计算环境中解决并发问题时所起的作用,并以一个实例详细说明了SPM的使用方法。     

多线程程序数据竞争随机森林指令级检测模型

数据竞争是典型的多线程程序并发缺陷。由于多线程程序中存在不确定性的交织,数据竞争很难被检测出来。该文以多线程数据竞争的5个相关属性作为特征,构建了多线程程序数据竞争随机森林指令级检测模型。首先基于happens-before关系与lockset算法指令级检测数据竞争,同时用汇编源码信息来剔除隐形同步对,然后利用happens-before关系与lockset算法的分析结果训练多线程程序数据竞争随机森林检测模型。在Pin上实现了多线程程序数据竞争检测工具AIRaceTest。利用GitHub中多线程程序的插桩结果作为样本集来训练随机森林模型,模型精度可达92.1%。对Google data-race-test、 Parsec基准程序3.1中的经典多线程程序的检测结果表明:AIRaceTest与Eraser、 Djit+以及Thread Sanitizer这3种目前常用的数据竞争检测工具相比,数据竞争的误报和漏报分别降低了约10.6%和12.3%,在线程数较多的情况下,时间和内存开销分别降低了41.8%和22.4%。     

妊娠期肝内胆汁淤积症的诊断治疗与护理

妊娠期肝内胆汁淤积症(ICP)是妊娠期特有的综合症,是一种重要的妊娠并发症.以妊娠期出现皮肤搔痒、肝功受损,偶有黄疸为特点.可导致胎儿宫内窘迫、早产、死胎、产后出血等,越来越受到产科工作者的重视.本文总结我院2001～2003年诊断ICP资料关联的病例88例分析,以达到降低ICP国产儿死亡率的治疗与护理措施.     

基于网络分组的切换判决算法

针对大量终端并发切换引起的网络负载不均和网络相似性利用不足的问题,提出一种基于网络分组的切换判决算法。将采集和初始化后的网络参数输入至网络分组模型,利用网络性能的相似性得到网络组;根据终端的偏好类型,基于烟花算法选择目标网络组;求解终端的可接入网络集和目标网络组的交集,得到其候选网络集,从中选择性能因子最大的网络作为目标网络执行切换,动态更新网络组。仿真结果表明,该算法能够在均衡网络负载的前提下,降低切换阻塞率,提高系统吞吐量,提升终端的服务质量。