期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
接口自动机——一种用于组件组合的形式系统 被引量:7
1
作者 张岩 胡军 +2 位作者 于笑丰 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2005年第11期212-217,共6页
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进... 接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。 展开更多
关键词 接口自动机 时间接口自动机 资源接口 乐观方法 博弈 形式系统 自动机 接口 组件 种用
在线阅读 下载PDF
基于INtime实时扩展技术的数据集中器设计 被引量:5
2
作者 祁忠 江叶峰 +2 位作者 李枫 张海宁 刘焕志 《电力自动化设备》 EI CSCD 北大核心 2010年第2期109-112,共4页
介绍了电力系统实时动态监测系统的构成,分析了数据集中器的任务特点,对基于INtime的Windows实时扩展技术进行了研究,提出了采用Windows XP+INtime的数据集中器设计方案。该方案基于标准的PC硬件平台,利用实时多任务操作系统INtime的实... 介绍了电力系统实时动态监测系统的构成,分析了数据集中器的任务特点,对基于INtime的Windows实时扩展技术进行了研究,提出了采用Windows XP+INtime的数据集中器设计方案。该方案基于标准的PC硬件平台,利用实时多任务操作系统INtime的实时性完成相量数据的接收、处理、转发,利用Windows操作系统强大的图形界面功能,实现对PMU装置的运行管理功能。在软件结构上,把数据集中器实时数据传输任务设计成INtime进程,把运行管理非实时任务设计成Windows进程,利用INtime的共享内存和信号量机制实现Windows进程和INtime进程之间通信。通过对数据集中器的测试和现场试运行,验证了该方案的适用性。 展开更多
关键词 PMU 数据集中器 实时多任务 INtime 多线程 TCP/IP
在线阅读 下载PDF
基于IEC61850的变电站新型远动网关机 被引量:28
3
作者 笃竣 祁忠 《电力自动化设备》 EI CSCD 北大核心 2011年第2期112-115,共4页
分析了基于IEC61850的远动通信网络结构,提出了基于IEC61850的电力远动的数据模型和通信模型,将IEC61850标准引入到远动通信体系中。针对远动网关机既是IEC61850客户端又是IEC61850服务器的特点,选用数据处理能力较强的高性能服务器作... 分析了基于IEC61850的远动通信网络结构,提出了基于IEC61850的电力远动的数据模型和通信模型,将IEC61850标准引入到远动通信体系中。针对远动网关机既是IEC61850客户端又是IEC61850服务器的特点,选用数据处理能力较强的高性能服务器作为网关机硬件。详细介绍了远动网关机软件结构、各个模块的功能和执行流程。选用MMS-EASE Lite库来实现IEC61850的客户端进程和服务器进程,进程之间通过共享内存实现交换数据。该远动网关机通过了与调度主站的互操作测试,实践表明远动网关机的各项功能和性能均满足要求。 展开更多
关键词 IEC61850 MMS 网关机 远动通信 智能电子设备
在线阅读 下载PDF
SQL Server6.5的表扫描和索引访问性能比较
4
作者 林超 《小型微型计算机系统》 CSCD 北大核心 2001年第9期1144-1146,共3页
在 SQL Server 6 .5中 ,表扫描和索引访问是两种主要的数据检索方法 ,是否使用簇索引或非簇索引是检索性能重要的因素 ,检索结果返回行数占表总行数的百分比 (简称为返回百分比 )对检索性能也有很大的影响 .索引访问的性能并非总是优于... 在 SQL Server 6 .5中 ,表扫描和索引访问是两种主要的数据检索方法 ,是否使用簇索引或非簇索引是检索性能重要的因素 ,检索结果返回行数占表总行数的百分比 (简称为返回百分比 )对检索性能也有很大的影响 .索引访问的性能并非总是优于表扫描 .事实上 ,选择检索方法的工作由查询优化器来完成 ,但查询优化器并非总能选择最快的方法 . 展开更多
关键词 数据库 SQLServer6.5 表扫描 索引访问
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部