连续流动体系仿真程序的形式化确定

以一个基本的连续流动体系为对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言，不变式和循环界函数，从而给出了一个具体的规范描述和一个正确的程序实现。最后，所使用的过程抽象为一个仿真程序模型的形式化确定方法。该方法可以作为仿真程序模型形式化确定方法学的一部份。进而在程序模型一级为保证仿真建模的正确性提供了途径。

数据挖掘在网站网页设计优化中的应用

因特网的应用提供了前所未有的数据量 ,因而查找用户所需的信息成为一件困难又麻烦的事情。有效组织数据 ,简化用户的查找是构造网站数据库必须认真考虑的问题 ,但这取决于用户的使用模式。了解用户如何使用网站的各项内容是一个知识发现的问题。而数据挖掘技术的目的就是在大量数据中发现知识 ,它已经成为知识发现的核心技术。从而数据挖掘技术为网络领域提供了一个知识发现的手段。讨论了在网站网页设计优化中使用数据挖掘技术的问题。介绍了一个具体的应用于该方面的数据挖掘工具WDWT的设计与实现。论述了系统的结构 ,各组成部分的功能 。

CSCW的研究内容及其关键技术

计算机支持协同工作 (CSCW)是一种将人类合作行为模式与计算机支持技术融合为一体的新兴技术 ,即在计算机技术支持的环境下 ,一个群体协同完成一项共同的任务。CSCW已广泛应用于CAD ,远程医疗诊断 ,多媒体协同编著 ,电子会议等领域。CSCW为了支持群体协同工作 ,CSCW系统必须为用户提供共享的资源和共享空间 ,这样就引发了诸多问题的研究。如合理的模型结构 ,用户间的感知层次 ,角色控制 ,共享对象的并发控制等。随着计算机科学与技术的发展 ,也给CSCW的发展注入了许多活力。如面向对象的技术使CSCW更容易实现不同层次的感知 ,多Agent技术使用户更容易与其他人协作。主要介绍了CSCW的定义、分类、主要研究内容、关键技术和其他技术对CSCW的影响。

电子商务中的密钥托管技术

电子商务随着Internet的迅速发展 ,日益受到人们的关注。但其安全问题经常令人不敢涉足其中。一方面参加商务活动的主体需防止另一方抵赖活动 ,另一方面政府安全机构为跟踪截获犯罪嫌疑人员的通信 ,都需要通过合法渠道获得电子商务中商务活动的主体进行数据通讯时的加密密钥。此时需采用密钥托管技术 ,而且密钥托管必须是安全的。为了安全起见 ,密钥被分成几块 ,分别存在几位可信赖的委托人处进行托管 ,任何一位委托人都不能单独恢复密钥。只有几位委托人在一起才能回复密钥。为了有效安全的进行密钥托管 ,采用了离散对数解决密钥托管。鉴于本算法的安全性依赖与求离散对数的困难性 ,所以当选用很大的安全素数时 ,此算法既简单又安全。并在SET中加入了此密钥托管技术 。

数据库课程体系的改革研究与实践

本文通过对数据库课程体系的改革研究与实践,确立了数据库课程体系的"五阶段"教学新模式,采取了数据库课程体系的"四加强"教学新措施,坚持了数据库课程体系的"三加一"教学新目标,应用了数据库课程体系的"二技术"教学新方法,实现了数据库课程体系的"一平台"教学新软件。改革研究与实践的结果表明:此项目的成果具有一定的特色,并具有一定的推广价值。

应用型本科计算机专业硬件基础课程改革

结合国内外关于本科计算机专业办学的研究成果与当前的教学实际,提出了一种更有效实用的应用型本科计算机专业硬件基础课程改革方案。

化工仿真工艺流程图绘制平台的设计与实现

石油化工领域常常需要为新生产装置研制开发相应的仿真软件 ,而开发这类软件要用到大量的工艺流程图。在化工工艺流程图中 ,各种容器是以图形构件来描述的 ,因此绘制图形构件是作图过程中较关键的工作。介绍了一种石油化工仿真工艺流程图绘制平台的设计与实现方法 ,该系统是以可重用图形构件库为核心的集成化支撑环境 ,通过利用图形构件的定义、生成、组织、检索、重用 ,可解决在工业过程中的图形组态自动生成和整体工艺流程图绘制问题。在绘制构件中 ,为了使工作高效 ,坐标位置准确 ,几何约束是不可缺少的。系统采用了几何约束、构件关联等技术 ,具有人机界面友好。

轮轴车间办公自动化系统的设计

轮轴车间办公自动化系统(简称LZMIS)以车间服务器为中心,通过网络将铁路货修轮轴车间各个工作岗位连接在一起,使得各岗位采集的数据可以共享,同时也避免了以前手工报表的不便,从而实现办公自动化。介绍了LZMIS的功能及各模块的设计方法,并详细介绍了如何设计轮轴存储库的存取规则,从而使得机器手在存储轴承时移动距离最少,同时可以保证在选配轴承时可以避免轴承"饿死"。另外介绍了通过ODBC接口将车间数据上报给段一级服务器的设计方法以及如何与组态软件通讯,从而可以控制机器手正常工作。

基于Windows面向工业过程仿真对象的图形平台IPSGS的研制

本文介绍采用了几何约束、构件关联、二次多结点样条插值曲线、局部修改等计算机图形学新技术在Windows环境下所开发的面向工业过程仿真对象的图形系统IPSGS 1.0的总体框架和设计思想。该系统提供了可方便地用于生成工业过程仿真界面的构件库和应用函数库,同时也适合其它多种工程绘图的需要。

软件开发方向的应用型本科计算机专业硬件基础课程改革

本文结合国内外关于本科计算机专业办学的研完成果与当前的教学实际，提出了一种软件开发方向的应用型本科计算机专业硬件基础课程改革方案。

化工仿真培训系统中的智能绘图子系统

依据ＡＩ基本理论设计了化工仿真培训系统的智能绘图子系统总体结构。一个智能系统的关键在于其知识表示方法和推理机的速度，根据所涉及的化工仿真工艺流程图域的情况，采用了经典的Ｆ－系统来作为知识表示方法，并特别的设计了首字符串索引的知识库结构，建立了基于网络管理的有效事实串的形成机制，从而加快了事实与规则的匹配速度，实践证明，这些都对提高推理机的速度是有效的。

基于UML的一个应用软件建模实例

统一建模语言UML是近年来面向对象分析与设计技术方面一个非常重要的成果。首先对UML的内容和特点作了一个简单扼要的介绍,然后用它来为一个交互式应用软件———图书管理系统建模。

UML在软件开发过程中的应用

概括介绍UML,并以餐饮业自动服务系统为例,利用UML进行面向对象分析与设计的过程。主要通过几种图形来分析应用UML进行软件开发的过程。描述了用例图和活动图如何来获得系统的需求,用类图如何描述系统的对象及对象间的关系,用顺序图描述这些相关联的对象是如何通过交互来实现用例的。

Fuzzy对称可实现矩阵容度的计算

本文讨论了 Fuzzy 对称可实现矩阵的容度问题。找出了可计算的一个下界估计,借助于文〔8〕和文〔9〕提出的Ⅱ型 Fuzzy 关系不定方程的求解,给出了计算容度和计算相应的一组实现矩阵的算法。

数据处理系统性能评价的简单理论模型

提出了一个简单的理论模型．旨在为数据处理系统的性能评价提出一个理论框架．以此框架为基础，可形成实用的简单评估方法．该模型只含两个参数，它们是统计量，可用统计方法确定．