无线传感器网络中的改进数据聚集调度算法

针对现有聚集数据调度近似算法具有较高延时上界的问题,提出一种改进的聚集数据调度近似算法。建立一棵根在中心结点的广度优先搜索树,分层构造一个最大独立集(MIS),使MIS中相邻的2个结点相距两跳。将MIS中的结点连接起来,形成一棵根在中心结点的数据聚集调度树,使结点按数据聚集调度树进行分层数据调度。在数据聚集调度树的构造过程中,对于任意支配点,以最小的结点连接其相距两跳的支配点。对于2个相邻支配点的公共邻居支配点,通过在距中心点最近的支配点加入数据聚集树,使其在数据调度过程中将数据发送给距中心点最近的支配点,从而降低数据的聚集延时。实验结果表明,与SAS算法、Guo’s算法和IAS算法相比,该算法的数据聚集延时更低,其延时上界为14R+△?10。     

描述逻辑FL0概念及术语公理集的表达能力刻画

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。     

基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

代数约简的条件信息熵表示及其高效约简算法

给出如何保持正区域不变的语义分析,提出一种修正条件信息熵计算公式,证明保持修正条件信息熵不变与保持正区域不变相互等价。在此基础上,给出代数约简概念的修正条件信息熵表示。给出反例说明修正条件信息熵不具有单调性,导致没法给出自底向上的启发式约简算法,证明了代数协调集中不可删除属性的不可逆性质,提出一种自顶向下直接删除属性的高效约简算法。它从所有条件属性集出发,逐步删除不必要的属性,只需遍历各属性一次,即可保证得到原始决策表的一个代数约简。数值算例和实验验证了该算法的正确性和高效性。     

均衡模糊C均值聚类算法

模糊C均值聚类算法没有考虑各类样本容量因素,当各类样本容量差异较大时,其聚类判决将向小样本类倾斜。提出一种新的聚类算法——均衡模糊C均值聚类,对模糊C均值聚类算法最小化目标函数进行修正,使得改进的目标函数包含了样本容量因素,利用粒子群算法并以样本模糊隶属度为编码对象求解参数优解。从理论上分析了该算法的性质,通过仿真实验验证了所提算法对平衡、不平衡数据集的有效性。     

单相三绕组永磁同步电动机的稳态性能

在使用电容的单相电源供电系统的电路中,异步电机的运行是众所周知的。异步电机在单相电源供电系统中的详细研究已有文献记载[1],但是在永磁同步电动机中却较少进行这样的研究。为提高电能的利用率,解决电力不足而导致电能消耗急剧上升时,电能的高效利用率问题,对单相电源供电系统下的永磁同步电动机的稳态运行性能进行了详细研究。利用对称分量理论结合坐标变换理论进行分析,推导出在单相电源供电系统下,永磁电动机运行时所需电容值大小的几种计算方法,并对其进行比较,通过Matlab进行仿真实验。结果表明:利用最小不平衡因数和最大效率法所求得电容值为最佳电容值,可使永磁同步电机达到良好的运行性能,有效的提高了电机的效率。     

2,2￠,6,6￠-四甲基-4,4￠-二苯氧基二苯砜、二苯醚和对苯二甲酰氯三元无规共聚物的合成与表征

以2,2￠,6,6￠-四甲基-4,4￠-二苯氧基二苯砜(o-M2DPODPS)、二苯醚(DPE)和对苯二甲酰氯(TPC)为单体，在无水AlCl3和N,N-二甲基甲酰胺(DMF)存在的条件下，于1,2-二氯乙烷(DCE)中进行低温溶液无规共缩聚，合成了一系列新型线型高分子量含双邻甲基取代结构的聚醚砜醚酮酮(DM-PESEKK)/聚醚酮酮(PEKK)无规共聚物，并用IR, DSC, XRD, TGA和1H-NMR等方法对共聚物进行了表征分析，考察了共聚物的溶解性能. 结果表明，随着DM-PESEKK含量的增加，玻璃化转变温度(Tg)逐渐升高，熔融温度(Tm)逐渐降低，结晶度下降，溶解性得到明显改善.     

扩展双星树的 Wiener-E 指标和 Wiener-O 指标

扩展双星树（T（n）n1,n2）是 n－1长路径的两端点分别联结 n1条悬挂边和 n2条悬挂边所得到的图。论文根据扩展双星树的结构特征,研究了扩展双星树的类Wiener指数,给出了一般计算公式。     

基于FR算法的数据模型三维可视化研究

针对传统数据模型描述方式无法满足用户快速理解和使用数据模型的不足,论文提出建立数据模型的三维可视化描述.对于传统FR算法在实体节点过多时将导致图形绘制过慢、连线交叉过多等问题,论文结合数据模型的特点,基于实体结构和实体属性对FR算法进行改进,改进后的FR算法不仅能快速地绘制三维图形,而且可以显示实体节点及实体关联等信息,从而辅助建立三维可视化模型,直观的表达数据模型,梳理数据模型的结构,加快用户对数据模型的理解.     

基于WINCE系统软件开发的内存研究

WINCE系统内存配置较小,嵌入式软件如果出现内存泄露问题,将会导致系统的可用内存不足,甚至出现系统崩溃。为此针对WINCE操作系统内存的管理和应用,通过引入一个在实时更新动态图的过程中出现内存泄露的案例,阐述了关于内存管理和内存应用的重要知识点,包括内存模型和内存分配方式,分析了在该案例中出现内存泄露的原因,提出了与案例中出现的内存泄露相似问题的解决方法,并针对一般情况下如何防止内存泄露作了简单介绍,最后详细阐述了案例中为了优化内存所做的工作,对编程者有很好的指导作用。