摘要：针对目前面向对象软件的测试方法较少且效率不高的问题,提出将基于ART(adaptive ran-dom testing)思想的限制性随机测试RRT(restricted random testing)应用到面向对象程序中的方法.分析了面向对象软件测试用例的结构,提出了测试用例包含动态部分和静态部分.确定测试用例之间的距离为动态部分和静态部分的距离和,并分别给出了这2个距离的计算公式.设计了基于RRT的测试原型系统,该原型系统主要的功能模块有类图录入模块、测试用例距离度量模块、基于RRT测试用例生成模块、结果分析模块.通过试验对比了文中方法与随机测试方法.结果表明,文中提出面向对象的RRT方法在发现第1个程序错误的测试中比随机测试方法减少了约50%的测试用例数量,且在发现测试用例的质量上也几乎与随机测试相同.文中提出的测试用例度量机制能够有效地对面向对象软件中的测试用例进行区分,基于RRT的测试原型系统也能自动化地生成测试用例并自动测试从而大大提高了面向对象软件测试的效率.

摘要：性能是云应用的重要指标,云应用与现有应用在数据存储与管理方式和访问模式等方面存在较大差异,这使得传统的缓存管理算法难以适应云应用的要求.针对云应用的特性,设计了基于影响因子的缓存策略,亦即将元数据和数据缓存分开管理,使用影响因子综合管理影响缓存被再次访问的几率的多种因素,区别创建、打开、读取和修改等操作对缓存再次访问的几率的影响;设计了缓存关联管理策略,即利用元数据和数据之间的关联提高缓存管理的性能;设计了缓存主动调度策略,即通过主动淘汰较低影响因子的缓存项和动态调整元数据与数据缓存的大小来提高缓存子系统的适应能力和性能.最后实现了原型系统,并使用Filebench和Postmark进行了测试和分析,验证了面向云应用缓存子系统原型能提高1％～120％的I/O性能以及2％～87％的操作处理速度.

摘要：从介绍电子设计自动化中的软硬件联合设计入手,阐述了联合设计的必要性和重要意义,并提出了将法国开发的科学计算软件Scilab/Scicos扩充为软硬件联合设计工具的构想。随后,详细论述了将应用于描述电子电路设计时所遇到的问题及解决的方Scilab/Scicos法。对于所需模块的扩充以及编译器的构造也给出了说明。

摘要：对具备能量意识的无线传感器网络仿真器PoweTOSSIM进行深入剖析,详细分析PowerTOSSIM的仿真原理、体系结构、并发模型,描述仿真运行过程,最后指出PowerTOSSIM存在的几个不足,并从应用程序和仿真器设计两个角度提出改进方案。经验证,改进后的PowerTOSSIM是一个更合理的仿真器。

摘要：拓扑光子学的研究在光学通信领域具有重要的研究意义。为了实现拓扑边界态和角态,基于Su-Schrieffer-Heeger(SSH)模型,构建了二维正方形光子晶体结构,通过有限元软件仿真计算了该结构的能带,分析了对应的模式和拓扑相位。在此基础上实现了具有拓扑保护性质的边界态和角态,产生了相对带隙宽度为35%的较宽带隙,并通过频域仿真,验证了拓扑边界态具有单向传输特性和抗干扰的能力,拓扑角态能够把光波约束在角点的位置。结果表明:基于SSH模型设计的光子晶体结构能够实现高性能的拓扑边界态和角态,具有设计简单,容易实现的特点。

摘要：为解决传统电场传感器测量范围受限的技术难题,设计了一种基于光学 Parity-Time(PT)对称掺杂电光介质的微腔结构,提出新的电场传感机制.利用传输矩阵方法计算结构的传输谱,发现独特的放大的缺陷模式.缺陷模式的峰值和波长位置均随外电场变化,由此可以利用缺陷模峰值变化和波长位置变化两种机制测量同一电场.测量范围仅受电光介质击穿电场的限制,可以为 0 0.06 V/nm,几乎涵盖了可能的电场环境.对峰值变化传感机制,灵敏度范围 38.042- 47.558 nm/V;对波长变化传感机制,灵敏度范围 18.357-18.642nm/V,在测量范围内平均分辨率为0.00925 V/nm.

摘要：LED灯作为主要的新型照明工具,因其较高的灵敏度,可用于光通信系统中。为了研究与验证LED室内可见光语音通信系统的接收性能与传输距离,参照红外通信的信道模型,融入反射光的影响因素,在使用室内标准照明的光发射功率下,采用多径叠加网格算法,计算桌面各接收点接收信号功率等参量的分布,并设计与实现了LED可见光语音单向通信系统的收发电路。结果表明,当LED灯的发射功率大于2W、信号物理层通信速率不高于1Mbit/s的情况下,系统能够满足信号接收功率与接收信噪比的实际通信要求,并能够实现10m距离内的信号无失真解码与清晰收听。这一结果对LED可见光通信系统进一步的研究与应用有一定的价值。

摘要：提出了一种基于模型的实时调度设计方法,利用生产者-消费者模型解决约束条件下的SCADA系统实时调度问题。设计者可根据应用需求中的数据有效期及估算的任务计算时间,通过提出的模型计算出其他实时调度的参数,给出约束条件,并进行可调度分析。提出的方法也可用于设计有确定时间要求的实时嵌入式软件。

摘要：Petri网是目前最有前途的建模工具,它的应用几乎涉及到计算机学科的各个领域。文中将使用其作为办公自动化系统中较为复杂的公文流转工作流模型的设计工具,来分析设计流程中遇到的几个问题,并在提出解决问题的策略方面作一些探讨。

摘要：提出了一种基于流演算的最优规划程序设计语言OPPLFC(optimal planning programming language basedon fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,利用最优规划算子实现最优规划。OPPLFC的最优规划算子是通过引入强化学习报酬函数的多次离线执行。当与前一次离线执行所得的报酬相比较,值小则所得的动作序列为当前最优规划。给出了OPPLFC语言的组成、程序语义及其实现。最后,通过实例验证了OPPLFC语言的可行性。