摘要：为了提高可见光通信(Visible Light Communication,VLC)系统的复用增益,本文提出一种基于多输入多输出(Multiple Input Multiple Output,MIMO)的固定比例像素化VLC系统。系统首先执行空间角度映射,使数据的传送可在角域中进行;同时利用Raptor编码方法来跟踪由于窗口截断而引起的数据信道特性变化;然后对于使用高速相机捕捉到的一系列时变图像,利用散景效应获得所有链路距离上的固定比例图像。实验利用液晶显示器和高速相机,对所提出的VLC系统进行了验证。与传统的像素化MIMO系统相比,本文所提出的系统在未对准朝向的情境下具有更高的鲁棒性,从而在多路复用场景有着广泛的应用前景。

摘要：阐述分数阶PID控制系统的设计,实现对半主动悬架进行控制。针对矿车悬架控制不能根据路面等级实时改变控制器参数的问题,使用混合模拟退火(SA)算法与粒子群(PSO)算法对不同等级路面下分数阶PID的控制参数进行优化。通过优化使评估环节的函数值达到最小,从而得出不同等级路面中相应的控制器最优参数组合,并进行仿真测试。

摘要：以非均匀有理B样条(Non uniform rational B-spline,NURBS)曲线理论为基础,证明修改节点矢量对NURBS曲线的影响具有局部性,推导修改节点矢量引起的NURBS曲线变化量的计算式,提出修改节点矢量影响NURBS曲线的一般规律。对计算机辅助图形设计(Computer aided geometric design,CAGD)中曲线局部修改的实例进行试验研究,证明了修改节点矢量可以实现对NURBS曲线的局部修改,实现曲线交互式设计。对NURBS插值曲线节点因子调节法中航空压气机叶片边缘测量的实例进行了试验研究,证明可以获得拟合误差最小的叶片型面测量点NURBS插值曲线。试验研究证明所提出的'节点矢量影响NURBS曲线的一般规律'是正确的和可行的。

摘要：聚类集成技术可有效提高单聚类算法的精度和稳定性,其中的关键问题是如何根据不同的聚类成员组合为更好的聚类结果.文中引入谱聚类算法解决文本聚类集成问题,设计基于正则化拉普拉斯矩阵的谱算法(NLM-SA).该算法基于代数变换,通过求解小规模矩阵的特征值和特征向量间接获得正则化拉普拉斯矩阵的特征向量,并用于后续聚类.进一步研究谱聚类算法的关键思想,设计基于超边转移概率矩阵的谱算法(HTMSA).该算法通过求解超边的低维嵌入间接获得文本的低维嵌入,并用于后续K均值算法.在TREC和Reuters文本集上的实验结果验证NLMSA和HTMSA的有效性,它们都获得比其它基于图划分的集成算法更为优越的结果.HTMSA获得的结果比NLMSA略差,而时间和空间需求则比NLMSA低得多.

摘要：基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式.从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法.针对不同基准数据通路的实验结果表明了该算法的有效性.

摘要：为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形式化验证方法,将政策模型的操作语义定义为Kripke结构的状态迁移系统,政策中Agent行为的约束规则声明为线性时序逻辑公式,使用模型检测器Nu SMV验证政策模型对线性时序逻辑公式的可满足性。实验结果表明,该方法可有效分析责任政策的设计缺陷,提高多Agent系统设计的正确性。

摘要：为了提高可满足性求解器的效率,提出了一种利用电路可观无关性的方法.以带可观无关条件的CNF理论为基础,通过在可观无关条件计算时不使用变量排序,减少可观无关条件丢失.通过不对只出现在可观无关条件中的变量赋值,保证电路的控制唯一性.理论分析和实验结果表明,用该方法实现的可满足性求解器的搜索空间小、速度快.

摘要：功耗约束下的SoC核流水测试可避免过高功耗毁坏待测芯片,对SoC核的流水测试进行调度可合理地分配测试资源、减少测试时间.以进程代数为理论基础,提出了一种SoC核流水测试的测试调度方法.通过建立并发测试进程的时间标记变迁系统模型,形成了将前者转化为共享资源的通信代数(ACSR)描述的几个定理;建立了SoC测试调度模型;将核的流水测试映射为并发执行的进程、把测试资源建模为ACSR资源,用优先级解决测试冲突,使得功耗约束下的测试获得最大并行性,同时使测试应用时间最小.实验结果证明进程代数ACSR在处理SoC测试调度问题方面优于已有的经典算法.

摘要：中文文摘是自然语言处理领域的重要研究之一,尤其是基于理解的文摘中对时间特征的研究,更是引起了广泛的关注。本文抽取中文文本摘要的动态特征,进行文本挖掘和建模分析来体现时间特性。通过对中文动态多文档文摘系统框架和句子加权、特征抽取及句子选择等关键步骤的算法设计,实现动态文摘模型,并提出基于动态性能的中文文摘评测方法。实验证明该中文动态文摘技术及其评测算法在实际的文本挖掘过程中,能较好地获得可理解性的、具有时间延展性的摘要,具有一定的可行性和较高的研究价值。

摘要：随着当代信息技术的蓬勃发展和因特网的出现而诞生的远程教学,为中国高等教育的跨越式发民展提供了极好的机遇.作为一种全新的教学方式,远程教学将突破传统教学的时空限制,凭借其数字化、多媒体、信息量大、交互性强,覆盖面广等特点,为更多的人提供接受高等教育的机会.实施远程教学,是我国在教育资源短缺的条件下办好大教育的战略举措,是构筑21世纪终身学习体系的重要手段,是实现教育机会均等的有效途径,是教育适应未来信息社会、培养高素质人才的必然选择.为达到这些远程教学的目的,就要设计出好的实用的网络课件.