C^(++)作为计算机专业入门语言的实践与探讨

随着计算机硬件与通信技术的迅速发展,计算机应用的规模与复杂度不断提高,计算机软件的开发语言、工具与环境也在不断更新。在系统软件与应用软件领域中,面向对象程序设计(简称OOP)语言C^(++)已成为主要开发工具,从微机、RISC作站、小型机到中、大型机的各种软件与硬件平台上均提供了C^(++)语言的开发环境;在管理信息系统、数据处理等结构化方法的传统应用领域中,越来越广泛地应用了客户/服务器体系结构,前端开发工具如Powersoft公司的PowerBuilder、Borland公司的Delphi等均支持OOP;

基于自动问答系统的信息检索技术研究进展

自动问答是根据用户以自然语言提出的问题给出一个明确的答案。近年来,自动问答越来越受到信息检索和自然语言处理的研究者的关注。典型的自动问答系统通常包含问题分析、文段检索和答案选择等部件。介绍了自动问答的最新研究进展和相关国际会议情况,着重阐述问题分类、查询扩展、文段检索和答案选择这四个热点技术的主要功能和常用方法,最后提出存在的一些问题和展望。

类型系统λω×≤的范畴论模型

类型系统一直是理论计算机科学的研究热点 ,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用 .不过至今为止人们还没有得到高阶子类型满意的语义模型 .λω× ≤fibration的基范畴是特殊的带序范畴 ,且有插入子 ,其 fibre范畴是带转换结构的笛卡儿封闭范畴 .λω× ≤

客户/服务器风格的体系结构描述语言NEWCOM

本文介绍一个客户／服务器风格的体系结构描述语言NEWCOM．它的抽象级别介于需求描述和第四代语言之间．NEWCOM程序从宏观上描述一个在客户／服务器环境下运行的MIS．它支持多种组件，并为这些组件提供了若干连接机制．NEWCOM涉及数据仓库技术及数据库变换技术，支持异构的网络结构和数据库平台，有助于实现企业的整体解决方案．NEWCOM具有通用性和开放性，既可作为软件人员的设计蓝图，又可直接为用户生成MIS系统．

动态优先系统及其Petri网语义

优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变迁 ,并对非安全系统的某些变迁进行分解 ,根据 (Σ,D)构造相应的 Petri网 ΣD.最后利用步序列证明了 ΣD 在不破坏动态优先结构 D的规格说明约束的前提下 ,尽可能地保持了 Σ的并发语义 .

UML分析模型中功能点计算的探讨

Function point analysis is a method used to measure an application's functional size,it is independent to the implementation programming language,it's measuring result can be compared between different development processes. UML is a standard modeling language used to OO amalysis and OO design,this paper describes a method to use the UML anslysis model to analysis the application's function points. So the project manager can use it to estimate the project's size and cost in the early development.

具有数据挖掘功能的网上购书系统设计与实现

电子商务逐渐成为一种趋势,从与其相关的巨大信息资源中发现新的知识,将有助于开展有针对性的电子商务活动。该文以C/S体系结构为基础,设计并实现了一个带有数据挖掘功能的网上购书系统,详细介绍了其设计思想和体系结构,并对系统的各部分功能进行了分析,还就一些具体的实际问题提出了解决方案。

基于属性集值不完备信息系统的Rough集方法

论文使用基于一般关系的Rough集理论和方法,研究了具有“属性集值”的不完备信息系统。通过研究由属性集值产生的不完备信息系统上的三种基本关系相容关系、非对称相似关系和拟序关系,建立了相应Rough近似集合的某种“单调”关系。在此基础上,讨论了系统属性约简及其实现算法。

基于Internet的远程教学系统数据库设计

岭南通用课件平台是一个基于Internet／Intranet、支持因材施教个别化教学的智能辅导系统（ITS）通用模型。介绍了该系统中从对象模型到关系数据库的设计方法，以及利用CGI、JDBC、RMI等访问远程数据库的解决方案。这些数据库设计方法及远程访问解决方案很容易推广到其他Internet应用。

软计算求解盟友选择问题

