加强城市园林建设势在必行

银川市作为宁夏的政治、经济、文化、旅游中心,理应建设成为经济繁荣、环境优美、生活舒适、生态健全的现代化城市。在西部大开发中,城市园林建设是“小而富,小而美,小而强”的一个重要组成部分;城市园林建设又是改善城市生态环境的一个重要支柱;城市园林建设是加强中心城市建设,提升城市建设品位,改善投资环境的重要内容,也是招商引资,吸引人才提供一个优良的生活环境。     

谈出入境人身检查

出入境人身检查是出入境边防检查机关的一项重要任务.在新形势下,研究、掌握出入境人身检查的依据、对象、批准权限及检查的程序、方法与要求,对出入境边防检查工作具有重要意义.     

一个报表生成器的原理与实现

本文介绍了一个基于数据库文件的报表生成器的原理与实现,该生成器具有两种制表机制,它不但能快速简单地生成二维格式通用报表,而且能生成任意格式报表、空表、固定表等,从而为用户提供了一个简便、实用、高效的制表软件开发工具.本生成器采用TURBO C语言在长城系列微机上实现,生成DBASEIII报表打印源程度。     

雷达业务与技术勤务管理系统(RDMS)

智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。     

计量设备失准时检测结果的评定

发现计量设备失准后,对测量结果的评定有关内容:即对失准后的报告和评定程序,对失准计量设备检测结果进行评定的方法以及评定结论和如何处置等进行了分析探讨。     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

多机环境下系统程序并行化的实现方法

本文给出了多处理机环境对系统程序的要求,阐述了系统程序并行化研制过程中遇到的问题和解决办法,给出了实现临界段互斥的三种处理方法及其性能评价。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

实时嵌入式系统程序设计语言发展

设计一个实时嵌入式系统时,程序设计语言的选择是至关重要的。决策者常常不从技术的角度考虑,而仅仅以其经济基础权衡,或者一味地追赶时髦,其结果往往适得其反。就软件开发人员来说,必须深刻了解一些与语言本身的技术内含有关的问题,才能在选择语言时做到有的放矢。本文详细分析了实时嵌入式系统程序设计语言的特征,系统介绍了实时嵌入式系统程序设计语言的发展历程和现状,分析和比较了当前几种主流语言各自的性能特点,并就其应用前景作了简要推测。     

让“简约工作法”成为军营时尚

近期，随着河北邢台市纪委推行“简约工作法”、浙江诸暨市开展“十简”作风建设，“简约工作法”这个新颖的工作理念，因为强调办事程序简化、组织会议简短、讲话汇报简要、公务接待节俭，被越来越多的政府职能部门所认同和践行。军队作为随时应对多种安全威胁、完成多样化军事任务的武装力量，要闻令而动、动若风发、雷厉风行、以快制胜，