合成语言FOPL实现注记

合成语言ＦＯＰＬ是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论ＦＯＰＬ语言的实现技术。     

合成语言FOPL基于方程逻辑的语义

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．     

函数式面向对象程序设计语言FOPL

本文介绍函数式面向对象程序设计语言ＦＯＰＬ的设计原则、主要特性及实现等方面的问题。     

Oracle CDE2中对Windows DLL的调用

本文讨论了在Ｏｒａｃｌｅ Ｆｏｒｍｓ４．５的例程和触发器设计中如何用ＰＬ／ＳＱＬ语言直接调Ｗｉｎｄｏｗｓ下动态连接库函数的方法，根据这个方法，可以在不退出Ｏｒａｃｌｅ Ｆｏｒｍｓ的情况下，运行动态连接库函数。     

CAD系统二次开发语言的设计与实现

ＣＡＤ系统二次开发语言的设计与实现王建民，孙家广（清华大学计算机科学与技术系北京１０００８４）ＤＥＳＩＧＮＡＮＤＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＴＨＥＦＵＲＴＨＥＲＤＥＶＥＬＯＰＭＥＮＴＬＡＮＧＵＡＧＥＯＦＣＡＤＳＹＳＴＥＭＳ￥ＷａｎｇＪｉａｎｍｉｎ...     

利用.PLT文件和PLOT绘制工程图形

ＰＬＯＴ是ＳＵＲＦＥＲ软件中一个图形输出程序，．ＰＬＴ文件则是由ＴＯＰＯ和ＳＵＲＦ形成的绘图文件。在ＳＵＲＦＥＲ绘图过程中发现，ＰＬＴ文件是由一组绘图命令组合的。根据其结构可以用高级语言编制类型众多的绘图程序，扩展了ＳＵＲＦＥＲ的绘图功能。本文就．ＰＬＴ文件的形成和ＰＬＯＴ绘制图形作了探讨。     

A COUNTER－EXAMPLE TO A FAST ALGORITHM FOR FINDING THE CONVEX HULL OF A SIMPLE POLYGON

ＡＣＯＵＮＴＥＲ－ＥＸＡＭＰＬＥＴＯＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＦＩＮＤＩＮＧＴＨＥＣＯＮＶＥＸＨＵＬＬＯＦＡＳＩＭＰＬＥＰＯＬＹＧＯＮＧｏｄｆｒｉｅｄＴｏｕｓｓａｉｎｔＡＣＯＵＮＴＥＲ－ＥＸＡＭＰＬＥＴＯＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＦＩ...     

复平面上超越函数零点的数值计算

复平面上超越函数零点的数值计算龙云亮，文希理，谢处方（成都电子科技大学）ＡＮＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＡＲＯＯＴＦＩＮＤＩＮＧＡＬＧＯＲＩＴＨＭＦＯＲＴＲＡＮＳＣＥＮＤＥＮＴＡＬＦＵＮＣＴＩＯＮＳＩＮＡＣＯＭＰＬＥＸＰＬＡＮＥ￥ＬｏｎｇＹｕｎ－...     

OOP的计算模型研究

虽然ＯＯＰ（面向对象程序）已得到广泛应用，但由于ＯＯＰＬ）面向对象程序设计语言）、ＯＯＴ（面向对象技术）还缺乏坚实的理论基础，致使早期ＯＯＰＬ在对象、类、继承性和方法等面向对象的基本概念及其语义方面还缺乏一些致性表示和定义。本文作者在我媒体软件和大型信息系统开发实践中，详细分析了几种不同的ＯＯＰＬ语言，提出了ＯＯＰ的计算模型ＯＯＣＭ。ＯＯＣＭ从形式上定义了面向对象的基本概念、相关语义及其计算特征     

MFOXPLUS＋数据库系统插入记录的链表方法

ＭＦＯＸＰＬＵＳ＋数据库系统插入记录的链表方法中国工商银行洪泽县支行罗升，陈洪森ＭＦＯＸＰＬＵＳ＋１００％地与ｄＢＡＳＥⅢ兼容；以其快捷的速度、全新的功能在微机数据库管理系统（Ｄ３Ｍ８）中，得到广泛的运用。用户在使用ＭＦＯＸＰＬＵＳ＋数据库管理系统，...     

JOptionPane高级编程技巧

