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

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

电子政务与创建和谐社会首善之区——兼述北京市网上审批系统建设

一、引言 　　电子政务就是政府机构应用现代信息和通信技术,将管理和服务通过网络技术进行集成,在互联网络上实现政府组织结构和工作流程的优化重组,超越时间和空间及部门之间的分隔限制,向社会提供优质、全方位、规范、透明的管理和服务.在信息技术飞速发展的今天,加快电子政务的建设和发展是全世界发展的潮流,也是信息网络技术应用于政府管理的必然趋势.     

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

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

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

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

宇航员康复训练机器人自抗扰力控制

为帮助宇航员在失重环境中进行卧推训练,提出了一种基于并联柔索驱动机构的宇航员康复训练机器人.针对系统内部和外部扰动都比较大的问题,在对单个柔索驱动单元进行动力学分析的基础上,提出了基于自抗扰控制技术的宇航员康复训练机器人力控制器.为了验证自抗扰控制器的性能,通过与PID控制对比,进行了仿真实验.实验结果表明:该控制器具有良好的动、静态性能,抗干扰能力强,对内部参数变化具有很强的鲁棒性.     

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

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

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

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

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

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

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

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