盟友选择问题是敏捷制造中一个重要的决策问题,文中首先分析了问题的需求以及选择盟友的标准和方法;然后,建立了一个以定单为背景,基于投标价格、投标工期、提前/拖期惩罚、项目满意度、竞标者的技术满意度、管理水平满意度、财务实力满意度、培训及售后服务满意度等综合评判指标的0-1规划模型;用模糊决策嵌入遗传算法(GA)的软计算(Soft Computing)方法求得了问题的近优解。仿真实验证明了该模型的有效性和可行性,同时表明了该算法具有成功解决大规模实际问题的潜力。

类型系统λω×≤的PER模型

类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 。

类型系统的研究与进展

1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻辑学家J.Girard和计算机科学家J.Reynold在70年代初为类型系统引入了“多态性”,分别提出了System F和多态λ演算。另一方面,Mar-tin-L of为了研究数学的逻辑基础,在70年代初提出了直觉类型理论,后来也用于程序开发的研究。 80年代后,类型系统的研究更是蓬勃发展,在程序语言设计、程序开发和验证以及机器定理证明方面得到了广泛的应用。目前随着面向对象思想逐渐占据软件开发的主流,面向对象程序设计语言的类型系统逐渐成为人们研究的热点。在80年代初,L.Cardelli提出了“子类型”(subtype)的概念,在1985年。

离线匿名电子现金系统的设计与实现

本文利用Java Applet和Java Network Launch Protocol等技术设计和实现了一个基于RSA盲数字签名的离线匿名的电子现金系统。系统采用B/S和C/S相结合的架构,可以方便进行Web在线支付和点对点支付。系统通过数字证书提供对用户和银行的强身份认证,用户在银行网站进行存取款和在商家网站进行支付,通过SSL协议来保证通信数据的安全,同时用户数据以加密的方式保存在本地磁盘,并可方便地移植到智能卡设备。

用有限状态机法实现单片机系统的加密

讨论了用有限状态机法实现单片机系统加密的原理和方法,并用ACTEL公司的FPGA实现。

软计算求解并行多机成组工件调度问题

自从Zade将模糊理论引入求解组合优化问题以来,出现了很多基于模糊规则与智能优化算法相结合的软计算方法.文章尝试将这种方法用于解决并行多机成组工件flow＿time问题.本问题中,设有n个工件计划在M台并行一致的机器上加工.这n个工作根据相似性分为b组.开始加工时,需要一个准备时间.当工件接续在同组工件之后加工时,不需要准备时间;反之,接续在不同组工件之后加工时,需要一个准备时间.本问题的目标是找到一个工件加工的调度顺序序列,使M台机器总的流水时间最小.在文章中,作者首次利用模糊规则量化结合遗传算法的软计算方法求解这类复杂的组合优化问题,最后给出计算实例及仿真结果.

网上购物系统的设计与实现

网上购物模块是目前电子商务系统中一个最重要的部件之一。文章对当前网上购物的各种实现方案进行了深入讨论，指出了其某些不足之处，并在此基础上提出了改进方案。且在自己所设计的网上购物系统中实现了这些改进。

一种新的XML文档更新计算

当对XML文档进行插入操作时面临调整编码问题,目前提出的很多编码方案不能同时很好地支持XPath查询和XML文档更新。在分析现有编码方案的基础上,提出了基于完全树的编码方案,该编码方案采用序号冗余和虚拟节点两种冗余方式,不仅支持XPath的查询,而且能有效降低因插入节点需要对XML文档进行二次编码率。实验结果表明,完全树以及相应编码有效提高了XML文档插入节点的效率。

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 。

自适应远程测试系统SAIL的设计和实现

本文实现了一个基于Internet/Intranet的远程测试系统SAIL,该系统主要用于远程学习和测试,并可以评价测试结果,根据测试者的实际能力自适应地创建练习。我们基于三层客户/服务器模型进行系统设计,使用Java语言进行系统开发,利用RMI实现客户端与服务器的数据与操作通信,采用数据与显示相分离的JFC设计用户交互界面。试运行情况表明,该系统的实现策略具有很好的可扩充性和可移植性。

新世纪科学技术的特点及高校科技管理的对策

对新世纪科学技术的特点进行了分析,阐明了在新世纪下,高校科技管理所面临的挑战,并针对当前我国高校科技管理的现状提出了若干建议和对策。