摘要：内容中心网络(Content-Centric Networking,CCN)作为一种以内容为中心进行路由、缓存的新型未来网络体系架构受到了广泛的关注.在CCN中,关键技术问题之一是网络缓存问题,现有方案主要采用ALWAYSLRU缓存策略,然而该策略容易出现相邻节点重复缓存的问题,使得网络整体缓存效率较低.针对这一问题,文中提出了一种基于逗留时间的新型缓存决定策略,设计了一种适用于CCN的合作缓存机制.在请求泊松到达的假设下,通过在单个缓存器对LRU(Least Recently Used)替换策略使用马尔可夫链建模,该文得到了内容在各缓存器平均逗留时间的近似计算公式.数值仿真结果显示,该方案相比传统缓存策略,有效地提升了网络缓存的效率和缓存内容的多样性,进而减少了用户请求服务的总跳数,增加了内容访问的命中率.

摘要：目前Intel、AMD、IBM等国际著名厂商均将其集成电路生产工艺全面转入65nm制程,对于以高性能为目标的高端芯片设计,受到了来自成本、设计与测试复杂性等方面的诸多挑战．文中主要论述了其中两个重要而具体的挑战:高功耗和日益显著的工艺参数变化(process variation)．首先分析了纳米工艺下芯片功耗的组成、高功耗的诸多危害和目前主要的低功耗设计方法;然后分析了工艺参数变化的组成,较大工艺参数变化对电路设计的影响以及电路性能分析、功耗分析和低功耗设计的统计式算法;最后结合笔者的研究工作,简单地对下一代集成电路设计的相关研究热点进行预测．

摘要：针对从电路转化而来的SAT问题,通用SAT求解器存在一个缺陷——电路互连信息的缺失,这是造成很多无关推导的根源.文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架.首先作者提出了定值子句的概念,利用这一概念可以在CNF结构中保存电路的互连信息,在搜索过程中更早地识别可满足解,减少不必要的搜索.其次,文中提出了在CNF结构上的状态变量赋值精简方法,摆脱了以往基于SAT的无界模型检验中这一步骤对门级电路结构的依赖.实验数据表明,利用文中方法进行前像计算能够取得明显的加速.同时,文章比较了两种搜索顺序在多时帧搜索中的效果.实验结果表明利用文中方法可以验证传统模型检验方法难以验证的复杂电路属性.

摘要：通过设计并实现的基于Intel网络处理器 (IXP12 0 0 )和相对区分服务模型的队列管理服务模块和一种新的缓冲管理算法DPBS (DynamicPartialBufferSharing) ,研究了系统同步、线程的任务分配。

摘要：访存带宽是限制众核处理器性能提升的关键,将片上最后一级Cache设计为所有处理器核共享是必要的.在共享Cache中隔离放置冲突的数据,是提高共享Cache性能的关键.文中提出了缓存块链接的硬件方法,用于隔离共享Cache中不同线程之间的数据.文中基于时钟精准的片上众核结构模拟器,使用Splash2程序组和生物信息学中的任务,对所提机制进行了评估.实验结果表明,与传统共享Cache相比,使用缓存块链接机制时,使得共享Cache的冲突性缺失率降低约20%,而使得IPC平均提高了约10%.

摘要：背景:同种异体软骨移植存在局部免疫排斥反应,有必要进一步减少其排斥反应,以促进软骨修复的临床应用,为此进行一系列局部免疫豁免诱导的实验很有意义。目的:观察FasL基因重组逆转录病毒载体转染软骨细胞形成同种异体组织工程化软骨在体内生长情况。设计:随机对照观察。单位:上海交通大学。材料:选用36只同种异体新西兰兔为受者,45只新生1周龄青紫蓝兔为供者,雌雄均不限。购自中国科学院实验动物研究中心。双嗜性逆转录病毒包装细胞系PT67购自Clontech公司;细胞培养基DMEM、胎牛血清、G418、Polybrene购自GIBCO BRL。方法:实验于2000-01/2005-07在原上海第二医科大学完成。摸球法随机将新西兰兔分为3组:同种异体软骨细胞-FasL组、同种异体软骨细胞组及空白组。每组各12只。利用重组逆转录病毒载体转染的青紫蓝兔软骨细胞和组织工程材料pluronic F-127复合物构建兔同种异体组织工程软骨。①移植物观察其大体观察与质量变化:各组均将相应材料注入新西兰白兔的皮下,移植接种后1,2,3个月取出移植物观察其大体观察与质量变化。②染色观察:移植接种后1,2,3月取出移植物,切片,行苏木精-伊红、Safranin’O、Masson’s trichrome染色观察。③抗体检测:移植接种后1,2月抽血1mL,将青紫蓝兔的软骨细胞用裂解液冻融裂解作为混合抗原,于琼脂糖介质中电泳分离,与受者新西兰兔血清作用,观察有无相应抗体产生。④补体依赖细胞毒实验:将青紫蓝兔的软骨细胞制备成2×109L-1的细胞悬液,接种于96孔板上,贴壁生长24h,加受者新西兰兔血清进行细胞毒试验,在显微镜下计数凋亡细胞的百分率。主要观察指标:①两组移植物的大体观察与质量变化。②组织学变化。③抗体检测结果。④凋亡细胞的百分率。结果:纳入实验兔81只均进入结果分析。①移植物的大体观察与质量变化:接种2周后,同种异体软骨细胞-FasL组及同种异体软骨细胞组兔接种细胞-材料复合物处,均有明显的结节形成,对照组未形成接节。同种异体软骨细胞组新生软骨组织随时间推移有逐渐缩小的趋势,并在第4个月后完全消失。同种异体软骨细胞-FasL组虽也有缩小的趋势,但7个月后尚存。同种异体软骨细胞-FasL组移植物质量高于同种异体软骨细胞组(P<0.05)。②组织学观察:同种异体软骨细胞组软骨组织周围可见大量的淋巴细胞浸润,同种异体软骨细胞-FasL组明显减少。软骨细胞内部,未见淋巴细胞侵入。麦松染色,光镜下观察,中部小部分白色为未成熟的软骨细胞,大部分成熟软骨细胞周围有染成绿色的胶原分泌。Safranin’O染色呈强阳性反应,表明基质中富含糖胺多糖。③抗体检测:将青紫蓝兔的软骨细胞用裂解液冻融裂解作为混合抗原,与受者新西兰兔血清作用,显示相应无抗体产生。④凋亡细胞的百分率:结果同种异体软骨细胞-FasL组、同种异体软骨细胞组及空白组血清CDC凋亡细胞的百分率分别为5%,6%和1%,均为阴性。结论:FasL基因重组逆转录病毒载体转染的软骨细胞能形成组织工程软骨,且能延迟退化3个月。

