直角坐标在软件开发中的应用研究

为简化不同软件开发技术处理界面中组件关系的算法,增强使用数学模型解决软件开发中算法设计的能力,全面分析和总结直角坐标系在界面设计中的应用十分必要。通过对不同开发技术处理界面设计的分析,界面中组件位置关系实质上都可以转化为坐标关系的计算。本文列举了直角坐标系在Python编程、Android编程、Java编程和Unity编程中的应用,以期给相应的算法设计提供借鉴思路。     

The PAR(p) Interconfigurations model used by the Brazilian Electric Sector

This study discusses the characteristics of the Periodic Autoregressive model, PAR(p), which is used to generate synthetic series of inflow energies that serve as entries for computer platforms that implement the planning and expansion of the operations of the BES – the Brazilian Electric Sector (SEB – Sistema Elétrico Brasileiro). The methodology for the design of a generating plant is presented in addition to the fundamentals of the “PAR(p) Interconfigurations” Model, which is referred to as the Inflow Energy Generation Model (IEGM) in this study. The major contribution of this study is to provide the first scientific discussion of the representation of multiple configurations using the PAR(p) model. For this purpose, several topics related to the time series are discussed, such as the definition of the model order, the matter of stationarity and the need to address possible outliers. Finally, a case study is presented, wherein the results of the estimation and generation of the described model’s scenarios are demonstrated.     

HART通信协议在汽油机速度测量和监控方面的应用

首先介绍了HART通信协议及他的优点，然后介绍了HART通信协议在汽油机测速方面的软件实现。该软件主要采用目前流行的VB编程语言。可设计出界面友好、功能强大的测量和监控软件。     

Proving termination of GHC programs

A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort, merge-sort, merge, split, fair-split and append, etc., can be proved. This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687 Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074. M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für Informatik, Saarbrücken until January 1997. Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science. R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International Conferences and has been on the Editorial Committees.     

VB中实现打印功能的方法

介绍了在VB开发的应用程序中,实现打印功能的几种方法.这些方法包括:①打印窗口;②通过PRINTER打印;③利用数据报表进行打印;④将打印内容传送于Office组件的Word或Excel,通过Word、Excel打印.同时列出了相关的程序格式.     

基于公用电话网的热电厂微机监控系统设计与实现

本文根据城市中热电厂技术改造的实际情况，设计与实现了以MODEM和法国生产的CDV-12蒸汽流量仪表为基础的远程数据采集与监控系统。     

网络化制造中基于STEP-NC的编程方法

STEP-NC是由欧美提出的新的数控接口标准，目的是取代旧的数控标准ISO6983。本文首先分析了STEP-NC的两种应用标准：ISO14649（ARM）和STEPAP238（AIM），并且分析了Part21和Part28的应用领域及Part21文件格式和其中的信息产生方法。然後介绍了ST-Developer环境下ROSEC＋＋颠库编程接口及其应用程序的早、晚编联方式，并且以此为基础设计了整个程序的编程流程，重点介绍了工艺规划设计。最后给出了在C＋＋编程环境下利用ROSE库函数写入形成STEP AP238文件的方法。     

基于MAPINFO和VB的自来水管网信息系统的建立

介绍基于MapInfo平台，利用VB语言进行二次开发，建立自来水管网地理信息系统的关键技术及其注意的问题。     

基于VB的动画方法及应用

为了实现利用VisualBasic编程语言实现动画模拟的功能,文章以对运动目标跟踪的计算机模拟为例,提出和实现了用该语言实现动画的各种方法,介绍了每种方法的原理并通过程序示例证明其达到了相应的动画效果。     

建筑工程投标报价优选模型

通过建立区间二次规划数学模型、灰色模型、多目标规划等模型，建立材料价格和用量的选择模型，提供投标单位一种便捷的调整工程造价和控制造价的手段。