摘要：分布式系统概念没有公认的定义,不同定义之间甚至存在较大的差异,给学生理解、掌握分布式系统的内涵带来困难。分布性、协作性是分布式系统的根本特征。设计了多个案例,通过课堂研讨促进学生对分布式系统本质的理解,在分布式系统教学实践中取得良好效果。

摘要：在实时协同编辑系统中，操作意愿一致性维护是国际上提出的新概念，是协同系统一致性维护的重要方面．文档标注文法通过对共享文档进行恰当标注，屏蔽并发操作对共享文档造成的影响，使得操作在任意协作点上执行时的环境与操作产生的环境一致，从而有效地维护操作意愿一致性．结合实际应用中的具体操作，重点论述文档标注方法以及相应的控制算法．

摘要：在基于BLP模型的安全系统设计与实现中,其主体的安全标记与访问权限分别继承自登录用户的安全标记与访问权限,使得主体的资源访问能力过大,破坏了最小权限原则,使恶意进程能够进行大范围的信息窃取与破坏。针对上述问题,该文提出了一种基于用户意愿的改进BLP模型IB_BLP模型,要求主体对于具有访问授权要求的客体的访问,必须遵循用户的操作意愿,使主体的权限最小化。

摘要：软硬件划分是软硬件协同设计的关键技术之一,划分结果对最终的设计方案有非常重要的影响。软硬件划分根据优化目标的数量,可分为单目标划分和多目标划分。多目标划分问题是一个NP-hard问题,一般不存在传统意义上的"最优解",而是存在一组互不支配的Pareto最优解。遗传算法因其具有并行、群体搜索的特点而非常适于求解多目标优化问题。通过抽象描述将一个实际SOC设计问题转化为多目标软硬件划分问题,采用遗传算法便可获得最优设计方案。为克服过早收敛及加快搜索速度,改进了适应度函数的定义,通过自适应参数调整,加入惩罚函数的适应度定义,提高了进化速度,从而有效地获得了Pareto最优解集。在实际问题的应用中,多目标软硬件划分遗传算法是能有效求取平衡系统成本、硬件面积、功耗和时间特性的最优化方案。

摘要：随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证。CDC设计应用于研发的一款65nm工艺SOC芯片(最高主频1GHz、10个时钟域设计、多种工作模式),该芯片已流片回来。经测试,芯片的功能正确,说明设计和验证方法是完备的。

摘要：随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。

摘要：本文设计了数字神经元芯片NPS-1，其结构简洁，易于级联，用FPGA实现样片，集成度约一万门电路以阿拉伯数字识别和双向存储器为例，测试结果表明，该芯片设计、实现正确，同时结构简洁。

摘要：VIA是用户级集群系统工业标准.深入研究了VIA的规范和协议,设计和实现了一种高性能的用户级网卡--XUNI(PCI-X based user lever network interface),达到高带宽、低延迟,系统具有良好的计算通信重叠性.该网卡可以用于集群系统,也非常适用于高速网络存储系统.

摘要：文中设计了一个通用数字神经元芯片，其结构简洁，可编程实现多种神经网络模型，适于嵌入式系统．芯片用ＦＰＧＡ实现，集成度约一万门．为该芯片开发了多种应用实例，测试结果表明，该芯片设计、实现正确．

摘要：多路交换开关是高性能交换部件的核心。本文描述了基于Xilinx公司Virtex-II系列FPGA的特点设计和实现的一种高速多路交换开关,它由输入信道组织、内部无阻塞crossbar交换和仲裁调度器三部分组成。仲裁调度器的设计是多路交换开关的关键,申请和仲裁许可的完成时间关系到整个实现的综合频率和性能。我们提出一种改进的行波流水仲裁器设计,它公平有效,工作频率达到135MHz,在实际应用中效果良好。