CORBA在TINA网络和业务管理中的应用

为适应分布式计算环境的要求,CORBA规范定义了能支持互操作性的接口和业务,TINA为基于CORBA的业务开发和网络管理应用定义了框架结构。给出了具体的应用方法及其与当前使用较多的TMN框架的互操作。     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

(Z)-3-丁烯基-4-羟基苯酞的合成与表征

用 3-羟基邻苯二甲酸酐为原料 ,仅通过两步反应 ,区域和立体选择性地得到天然产物 (Z) -3-丁烯基 -4 -羟基苯酞。并通过 IR光谱、NMR谱和质谱对其组成与结构进行了确认和表征。     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

tRNase Z: the end is not in sight

Although the enzyme tRNase Z has only recently been isolated, a plethora of data has already been acquired concerning the enzyme. tRNase Z is the endonuclease that catalyzes the removal of the tRNA 3′ trailer, yielding the mature tRNA 3′ end ready for CCA addition and aminoacylation. Another substrate cleaved by tRNase Z is the small chromogenic phosphodiester bis(p-nitrophenyl)phosphate (bpNPP), which is the smallest tRNase Z substrate known so far. Hitherto the biological function as tRNA 3′-end processing enzyme has been shown only in one prokaryotic and one eukaryotic organism, respectively. This review summarizes the present information concerning the two tRNase Z substrates pre-tRNA and bpNPP, as well as the metal requirements of tRNase Z enzymes. Received 29 March 2007; received after revision 15 May 2007; accepted 21 May 2007     

一种基于ebXML的数据交换系统架构

传统的数据交换系统缺乏通用性和扩展性,参与数据交换的各方为了对数据进行封装和解析,需要严格遵循相同的规则.该文提出一种基于ebXML的数据交换系统架构,通过构建符合XML标准的业务流程规范,可以不需要考虑底层数据交换细节进行应用开发,实现数据的无缝对接.     

图像处理过程中的边缘检测和边缘配准

综述了在图像处理过程中的边缘检测和边缘匹配的算法并比较了各算法的性能,同时在牙齿三维模型建立的实验中实现了边缘检测,同时根据边缘检测出来的Z子线,以及轮廓线与模型进行配准.     

具有两种不同服务的负顾客M/G/1排队系统

考虑单服务台提供两种不同服务的负顾客M/G/1排队模型,每个正顾客接受第一种服务后以概率θ(0≤θ≤1)进行第二种服务,或者以概率1-θ离开系统,第二种服务完成后也离开系统.服务规则是先到先服务(FCFS).在正顾客接受两种服务的过程中均可能有负顾客到达,负顾客不接受服务,只起抵消正顾客的作用,抵消正在接受服务的顾客(RCH).通过补充变量法和状态转移方程求得了系统稳态队长的概率母函数.