NITDB存取方法层的设计与实现

数据库管理系统NITDB存取方法层提供了四种文件组织,它们是序顺文件,聚集索引顺序文件,二级索引文件和联接索引文件。本文详细讨论了各种文件组织的设计依据、设计思想和实现方法。     

银行回单柜系统的研究与实现

从软件工程的角度出发,对银行回单柜系统的研究和实现进行了阐述,摸索出了将面向对象系统分析,系统设计技术应用于实践的方法,并取得了良好的效果。     

MPEG-2传送流分析软件的设计

MPEG-2传送流(TS)格式,适用于高误码率的传输环境,对传送流的测量分析在许多研究或应用场合都是必不可少的,因此码流分析软硬件应运而生,而码流分析软件则是码流分析中的一个重要组成部分.文章介绍了MPEG-2传送流的结构以及传送流分析软件的设计与实现,并对各软件模块及其结构进行了描述.     

Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.     

一种对象式软件开发方法及其支持工具

提出了一种改进的对象式软件开发方法,该方法支持从概念建模、逻辑建模到实现的软件开发全过程;介绍了支持这种方法的图形化需求描述语言、形式化需求规格说明语言、由图形化向形式化的转换及由形式化向实现转换的方法和机制;简要地介绍了支持这种方法的一个软件工具的设计与实现。     

面向方面的程序设计及其相关的关键技术

从软件开发方法学的角度探讨AOP为何成为结构化或者面向对象技术的补充,它怎样提供对横切关注点的标识、分离和封装技术;然后论述AOP的有关概念,支撑结构,优缺点等.并结合开发一个对C语言扩展的AOP系统的具体实践,阐明和总结要实现一个AOP语言所要涉及到的关注点和方面的封装、描述,方面代码的编译,静态或动态织入方面代码等关键技术.     

混合密码SCB算法的密钥恢复攻击

针对SCB (senior cross breed)算法序列部分设计的安全问题, 在已知序列部分生成的密钥流的情况下,用 O(2⁴⁴)的计算复杂度恢复算法的种子密钥。为得到序列部分攻击所需要的密钥流, 基于单比特随机故障模型, 对SCB算法分组部分进行了差分故障攻击, 当引入640次故障时, 攻击算法成功率可以达到99.4%。恢复算法256 bit种子密钥需要的计算复杂度为O(2⁴⁴)。     

面向对象技术在多媒体CAI开发系统中的应用

多媒体ＣＡＩ的开发和应用迫切需要一个专用的高性能的创作平台,以便能支持多媒体课件的快速制作,支持多媒体资源的超媒体形式的动态链接以及事件驱动的演播方式。这就需要构造一个合理的多媒体ＣＡＩ数据模型,以及采用与之相应在的开发方法。传统的数据模型和ＣＡＩ系统设计思想在解决这些问题上有许多局限,而面向对象技术则能更好地完成上述要求。本文以作者用面向对象技术开发的一个多媒体ＣＡＩ软件创作平台（称作Ａｎａｌｙ     

新型DVB码流监控仪的设计与实现

DVB码流监控仪是数字视频广播系统的开发和运行中的重要调试工具和监测仪器。用采检验传输流是否符合MPEG-2 ISO／IEC 13818-1{SYSTERM}标准。传统的码流分析仪都是基于PC硬件平台的，价格昂贵，操作不便。提出了一种新的DVB码流监控仪实现方案，硬件基于现场可编程门阵列，完成码流缓存和接口转换，软件基于嵌入式软核Nios，完成DMA传送按键控制、LCD显示以及应用程序对DVB码流的分析与检错。提出的码流监控仪价格低廉，操作方便，便携性好，与传统码流分析仪相比，具有较高的性价比。     

新型DVB码流监控仪的设计与实现 

\DVB码流监控仪是数字视频广播系统的开发和运行中的重要调试工具和监测仪器，用来检验传输流是否符合MPEG2 ISO/IEC 138181{SYSTERM}标准。传统的码流分析仪都是基于PC硬件平台的，价格昂贵，操作不便。提出了一种新的DVB码流监控仪实现方案，硬件基于现场可编程门阵列，完成码流缓存和接口转换，软件基于嵌入式软核Nios，完成DMA传送按键控制、LCD显示以及应用程序对DVB码流的分析与检错。提出的码流监控仪价格低廉，操作方便，便携性好，与传统码流分析仪相比，具有较高的性价比。     

面向Agent软件工程的研究

讨论了Agent及面向Agent的软件工程技术 ,说明了软件开发中面向Agent的分析与设计方法 ,结合会议日程表 ,文章给出了面向Agent的I 方法在软件开发的需求分析、设计和实现阶段的应用实例 .     

