基于Web的机票预订系统的设计与实现

文章主要介绍了实现机票预订系统的管理过程,该设计的完成也切实的体现了系统管理实施的优点。首先让大家了解了该系统开发的背景、研究现状及其发展趋势,让读者清楚设计该系统的目的及意义。然后较为详细地叙述了系统设计的可行性分析、需求分析、概要设计和功能的实现,其中主要以技术可行性和功能需求为主要叙述对象。最后把系统测试的方法和设计该系统出现的问题及修改完善的方法加以说明让大家更好的了解设计的过程。系统的功能主要包括基本的查询系统、订票系统、退票系统;主要的工作处理包括机票预订处理和退票处理;信息资料查询主要是管理员对客户信息查询、用户对航班信息查询、机票预定查询和退票信息查询;这些功能都满足了客户对机票预订系统的使用需求和对信息检索的要求。     

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.     

基于JSP技术的Web网站安全性研究

通过对基于JSP技术的Web网站的体系结构的介绍．从Web服务器安全、JSP脚本编程及数据库安全等几方面分析研究了web网站存在的安全问题，并探讨了web网站开发时应采取的安全措施。     

An intelligent web-page classifier with fair feature-subset selection

The explosion of on-line information has given rise to many manually constructed topic hierarchies (such as Yahoo!!). But with the current growth rate in the amount of information, manual classification in topic hierarchies results in an immense information bottleneck. Therefore, developing an automatic classifier is an urgent need. However, classifiers suffer from enormous dimensionality, since the dimensionality is determined by the number of distinct keywords in a document corpus. More seriously, most classifiers are either working slowly or they are constructed subjectively without any learning ability. In this paper, we address these problems with a fair feature-subset selection (FFSS) algorithm and an adaptive fuzzy learning network (AFLN) for classification. The FFSS algorithm is used to reduce the enormous dimensionality. It not only gives fair treatment to each category but also has ability to identify useful features, including both positive and negative features. On the other hand, the AFLN provides extremely fast learning ability to model the uncertain behavior for classification so as to correct the fuzzy matrix automatically. Experimental results show that both FFSS algorithm and the AFLN lead to a significant improvement in document classification, compared to alternative approaches.     

基于ERP系统的电子商务平台的分析

提出了利用DNA和XML技术构建基于ERP系统的电子商务平台的解决方案，并且给出了数据接口的几种实现方式。     

电视电缆故障点的确定

根据惠斯通电桥工作原理，采用回路法可以简便快捷地确定电视地下电缆接地、短路故障点的位置。电容法也是一种常用的检查开路的检测方法。这样维修人员可以迅速排除故障，保证电视节目的正常传送。     

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.     

Web型课件的开发与应用

分析了Web型课件的优点及功能，并针对Web型课件的开发和应用进行了初步研究。     

加强交叉铺网机控制的探讨

介绍了比利时OCTIR公司LF36型交叉铺网机的基本原理，并总结了对其安装、调试及纤网控制的心得体会。     

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

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