排序方式: 共有19条查询结果,搜索用时 16 毫秒
1.
冷英男 《辽宁石油化工大学学报》1994,(3)
提出了一个简单的理论模型.旨在为数据处理系统的性能评价提出一个理论框架.以此框架为基础,可形成实用的简单评估方法.该模型只含两个参数,它们是统计量,可用统计方法确定. 相似文献
2.
冷英男 《辽宁石油化工大学学报》1997,(4)
以一个基本的连续流动体系为对象,讨论了传统的仿真建模过程在程序模型选择方面存在的不足,并以程序正确性断言理论方法处理了该体系的程序模型选择问题,导出了必要的程序前置断言,不变式和循环界函数,从而给出了一个具体的规范描述和一个正确的程序实现。最后,所使用的过程抽象为一个仿真程序模型的形式化确定方法。该方法可以作为仿真程序模型形式化确定方法学的一部份。进而在程序模型一级为保证仿真建模的正确性提供了途径。 相似文献
3.
冷英男 《抚顺石油学院学报》1997,17(4):41-46
以一个基本的连续流动体系对象,讨论了传统的仿真建模过程在程序模型选择方面存在的不足,并以程序正确性断言理论方法处理了该体系的程序模型选择问题,导出了必要的程序前置断言,不变式和循环界函数,从而给出了一个具体的规范描述和一个正确的程序实现。 相似文献
4.
本文介绍采用了几何约束、构件关联、二次多结点样条插值曲线、局部修改等计算机图形学新技术在Windows环境下所开发的面向工业过程仿真对象的图形系统IPSGS1.0的总体框架和设计思想。该系统提供了可方便地用于生成工业过程仿真界面的构件库和应用函数库,同时也适合其它多种工程绘图的需要。 相似文献
5.
电子商务中的密钥托管技术 总被引:2,自引:0,他引:2
电子商务随着Internet的迅速发展,日益受到人们的关注。但其安全问题经常令人不敢涉足其中。一方面参加商务活动的主体需防止另一方抵赖活动,另一方面政府安全机构为跟踪载获犯罪嫌疑人员的通信,都需要通过合法渠道获得电子商务中商务活动的主体进行数据通讯时的加密密钥。此时需采用密钥托管技术,而且密钥托管必须是安全的。为了安全起见,密钥被分成几块,分别存在几位可信赖的委托人处进行托管,任何一位委托人都不能单独恢复密钥。只有几位委托人在一起回复密钥。为了有效安全的进行密钥托管,采用了离散对数解决密钥托管。鉴于本算法的安全性依赖与求离散对数的困难性,所以当选用很大的安全素数时,此算法既简单又安全。并在SET中加入了此密钥托管技术,有利于监听非法的活动。 相似文献
6.
依据AI基本理论设计了化工仿真培训系统的智能绘图子系统总体结构,一个智能系统的关键在于其知识表示方法和推理机的速度,根据所涉及的化工仿真工艺流程图域的情况,采用了经典的F-系统来作为知识表示方法,并特别的设计了首字符串索引的知识库结构,建立了基于网络管理的有效事实串的形成机制,从而加快了事实与规则的匹配速度,实践证明,这些都对提高推理机的速度是有效的。 相似文献
7.
因特网的应用提供了前所未有的数据量,因而查找用户所需的信息成为一件困难又麻烦的事情。有效组织数据,简化用户的查找是构造网站数据库必须认真考虑的问题,但这取决于用户的使用模式。了解用户如何使用网站的各项内容是一个知识发现的问题。而数据挖掘技术的目的就是在大量数据中发现知识,它已经成为知识发现的核心技术。从而数据挖掘技术为网络领域提供了一个知识发现的手段。讨论了在网站网页设计优化中使用数据挖掘技术的问题。介绍了一个具体的应用于该方面的数据挖掘工具WDWT的设计与实现。论述了系统的结构,各组成部分的功能,关联规则的发现算法。 相似文献
8.
CSCW的研究内容及其关键技术 总被引:8,自引:0,他引:8
计算机支持协同工作(CSCW)是一种将人类合作行为模式与计算机支持技术融合为一体的新兴技术,即在计算机技术支持的环境下,一个群体协同完成一项共同的任务。CSCW已广泛应用于CAD,远程医疗诊断,多媒体协同编著,电子会议等领域。CSCW为了支持群体协同工作,CSCW系统必须为用户提供共享的资源和共享空间,这样就引发了诸多问题的研究。如合理的模型结构,用户间的感知层次,角色控制,共享对象的并发控制等。随着计算机科学与技术的发展,也给CSCW的发展注入了许多活力。如面向对象的技术使CSCW更容易实现不同层次的感知,多Agent技术使用户更容易与其他人协作。主要介绍了CSCW的定义、分类、主要研究内容、关键技术和其他技术对CSCW的影响。 相似文献
9.
石油化工领域常常需要为新生产装置研制开发相应的仿真软件 ,而开发这类软件要用到大量的工艺流程图。在化工工艺流程图中 ,各种容器是以图形构件来描述的 ,因此绘制图形构件是作图过程中较关键的工作。介绍了一种石油化工仿真工艺流程图绘制平台的设计与实现方法 ,该系统是以可重用图形构件库为核心的集成化支撑环境 ,通过利用图形构件的定义、生成、组织、检索、重用 ,可解决在工业过程中的图形组态自动生成和整体工艺流程图绘制问题。在绘制构件中 ,为了使工作高效 ,坐标位置准确 ,几何约束是不可缺少的。系统采用了几何约束、构件关联等技术 ,具有人机界面友好、使用方便等特点 相似文献
10.
本文结合国内外关于本科计算机专业办学的研究成果与当前的教学实际,提出了一种软件开发方向的应用型本科计算机专业硬件基础课程改革方案。 相似文献