Building Intrusion Tolerant Software System

In this paper, we describe and analyze the hypothesis about intrusion tolerance software system, so that it can provide an intended server capability and deal with the impacts caused by the intruder exploiting the inherent security vulnerabilities. We present some intrusion tolerance technology by exploiting N-version module threshold method in con-structing multilevel secure software architecture, by detecting with hash value, by placing an ““““““““antigen““““““““ word next to the return address on the stack that is similar to human immune system, and by adding ““““““““Honey code““““““““ nonfunctional code to disturb intruder, so that the security and the availability of the software system are ensured.     

面向对象的GPS应用系统分析、建模及实现

描述了面向对象技术的优点及发展趋势,结合面向对象软件的全过程剖析了ＧＰＳ应用系统的设计思想和所建立的软件模型,并给出了整个系统的实现方案,最后介绍了一个ＧＰＳ应用开发实例,文中所涉及的方法具有理论性和工程实践性并重的特点,适合于一般面向对象软件系统的开发。     

干式电力变压器CAD系统设计

介绍了一种采用面向对象技术的树脂浇注式电力变压器计算机辅助设计 (CRCAD)软件 ,说明了面向对象的设计方法在定义软件数据结构时的应用及优化设计的数学模型 ,阐述了系统的数据结构、体系结构及其应用结果     

基于m-序列的本原σ-LFSR序列构造

sigma-LFSR是一基于字的LFSR模型,它能够充分利用现代CPU的特点,具有结构简单、适合软件快速实现的特点。在实际应用中,本原sigma-LFSR最有价值,因此它的构造具有重要意义。本文首先考察了基于字的本原LFSR的距离向量,得到了它的若干性质,给出了一个距离向量为本原LFSR的充要条件;然后对本原sigma-LFSR的距离向量进行了研究,利用基判别定理给出了它的部分性质,并以此为基础得到了一个利用m-序列构造本原sigma-LFSR序列的搜索算法。最后对搜索算法编程实现,得到了有限域F2^3上所有2级本原sigma-LFSR的距离向量。     

DCS仿真软件的研究

DCS仿真软件是以数据库为基础 ,采用面向对象的程序设计方法实现的。本文分析了DCS仿真软件的系统结构 ,并按功能设计了组态模块、实时驱动模块、网络通讯模块。阐述了各模块的设计思想及实现方法。     

基于构件的分布式软件构架求精

目的消除在软件构架（SA）指导的基于构件的开发（CBD）中软件构架和面向对象设计与实现间存在的断层。方法根据软件开发各阶段的特点，采用规则映射方法对构架描述语言（ADL）ADEAG描述的SA进行求精，将其转换为UML描述的OOD层次。结果制定了一组ADEAG—UML的转换规则，并实现了一个工具支持转换的完成。结论所提出的SA求精方法和实现工具的使用有助于发挥SA在CBD中的指导作用，从而实现软件的规模化、工程化生产。     

Structural Research on Embedment of a Bare Deflated Spiral Case

Complete bearing spiral case has not been applied to large power stations in China so far. The proposal of applying complete bearing spiral case necessitates an analysis of the reliability of the spiral case structure and the security of units under various working conditions. In combination with practice of a project, this paper presents a three-dimensional nonlinear finite element static analysis of the concrete using a concrete smeared crack model by means of the well-known finite element method （FEM） software ABAQUS. The stress distribution of the spiral case and reinforcing bars, the range of damages in surrounding concrete, and the displacement of structure are quantified. The computational results indicate that the embedment method ensures the structure＇s safety in strength. At the same time, the result shows that this embedment is a kind of preponderant method for embedment in aspects of economy and technique of construction, and the application of this embedment method to the hydropower station is feasible provided that some proper engineering measures are taken to constrain the width of the concrete in accord with the code＇s requirements. The paper proves the security and reliability of the structural design of spiral case in hydropower station accordingly.     

A Multiplexing Algorithm of Multiple Elementary Streams Based on Virtual Buffer Control

The paper presents a prototype of virtual decoder of the transport stream＇s system target decoder （T-STD）. By connecting the coding model and decoding model, and feeding the overflow of decoding buffer back to control coding, we have got a self-adaptive coding model, and propose an algorithm of muhiplexing multiple elementary streams to a transport stream based on the principle of virtual buffer controlling strategy. The transport stream （TS） which uses this method passes the test of software unzipping and set top-box （STB） playing, and all of the analyzing parameters which are detected by code analyzer accord with the standard of MPEG-2. Some problems that playing time becomes longer and mul tiple TS streaming can not be fit for all the players are also analyzed.