摘要：随着我国企业信息化建设的深入,办公自动化系统在许多政府部门都已经成功实施,但大部分采用国外的软硬件设备,降低了信息系统整体安全性,难以满足政府办公的信息安全要求。文章提出了基于国产CPU/OS的办公信息系统的设计和建设方法,并详细介绍了该办公信息系统的体系架构、设计和实现方法。系统的实际运行情况表明该系统能够改善目前的政府办公信息系统应用现状,满足电子政务应用的安全性、集成性和本地化服务需求。

摘要：DDR存储器是目前存储器市场的主流存储器,大量的嵌入式系统或手持设备也纷纷采用DDR内存来提高性能与降低成本,随着越来越多的SoC系统芯片中集成DDR接口模块,对于DDR控制器的验证工作显得越来越重要。针对现有DDR控制器验证技术中存在的问题,笔者设计了一种用于DDR控制器的验证方法,灵活性高与可复用性强,有效提高了芯片开发的效率,增加了芯片开发过程的可控性。

摘要：基于我国自主知识产权的CK-CORE处理器,设计了一款可满足GPS/北斗双模导航定位应用的导航SoC芯片。该芯片采用了一种结合码相位并行和频域并行的捕获算法,并且使用经典的延迟锁定环路(DLL)、频率锁定环路(FLL)和相位锁定环路(PLL)相结合的方法来实现码相位的跟踪以及载波的跟踪。进行芯片测试表明,SoC芯片定位水平误差小于10 m,灵敏度小于-145 dBm,冷启动时间小于48 s。

摘要：分析了业界常用的SoC(System on Chip)系统级验证方法,并阐述了提高SoC系统级仿真效率的三种方法。一是通过VIP(Verification Intellectual Property)代替CPU(Central Processing Unit)来加速仿真,二是通过空逻辑来代替相关模块实际代码来加速仿真,三是通过仿真工具(VCS)自带的功能来加速仿真。

摘要：为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。

摘要：着眼统计领域信息的发展趋势,从建设统计专题数据的必要性、基本思路出发,对统计领域专题数据库建设的步骤、方法、应用等进行阐述,并对统计数据专题库的应用等方面作了一些思考。

摘要：将OpenACC编程模型用于异构多核处理器时,由于异构多核处理器加速设备内存有限,操作大量数据的代码不能获得很好的加速。针对这一问题,在OpenACC中引入循环分块子句,对循环进行分块处理,使每个循环块使用的数据能够存储在设备内存中;提出面向异构多核处理器的循环分块子句生成算法,并在基于Open64的"源-源"自动并行化系统Auto-ACC中进行实现。测试结果表明,在异构多核处理器上,扩展的循环分块子句及所提生成算法能够对程序进行明显的加速。

摘要：农资连锁经营是一种日益发展壮大的新型农资配送模式,基于该模式设计实现了基于县村两级的农资配送服务平台。平台采用混合式信息交互架构,将Client/Server模式的功能和灵活性与基于浏览器的Browser/Server模式的易部署性和稳定性结合了起来,具有充分利用本地和网络资源、支持偶尔连接的用户、提供智能安装和更新的特征。此外,农资配送平台使用了中心模式的数据共享以达到异构数据的交换和同步;通过整合农业搜索引擎,实时抓取市场价格、供求等市场信息;通过导入各村镇地块的土壤信息和小麦玉米等农作物的施肥指标,为普通农民提供施肥配方建议,在配送农资产品的同时也配送了农民需要的农技信息和市场行情,指导农民安全科学地使用农资产品。

摘要：片上多核处理器(CMP)凭借其低功耗和低成本等优势迅速成为处理器市场的主角,它为多线程的实现提供了硬件支持。列存储技术在分析型应用中具有显著的优势。在列存储系统中,查询优化依然是最重要的问题之一。在列存储系统中,利用多核资源提高查询处理性能具有较大潜力。文中通过对查询执行器生成的物理查询树进行流水多线程设计,结合列存储的特点,建立传递块缓冲区,使主线程和辅助线程分别对传递块缓冲区读写,以提高查询性能。同时还提出使用操作系统中经典的"生产者和消费者"模式来解决线程之间的同步问题。提出的这些方法应用在实验室研发的列存储系统DWMS中,使用数据仓库基准测试集SSB验证了这些方法的有效性。实验结果表明,传递块缓冲区的设计使SQL的查询效率有了近50%的提升。

摘要：以承德市旧城区为例,在旧城区交通现状调研和数据分析的基础上,明确了交通功能和需求集中,区域交通组织不合理,配套交通设施不完善,停车供给不足,交通秩序混乱等中小城市旧城区面临的共性问题。研究在旧城区道路空间和交通设施受限的条件下,从区域交通组织优化、重点路口节点改造和重点路段的交通优化改造3个方面阐述了中小城市旧城区交通优化设计的主要方法和解决方案,从仿真评价结果来看,具有较好的优化改造效果。