提高ADA可重用程序部件可靠性的两种方法

建立可重用程序部件库是克服“软件危机”,提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手,详细阐述了提高ADA可重用程序部件可靠性的方法。     

基于算法框架的可重用部件设计与实现

对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现。     

面向对象的可重用软部件库系统设计与实现

本文报告了一个可重用软部件库系统设计与实现的途径,采用了基干对象的部件模型,提供了两种检索方式以及两套部件获职工具,阐述并给出了部件组合规则,提出了基于重用的软件开发新范式,最后讨论了软部件库的结构。     

基于对象的软件重用技术研究

讨论了基于对象的可重用软部件的重用技术，给出了可重用软部件模型的定义，提出了分层次的目录结构的组织方式及两种检索途径，阐述了软部件的生成方法及重用机制。     

基于对象的软件重用技术研究

本文详细讨论了基于对象的可重用软部件的重用技术，给出了可重用软部件模型的定义，提出了分层次的目录结构的组织方式及两种检索途径，阐述了软部件的生成方法及重用机制。     

Ada异常处理机制在容错可重用部件中的应用

软件容错是提高软件可靠性的重要手段，可重用软部件必须提供软件容错的措施，本文将Ａｄａ提供的异常处理机制作为容错的工具，分析了用这种工具实现多版本程序设计、恢复块技术和防卫式程序设计等容错技术的途径，介绍了在可重用部件中构造异常处理程序直接实现软件容错的方法，最后还讨论了异常处理机制在容错软件中的应用准则。     

软部件描述：模型,方法和语言

软件重用技术是软件工程领域的一项关键技术。目前,支持软件重用的方法主要有两种:块重用,即使用可重用的程序块;模式重用,即通过程序转换获得可重用性。其中,最为系统化、为工程化的软件重用活动是基于重用库的块式重用。块式重     

基于领域的O—O软件重用工具的研究与开发

基于领域的面向对象软件重用工具(简称OORT)是我们在PC Windows环境下开发的可重用软部件管理工具。OORT按应用领域来组织、管理可重用软部件,支持多个应用领域软部件的建     

对候选重用部件的考虑和实践

本文主要针对软件重用中的限制因素——怎样处理候选重用软件并获得可重用软部件而提出一种系统化思想。以此方法为指导上机实现了一种可重用的通用模块。关键词:候选重用部件 软件重用粒度 程序结构度量理论 平均信息载量     

基于可重用性组件的语言调试器实现

基于组件的ActiveX Scripting技术可使软件扩充变得简单,从而提高软件可重用性,利用此技术开发新的应用程序,能明显提高程序开发效率,改善程序质量.分析了基于组件的ActiveX Scripting技术结构以及脚本语言调试器的原理,采用可重用性组件实现了一个Script语言调试器,并给出了程序的具体实现.测试结果表明,该调试器的软件架构清晰,同时运行十分稳定、可靠.     

基于CMP系统的并行编程模式研究

研究基于CMP（Chip Multiple Processors,片上多处理器）系统的并行编程模式旨在建立开发CMP系统上并行程序的整套方法。首先简要介绍了多核并行计算,然后通过对CMP系统上并行计算问题的综合归纳,提出了基于CMP系统的并行编程模式的概念模型,这个概念模型包含并行体系结构、并行算法设计模型、开发环境、并行程序实现模型四个核心要素;其次,对各并行编程模式各要素及其子概念的内涵进行了阐释;最后以实例对并行编程模式进行说明,初步验证了这套编程模式的合理性。     

Studies of a Theory of Specifications with Built-in Program Extraction

We present a Theory of Specifications based on Martin-Löf's type theory, with rules for simultaneously constructing programs and their correctness proofs. The theory contains types for representing specifications whose corresponding notion of implementation is that of a pair formed by a program and a correctness proof. The rules of the theory are such that in implementations the program parts appear mixed together with the proof parts. A confluent and normalizing computational relation performs the task of separating programs from proofs. As a consequence, every implementation computes to a pair composed of a program and a proof of its correctness, and so the program extraction procedure is immediate.     

基于机器视觉的无夹具加工数控系统研究

本文介绍了基于机器视觉的轮廓零件自动定位寻位加工方法。该研究在可视化操作平台上,采用松弛复原图像,边缘特征抽取算法,可对任意定位的轮廓零件自动生成数控加工程序。仿真试验表明,该研究能满足无夹具数控加工的要求。     

自动分析递归数据结构的归纳性质

本文提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为三个主要部分.首先,它将递归数据结构的归纳性质分为两个主要类别,并提出对应的处理模式,从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次,提出了一种称为分割与拼接的技术来发现和描述递归数据结构是如何被程序修改的：递归数据结构首先被分割为若干个互不相交的片段,然后这些片段以新的方式重新拼接在一起,形成一个新的数据结构.这个技术的重点在于如何将程序原有的性质保留下来,从而为后面的分析过程所使用.最后,提出了一种调用上下文敏感的程序摘要过程间分析方法.案例分析和实验结果表明我们的分析框架可以有效地分析递归数据结构的归纳性质,并生成对程序证明过程有用的断言.     

