基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.     

用状态分析法设计异步数据通信程序

本文提出一种在中断方式下,实现面向字符的异步数据链路控制规程的程序设计方法——状态分析法,根据规程画出状态图,利用状态图可以方便地设计出通信程序,状态图还可以帮助设计者分析、完善链路控制规程,本文通过实例详细论述了这一方法。图6,参3。     

面向对象模型语言MOOL静态切片系统的实现

以一种自定义的模型面向对象语言MOOL为例, 采用分层切片和逐步求精的混合算法, 使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明, 切片后的程序更加简化, 对调试程序有一定的辅助作用.     

NDQJava语言词法分析程序

随着计算机硬件的发展,电子元件的功能即将受到量子效应的影响.对量子计算和量子计算机的研究迫在眉睫.Shor(Journal of Computing,1994,26:1484～1509)提出的大数质因子分解算法,向人们展示量子计算诱人的潜力.为验证量子算法正确性、通用量子计算机的可行性以及帮助理解量子力学中诸多问题,南京大学量子计算与量子信息研究组于2006年春设计了一种量子程序设计语言--NDQJava,并于同年夏在经典计算机上模拟实现了NDQJava的处理系统.此处理系统遵循编译一解释的途径,由词法分析程序、语法分析与代码转换程序、量子汇编与解释程序三部分组成.作为处理系统的第一部分,词法分析程序须将能够正确分析源程序并给出结构明确的单词属性字序列,它的设计实现遵循了简明、易用两条准则.本文着重介绍词法分析程序,较为详细地讨论了其设计与实现过程,并讨论了其主要优缺点.     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.     

基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,文[1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件.本文讨论如何通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

基于时序逻辑语言XYZ/E的软件体系结构描述方法

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

基于分层思想的变量类型提取方法

提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。     

基于分层思想的变量类型提取方法

提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。     

图论在单词接龙中的应用

讨论了"单词接龙"的求解问题.运用图论中的欧拉定理建立了数学模型,并且设计了比较优化的算法,编制了程序.对任意一组单词,该程序可以判断出它们能否完成接龙.经测试,该算法较之传统的穷举法明显地降低了复杂度.     

基于时态逻辑语言XYZ／E的软件体系结构研究（Ⅰ）－－基本组件和连接件的描述

XYZ／E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又表表示程序的动态语义,这一特征恰好分层描述软件体系结构。本文采用XYZ／E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础。     

C语言通用图象处理软件系统

随着计算机技术的迅速发展,以应用为目的的各种各样的图象处理专用、通用软件包相继出现,在工农业生产、国防建设、生物医学及环境保护等各方面显示了它们不可缺少的作用.本系统参考了国外在PDP11及VAX11机上Unix 操作系统支持下的通用图象处理软件系统,全部用C 语言写成.C 语言是一种通用的程序设计语言,它不仅能写操作系统、编译程序及软件工具等系统程序,还可以代替汇编语言使用.C 语言的规模不火,编译程序     

融合跨语言特征的柬埔寨语命名实体识别方法

为了解决柬埔寨语词法标注语料稀缺、柬埔寨语命名实体缺乏明显标识特征的问题,提出一种引入英柬跨语言特征的柬埔寨语命名实体识别方法.首先,借助英语命名实体的成熟模型及英柬双语平行语料的词对齐关系,将源语言的实体类别映射到目标语言;然后根据柬埔寨语词向量构造最近邻图,采用标签传播算法,获得柬埔寨语单词的实体类别分布,完成跨语言知识转移;最后,将柬埔寨语单词的命名实体类别分布作为约束特征融入到条件随机场模型中.实验结果表明,融入跨语言特征的条件随机场模型能有效地提升柬埔寨语命名实体识别的效果.     

基于分层Petri网的敏捷供应链建模与分析

基于Petri网系统理论,采用分层分析的方法,将供应链抽象出顶层和底层模块,将顶层模块细化,形成底层模块,并生成与各层次相对应的状态图.根据状态图抽象出其中的库所、变迁等变量,形成对应的Petri网.利用Petri网理论对此供应链系统进行静态结构分析和动态行为分析,最终实现供应链上各节点企业的整体集成和协调控制.子网中应用CPRF流程生成订单的思想,构造订单生成子网模块,产品生产子网模块及信息采集子网模块,整合出整个供应链的子网系统.最后,对系统的鲁棒性和反应敏捷度作综合分析,构造了可达树,并对所建模型的正确性和可达性进行分析.     

机构综合的新型同伦算法研究

机构学问题的数学模型常可化为多元非线性方程组,一般求解多元非线性方程组需要初始值,而初始值的选择是相当困难的,同伦方法不需初始值就能求出全部解,为求解决这一问题提供了可行的方法,但需要编写专用的程序.通过构造新型同伦函数并结合Maple高级程序设计语言的通用工具箱,提出了同伦算法的原理与实现方法.运用该算法编写了MAPLE程序对3-RPR平面并联机构综合问题进行了研究,求出了全部解,为实际机构的设计提供了多种选择方案,为同伦方法提供了简便的实现方法.     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

Java异常处理机制使用经验与技巧

异常处理是Java程序设计语言中重要的概念，它是人们掌握面Java编程方法的关键之一。文章针对Java语言中的异常处理机制，结合应用实例，说明异常处理在编写Java程序的一些经验及使用过程中应注意的问题。     

Haskell:一种现代纯函数式语言

随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度.函数式程序设计语言为解决这些问题提供了优美独特的框架.文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等.Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型.     

分析C语言在数据库中的应用研究

随着时间的推移,C语言在我国的应用越来越广泛,它对计算机的机型没有明显的限制,能在多种不同操作系统环境下工作,且能够对计算机进行直接的操作.本文先是对C语言的程序设计进行了概述,又详细阐述了C语言在数据库中的应用,说明C语言为数据库的管理工作提供了便利.