介绍了Java中的JOptionPane几种较为复杂的使用方法,并提供了实现代码片断,以及完整的演示源代码。可以有效提高较为复杂的对话框的编程效率,对Java中对话框编程的初学者,具有一定的指导意义和参考价值。     

A goal programming approach for fuzzy multiobjective fractional programming problems

Fuzzy multiple objective fractional programming (FMOFP) is an important technique for solving many real-world problems involving the nature of vagueness, imprecision and/or random. Following the idea of binary behaviour of fuzzy programming (Chang 2007 Chang, C-T. 2007. Binary Behavior of Fuzzy Programming with Piecewise Membership Functions. IEEE Transactions on Fuzzy Systems, 15: 342–349.  [Google Scholar]), there may exist a situation where a decision-maker would like to make a decision on FMOFP involving the achievement of fuzzy goals, in which some of them may meet the behaviour of fuzzy programming (i.e. level achieved) or the behaviour of binary programming (i.e. completely not achieved). This is turned into a fuzzy multiple objective mixed binary fractional programming (FMOMBFP) problem. However, to the best of our knowledge, this problem is not well formulated by mathematical programming. Therefore, this article proposes a linearisation strategy to formulate the FMOMBFP problem in which extra binary variable is not required. In addition, achieving the highest membership value of each fuzzy goal defined for the fractional objective function, the proposed method can alleviate the computational difficulties when solving the FMOMBFP problem. To demonstrate the usefulness of the proposed method, a real-world case is also included.     

GP、SAP算法比较研究

针对规划问题,引入了固定结构解的描述形式,指出其离散量与连续量混合的多峰值优化的特点。在此基础上提出了固定结构遗传规划算法（GP）、模拟退火规划算法（SAP）,并进行了算法分析。最后通过实验对四个典型优化函数的优化进行了比较研究。研究与实验结果表明SAP算法综合考虑了结构优化与参数优化,具有收敛效率高、获得更优解概率大的特点;GP算法有利于结构优化,但不利于参数优化,具有收敛效率较低,获得更优解的概率较小的特点。     

数控机床控制系统专题讲座(Ⅲ)──数控机床的程序编制

介绍了数控机床程序编制的概念，编程常用的指令，零件加工程序结构与格式。举例说明了手工程序编制的方法及自动编程技术发展趋势。     

A novel approach to multiparametric quadratic programming

Multiparametric (mp) programming pre-computes optimal solutions offline which are functions of parameters whose values become apparent online. This makes it particularly well suited for applications that need a rapid solution of online optimization problems. In this work, we propose a novel approach to multiparametric programming problems based on an enumeration of active sets and use it to obtain a parametric solution for a convex quadratic program (QP). To avoid the combinatorial explosion of the enumeration procedure, an active set pruning criterion is presented that makes the enumeration implicit. The method guarantees that all regions of the partition are critical regions without any artificial cuts, and further that no region of the parameter space is left unexplored.     

Improving App Inventor usability via conversion between blocks and text

We have developed TAIL, a textual programming language isomorphic to the blocks language of MIT App Inventor (AI), and have extended AI with code blocks, a novel mechanism that enables bidirectional conversions between blocks and text fragments. TAIL improves AI׳s usability by facilitating the reading, writing, and sharing of programs, and may also ease the transition from blocks to text programming.     

面向任务协同程序设计的研究

针对软件系统呈现出的新的自然特性,面向对象程序设计与面向方面程序设计不能提供很好的技术支撑。文章提出面向任务协同程序设计,对其思想和实现原理进行了阐述,并对其解决的问题与意义做了简述。     

Leave and recall: Primitives for procedural programming

Two primitives for structured programming are introduced. The primitives allow a generalized procedure entry and return similar to the ‘loop’ and ‘break’ statements found in many algorithmic languages for control in repetitive commands. Examples are given and the practicality of the primitives especially for interactive programming is stressed. Finally, the detailed implementation of the primitives is discussed; they may be implemented as procedures within an existing language.     

对象式逻辑程序设计

本文首先对逻辑程序设计与对象式程序设计进行一些比较，然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。     

基于AOP的软件测试框架设计

通过研究AOP (Aspect Oriented Programming) 这种新兴发展中的技术,提出一种基于AOP的软件测试框架,适用于在对复杂的JAVA应用做回归测试和动态白盒测试,将需要测试的测试用例以测试方面的形式注册到容器,由容器统一将测试方面定义的测试建议织入到各动态测试连接点.