期刊文献+
共找到29篇文章
< 1 2 >
每页显示 20 50 100
一种构件系统重新配置协议的关系逻辑模型
1
作者 罗奇鸣 《小型微型计算机系统》 CSCD 北大核心 2014年第12期2686-2690,共5页
基于构件的软件系统在运行过程中需要适应环境和用户需求的变化对自身的结构进行动态的重新配置.本文提出了一个用形式化语言Alloy实现的求解重新配置协议的关系逻辑模型.该模型定义了构件和连接的各种状态,状态之间的转换操作,和每种... 基于构件的软件系统在运行过程中需要适应环境和用户需求的变化对自身的结构进行动态的重新配置.本文提出了一个用形式化语言Alloy实现的求解重新配置协议的关系逻辑模型.该模型定义了构件和连接的各种状态,状态之间的转换操作,和每种操作的前置和后置条件.这些前置和后置条件具体实现了保证系统一致性的不变式.在利用Alloy分析器验证了该模型的一致性的基础上,进一步将其转换成一个可以自动生成重新配置协议的多项式时间算法.与定理证明器相比,Alloy模型的修改和验证更加简便. 展开更多
关键词 构件 重新配置 关系逻辑 ALLOY 软件体系结构
下载PDF
具有模糊逻辑和直接学习功能的可重新配置的神经网络
2
作者 李斌 《管理观察》 1997年第2期56-57,共2页
关键词 神经网络 模糊逻辑 学习功能 重新配置 层次结构型 神经元件 正向传送 相互联系 网络利用 行处理
下载PDF
从因特网看当前国外逻辑研究的现状与发展 被引量:1
3
作者 康巧茹 《宁夏党校学报》 2000年第1期58-61,共4页
本文依据因特网上的逻辑资源,以专题分析的形式,分析了当前国外逻辑研究的概况、 特点、趋向,反映了国外逻辑研究的现状。
关键词 逻辑研究 现状与发展 国外 因特网 专题分析
下载PDF
因特网免费肿瘤学数据库CancerLit的应用 被引量:2
4
作者 邱宇红 闫雷 《中华医学图书情报杂志》 CAS 2002年第5期61-62,共2页
介绍因特网上免费的书目型肿瘤学专题数据库CancerLit的功能和特点 ,并与PubMed比较 ,举例说明检索方法和技巧。
关键词 肿瘤文献检索 数据库 因特网 CancerLit PUBMED 检索词 布尔逻辑组配
下载PDF
如何利用因特网获取Springer Link文献 被引量:1
5
作者 廖萍 《现代情报》 2003年第7期72-73,共2页
本文比较详细地介绍了SpringerLink的使用方法和在使用中应注意的问题。
关键词 因特网 SPRINGERLINK 数据库 网站 检索方法 检索词 逻辑运算
下载PDF
因特网上专利数据库的使用 被引量:2
6
作者 翟云仙 《情报探索》 2001年第2期24-25,F004,共3页
对因特网上免费专利数据库使用中的一些问题及其局限性做了粗浅的概括。希望它有助于人 们对专利的使用。
关键词 因特网 专利 专利数据库 检索方法 布尔逻辑运算符
下载PDF
不同的因特网用途对企业选择外国市场进入模式的影响
7
作者 徐雪梅 陈小红 史毅波 《营销科学学报(辑刊)》 2008年第4期73-86,共14页
本文研究了不同的因特网用途对市场进入模式的影响。本文以股权和非股权市场进入模式为因变量,建立了两个模型:模型1中包括传统研究中的自变量,模型2中增加了本文提出的变量——不同的因特网用途。研究结果显示模型2比模型1优化。这... 本文研究了不同的因特网用途对市场进入模式的影响。本文以股权和非股权市场进入模式为因变量,建立了两个模型:模型1中包括传统研究中的自变量,模型2中增加了本文提出的变量——不同的因特网用途。研究结果显示模型2比模型1优化。这说明在研究市场进入模式时,要将不同因特网用途的影响考虑在内,以使市场进入模式理论研究更加完善。 展开更多
关键词 外国市场进入模式 不同的因特网用途 多元逻辑回归 问卷调查
下载PDF
因特网档案信息资源的检索方法和技巧
8
作者 李晓玲 《机电兵船档案》 2004年第1期32-35,共4页
利用信息资源的能力是创造型人才所必须具备的能力之一,也是一个人基本素质的重要体现。任何科学研究与创新活动都必须以现代科学技术的最新成果作为自己研究创新的起点,否则就会低水平地重复别人的工作,浪费人力物力。正如马克思所... 利用信息资源的能力是创造型人才所必须具备的能力之一,也是一个人基本素质的重要体现。任何科学研究与创新活动都必须以现代科学技术的最新成果作为自己研究创新的起点,否则就会低水平地重复别人的工作,浪费人力物力。正如马克思所说,任何科学劳动都是“前人的成果,今人的协作”。 展开更多
关键词 因特网 档案信息资源 档案检索 搜索引擎 网址 电子邮件列表 翻译网站 检索式 布尔逻辑 检索范围 信息下载
下载PDF
利用因特网查询检验专业信息
9
作者 何其钊 《医疗装备》 2001年第6期11-12,共2页
本文介绍了几种常用的网上检索信息方式 ,运用这些检索方式可以减少搜索时间 ,迅速找到需要的检验专业信息。
关键词 搜索引擎 因特网 逻辑运算符 前端软件 检索方式
下载PDF
创作音乐,遵循逻辑:Logic(下)
10
《乐器》 2006年第9期104-106,共3页
Instrument Patch with presets:直接在Channel Strip的I/O下选择乐器插件音色,这是已经配置了音色设置以及相应效果和均衡插件的。用户可以直接使用,也可以对其中的参数做些调整,或者在此基础上重新配置均衡与效果器。这是一种非... Instrument Patch with presets:直接在Channel Strip的I/O下选择乐器插件音色,这是已经配置了音色设置以及相应效果和均衡插件的。用户可以直接使用,也可以对其中的参数做些调整,或者在此基础上重新配置均衡与效果器。这是一种非常好的手段,可以让用户只关心最终的音色,而不用去研究哪个乐器插件中有需要的音色,这个音色应该配置哪些效果器、如何处理它的均衡等等。实际上,任何一个用户关心的只是最终音色的表现,至于使用了哪个乐器插件实际是其次的问题,甚至是可以被忽略的。 展开更多
关键词 CHANNEL 音乐 创作 逻辑 重新配置 PATCH with 音色
下载PDF
基于FPGA中IP核的IRL系统设计方法 被引量:3
11
作者 杨光辉 邬江兴 《计算机应用研究》 CSCD 北大核心 2008年第1期190-191,194,共3页
以Virtex-4 FX-60型FPGA为例,提出了一种应用FPGA内部IP核,通过TCP/IP网络对FPGA远程进行动态配置的IRL系统结构,并给出了此系统的硬件电路以及关键模块的设计方法。该设计具有可重构性强、配置方法灵活等特点。
关键词 因特网可重新配置逻辑 现场可编程门阵列 VIRTEX-4 PPC405 IP资源复用
下载PDF
处理器和工具支持动态重新配置
12
《电子设计技术 EDN CHINA》 2005年第8期20-20,共1页
相对于固定功能的处理器来说,动态可重新配置的芯片共享技术使得设计者可以利用更小的处理器、更低的功耗来实现一个设计.Atmel公司的FPSLIC(现场可编程系统级芯片)Ⅱ将一个8位的AVR处理器核,与一个具有片上SRAM的FPGA整合在一起,使得... 相对于固定功能的处理器来说,动态可重新配置的芯片共享技术使得设计者可以利用更小的处理器、更低的功耗来实现一个设计.Atmel公司的FPSLIC(现场可编程系统级芯片)Ⅱ将一个8位的AVR处理器核,与一个具有片上SRAM的FPGA整合在一起,使得多个接口、外围设备和协处理器可以在应用运行中的不同时间共享该FPGA(见图). 展开更多
关键词 FPGA 可编程逻辑器件 系统芯片 处理器 动态重新配置 工具
原文传递
基于VLAN的组播方案在EPON系统中的设计与实现 被引量:7
13
作者 朱敏 邹君妮 林如俭 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第3期230-236,共7页
提出一种新型的EPON(Ethernet Passive Optical Network)系统中基于VLAN(Virtual Local Access Network,虚拟局域网)的组播实现方案.该方案在OLT(Optical Line Terminal)和ONU(Optial Network Unit)上同时部署监听(Snooping)和代理(Pro... 提出一种新型的EPON(Ethernet Passive Optical Network)系统中基于VLAN(Virtual Local Access Network,虚拟局域网)的组播实现方案.该方案在OLT(Optical Line Terminal)和ONU(Optial Network Unit)上同时部署监听(Snooping)和代理(Proxy)功能,大大减少了组播控制报文的带宽开销;并且改进了ONU设备的功能与结构,通过逻辑链路标识(LLID)承载着与IP组播地址相对应的组播VLAN ID,实现了在RS(Reconcitiation Sub-layer)子层准确过滤转发数据.并且详细论述了方案的基本思想与实现细节,给出了验证方案的实验过程与结果. 展开更多
关键词 因特网组管理协议(IGMP)监听 逻辑链路标识(LLID) 组播 虚拟局域网(VLAN) 以太无源光网络(EPON)
下载PDF
因特网与外语教学(三)外语教学资源的开发和利用 被引量:21
14
作者 顾佩娅 《外语电化教学》 北大核心 1998年第4期45-48,共4页
因特网上有着浩如烟海的信息资源,究竟哪些可以被用来为外语教学服务?如何找到它们?如何开发和利用这些资源?本期讲座将通过介绍有关信息和实践。
关键词 外语教学 因特网 网页 英语教学服务 网络搜索工具 外语教师 万维网 逻辑 电子函件 网上资源
原文传递
一种新型的汽车检测线控制系统体系结构 被引量:1
15
作者 赵祥模 刘旭东 戚秀真 《交通与计算机》 2005年第2期18-21,共4页
在对传统的汽车检测线控制系统结构进行分析的基础上,提出了一种新的体系结构,将整个系统划分为4级,并对该系统的物理结构和逻辑结构进行了系统介绍。该系统运用开放的计算机网络体系结构将车辆检测子系统、决策管理子系统、网络服务子... 在对传统的汽车检测线控制系统结构进行分析的基础上,提出了一种新的体系结构,将整个系统划分为4级,并对该系统的物理结构和逻辑结构进行了系统介绍。该系统运用开放的计算机网络体系结构将车辆检测子系统、决策管理子系统、网络服务子系统和语音服务子系统互联起来并接入因特网,能够有效地实现检测。 展开更多
关键词 系统体系结构 线控制 控制系统结构 网络体系结构 汽车检测线 管理子系统 控制与管理 系统划分 逻辑结构 物理结构 车辆检测 系统互联 语音服务 网络服务 计算机 因特网 一体化
下载PDF
密钥交换协议JFK的分析与研究 被引量:3
16
作者 常丽娟 沈苏彬 《南京邮电大学学报(自然科学版)》 2006年第1期18-24,共7页
快速密钥交换(JFK)协议是一种新的密钥交换协议,它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理,在此基础上指出了它所达到的安全目标,然后... 快速密钥交换(JFK)协议是一种新的密钥交换协议,它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理,在此基础上指出了它所达到的安全目标,然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则,并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明,得出了JFK协议满足密钥交换协议的基本安全需求的结论。 展开更多
关键词 快速密钥交换 因特网密钥交换 形式化分析 逻辑
下载PDF
Summarization based on physical features and logical structure of multi documents 被引量:2
17
作者 秦兵 LiuTing LiSheng 《High Technology Letters》 EI CAS 2005年第2期133-136,共4页
With the rapid development of the Internet, multi documents summarization is becoming a very hot research topic. In order to generate a summarization that can effectively characterize the original information from doc... With the rapid development of the Internet, multi documents summarization is becoming a very hot research topic. In order to generate a summarization that can effectively characterize the original information from documents, this paper proposes a multi documents summarization approach based on the physical features and logical structure of the document set. This method firstly clusterssimilar sentences into several Logical Topics (LTs), and then orders these topics according to their physical features of multi documents. After that, sentences used for the summarization are extracted from these LTs, and finally the summarization is generated via certain sorting algorithms. Our experiments show that the information coverage rate of our method is 8.83% higher than those methods based solely on logical structures, and 14.31% higher than Top-N method. 展开更多
关键词 因特网 多文件摘要 逻辑结构 拓扑结构 物理特征
下载PDF
基于Flex的Cairngorm框架实现餐饮管理系统
18
作者 肖渝梅 《科技资讯》 2009年第32期223-223,152,共2页
这篇文章提出使用Cairngorm框架来构建Flex应用的方法,讨论基于Cairngorm框架实现餐饮管理系统的实例。
关键词 因特网应用 FLEX CAIRNGORM框架 业务逻辑 持久层
下载PDF
基于FPGA动态可重构计算机的三模冗余改进法
19
作者 谢燕 张超洋 +1 位作者 周启忠 成奎 《宜宾学院学报》 2019年第12期6-9,71,共5页
为了提高动态可重构计算机自身的抗干扰能力,提出一种基于FPGA的动态可重构计算机的三模冗余改进法.采用三模块比较的容错模式,通过对三模冗余的多数表决电路进行检测和动态重构提升整个系统的容错能力,从而降低系统因表决电路故障而产... 为了提高动态可重构计算机自身的抗干扰能力,提出一种基于FPGA的动态可重构计算机的三模冗余改进法.采用三模块比较的容错模式,通过对三模冗余的多数表决电路进行检测和动态重构提升整个系统的容错能力,从而降低系统因表决电路故障而产生的错误.经Virtex-4 FPGA的片上PowerPC处理器对该方法进行系统验证,证明此方法的有效性和正确性. 展开更多
关键词 三模冗余 可编程逻辑门列 故障冗余 重新配置控制器 表决电路
下载PDF
通过Web网站连接到现场可编程门列资源
20
作者 何姗 朱杰 《国外电子测量技术》 2001年第4期36-36,共1页
这种Web网站可连接到现场可编程门阵列(FPGA),复杂的可编程逻辑器件(CPLD),和简单的可编程逻辑器件(SPLD)资源和设计工具。
关键词 逻辑器件 可编程门列 网站器件资料 WEB网站 因特网
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部