崔焕庆
- 作品数：62 被引量：75H指数：5
- 供职机构：山东科技大学更多>>
- 发文基金：国家自然科学基金山东省自然科学基金山东省优秀中青年科学家科研奖励基金更多>>
- 相关领域：自动化与计算机技术理学电子电信文化科学更多>>
- 一种微震震源定位参数的优化求解方法
- 本发明公开了一种微震震源定位参数的优化求解方法,它是以两个拾震器拾取的到时之差与计算得到的到时之差的残差平方和最小为目标，应用粒子群算法计算出震源位置和等效波速，再根据震源位置及等效波速，直接计算出发震时刻。本发明结合工...
- 孙红梅贾瑞生彭延军樊建聪崔焕庆孟祥文陈卓艳
- 文献传递
- 一种利用多移动锚节点对无线传感器网络节点定位的方法
- 本发明的利用多移动锚节点对无线传感器网络节点定位的方法，包括：a).布设3个可确定位置坐标的锚节点；b).锚节点沿扫描路径移动，实现对网络中所有节点的遍历；c).时钟同步，使3个移动锚节点具有相同的时钟信号；d).3个锚...
- 王英龙崔焕庆舒明雷刘瑞霞杨明魏诺孔祥龙许继勇杨媛媛陈长芳
- RGPS支持的面向方面网络式软件演化方法
- 2013年
- 为了改进现有的面向方面网络式软件演化方法中切入点(Pointcuts)位置定义不够清晰和切入点织入操作性不强的问题,提出一种利用角色-目标-流程-服务(RGPS)的流程元模型改进面向方面的网络式软件演化的方法。在该方法中,使用RGPS的流程元模型定义流程,采用元模型中的控制结构定义方面切入点的位置,因为方面和流程采用一致的定义方式,所以方面切入点位置定义精确且能够无缝织入原流程。对流程演化过程给出了形式化的定义,并阐述了流程演化时方面织入的各种方式。最后利用一个实例说明了演化方法的方面织入过程。
- 田刚何克清孙承爱崔焕庆彭珍连
- 应用三个移动锚节点的非测距定位方法被引量：3
- 2011年
- 针对使用单个移动锚节点的非测距定位方法精度较低的问题,提出一种使用三个移动锚节点的非测距定位方法:三个锚节点在移动过程中相对位置不变,并周期性广播数据包,而未知节点利用接收到的具有相同时间戳的两个或者三个锚节点信息进行质心定位。采用Scan作为信标的移动路径,并使用OMNET++进行了仿真实验,结果表明,该方法比使用单个移动锚节点提高了定位精度,且不受节点部署密度的影响。
- 崔焕庆王英龙周传爱
- 关键词：移动锚节点无线传感器网络质心
- 基于有效特征子集提取的高效推荐算法
- 2019年
- 推荐系统是根据用户的历史信息对未知信息进行预测.用户项目评分矩阵的稀疏性是目前推荐系统面临的主要瓶颈之一.跨域推荐系统是解决数据稀疏性问题的一种有效方法.本文提出了基于有效特征子集选取的高效推荐算法(FSERA),FSERA是提取辅助域的子集信息,来扩展目标域数据,从而对目标域进行协同过滤推荐.本文采用K-means聚类算法将辅助域的数据进行提取来降低冗余和噪声,获取了辅助域的有效子集,不仅降低了算法复杂度,而且扩展了目标域数据,提高了推荐精度.实验表明,此方法比传统的方法有更高的推荐精度.
- 于旭王前龙徐凌伟徐凌伟田甜徐其江
- 关键词：聚类协同过滤
- 基于Petri网的点到点通信并行程序验证
- 2007年
- 基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数。基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别。然后给出对基于点到点通信的并行程序进行建模和验证的过程,并举例说明了这个方法的有效性。
- 印玉兰崔焕庆
- 关键词：点到点通信PETRI网
- 面向三维无线传感网的采用移动锚节点的定位方法
- 本发明的面向三维无线传感网的采用移动锚节点的定位方法，包括：a).部署移动锚节点；b).在希尔伯特曲线的拐点处广播信标信息；c).信标信息的接收；d).信标信息的选取；e).建立目标函数<Image file="DEST...
- 崔焕庆王英龙舒明雷刘瑞霞魏诺杨明
- 文献传递
- 并行程序Petri网模型的结构性质被引量：6
- 2007年
- 正确性是并行程序的基础,但是由于它的复杂性,其验证要比串行程序困难得多,因此有必要进行建模并研究其性质.从程序的角度出发,在将基于消息传递的并行程序转换为Petri网模型之后,证明了与并行正确的并行程序对应的Petri网模型应当满足的结构性质,包括强连通性、S-不变量、T-不变量、受控死锁性质以及守恒性,并举例说明了这些性质在并行程序验证中的应用.这些性质可用于并行程序的事前验证,而且避免了使用动态性质进行验证时的状态爆炸问题,从而提高并行程序设计和验证效率.同时这些方法具有良好的可推广性.
- 崔焕庆吴哲辉
- 关键词：PETRI网
- 公平消息传递并行程序设计的Petri网方法被引量：1
- 2009年
- 公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证。
- 崔焕庆吴哲辉方欢
- 关键词：PETRI网
- 基于Petri网的MPI并行程序建模与正确性验证
- 以并行计算为基础的高性能计算已经成为人类科学研究的第三大支柱。高性能是使用并行计算的首要原因，而正确是使用并行程序的首要条件。以前的并行程序设计和分析辅助工具都仅仅关注于高性能和正确性的其中一个方面。
...
- 崔焕庆
- 文献传递
