无线传感网络覆盖中概率Voronoi模型及算法研究

覆盖是无线传感网络中最重要的问题之一,随机覆盖是目前研究的主流。基于Voronoi图的随机覆盖算法是无线传感网络领域的研究热点。目前研究中采用的Voronoi图,主要采用基于距离的Voronoi边赋权值模型,存在两个主要问题,即模型粗糙和监测节点不全。以实测的分段概率传感模型为基础,从多传感协同监测的角度构造一种概率Voronoi模型,试图解决以上问题。并且用基于概率Voronoi模型的最大突破路径算法验证了模型有效性。就掌握的文献来看,该模型是首次提出,具有较好的实用推广价值。     

一种分析时序逻辑电路的补充方法

介绍一种分析时序逻辑电路的补充方法,并应用于教学实践中。其特点是原理简单、易于理解、直观方便,相对于传统的分析方法,避免了对次状态方程的分析处理计算,有时比传统方法简便、快捷。通过两个示例展示其优越性。     

银行账户集中管理系统开发

账户管理是银行业务的一项重要内容。账户集中管理系统作为银行核心业务系统的有力补充,发挥着重要作用。通过建立系统的账户集中管理环境,把原来各营业网点新开户未经会计部审核通过就可以办理收支业务的弊端彻底解决。实现由会计部进行账户集中审批和账户状态控制．还可以进行账户资料影像化管理、账户查询、统计分析、信息比对、对公客户贡献分析及账户监控等功能．提高账户管理水平。     

基于模糊模式识别的抽油井示功图判别算法研究

针对有杆抽油井示功图诊断分析问题,研究特定故障情况下示功图特征值算法。把示功图数据通过傅里叶变换由空域转换成频域形式,仅保留较低频率上的系数a0、a1、b1,并将其作为特征值。根据所得到的特征值结合模式识别算法能够实现有杆抽油井示功图快速准确的识别和分类。实际应用表明,利用基准示功图28种类型的特征值的选取,计算出每种示功图的特征矢量,并保存到特征库中。对给定示功图特征值进行模式识别,即可得出该图隶属于哪种模式。     

Experimental investigation and thermodynamic modeling of the Mg–Sn–Sr ternary system

The isothermal sections of the Mg–Sn–Sr ternary system in the Mg-rich region at 415 and 350 °C have been determined using the scanning electron microscopy (SEM) equipped with energy dispersive X-Ray spectrometry (EDS). The existence of the MgSnSr ternary compound was confirmed in these two isothermal sections. Two new compounds, named Mg₅Sn₃Sr and Mg₂₅Sn₂₄Sr_14, were found in the present work based on the SEM/EDS results. Thermodynamic optimization of the Sn–Sr binary and Mg–Sn–Sr ternary systems were carried out using the CALPHAD (CALculation of PHAse Diagrams) technique. The Modified quasi-chemical model (MQM) was used for the liquid solution which exhibits a high degree of short-range ordering behavior. The solid phases were described with the Compound energy formalism (CEF). Finally, a self-consistent thermodynamic databases for the Mg–Sn–Sr ternary system has been constructed in the present work, which can be an efficient and convenient guidance to investigate and develop the Mg-based alloys.     

Thermodynamic calculation of S−Sb system and Cu−S−Sb system

Sb₂S₃ and CuSbS₂ have been proposed as alternative earth-abundant absorber materials for thin-film solar cells. However, no thermodynamic study of the S−Sb binary system and the Cu−S−Sb ternary system were investigated. In this paper, The S−Sb system and the Cu−S−Sb system are calculated utilizing the so-called CALPHAD (CALculation of PHAse Diagrams) technique. Using TEM-EDS and XRD, Cu_0.9Sb₁S₂ is experimentally confirmed at the Cu₁Sb₁S₂ and Sb₂S₃ two-phases region in the isothermal section at 673 K of the Cu−S−Sb ternary system. Given the asymmetric shape and miscibility gap of the liquidus in the S−Sb phase diagram, the associate solution model for the liquid phase is adopted. The solution phases (liquid, bcc, fcc) are treated with the Redlich–Kister equation. The compounds S₃Sb₂, Cu₃SbS₃, Cu₁₂Sb₄S₁₃, CuSbS₂, and Cu₃SbS₄ are described as a stoichiometric compound. A set of self-consistent thermodynamic parameters of the S−Sb binary system and the Cu−S−Sb ternary system are obtained. The calculated results are in good agreement with the experimental data. This study provides a set of reliable thermodynamic parameters to the Cu−Sb−S thermodynamic database, and a cost-effective tool to design material synthesis experiments and manufacturing processes.     

基于IEC61131-3标准的PLC编辑模块设计与实现

基于IEC61131-3标准设计一个可编程逻辑控制器（PLC）编辑模块,并给出了主要数据结构和算法的设计。通过测试表明用户界面友好,操作简单,对后续开发具指导意义。     

一种基于UML状态图的规约变异测试方法

规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。