摘要：节点定位是实现无线传感器网络(wireless sensor networks,WSNs)应用的重要前提之一.针对传统基于测距的定位方法需要大量节点距离信息以及多径效应、噪声干扰等导致的节点测距误差问题,提出了一类基于L1范数正则化矩阵补全(L1-norm regularized matrix completion,L1NRMC)的WSNs节点定位方法.该方法基于传感网节点间距离矩阵低秩特性,将部分采样信息下的距离恢复问题建模为稀疏野值噪声(outlier)情形下的矩阵补全问题,然后采用交替方向乘子法(alternating direction method of multipliers,ADMM)结合算子分裂技术(operator splitting technology)对该问题进行求解,所设计的非精确L1范数正则化矩阵补全(InExact-L1NRMC)算法不仅能显式解析采样矩阵中的稀疏野值噪声,也可隐式平滑常见的高斯随机噪声.仿真结果表明:相比已有的同类定位方法,该算法只需进行部分测距采样即可实现精准的节点定位,且对各类测距噪声具有很好的抗干扰能力,适用于资源受限的WSNs.

摘要：针对双向中继信道,该文提出一种基于连续相位频移键控(CPFSK)调制的物理层网络编码(PNC)机制,即CPFSK-PNC。与已有的采用BPSK,QPSK等调制方式的物理层网络编码相比,该机制引入CPFSK的技术优势,提高了系统的频谱效率和功率效率。该文对瑞利衰落信道中CPFSK-PNC的物理层网络编码检测进行了研究。首先,利用CPFSK信号的记忆特性,根据最大似然准则设计了中继节点的物理层网络编码检测方案;其次,分析了信号之间最小欧氏距离并给出中继检测的平均误比特率下边界;最后,仿真验证了理论分析结果。

摘要：目的智能服装通过可穿戴计算和量化自我的方式收集个体小数据,物联网(Io T)和万联网(Io E)将小数据和大数据相连接,将用户体验从以用户为中心的设计(UCD)向用户参与式设计(UPD)转化,形成绿色IT的可持续设计。方法采用用户参与式设计的方法,利用嵌入在智能服装中的传感器收集穿衣者的身体量化自我的个人小数据,并进行信息可视化和交互设计。通过情境感知、意识感知和情感感知,建立信息架构和敏捷交互模型,提出以意义为中心的交互设计方法。通过映射心智模型,发掘利益相关者和交互逻辑动线。通过敏捷交互和直觉交互的实时高保真原型进行迭代式的可用性测试。结论人工智能能够应用于交互设计,将情境角色设计转变为"为真实的用户做真实的设计",提出了基于小数据量化自我的绿色IT可持续设计理念指导下的参与式交互设计方法。

摘要：充分利用多核技术提升多核处理器的资源利用率,缩短执行时间,发挥多核系统的优异性能。在多核计算机上设计了解三对角方程组的奇偶约化多线程并行程序,实现了三次样条曲线拟合的快速计算。通过实验结果的加速比对比,可以看出并行后缩短了求解方程组的时间,多核资源得到充分利用。结果表明,奇偶约化多核并行算法在三次样条曲线拟合中的应用是有效及可行的。

摘要：目的·探讨孕妇尿酚类环境内分泌干扰物检测的尿样收集方法,采用并比较2种方法对尿双酚A(BPA)、三氯生(TCS)与正壬基酚(4-n-NP)检测浓度的影响。方法·采用2种方法收集孕晚期尿样:导尿管尿袋收集(n=176),聚丙烯(PP)尿杯收集(n=642)。采用高效液相色谱–串联质谱(HPLC-MS/MS)法检测尿BPA、TCS及4-n-NP的浓度。验证实验采用PP材质尿杯、导尿管尿袋、低密度聚乙烯材质离心管及玻璃杯(阴性对照)留取同一妇女共5人的尿样。结果·导尿管尿袋收集的尿样BPA浓度几何均数为82.5 ng/mL(95%CI为71.4~95.4 ng/mL),比尿杯留取尿样的BPA浓度高63倍(几何均数1.3 ng/mL,95%CI为1.3~1.5 ng/mL);2种方法尿TCS、4-n-NP及肌酐浓度相似。验证实验的结果表明,相同个体的尿样,尿袋收集的尿BPA浓度远远高于其他3种方法。结论·尿酚类环境内分泌干扰物浓度检测的尿样收集,用PP材质尿杯优于导尿管尿袋收集,PP材质尿杯及低密度聚乙烯材质试管适合于流行病学人群研究。

