摘要：近年来,现场可编程逻辑门阵列(FPGA)在异构计算领域因其优异的可定制性和可重配置特点吸引了工业界和学术界的广泛关注.基于FPGA的硬件加速系统设计涉及到深度的软硬件协同开发,利用软硬件各自开发工具分别开发再集成的传统开发方式具有学习门槛高,集成、测试、部署耗时长等缺陷,开发人员难以利用FPGA可快速重配置的特点来实现系统开发过程中的快速原型和快速迭代.如何让硬件加速系统的开发利用到现代软件工程和程序语言领域的成果,研究者们经历了长期的探索,首先根据相关研究总结了硬件及硬件加速系统开发工具设计的历史教训和成功经验,然后介绍设计实践,最后进行总结并提出对未来的展望.

摘要：讨论了基于URL的网页内容过滤器的设计与实现。通过对Linux系统内核模块的分析,设计通过网络包截获、网络包过滤两个步骤进行过滤器的实现。在设计过程中,探讨并实现了URL阻挡树模型、上下层通信的技术(上下层大规模数据传输和内核主动发信号给进程的技术)和包的截获技术。

摘要：近年来,基于Petri网可覆盖性的验证技术已经成功地应用于并发程序的验证与分析中。然而,由于Petri网的可覆盖性问题复杂度太高,这类技术在应用时有较大的局限性,对于输入规模较大的问题常常会出现超时的情况。而Petri网的一个子系统非交互式Petri网,其可覆盖性和可达性复杂性均是NP完备的,同时表达力又可以作为某类并发程序的验证模型。设计并实现了可以高效验证非交互式Petri网可覆盖性的工具CFPCV。采用基于约束的方法,从模型中提取约束,并使用Z3 SMT求解器对约束进行求解,同时,通过子网可标记方法对候选解进行验证,从而保证每组解都是正确解。通过实验分析了该工具的成功率、迭代次数以及运行效率,发现该算法不仅验证成功率高,而且性能非常优异。

摘要：为了解决面向服务体系架构(SOA)的资源来源问题,提出了通过网格向SOA提供资源的解决办法。利用网格计算在定位和管理资源等方面的优势,向SOA提供丰富、敏捷和安全的资源。该文提出了基于网格的SOA架构,设计并实现了使用网格计算向SOA提供基础资源服务的方法。验证了该架构的可行性和优越性,为实现SOA提供了一种比传统实现方式更优的解决办法。

摘要：介绍了对形式化语言SOFL进行复审的设计思想及实现,从两个既相对独立又相互关联的方面——基于process的复审和基于data的复审展开,依据checklist问题集,帮助复审人员系统而有效地发现SOFL规约的错误缺陷、内部不一致性、不完备性、不满足性,对记录的评注或错误描述归类存档、分析处理。

摘要：当前的VR标准,可以描述一个被动的VR系统,即系统应用VR技术来实现一些预先设计的3D内容的可视化。然而,现实中的一个挑战在于构造主动VR应用,这种应用允许动态合成虚拟场景。为了能构造主动VR应用,该文结合目前工作描述了网络环境下虚拟展览厅系统,提出虚拟世界的数据库建模方法。文中阐述了该系统的用途和功能,给出了系统的结构模型等。

摘要：针对光学透视增强现实眼镜领域研究热点进行综合性论述.通过对现有光学透视增强现实眼镜产品的特性归类,引出目前制约该领域发展的两个主要问题:辐辏调节冲突和虚像幻影.围绕这两个问题,全面介绍过去近30年来的研究工作,分类阐述不同实现方案的研究脉络和优缺点.最后,就研究趋势和发展方向阐述自己的观点.

摘要：服务自动发现的实现中的核心问题是服务的自动匹配和定位。该文提出的解决方案是采用owl-sprofile来提供发布服务属性和功能描述的广告,构建基于ontology的服务搜索引擎,采取服务参数匹配和输入参数匹配的分级匹配方式,实现了基于概念推理的服务自动定位。介绍了基于该方法开发出的一个电子商务系统原型,描述了它的系统架构和实现机制,分析了该解决方案的可行性。

摘要：阐述了企业分布式律师信息系统的总体结构,并对各功能模块作了描述,同时给出了具体程序说明实现方法,这种基于***的程序设计使得系统更易维护,更安全,更稳定。

摘要：机器学习方法为构建系统软件带来了新的机遇.为充分利用硬件资源支撑新型应用,系统软件的设计与实现需要不断改进与演化,以适应不同场景的需求.机器学习方法具有从数据中提取规律并自动优化系统性能的潜力.然而,使用机器学习方法赋能系统软件面临一些挑战,包括设计面向系统软件的定制化模型、获取足量且高质量的训练数据、降低模型开销对系统性能的影响,以及消除模型误差对系统正确性的影响等.介绍了上海交通大学并行与分布式系统研究所在索引结构、键值存储系统、并发控制协议等方面应用机器学习方法优化系统软件的实践,并从模型设计、系统集成和实践者自身知识储备等方面总结了经验与教训.此外,还回顾了国内外相关研究,并对此研究方向提出了展望与建议,希望为未来的研究提供参考与帮助.