摘要：向前安全和有效取消是群签名体制应具有的重要性质,它可以减轻由于密钥暴露带来的损害,支持群成员的取消.文中对具有向前安全和有效取消性质的群签名的设计加以分析,并设计出一种具有上述性质的群签名体制.

摘要：随着软件与网络的融合,以网络为基础的软件系统在规模、用户数量、组成单元的交互关系方面都成数量级的增长,成为一类重要的复杂系统,超出了开发人员的理解和控制.文中首先分析软件工程40年来软件开发设计方法学的变迁历程,并给出软件网络的定性描述,提出网络时代软件工程的新观点.然后以eCos开源系统为分析载体,从不同粒度上对网络模型进行拓扑特性分析,结果表明该载体网络在不同粒度上具有自相似的结构特性.最后针对嵌入式系统的本质特性,从节点异质性、局部抱团性和多粒度的网络规模简约3个方面进行实证分析,用以指导嵌入式软件系统的可配置、可裁剪目标,从而达到资源的最小负载.

摘要：针对高性能通用处理器的结构特性及设计特点,指出了由于在高性能通用处理器中存在发射宽度较大、数据通路规整的基本特点,其大多数电路中的堆叠效应依然明显存在.由此结合一款高性能通用处理器———龙芯2号的具体设计,对该处理器主要数据通路模块进行了输入向量控制,并提出以“直接观察法”、“有效分解法”、“操作数隔离复用法”、“模拟退火算法”等多种技术思想为基础的电路最小漏电功耗分析及优化的实用性方法.实验结果表明,以上方案能够使得处理器的主要数据通路的漏电功耗减少近27%,同时模拟退火算法与以往的随机算法以及遗传算法相比在寻找电路最小漏电功耗的全局搜索能力上具有优势.

摘要：基于改进的信任管理和协商技术,通过属性信任证实现多种类型的权限委托,设计并实现了一个基于契约的信任协商(COntract-basedTrustNegotiation,COTN)系统.在该系统中,引入了基于契约的信任协商方法,既在契约确立过程中预先终止无法进行的协商请求,又在契约约定下的协商过程中研究了对信任证和访问控制策略中隐私信息的保护,以高效、可靠地自动建立信任关系.目前,COTN系统已在网格中间件平台CROWN中得以应用,并采用信任票据和策略缓冲机制提高系统运行性能.通过相关实验表明该系统具有较好的稳定性和可用性.

摘要：提出了孤悬因子概念,并明确指出在数字签名设计中必须回避这一现象.此外,还具体分析了5个数字签名协议中出现的孤悬因子及冗余数据,证明了这些协议的不安全性.

摘要：软件自身的复杂性和未来变更需求的不确定性使得软件的稳定性评估十分困难.文中将软件的变更需求看成一系列"原子变更需求"的叠加,把"原子变更需求"的响应过程抽象成初始变更节点的随机选择过程以及由此引起的涟漪效应,提出了基于变更传播仿真的稳定性评估方法SEMCIS,定义了变更的传播模型和评价指标,并且给出了一种基于变更传播仿真的指标计算方法.实验结果表明,降低传播概率、改善软件的体系结构设计可以有效地抵御"涟漪效应"的发生,提高软件的稳定性.入度Hub的相互连接是造成大范围变更的主要原因,而入度Hub中存在的大量后继节点,则是造成大范围变更频繁发生的主要原因.

摘要：影响力最大化旨在从网络中识别k个节点,使得通过这k个节点产生的影响传播范围最大.该问题在病毒营销领域具有重要的应用背景,它已经引起了学术界和工业界的广泛研究.该文作者观察到已有的研究工作大多数只是针对单一网络,即在给定的一个网络上识别k个节点使得其在该网络上产生最大的影响范围;然而,随着社交网络的普及,丰富多样的社交平台不断涌现,以满足不同的社交需求,这使得社交人群不被局限在一个网络内,而是分布在不同的社交网络上.这种变化的一个直接影响是使得基于病毒式营销的应用,例如单一网络上的产品推广愈加不能满足推广的广度需求,很可能是单一网络上的用户量不能达到推广的目标人群数量,又或者广告商期望在多个网络平台上找到k个用户以最大化影响传播范围.为此,在文中,作者研究多社交网络上的影响力最大化问题.该文首先仔细地研究了影响力最大化问题在单一网络和多社交网络上的不同,并提出了实体的自传播特性以在多个网络之间建立联系.之后,作者提出了多社交网络上的影响计算模型来建模节点间的影响力,然后扩展了基于树的算法模型以适应多社交网络上的影响力最大化问题.基于所提出的影响计算模型和扩展的基于树的算法模型,作者提出了多种策略的优化算法.例如通过深层次挖掘自模特性来避免冗余计算,通过使用影响增益上界近似准确的增益来加速种子选取过程等,最后通过真实数据集上的实验表明文中所提方法在性能和影响范围上都优于已有的算法.

摘要：该文给出了n阶带形状参数的三角多项式均匀B样条基函数.由带形状参数的三角多项式均匀B样条基组成的样条曲线可通过改变形状参数的取值而调整曲线的形状,并且可以精确表示圆、椭圆、螺旋线等曲线.随着阶数的升高,形状参数的取值范围将扩大.

摘要：为了在时域研究超宽带口径天线的瞬态辐射特性,利用时域有限差分方法在平面波正投射、斜投射及柱面波投射于不同尺寸和形状的口径面的情况下,对口径面上的场进行了计算,进而得出该口径天线的辐射场.将通常天线的方向图扩展为可用于超宽带天线的空时方向图,并在不同激励的情况下用空时方向图描述了激励脉冲在自由空间展布的宽度与天线口径几何尺寸、形状和主辐射面的辐射波形之间的关系,得出改变口径面的形状和大小可以改变口径面的辐射特性的结论,为理解超宽带口径天线辐射特性并为进一步设计该类天线提供了理论依据.

摘要：该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一条能同时覆盖多个目标状态的状态序列.此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,该文方法能够有效地同时验证设计中的多个目标状态.