摘要：定理证明是目前主流的形式化验证方法,拥有强大的抽象和逻辑表达能力,且不存在状态空间爆炸问题,可用于有穷和无穷状态系统,但其不能完全自动化,并且要求用户掌握较强的数学知识.含索引式的命题投影时序逻辑(PPTL)是一种具有完全正则表达能力,并且包含LTL的时序逻辑,具有较强的建模和性质描述能力.目前,一个可靠完备的含索引式的PPTL公理系统已被构建,然而基于该公理系统的定理证明尚未得到良好工具的支持,存在证明自动化程度较低以及证明冗长易错的问题.鉴于此,首先设计了支持索引式的PPTL定理证明器的实现框架,包括公理系统的形式化与交互式定理证明;然后,在Coq中形式化定义了含索引式的PPTL公式、公理与推理规则,完成了框架中公理系统的实现;最后,通过两个实例的交互式证明验证了该定理证明器的可用性.

摘要：介绍了几种国内外导向钻机回转机构(动力头)的结构形式,并对其特点进行分析总结,为回转机构的设计提供参考。

摘要：设计了基于无线通信的固态发酵窖池p H值在线监测系统,监测终端采集窖池内的p H值,并将采集到的数据无线传输至上位机平台,实时显示发酵周期内p H值和变化趋势。实测证明:该系统适用固态窖池发酵的数据监测,数据可靠、性能稳定。

摘要：针对机载导弹固体火箭发动机在地面常温贮存和高空低温下挂飞的实际情况,利用ABAQUS有限元软件计算分析了HTPB推进剂药柱在飞机多次起降过程中形成的温度循环载荷下受到的热应变分布,研究了循环次数和挂飞时间对药柱温度场和应变场分布的影响规律,重点分析了药柱内几个特征点的温度和应变随循环次数、挂飞时长的变化,基于以上分析对药柱结构完整性进行了失效评估。结果表明,在挂飞阶段结束时刻,最低温度位于燃烧室外表面,最大应变始终位于药柱内孔;在一定循环次数内,药柱所受热应变随次数的增加有所增大,而挂飞时长的增加会使药柱受到的热应变明显增大,对装药结构影响更加显著。仿真结果对后期进行推进剂试验研究和发动机挂飞工况下的安全设计都具有实际参考意义。

摘要：以FPGA芯片为核心的数字化生物电阻抗测量实验平台,主要完成直接数字频率合成(DDS)的电流源模块、V/I变换和数字解调模块的研究。采用DDS技术生成正弦信号发生器,由THS4021改进的Howland电路设计压控电流源,在不同负载条件下测量其输出电流幅值的频率响应,并在不同频率下测量电流源的输出阻抗,对恒流源性能的稳定性和精度进行测定。解调方法采用数字化解调,测试不同激励频率下的数字正交解调输出误差变化情况。最后采用盐水槽实验系统进行成像实验。结果表明,电流源可在6.1～390.6 kHz范围输出多频激励信号,在600 kHz前保持在190 kΩ的输出阻抗。当信号频率从200 kHz逐渐增加到1.6 MHz时,解调电路输出的I和Q路误差逐渐增加,对应的幅度误差从1.13%增加到7.19%,相位误差从1.03%增大到5.34%。采用相邻激励-相邻测量模式对环氧树脂棒进行盐水槽成像实验,成像结果表明系统能够对单个目标物体实现较准确的定位,验证了本研究平台的可行性。