基于多目标演化算法的测试程序生成

针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标演化算法来自动引导生成新的测试程序.使用该方法对北大众志UniCore32-2微处理器进行实验的结果表明,在保证覆盖率指标的前提下,采用文中方法生成的测试程序模拟执行时间是现有方法的12.92%,是手写测试程序集的3.62%.     

北京市网上审批市级平台建设(下)

3、审批平台的主要功能设计在线服务平台——具有申报用户统一注册、统一登录、统一申报、统一反馈等功能。对申报用户提供了三种注册认证方式:自定义用户名密码方式;系统颁发凭证方式;数字证书认证方式。申报用户提交的申报材料将统一通过在线服务平台接收,并产生一个全市统一的申报号提供给申报用户,以表示此次申报是具有惟一性的申报请求。协同办公平台——依托政府专网搭建,是逻辑上统一、物理上分布的全市电子政务应用基础平台,为各委办局提供信息交换、资源共享和业务调度等服务。它具有申报信息和反馈信息的转发、审批事项办理情况统…     

北京市网上审批市级平台建设(下)

3、审批平台的主要功能设计，在线服务平台——具有申报用户统一注册、统一登录、统一申报、统一反馈等功能。对申报用户提供了三种注册认证方式：自定义用户名密码方式；系统颁发凭证方式；数字证书认证方式。申报用户提交的申报材料将统一通过在线服务平台接收，并产生一个全市统一的申报号提供给申报用户，以表示此次申报是具有惟一性的申报请求。     

ATM网络平台的仿真程序设计及初步流量分析

ATM网络是由一系列通过点对点ATM链路或接口相互连接的ATM交换机构成的网络。考虑到ATM网络中流量与拥塞控制的需要及QOS,特别需要有一个平台对其进行理论分析,文中设计了一个种基于微机上的ATM网络仿真平台,该ATM网络平台仿真主要是为分析ATM网络流量而设计的一个模拟整个ATM环境及各个设备行为的程序,可以较好地对ATM的流量与拥塞控制进行理论分析。     

非计算机专业“微机原理”课程的改革实践与研究

本文从构建科学合理的课程内容体系、教学教法改革及加强应用能力的培养与训练等方面介绍了非计算机专业"微机原理"课程的改革实践,然后对该课程的进一步改革问题进行了探讨和研究。     

基于数据对象规模的Rank级内存分配方法

利用主存的多bank/rank/channel结构挖掘访存并行性和局部性,是提高系统性能的重要手段.相关研究工作通过sub-rank技术增加可并行工作的存储资源,或在并行程序之间对bank划分,以隔离访存冲突.但上述方法没有考虑在bank/rank资源共存的情况下,单个程序内部数据对象间的冲突问题.通过观察数据在主存中的分布,发现程序的数据倾向聚簇于单个rank中,并提出了一种基于数据对象规模的rank级内存分配方法(data object scale aware rank-level memory allocation, DSRA).DSRA将冲突开销较大的数据对象分散到不同的rank,利用增长的bank/rank资源提高访存性能.DSRA工作在操作系统层,基于编译器和操作系统提供的信息来分析数据对象间的冲突开销,既不用修改源码,也不依赖特殊的底层硬件.基于2款真实处理器对来自NAS Benchmark和SPEC CPU2000中的存储敏感型基准测试程序进行评测.结果表明,在不影响cache失效率的情况下,DSRA通过减少主存访问周期数,可以降低程序的执行时间.与已有的优化技术相比,性能平均提高6.8%,最高性能提升幅度为16%.     

以科学发展观指导首都信息化建设

当首都全面建设小康社会之时，更好地把首都信息化事业不断推向前进，准确把握科学发展观的基本要求，更加注重搞好宏观调控，更加注重统筹兼顾，更加注重以人为本，更加注重改革创新，解决好通过信息化的持续发展进而带动和支撑城市经济社会持续发展问题，具有重要现实和深远的意义。     

使用局部建模的微处理器测试程序自动生成方法

模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试...     

基于绳索牵引的航天员机能训练机器人虚拟重力控制

为了解决在微重力条件下长期生活的航天员的运动机能下降、肌肉萎缩和肌力衰退等问题,提出了一 种基于绳索牵引的柔性Stewart 式航天员机能训练机器人机构模型．在对机器人系统进行力学分析的基础上,提出 了一种基于单绳索力闭环的准闭环虚拟重力控制策略,并在实验样机上进行了虚拟重力控制模拟实验．研究结果表 明,该控制策略是可行的,可以在人体运动过程中实现虚拟重力加载控制．该研究为在微重力环境下通过机器人实 现虚拟重力加载控制奠定了理论基础．