漫画

<正>~~     

智能科学与技术专业的课程规划与建设

介绍"智能科学与技术"专业的背景,结合重庆邮电大学的学科优势与人才优势,总结一年的教学实践情况,初步探讨"智能科学与技术"课程规划、课程建设、学生对专业认识及就业前景等问题。     

基于时间和影响力因子的Github Pull Request评审人推荐

开源社区github提供了pull request的机制让开发者可以把自己的代码集成到github的开源项目中从而为项目做出贡献.Pull request的代码评审是github这类分布式软件开发社区维护开源项目代码质量的非常重要的方式.为一个新到来的pull request指派合适的代码评审人可以有效减少pull request从提交到开始审核的延迟.目前github是由项目核心成员人工来完成评审人的指派,为了减少这种人力损耗,我们提出代码评审人的推荐系统,该系统基于信息检索的方法,并考虑了评审人的影响力因子以及评审的时间衰减的因素,对新到来的pull request,自动推荐最相关的评审人.我们的方法对top 1的准确度达到了68%,对top 10的召回率达到了78%.     

AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

PowerBuilder中利用DropDownListBox控件显示数据库字段值的实现

针对在PowerBuilder中利用DropDownLintBox控件显示数据库字段值存在一定难度的问题,提出了三种不同的实现方法。     

漫画

<正>~~     

跨组织多业务事务建模与验证方法

面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为.在验证过程中,基于等价自动机转换思路集成现有模型检验技术,验证多业务事务是否满足人们需要的各种性质.实验结果表明,该建模与验证方法能够有效地保障多业务流程在设计与实现过程中的正确性.     

关于两种流行CAD软件之间数据交换的初步探讨

针对AutoCAD与Pro/E之间数据交换与共享问题作出初步探讨,指出了可用于从AutoCAD立体模型向Pro/E立体模型转换的ACIS文件和STL文件,通过例子阐述了将Pro/E工程图转换为AutoCAD二维图形及将AutoCAD二维图形作为Pro/E的草图的方法,并分别简要评述了所使用的DWG、DXF格式和IGES格式.     

多传感器检测系统的 多步反馈融合算法

通过分析分布式检测系统的工作原理，提出了一种新的局部检测器融合方法，该方法利用检测器局部判决结果与融合中心融合结果的误差多步累积平均值对检测器下一步判决进行修正，从而达到提高检测器检测概率的目的。分析表明，该算法能有效提高系统的性能。     

双探头光学探针识别受热工况两相流流型的基本方法研究

由于流型识别手段受到限制．目前常用的流型图以及流型转变判据．都是在绝热工况下根据实验得到的；关于受热工况两相流流型还没有足够的实验数据。光学探针的运用为受热工况两相流流型的研究提供了有力的测量手段。本文对双探头光学探针4种流型识别的基本方法进行了研究，包括探针原始电平信号概率密度函数(PDF)分析识别流型、信号时序波形识别流型、空间波形识别流型以及汽泡尺寸PDF分析识别流型。研究结果表明，汽泡贯穿弦长PDF分析可得出满意的流型识别结果。