E—P2DR3F安全防御模型在电力系统中的应用

提出了一种基于P2DR3改进的E—P2DR3F安全防御模型,该模型在传统的P2DR3安全模型的基础之上增加了报告模块、数据融合模块,从而使系统安全性与检测维护功能更加完善;其次添加了一种基于信息熵的风险评估机制,可以为系统制定出更加可靠的安全性策略,提供支持性数据信息,从而在源头保证了系统整体安全性;最后将E—P2DR3F安全防御模型应用于电力系统中,提出了电力系统安全体系结构的构建方案。     

Refinement of worst-case execution time bounds by graph pruning

As real-time systems increase in complexity to provide more and more functionality and perform more demanding computations, the problem of statically analyzing the Worst-Case Execution Time (WCET) bound of real-time programs is becoming more and more time-consuming and imprecise.The problem stems from the fact that with increasing program size, the number of potentially relevant program and hardware states that need to be considered during WCET analysis increases as well. However, only a relatively small portion of the program actually contributes to the final WCET bound. Large parts of the program are thus irrelevant and are analyzed in vain. In the best case this only leads to increased analysis time. Very often, however, the analysis of irrelevant program parts interferes with the analysis of those program parts that turn out to be relevant.We explore a novel technique based on graph pruning that promises to reduce the analysis overhead and, at the same time, increase the analysis’ precision. The basic idea is to eliminate those program parts from the analysis problem that are known to be irrelevant for the final WCET bound. This reduces the analysis overhead, since only a subset of the program and hardware states have to be tracked. Consequently, more aggressive analysis techniques may be applied, effectively reducing the overestimation of the WCET. As a side-effect, interference from irrelevant program parts is eliminated, e.g., on addresses of memory accesses, on loop bounds, or on the cache or processor state.First experiments using a commercial WCET analysis tool show that our approach is feasible in practice and leads to reductions of up to 12% when a standard IPET approach is used for the analysis.     

符号方案三维实体化的自动化方法研究

如何将创新设计过程中得到的符号方案生成直观的图形方案，是机械概念设计中的关键技术问题，通过对符号方案的邻接矩阵元素进行分析，得到机构的结构组成、构件连接关系等信息；运用符号方案的尺度矩阵确定各装配构件的二维几何尺度，在面向对象二次开发的环境下，基于三维参数化平台，实现构件的三维实体化；根据构件所处空间位置，按后台预置装配方法得到三维虚拟实体装配图。上述过程基于面向对象的环境，输入／读入概念设计得到符号方案后，系统自动地将符号方案生成三维虚拟实体方案。     

Automatic and personalized recommendation of TV program contents using sequential pattern mining for smart TV user interaction

Due to the excessive number of TV program contents available at user’s side, efficient access to the preferred TV program content becomes a critical issue for smart TV user interaction. In this paper, we propose an automatic recommendation scheme of TV program contents in sequence using sequential pattern mining (SPM). Motivation of sequential TV program recommendation is based on TV viewer’s behaviors for watching multiple TV program contents in a row. A sequence of TV program contents for recommendation to a target user is constructed based on the features such as an occurrence and net occurrence of frequently watched TV program contents from the similar user group to which the target user belongs. Three types of SPM methods are presented—offline, online and hybrid SPM. To extract sequential patterns of preferably watched TV program contents, we propose a preference weighted normalized modified retrieval rank (PW-NMRR) metric for similar user clustering. In the offline SPM method, we effectively construct the sequential patterns for recommendation using a projection method, which yields good performance for relatively longer sequential patterns. The online SPM method mines sequential patterns online by effectively reflecting the recent preference characteristics of users for TV program contents, which is effective for short-sequence recommendation. The hybrid SPM method combines the offline and online SPM methods. The maximum precisions of 0.877, 0.793 and 0.619 for length-1, -2 and -3 sequence recommendations are obtained from the online, hybrid and offline SPM methods, respectively.     

基于USB接口的数据采集系统设计

设计了基于USB2.0接口的数据采集系统。系统硬件主要由信号调理电路、USB2.0芯片CY7C68013及A/D转换器MAX125组成。软件部分主要包括固件设计、驱动程序设计和应用程序设计三部分。     

基于WWW的仿真软件JRTSS

基于ＷＷＷ的仿真软件ＪＲＴＳＳ（Ｊａｖａ－ｂａｓｅｄＲｅａｌＴｉｍｅＳｙｓｔｅｍＳｉｍｕｌａｔｏｒ）以ＲＴＳＳ仿真软件为基础,保持其原有特色,并采用Ｊａｖａ为编程语言,运行在Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ环境下。ＪＲＴＳＳ软件由三部分组成：仿真核心、建模程序与结果后处理程序。其中仿真核心运行在Ｓｅｒｖｅｒ端,建模和结果后处理程序为ＪａｖａＡｐｐｌｅｔ,由用户的Ｂｒｏｗｓｅｒ下载并执行。ＪＲＴＳＳ的系统模型是一个开放队列网络。通过在不同抽象层次对多个数据采集与处理系统、通信网络以及柔性制造系统的仿真与性能评价,证实ＪＲＴＳＳ是一个用于系统开发的有力工具。