谈泛型程序设计影响编程者思维

泛型程序设计是继面向对象程序设计之后对程序设计领域的又一次大的冲击。本文从泛型程序设计的历史、基础、理论、关键技术等方面对泛型程序设计做了一个总体概括，向读者介绍一种新的程序设计技术。     

基于构件的若干图算法开发和生成

软件构件技术可显著提高程序的可靠性和开发效率,极大减少开发成本.泛型程序设计有助于降低编程的复杂度,为重用构件开发提供有效支持.介绍了生成式程序设计思想及泛型程序设计技术,分析了图算法领域的关键特征及领域共性问题,并对广度优先搜索、单源最短路径、所有顶点对最短路径等一类问题进行抽象,设计出相应的泛型图算法构件,进一步借助PAR方法中的泛型机制进行描述,并在PAR平台程序生成系统上进行构件组装生成具体的算法程序.     

面向对象程序设计与泛型程序设计

目前在程序设计领域中面向对象程序设计占据着的主导地位,而随着面向对象程序设计的广泛应用,其自身固有的一些不足和缺陷也就显露出来。于是,一种新的程序设计方法———泛型程序设计近年来开始倍受人们的关注。因此对面向对象和泛型这两种程序设计方法进行介绍、分析讨论是非常必要的。     

泛型程序的多型值构造

泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上。     

泛型编程在面向对象语言中的对比研究

泛型程序设计通过从更高的层次对具体的算法和数据结构进行抽象,提高了软件的可扩展性、复用性和类型安全性,它主要是基于一系列自定义的类型约束而不是仅局限于预定义类型.该文对C++、Concepts C++、Java、C#以及Python等5种不同的、支持泛型程序设计的面向对象程序设计语言进行综合比较,并执行一个典型的且能够较好支持泛型编程机制的例子来分析这些面向对象语言的特征及对泛型编程机制的支撑程度,从而探寻泛型编程的本质特性,为减少程序开发的冗余、增强程序的可维护性提供参考.     

泛型编程在C++与C#中应用之对比

泛型程序设计是目前较流行的一种思维模式,应用于各种编译器中,本文对C＋＋与C#中泛型编程思想及实现方法进行了比较,讨论了它们之间的差异性,以便今后能更好地在不同的编程环境中使用泛型编程方法去有效地解决相关问题.     

泛型编程及STL在内存数据库中的应用

泛型编程是一种新的编程思想，它基于模板技术，有效地将算法与数据结构分离，降低了模块间的耦合度。STL(standard templatel library)是采用泛型编程思想设计的类库，其涵盖了常用的数据结构和算法，并且具有跨平台的特点。将泛型编程思想和汛库用于内存数据库系统的设计中，降低了开发强度，提高了程序的可维护性及代码的可重用性。     

C**类型约束编程概要

对面向对象、泛型程序设计(Generic Programming)进行了较为深入的分析,阐明了各自的目标、技术特征及其优缺点,着重论述了C 语言的一个泛型编程扩充语言C如何通过一种叫做"命名类型约束"的新的机制来实现静态类型需求的直接语言支持和编译检查,实现类型约束编程。     

一种抽象泛型机制的新型Java实现

泛型程序设计可大幅度提高程序的可重用性、可靠性和开发效率,高抽象的泛型机制则有助于降低泛型编程的复杂度.该文介绍了一种抽象泛型机制的核心思想和编程技术,分析了新型Java中与之对应的实现机理,并归纳出相应的转换规则,且在既有平台中实现了抽象泛型程序到新型Java泛型程序的自动转换和运行,最后通过一个Kleen算法实例,展示了抽象泛型机制的实际运用和相应Java程序的自动生成.抽象泛型机制的新型Java实现,在降低可重用算法构件的设计复杂度、提高算法构件可靠性的同时,也为泛型构件的设计和描述提供了行之有效的新途径.     

用GOOMPI进行消息传递

为提高基于消息传递的并行程序设计的效率,创新性地将现代泛型和面向对象技术应用于新型消息传递库(GOOMPI).在GOOMPI中,构造了一个完整的可扩展框架,用于对任意复杂及动态的数据结构进行划分、序列化和传递;并研究了如何利用并扩展GOOMPI的消息传递机制来传递用户自定义数据结构,以有效地开发并行程序.     

基于Matlab组件编程技术的IVCRMS设计与实现

人工智能技术和可视化编程技术的引进使得传统客户关系管理系统（CRMS）发展成为智能可视4ECRMS（IVCRMS）,然而人工智能技术通常需要进行复杂的运算处理,可视化编程技术却难以胜任这一要求．为解决这一问题,论文提出一种基于Matlab组件编程技术的实现方法,先将人工智能算法封装为COM组件,再利用可视化编程语言调用该组件。进而形成IVCRMS．通过一个客户价值细分的实例分析说明了IVCRMS设计和实现的过程．     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

可编程序控制器的梯形图编程技术

介绍了设计可编程序控制器（ＰＬＣ）梯形图的几种编程技术,着重探讨了经验法和波形图法的具体运用,并提出了编程技术的发展方向。     

浅谈非结构化程序的结构化变换

本文讨论了结构化程序的基本特征,提出了将非结构化程序变换成结构化程序的三种技术     

约束线性二次优化控制的多参数规划求解

针对求解约束线性二次优化控制问题,结合动态规划和控制时域长度为1的单步多参数二次规划,提出一种新的多参数规划方法。该方法一方面能够快速求解得到约束线性二次优化控制问题最优解与状态之间的显式函数关系,减少多参数规划问题求解的工作量;另一方面,能够同时求解得到显式分段线性状态反馈最优控制律。应用高频机械振动系统数值仿真例子,对该文的方法进行了数值仿真计算。仿真结果表明该文提出的方法是有效的。     

汇编语言程序设计技术研究

针对汇编语言程序设计难的问题,研究了汇编语言程序设计技术,给出了两个解决汇编语言程序设计的方法.方法具有简单、直观、规范等特点.     

智能水下机械手分布式控制系统的通信技术

研究了装备AUV的智能机制手分布式控制系统通信软、硬件技术，主要内容包括：基于套接口的以太网通信技术、基于Win32我多线程串行通信编程技术、C51单片机串行通信的软、硬件实现及并行通信的软、硬件实现技术，并阐明了具体的通信软件的编程及硬件电路设计。     

Maximum entropy approach for solving pessimistic bilevel programming problems

Bilevel programming problems are of growing interest both from theoretical and practical points of view. In this paper, we study a pessimistic bilevel programming problem in which the set of solutions of the lower level problem is discrete. We first transform such a problem into a single-level optimization problem by using the maximum-entropy techniques. We then present a maximum entropy approach for solving the pessimistic bilevel programming problem. Finally, two examples illustrate the feasibility of the proposed approach.     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

计算机智测系统的设计与开发

文章通过使用visual FoxPro程序设计语言设计开发计算机文化基础智能学习与测试系统,介绍了VFP强大的数据管理功能和面向对象的可视化编程技术,体现了VFP在数据处理和程序设计方面的强大功能,它具有丰富的工具、极快的速度、友好的界面、简洁的数据存取方式、良好的兼容性和真正的可编译性等特点.