摘要：将感应电流磁共振电阻抗成像(IC-MREIT)应用于人体头部组织电导率重构,并在三层球头模型上进行仿真研究。首先建立二次磁场Z方向磁感应强度摄动对有限元头模型中单元电导率摄动的灵敏度矩阵;然后分析系统中激励线圈个数、激励线圈与三层球头模型相对位置及激励线圈半径等因素对灵敏度矩阵性态的影响,为IC-MREIT系统激励线圈优化设计提供指导;最后采用灵敏度矩阵法对三层球头模型非均匀电导率分布进行重构,仿真结果证明IC-MREIT技术用于重构头部组织电导率分布是可行的,在无创头部组织电导率检测领域具有潜在的应用价值。

摘要：　介绍了MPEG-1Layer3(简称MP3)和AAC的音频解码器在ASIC上的VLSI实现,部分解码使用了软件来实现。整个ASIC利用USB传输,并为MP3和AAC解码设计了专用的DSP结构。实现的算法中,根据硬件的特点做了很多有效的优化,并用Verilog语言编写。使用中芯国际公司(SMIC)提供的0.18μm工艺库进行了仿真和综合。

摘要：本文聚焦于一类非传统的高分子结构,也即基于分子纳米粒子(或称纳米原子,nano-atoms)的巨型分子(giant molecules)。分子纳米粒子是具有确定化学组成、分子对称性和表面官能团的三维刚性笼状骨架结构。巨型分子是利用分子纳米粒子基元构筑的具有精确结构的高分子。受到蛋白质中结构域概念的启发,我们提出经过表面官能化修饰的分子纳米粒子可以作为合成高分子的结构域和功能域,通过逆功能分析,结合包括点击化学在内的高效化学反应,来实现巨型分子的快速模块化合成、可控组装和功能评估,并利用其中得到的构效关系,更为系统地理解材料的性质和指导材料的进一步优化设计。同时,这种新型高分子也可被看成是尺寸放大的小分子。它的许多有趣的自组装行为和相应小分子既有相似之处,又有截然不同之处。比如,巨型表面活性剂在溶液中能像小分子表面活性剂一样组装成为尾链被拉伸的胶束,在本体中则像嵌段聚合物一样形成纳米相分离的结构。这些组装展现出对于一级化学结构不同寻常的敏感性,并容易形成一些非传统的罕见相态,包括Frank-Kasper相态、在低分子量层状晶体PEO中出现的非整数折叠以及在溶液组装中出现的多级结构。因此,我们认为巨型分子作为功能材料在将来的技术领域中将具有广阔的应用前景。

摘要：为了把广泛应用于网格四边形化和纹理合成的二维表面标架场拓展到三维,提出一种生成三维对称标架场的方法.不同于表面对称标架场(四对称方向场),二维标架场的对称性能用一个切平面的旋转角度来表示,而三维对称标架场的对称性却不能这样简单地表示.为了解决这个问题,利用球面函数来获得一个对称性表述,该表述对于绕任意一个轴的π?2旋转以及它们的复合是不变的.基于球面函数的表示可以获得一个有效的标架场光顺程度的度量,并以球面调和分析进行加速计算;基于一组边界约束,可以通过极小化这个度量函数来获得一个光顺的标架场,该标架场在表面上能很好地对齐法线.最后通过表面投影、流线追踪和奇异点来可视化这个标架场,并将这个光顺的标架场用于六面体网格生成,且讨论了它在生成高质量纯六面体网格方面的潜力,其与表面标架场在生成四边形网格方面的潜力是一致的.

摘要：为了提高轴向变量柱塞泵/马达小排量时的综合效率,基于柱塞式液压泵阀配流原理,引入变有效排量(VVD)理论,提出采用液控单向阀控制柱塞单元有效输出/输入实现轴向柱塞泵/马达配流及变量的配流机构,介绍变量阀配流机构的基本原理.基于AMEsim建立物理模型进行仿真研究,将变量阀配流机构应用于弯轴式轴向柱塞马达进行初步的原理样机实验研究.仿真和原理样机试验结果表明,采用该配流机构能够实现设计的配流、变量功能,具有提高高压泵/马达容积效率以及简化液压系统的潜在优点.

摘要：很多应用领域产生大量的序列数据.如何从这些序列数据中挖掘具有重要价值的模式,已成为序列模式挖掘研究的主要任务.研究这样一个问题:给定序列S、支持度阈值和间隔约束,从序列S中挖掘所有出现次数不小于给定支持度阈值的频繁序列模式,并且要求模式中任意两个相邻元素在序列中的出现位置满足用户定义的间隔约束.设计了一种有效的带有通配符的模式挖掘算法One-Off Mining,模式在序列中的出现满足One-Off条件,即模式的任意两次出现都不共享序列中同一位置的字符.在生物DNA序列上的实验结果表明,One-Off Mining比相关的序列模式挖掘算法具有更好的时间性能和完备性.

摘要：根据车辆在曲线路段的事故类型,确定了车辆侧滑、侧翻以及停车视距不足3种行车失效模式的极限状态方程,建立了考虑多失效模式的车辆曲线路段行车可靠性的概率故障树分析模型,并采用蒙特卡罗抽样模拟求解。选取山西省某山区一级公路为例,分别计算了道路11个曲线路段的行车失效概率,并进一步通过定义敏感因子,分析了路段各影响行车安全的危险因素。研究结果表明:可靠性指标可以作为定量化的安全评价指标来反映道路行车安全,实现对各路段间相对安全性能比较及潜在危险路段的识别;敏感因子反映了各危险因素对行车风险的影响程度,为今后安全改善决策提供了依据。

摘要：小增益定理是现代控制理论中极为重要的基本工具之一,它在关联系统和不确定系统的鲁棒稳定性分析以及鲁棒控制器设计的许多工作中都发挥着极大的作用.基于输入到状态稳定性的概念,笔者于1994年首次提出了广义非线性小增益定理.与之前的小增益定理不同,这一结果为同时刻画关联系统的内部稳定性和外部稳定性提供了一个统一的框架.从镇定与鲁棒自适应控制到分散式或分布式控制以及输出调节(抗干扰渐近跟踪),基于非线性小增益定理已经发展出一系列的鲁棒非线性控制器设计新工具.在过去10年间,复杂非线性大系统已成为研究热点,驱动着小增益定理向更加完备的网络小增益定理方向发展,以期解决网络稳定性与控制中的新问题.对此,针对非线性小增益理论的一些最新研究进展及其在通讯和计算约束下的网络化控制和事件驱动控制应用结果进行综述,并对该理论的未来研究方向给出一些建议.

摘要：变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用 .如果事先得到变量对称的信息 ,就可以减小解空间 ,提高逻辑验证的效率 .过去 ,人们通常用公式 fxixj=fxjxi检验变量的对称性 .这需要分别建立 fxixj和fxjxi的 BDD图 ,然后检查两 BDD图是否同构 .文中提出一种新算法 ,整个算法流程仅需建立一次 BDD.任何变量对称性的判别遍历 BDD一次即可完成 ,从而减小了算法的空间复杂度和时间复杂度 .

摘要：提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用.