摘要：Web Service是目前研究界和产业界广泛关注的技术之一.随着Web Service的广泛应用,研究者们普遍认识到,服务的非功能属性,即服务质量(Quality of Service,QoS)是面向服务的应用能否成功的关键因素之一.因此,研究者们尝试从多个角度对QoS相关问题展开了研究.然而,现有工作普遍关注基于QoS的动态服务选择和组装等上层应用技术,而对于如何获取、存储、度量QoS等基础支持技术研究较少,而这些基础性工作对QoS相关的研究工作具有显著的重要性.此外,不同应用领域对Web Service QoS的需求不尽相同,因此,需要有一套灵活的机制支持在QoS模型定义、QoS度量方法、QoS信息采集等方面体现出的领域特性.针对这个问题,文中提出了一个可扩展的Web Service QoS信息管理框架,详细分析了该框架涉及到的重要方法与核心技术,并给出了该框架在北京大学软件构件库系统中的设计决策和方案.最后,介绍了文中框架在一个863计划项目中的应用实例,该实例展示了用户根据其应用的领域需求对本框架进行扩展并进行Web Service QoS管理的方法,从而验证了本管理框架的可扩展性及实用性.

摘要：在开放的互联网中,信任关系的建立是实现跨自治域资源共享与协同的前提.然而,网络计算环境的分布自治特性,使得各类复杂系统中应用不同的信任管理机制,容易导致信任定义的不一致问题,特别是很多系统为支持多域协作,直接假设实体间信任具有传递特性,而在模型中缺乏该性质成立的条件;此外,网络计算环境中的动态演化特性,使得驱动实体间协作的信任关系随需而变,而现有信任管理模型仅仅关注于系统功能结构,缺乏对这种动态性的描述.文中提出了一种动态信任管理模型DTM,基于信念公式形式化定义了主体间的信任公式,并将信任的传递特性(信任链)解释为模型的一条性质.在该模型中,针对信任关系的动态特征,以时间为参量刻画主体公式集,以事件为触发条件刻画主体间信任的变化,并基于正则事件序列描述信任管理的资源授权过程,可刻画主体间信任的建立过程.最终,设计、实现了一个信任管理系统CROWN-TM,并进行了初步实验分析.

摘要：最小种子集合选取问题(J-MIN-Seed问题)的目标是选择一个种子集合S,在影响传播结束后,它不仅需要影响一定数量的用户(如J个用户),同时S是最小的集合.虽然该问题得到了广泛的研究,但是现有工作却忽略了一个重要事实,即地理位置信息对于J-MIN-Seed问题是非常重要的.在许多真实的应用中,例如位置敏感的口碑营销,都有地理位置的需求.因此,该文将地理位置因素融入到J-MIN-Seed问题中,提出了位置敏感的J-MINSeed问题,并证明了该问题是NP-hard问题.该问题的一个挑战是如何高效且有效地计算给定区域的影响范围.为了解决这个挑战,该文对现有的树模型进行扩展,设计出一种高效且有效的近似模型.基于此模型,该文首先提出了朴素的贪心算法***-Greedy虽然有近似保证,但其计算量太大.为满足在线查询的需求,该文又提出了另外两种高效的算法Bound-based和Partition-Assembly-based.大量真实数据的实验结果表明:文中算法能有效地解决位置敏感的J-MIN-Seed问题.

摘要：随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期的行为特性,以提供用例生成的基础.文中针对嵌入式软件构件,提出建立构件扩展语义接口自动机模型(Extended Semantic Interface Automata,ESIA),通过对接口自动机模型进行变量、约束条件等扩展,支持构件行为特性的描述与理解.以ESIA为基础模型,提出了基于符号执行的ESIA-Symbolic测试用例生成方法,通过搜索有效的事件/数据序列,设计相关测试用例与测试场景.实验以高速列车车载通信系统软件为例进行建模与测试生成,并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比.