循环码的实现方法及其在前向纠错中的应用

循环码是线性分组码的一个重要子类 ,有严密的数学结构 ,具有纠、检错能力 ,且编码、解码用软件、硬件都容易实现。研究了循环码实现的方法和应用原理 ,结果表明 ,将该方法应用于前向纠错方式中 ,能大大提高通信质量     

住宅工程质量分户验收制度的实施与完善

本文阐述了建立分户验收制度的必要性,并简要介绍秦皇岛市住宅工程质量分户验收制度的建立、实施及完善过程。     

概念设计在建筑物加层改造中的应用

本文介绍了概念设计在建筑物加层改造中的具体应用。     

测控技术中含有"X"值的验证

利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.     

基于两维压缩特征字分析的BIST性能分析

在现代电子系统的设计过程中,由于对系统的可靠性和可维护性要求越来越高,因此必须针对具体情况设计相应的内建自检(built-in self-testing,BIST)模块,从而保证系统能够进行准确的故障检测和故障定位与隔离.提出了一种基于两维压缩特征字分析的BIST方法,就其压缩原理和检测性能进行了详细分析.分析结果表明,通过时域和空域的两维压缩,可以用较短的特征字实现高故障覆盖率.该方法简单可靠,便于硬件实现.     

Scheduling algorithm based on critical tasks in heterogeneous environments

Heterogeneous computing is one effective method of high performance computing with many advantages. Task scheduling is a critical issue in heterogeneous environments as well as in homogeneous environments. A number of task scheduling algorithms for homogeneous environments have been proposed, whereas, a few for heterogeneous environments can be found in the literature. A novel task scheduling algorithm for heterogeneous environments, called the heterogeneous critical task （HCT） scheduling algorithm is presented. By means of the directed acyclic graph and the gantt graph, the HCT algorithm defines the critical task and the idle time slot. After determining the critical tasks of a given task, the HCT algorithm tentatively duplicates the critical tasks onto the processor that has the given task in the idle time slot, to reduce the start time of the given task. To compare the performance of the HCT algorithm with several recently proposed algorithms, a large set of randomly generated applications and the Gaussian elimination application are randomly generated. The experimental result has shown that the HCT algorithm outperforms the other algorithm.     

化合物2杀菌活性的模糊聚类分析

应用模糊数学聚类分析的方法,分析了化合物2对几种病菌的抑制作用。算法公式数学模型处理得到模糊相似矩阵,进而画出动态聚类分析图即可分析化合物2对几种病菌抑制作用的特点及异同。此分析有很重要的实际应用价值。     

Abstract model checking for Web services

Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.     

DF3211通信管理机故障检查及调试探讨

对DF3211通信管理机在故障检查及调试过程中遇到的各种问题进行了详细的分析,并针对存在的问题提出了解决的方法。     

基于三层C／S模式的公安旅店业信息管理系统

三层Ｃ／Ｓ模式是基于Ｗｅｂ的ＤＢＭＳ服务，与常规的Ｃ／Ｓ模式相比，具有简便性，灵活性和瘦客户等特点，是信息系统建设的发展方向。本文提出了基于三层Ｃ／Ｓ模式的公安旅店业管理系统，详细讨论了系统设计与实现方法，包括数据库设计，三层Ｃ／Ｓ模式的实现以及图像采集与处理，数据实时归并，动态查控等功能模块的设计与实现，本系统已投入使用。