谢兄 作品数:20 被引量:56 H指数:3 供职机构: 大连海事大学信息科学技术学院 更多>> 发文基金: 国家自然科学基金 中央高校基本科研业务费专项资金 辽宁省自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 更多>>
一种基于线性逻辑的构件组装方法研究 被引量:3 2008年 构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题. 谢兄 张维石关键词:形式化描述 软构件行为适应的Petri网方法研究 被引量:1 2007年 构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。 谢兄 张维石关键词:软构件 形式化方法 PETRI网 通用构件行为适应方法研究 基于构件的软件工程中,构件行为适应是一个关键的问题。目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题。给出了解决构件行为不匹配的一种通用的方法。该方法首先根据给定的构件接口的行为协议描述计算构件行为之间的... 谢兄 张维石关键词:适配器 软件工程 文献传递 基于PMO的“软件项目管理”课程教学设计与实施 2024年 针对“软件项目管理”课程在教学模式、教学方法和教学评价等环节存在的问题,引入项目管理办公室(PMO)管理机制设计课程教学,教学活动以软件项目实践任务为主线,在教学过程中充分发挥PMO的规范、支持、监督和评审的作用,以更好地达成课程目标。实践证明,基于PMO的“软件项目管理”课程教学模式能显著提高教学效果,提升学生应对实际复杂工程问题的能力。 伍延斌 史金余 谢兄 曹志英 陈颖 杜佳璐关键词:软件项目管理 教学设计 声学回波抵消算法研究与实现 在该论文中首先描述了全双工通信环境中声学回波的一些基本问题以及目前国内外发展状况,阐明了该课题的研究背景和意义.然后介绍了NLMS、FAP、PAPA、PNLMS、PNLMS++等算法,给出了评价性能的标准,解释了为什么较... 谢兄关键词:自适应滤波器 鲁棒性 文献传递 YOLO-wLU:考虑定位不确定性的目标检测算法 被引量:3 2021年 YOLOv3目标检测算法在检测目标时没有考虑边界框坐标定位存在的不确定性,因此有时不能得出正确的检测结果。针对此问题,提出YOLO-wLU(YOLO with Localization Uncertainty)算法。该算法借鉴深度学习中的不确定性思想,使用高斯分布函数建立边界框坐标的概率分布模型以考虑边界框坐标定位不确定性;设计新的边界框损失函数,在检测过程中移除定位不确定性较大的检测结果;通过融合周围边界框坐标信息提高了边界框坐标辨识结果的准确性。实验结果表明,该算法可有效减少误报率,提高检测精度;COCO数据集上测试结果显示,相比YOLOv3算法,该算法的mAP最高可提升4.1个百分点。 谢兄 杨金鹏关键词:目标检测 一种公交智能电子站牌信息显示控制方法及系统 本发明提供一种公交智能电子站牌信息显示控制方法及系统,包括:服务端对采集的公交车实时运行状况信息及线路运营信息等原始数据进行预处理,对预处理后的数据进行车辆到站预测、车厢拥挤度评估、线路路况评估等计算,将计算结果存储在数... 翟华伟 崔立成 张维石 谢兄 曹志英 史金余 李辉文献传递 通用构件行为适应方法研究 2009年 基于构件的软件工程中,构件行为适应是一个关键的问题.目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题.给出了解决构件行为不匹配的一种通用的方法.该方法首先根据给定的构件接口的行为协议描述计算构件行为之间的同步关系,得到适配器的描述.然后在构件的同步产品中,利用死锁来检测具有同步行为关系的行为之间的不匹配.利用构件及适配器描述计算同步矢量产品的过程中,根据同步矢量来计算适配器的行为协议,适配器通过一对互补事件与被适应构件进行交互.适配器适应交互的构件行为,使得构件交互过程中没有死锁发生,实现对消息顺序的重新排序,解决了具有数据传递的构件行为之间的不匹配问题.最后,用一个实例对文中所述方法进行了说明. 谢兄 张维石关键词:适配器 无死锁 基于局部估计密度的局部离群点检测算法 被引量:6 2020年 局部离群点检测是近年来数据挖掘领域的热点问题之一.针对交通数据去噪问题,提出一种基于局部估计密度的局部离群点检测算法,算法使用核密度估计方法计算每个数据对象的密度估计值,来表示该数据对象的局部估计密度,并在核函数的带宽函数计算中引入数据对象的k-邻域平均距离作为其邻域信息,然后利用求出的局部估计密度计算数据对象的局部离群因子,依据局部离群因子的大小来判断数据对象是否为离群点.实验表明,该算法在UCI标准数据集与模拟数据集上都可以取得较好的表现. 谢兄 唐昱关键词:离群点检测 核密度估计 邻域信息 基于DSP的多通道G.728语音编码器实现 被引量:2 2003年 介绍了 G.72 8的算法原理和 TMS3 2 0 C5 41 0定点 DSP芯片 ,针对 TMS3 2 0 C5 41 0芯片的硬件结构和编译系统特点 ,设计了一套运行在该 DSP芯片上的多通道 G.72 8语音编解码器。分析了多通道 G.72 8在定点 DSP芯片上实时实现时存在的困难和相应的关键技术 ,详细论述了 G.72 8编解码算法在该 DSP芯片上实现时采用的优化技术 ,以及为了降低计算量对码本搜索模块及 Levinson-Durbin算法的改进。 谢兄 胡瑞敏 艾浩军 涂卫平关键词:语音编码器 G.728 DSP 数字信号处理算法 语音信号处理 语音质量