摘要：我们之前的工作表明,声学超材料中的非局部相互作用会导致极不寻常的类roton色散关系,即色散曲线存在局部极小值,与超流体液氦-4类似.然而,这种行为仅限于一个或两个声传播方向.在这里,我们设计了一种三维立方对称声学超材料,沿三个正交方向具有非局部相互作用.有限元计算表明超材料在三个正交方向具有类roton行为,但其行为远非各向同性.有限元结果与半解析模型结果吻合良好.相应的实验正在探索中,由于需要密集而复杂的三维声学管道,实验要求较高.

摘要：设计和测试了内嵌准光系统的94 GH z回旋管,该系统主要用于研究毫米波辐射的非致命生物效应。为了减少大功率高频下的回旋管壁面加热问题,选择TE+6,2模式作为工作模式。对于高阶模式,存在更多相邻模式,因此模式竞争会影响实验的稳定性和有效的可操作性。渐变腔已被设计为抑制单个腔中的模式竞争。另外,具有低衍射准光模式变换器的功率转换效率为98.54%。实验结果表明,回旋管输出功率为50.9 kW,效率为34.3%。对于非致死的生物效应研究,整体设计方案达到了预期的效果。

摘要：研究了一类带有不确定控制系数和不可测零动态的高阶非线性系统的自适应实际输出追踪控制问题.与现有文献相比较,所研究的系统更一般化,并且零动态的约束条件得到进一步放宽.通过运用增加幂次积分方法和自适应技术,设计了连续的自适应追踪控制器.最后,给出一个仿真算例验证控制设计方案的有效性.

摘要：互连网络,例如3-Dtorus拓扑结构,已成功应用于可扩展路由器的设计中.但是,3-Dtorus结构在实际应用时存在设计缺陷,扩展规模受到了限制.提出了一类新型的交换架构,称为蜂巢式路由器.基本蜂巢结构存在一些问题,通过引入镜像点可以有效解决,还给出线卡的具体设计方案.最后介绍了该架构下几类路由算法的设计.蜂巢结构表现出优秀的扩展能力和容错性,非常适合可扩展路由器的设计.

摘要：从蠕虫传播的漏洞主机发现、代码传播以及代码启动3个方面提出了一个完整的数据包级拓扑相关蠕虫仿真模型,设计了基于有向图的SmallWorld拓扑结构生成算法,并通过选择性抽象在NS2上实现了一个完整的数据包级拓扑相关蠕虫仿真系统.最后,通过该仿真系统实验分析了逻辑拓扑结构和蠕虫代码启动方式对蠕虫传播的影响.仿真实验结果表明,该仿真系统可以为拓扑相关蠕虫研究提供重要的支持.

摘要：模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.

摘要：提出一个专门针对协同环境下CAD模型的多层次动态的安全访问控制(multi-level and dynamic security access control,简称MLDAC)模型.该模型利用一种多层次的权限模型,以简化权限定义及其分配过程,丰富了权限表达能力,实现了产品模型的多粒度访问控制.通过参照工作流的基本理念,引入权限的依赖关系及权限状态迁移概念,实现了权限的动态授权管理.通过实践证明,MLDAC模型可以对协同设计操作进行更加有效的控制,符合设计任务间的分工性、依赖性和交互性的特点.

摘要：笔式用户界面提供给用户更为自然的交互方式,然而,笔式用户界面的构造是一项非常困难的工作,一个可用的笔式用户界面系统往往需要多领域、多学科的知识.系统地论述了一个支持笔式用户界面开发的工具系统Penbuilder的设计实现.它基于笔交互的特性以及无处不在的计算环境的要求而设计,为笔式用户界面的开发提供高级的支持.基于Penbuilder的支持,设计开发了一批典型的笔式用户界面原型系统.该研究为笔式用户界面的构造与快速原型提供了有力的支持.

摘要：为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用例.首先给出适应值函数构造基本模型,即利用测试数据的真实执行轨迹来评估它相对于指定路径的适应值.该模型的核心在于度量执行轨迹与指定路径之间的相似度,为此给出了3种不同的相似度度量算法.该模型可以完全自动化地为每一条目标路径构造出特定的适应值函数.实验结果表明,相对于其他路径测试方法,该方法在针对复杂路径的情况下具有一定的优势.此外,实验结果还指出了该方法的适用性范围和局限所在.

摘要：传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设计了通过复制错误流关键子图实现部分冗余的算法.在保证有效容错能力的同时,部分冗余明显减小了经过容错编译的程序在存储空间和性能上的开销.实验显示,与复制全部错误流图的完全冗余相比,在结点覆盖率降低6.25%的情况下,部分冗余算法最多能够减少寄存器的使用数量6.25%,减少功耗超过17%,减少执行时间接近26%,同时提高性能超过22%.