谈出入境人身检查

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

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

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

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

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

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

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

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

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

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

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

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

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

严格标准 规范报考程序

研究生干部选拔培养,应坚持“着眼长远、按需培养、突出重点、训用一致”的原则,切实把好入口关。一把思想素质关。按照群众评议、基层党组织推荐、政治机关考核、党委审定的程序,对送学预选对象的报考动机、德才表现等进行全面考察,切实选送思想素质过硬、入学动机端正、安心基层工作的干部入院校学习。二把任职经历关。     

按保障度最大配置备件模型

考虑了备件资源有限,有多个需求单位的条件下,依据装备数量、零部件、元器件的故障率,单装用数、平均更换时间、各级维修机构领取备件的平均时间,建立了两级备件保障度的模型,并在备件总资源量一定的条件下,按保障度最大给出了两级备件配置的程序、方法和示例.模型举例说明了模型输出结果的特征和敏感性.模型应用可减少备件的积压,降低备件的短缺,提高备件的保障效果.     

博弈克里米亚

3月21日,俄罗斯总统普京签署了克里米亚共和国及塞瓦斯托波尔市加入俄罗斯联邦的总统法令,宣布两地完成了所有入俄法律程序,成立克里米亚联邦区,包含整个克里米亚半岛。24日,乌克兰临时总理亚采纽克要求乌克兰军队撤出克里米亚。