投票理论研究现状及其展望

社会选择理论是研究如何表达和聚合个体选择的一门学问.而社会选择理论与计算机科学的融合产生了称为计算社会选择的交叉学科,该学科成为社会计算的重要研究内容之一,在人工智能、经济和计算性理论领域引起了轰动.其一方面引入了复杂性分析和算法设计等计算机学科中常用的技术来对社会选择机制进行研究;另一方面也通过引入社会选择理论中的概念来推动计算机技术的发展,特别是在多智能体系统研究中有着成功的应用.投票理论是计算社会选择中最重要的研究主题之一.首先介绍常见的投票方法以及投票理论的形式化框架;再对投票理论中所关心的操纵问题做分析;然后介绍在组合域上的投票;最后对其他相关问题作简要介绍,并对该领域未来的发展与应用做出展望.     

独立学院毕业生就业问题探析

独立学院作为普通高等学校发展史上的新生事物,近年来,毕业生就业状况也越来越受到全社会的关注,做好独立学院毕业生就业工作对高等教育大众化的良性发展意义重大。本文分析了当前独立学院毕业生就业过程中存在的问题,并且有针对性的提出了解决措施,以期为提高独立学院毕业生就业水平提供依据。     

基于知识的PCB设计数据审查

现有的电子辅助设计软件,侧重于设计功能,很少涉及到对设计结果的审查,更缺少时其可加工性的检验.目前对于PCB电路板设计的审核,还停留在以人工为主的阶段,存在主观性大,可靠性差,效率偏低的问题.因此,本文提出了一种基于知识的设计数据自动审查方法,解决了电子设计数据审查中知识的表示、知识库的建立、知识的获取和知识推理的问题.辅助设计人员快速审查出PCB电路设计中的错误.     

一种基于光散射原理在线测量晶圆表面质量的方法

在半导体工业中,晶圆表面质量的检测占据着重要的地位。选择粗糙度参数轮廓算术平均偏差R。作为衡量表面质量的参数,根据晶圆的一般粗糙度范围（Rα为0.01—0.8μm）,构建了一种基于光散射原理的视觉系统测量装置。通过分析光散射强度分布图像,提取出一些参数来表征Rα,达到检测晶圆表面质量的目的。给出了初步的实验结果,说明了此方案是可行的。     

基于惩罚函数的演化测试优化方法研究

演化测试是一种有效的测试用例自动生成技术。它将测试用例的生成的过程转化为一个利用遗传算法进行数值优化的问题,可以自动生成高质量的测试用例。目前,演化测试技术已经在许多测试领域被广泛地研究。研究发现,演化测试过程中无效解和局部最优解的存在扰乱了演化正常进行,降低了演化测试的性能。针对演化测试中存在的问题,提出基于惩罚函数的适应值函数F（x）,对无效解和局部最优解进行惩罚,有助于演化过程中根据适应值选择更合适的个体进行遗传操作,提高演化测试的性能。实验结果表明,F（x）有效降低了无效解和局部最优解的适应值,提高了演化测试的性能。     

一种椎弓根螺钉内固定术中非同源低重叠率点云的配准方法

在手术导航系统辅助的椎弓根螺钉内固定术中,术前与术中点云配准精度是影响导航定位效果的重要因素。由于术前与术中点云的获取方式不同,且术中暴露位置受限,两种非同源三维点云存在初始位姿差异大、重叠率低的问题,现有的配准算法在术前术中点云配准时容易失效且精度不高。为此,本文提出了一种椎弓根螺钉内固定术中非同源低重叠率点云的配准方法。首先,对术中点云进行降采样,对术前点云进行基于最远点采样的局部区域划分,选取其中的最优局部区域,与术中点云进行采样一致性初始配准;之后,采用迭代最近点算法进行进一步优化,实现点云的准确对齐。在本文所用数据集上,所提算法在术前术中点云配准实验中的平均旋转误差为0.406°,平移误差为0.474 mm,实现了初始位姿差异大、重叠率低的非同源术前术中点云的高精度配准,与现有算法相比,配准成功率从66.67%提高至100%。     

LCC-FHMMC混合直流输电系统受端交流系统故障穿越控制策略

送端采用电网换相换流器（LCC）、受端采用全半桥子模块混合型模块化多电平变流器（FHMMC）的LCC-FHMMC混合直流输电系统,当受端交流系统发生故障时,受端交流电压跌落,受端功率传输受阻,盈余的功率导致子模块电容过电压,甚至可能造成设备的严重损坏。为此,提出了一种基于FHMMC直流电压降压运行的受端交流系统故障穿越控制策略,使其直流电压始终低于逆变侧交流母线的电压有效值。同时,整流侧LCC保持常规的定直流电流控制,保证逆变侧的直流电流在额定值附近运行,从而实现了进入直流系统的有功功率与逆变器向受端交流系统输出的有功功率之间的平衡。最后在PSCAD/EMTDC仿真平台上对LCC-FHMMC混合直流输电系统受端交流系统发生的对称故障和不对称故障分别进行了仿真分析,仿真结果验证了所提控制策略能够快速有效地穿越受端交流系统故障,并抑制子模块电容过电压。     

全正色散双包层拉锥Ge-As-Se-Te光纤中的宽带相干超连续谱产生

制备了具有全正色散特性的Ge-As-Se-Te双包层拉锥光纤,并研究了其中的红外超连续谱输出特性。所采用的拉锥光纤的纤芯直径为12μm,外包层直径为108μm,锥区长度为9.8 mm。利用6μm的飞秒激光泵浦10 cm长的拉锥光纤,获得了1.5～14.3μm的超连续谱输出。与同样纤芯直径的单包层拉锥光纤相比,双包层结构不仅增强了光纤的机械强度,还减少了泵浦能量在锥区的损耗,进一步拓宽了超连续谱的宽度。模拟计算结果表明,该超连续谱具有高的相干性。     

近红外空间碎片激光测距光束准直性标校方法

将1064nm波长激光应用于漫反射空间碎片激光测距,具有大气透过率高、回波光子数多、白天天空背景噪声低的优势。由于近红外激光束后向散射图像的信噪比与对比度较低,导致图像中光束边界模糊,光尖坐标提取困难,无法精确控制发射准直性和望远镜收发光轴平行性,不利于回波获取。为此,提出了一种基于图像处理的光束准直性标校方法,实现光束闭环控制,修正激光束出射准直性,提高望远镜收发光轴平行性。实验结果表明,所提方法能够显著改善1064nm波长激光束出射准直性,实现了望远镜收发光轴平行性的闭环控制。     

二阶多重同步挤压变换及其在涡轮泵信号处理中的应用

液体火箭发动机涡轮泵振动信号在变工况情况下表现出非平稳和强噪声特性,为特征频率分量提取带来困难。针对该问题,首先,提出二阶多重同步挤压变换(second-order multisynchrosqueezing transform, SMSST)时频分析方法,完成了数学推导并证明了其收敛性。在此基础上,提出基于自适应带通滤波与脊线提取的转频分量提取方法。用仿真信号对SMSST方法进行验证并与传统方法比较。最后,将基于SMSST的转频特征提取方法应用于发动机转速辨识和故障诊断,并用实际数据进行验证。结果表明,与传统时频分析方法相比,SMSST具有更高的时频分析精度。提出的方法可以提供有效、可靠、冗余的转速测量手段,并且该方法可以支撑故障早期预警。