首页 > 最新文献

Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]最新文献

英文 中文
Coded nonlinear continuous phase modulation 编码非线性连续相位调制
J. Fonseka, T. R. Mao
A class of nonlinear continuous phase modulation (CPM) signals is introduced by extending nonlinear continuous phase frequency shift keying (CPFSK) signals. Coding is considered to further improve the performance of nonlinear CPM signals. Numerical results indicate that both uncoded and coded CPM signals achieve attractive minimum Euclidean distances. Gains of over 1.8 dB over previous schemes have been reported at the same number of states. The spectral properties of nonlinear CPM signals are kept close to those of full response linear CPM with a modulation index of 0.5. It is shown that both uncoded and coded nonlinear CPM signals can be realized by using a finite state machine and a standard FM modulator.<>
通过扩展非线性连续相移频键控(CPFSK)信号,引入了一类非线性连续相位调制信号。为了进一步提高非线性CPM信号的性能,我们考虑了编码。数值结果表明,编码和未编码的CPM信号都能获得有吸引力的最小欧氏距离。据报道,在相同数量的州,增益超过1.8 dB。非线性CPM信号的频谱特性与调制指数为0.5的全响应线性CPM信号保持接近。结果表明,用有限状态机和标准调制器都可以实现非编码和编码的非线性CPM信号。
{"title":"Coded nonlinear continuous phase modulation","authors":"J. Fonseka, T. R. Mao","doi":"10.1109/PCCC.1992.200561","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200561","url":null,"abstract":"A class of nonlinear continuous phase modulation (CPM) signals is introduced by extending nonlinear continuous phase frequency shift keying (CPFSK) signals. Coding is considered to further improve the performance of nonlinear CPM signals. Numerical results indicate that both uncoded and coded CPM signals achieve attractive minimum Euclidean distances. Gains of over 1.8 dB over previous schemes have been reported at the same number of states. The spectral properties of nonlinear CPM signals are kept close to those of full response linear CPM with a modulation index of 0.5. It is shown that both uncoded and coded nonlinear CPM signals can be realized by using a finite state machine and a standard FM modulator.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124440001","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Control reasoning based on goal relationships within the blackboard framework QBB 黑板框架QBB中基于目标关系的控制推理
A. Hoffmann, M. Fathi
The goal-oriented modeling of a diagnosis problem in the VLSI-design domain, namely the VLSI chip-architecture selection, is presented. To realize a more flexible and goal-oriented approach to diagnosis the framework QBB is used. QBB is based on the blackboard model. The description of the blackboard framework QBB is organized according to the three organizational components of blackboard systems, namely the blackboard, the knowledge sources, and the control component. Special emphasis is laid on the control component that follows a qualitative goal-oriented approach to control. Quality goals, their priorities, the goal relationships, and the informal dependencies are an essential part of a dynamic control plan. Compared to most other blackboard systems an extended, more detailed goal structure is maintained providing for more flexible, more explainable, and more transparent control decisions.<>
针对超大规模集成电路设计领域中的诊断问题,即超大规模集成电路芯片结构选择问题,提出了面向目标的建模方法。为了实现更灵活和目标导向的诊断方法,使用了QBB框架。QBB是基于黑板模型的。黑板框架QBB的描述是根据黑板系统的三个组织构件,即黑板、知识源和控制构件来组织的。特别强调的是控制组件遵循一个定性的目标导向的方法来控制。质量目标、它们的优先级、目标关系和非正式依赖关系是动态控制计划的重要组成部分。与大多数其他黑板系统相比,它保持了一个扩展的、更详细的目标结构,提供了更灵活、更易于解释和更透明的控制决策。
{"title":"Control reasoning based on goal relationships within the blackboard framework QBB","authors":"A. Hoffmann, M. Fathi","doi":"10.1109/PCCC.1992.200582","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200582","url":null,"abstract":"The goal-oriented modeling of a diagnosis problem in the VLSI-design domain, namely the VLSI chip-architecture selection, is presented. To realize a more flexible and goal-oriented approach to diagnosis the framework QBB is used. QBB is based on the blackboard model. The description of the blackboard framework QBB is organized according to the three organizational components of blackboard systems, namely the blackboard, the knowledge sources, and the control component. Special emphasis is laid on the control component that follows a qualitative goal-oriented approach to control. Quality goals, their priorities, the goal relationships, and the informal dependencies are an essential part of a dynamic control plan. Compared to most other blackboard systems an extended, more detailed goal structure is maintained providing for more flexible, more explainable, and more transparent control decisions.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"838 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123294016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A laboratory minimum shift key modulator 实验室最小移位键调制器
F. Carden, B. Kopp
Minimum shift keying (MSK) is a modulation format that exhibits some spectral efficiency over currently used spacelink digital modulation techniques such as binary phase shift keying (BPSK) and offset quadrature phase shift keying (OQPSK). The authors present a novel design of an MSK modulator that is well suited for investigating MSK in the laboratory. MSK obtains its advantage over OQPSK through the use of some elaborate timing. One of the costs of this required timing is added complexities in the modulator circuitry. Phase locked loops and an extra phase shift are required to modify a simple OQPSK modulator to perform MSK. Digital timing circuitry, including digital phase shifting, can be used in conjunction with inexpensive laboratory function generators to construct a simple MSK modulator that avoids the complexities of the modified OQPSK design technique. These design techniques are described.<>
最小移键控(MSK)是一种调制格式,它比目前使用的空间链路数字调制技术(如二进制相移键控(BPSK)和偏移正交相移键控(OQPSK))显示出一些频谱效率。作者提出了一种新颖的MSK调制器设计,非常适合在实验室研究MSK。MSK通过使用一些精心设计的时序来获得其优于OQPSK的优势。这种所需定时的代价之一是增加了调制器电路的复杂性。锁相环和一个额外的相移需要修改一个简单的OQPSK调制器来执行MSK。数字时序电路,包括数字相移,可以与廉价的实验室函数发生器一起使用,以构建一个简单的MSK调制器,避免了修改后的OQPSK设计技术的复杂性。本文描述了这些设计技术
{"title":"A laboratory minimum shift key modulator","authors":"F. Carden, B. Kopp","doi":"10.1109/PCCC.1992.200562","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200562","url":null,"abstract":"Minimum shift keying (MSK) is a modulation format that exhibits some spectral efficiency over currently used spacelink digital modulation techniques such as binary phase shift keying (BPSK) and offset quadrature phase shift keying (OQPSK). The authors present a novel design of an MSK modulator that is well suited for investigating MSK in the laboratory. MSK obtains its advantage over OQPSK through the use of some elaborate timing. One of the costs of this required timing is added complexities in the modulator circuitry. Phase locked loops and an extra phase shift are required to modify a simple OQPSK modulator to perform MSK. Digital timing circuitry, including digital phase shifting, can be used in conjunction with inexpensive laboratory function generators to construct a simple MSK modulator that avoids the complexities of the modified OQPSK design technique. These design techniques are described.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124242979","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
RDLE: a real-time distributed logic environment RDLE:实时分布式逻辑环境
J. M. Troya, M. Díaz
RDLE is a real-time distributed environment based on a concurrent logic language. Because of the interactive features of distributed systems, they cannot be described in usual logical or functional terms and it is necessary to use reactive languages. There is a class of logic languages with a reactive behavior named concurrent logic languages which are well suited for this kind of problem. The authors have extended one of these languages (Parlog) with real-time and communications primitives. A new approach is proposed for distributed programming based on Parlog and oriented to coarse granularity parallelism. The environment allows distributed process control in a transparent way. The main features of the environment and some implementation issues are described. A tool for translating extended state machine specifications to RDLE is outlined. This will allow the creation of executable prototypes on distributed computer systems and the validation of complex system specifications in an easy way.<>
RDLE是一种基于并发逻辑语言的实时分布式环境。由于分布式系统的交互特性,它们不能用通常的逻辑或功能术语来描述,因此有必要使用响应式语言。有一类具有反应性行为的逻辑语言被称为并发逻辑语言,它非常适合于这类问题。作者用实时和通信原语扩展了其中一种语言(Parlog)。提出了一种基于Parlog的面向粗粒度并行的分布式编程方法。该环境允许以透明的方式进行分布式过程控制。描述了该环境的主要特性和一些实现问题。概述了一种将扩展状态机规范转换为RDLE的工具。这将允许在分布式计算机系统上创建可执行原型,并以一种简单的方式验证复杂的系统规范。
{"title":"RDLE: a real-time distributed logic environment","authors":"J. M. Troya, M. Díaz","doi":"10.1109/PCCC.1992.200604","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200604","url":null,"abstract":"RDLE is a real-time distributed environment based on a concurrent logic language. Because of the interactive features of distributed systems, they cannot be described in usual logical or functional terms and it is necessary to use reactive languages. There is a class of logic languages with a reactive behavior named concurrent logic languages which are well suited for this kind of problem. The authors have extended one of these languages (Parlog) with real-time and communications primitives. A new approach is proposed for distributed programming based on Parlog and oriented to coarse granularity parallelism. The environment allows distributed process control in a transparent way. The main features of the environment and some implementation issues are described. A tool for translating extended state machine specifications to RDLE is outlined. This will allow the creation of executable prototypes on distributed computer systems and the validation of complex system specifications in an easy way.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130045407","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Effect of out-of-sequence frames on LLC Type 2 applications 乱序帧对LLC Type 2应用的影响
W. Fortune, R. Reinoso
An experimental prototype network was built to study the issues in interconnecting SNA token ring networks using packet-switched services. In particular, the effect of out-of-sequence frames on the Logical Link Control Type 2 (LLC-2) protocol was considered. LLC-2 is the link level protocol used in SNA token rings. The authors show that, if LLC-2 acknowledgement frames are out of sequence, then the logical link and the session(s) will be reset. Terminal access to hosts is not affected if the window size is one and the acknowledgement timer is set to match the wide area network (WAN) maximum packet lifetime. For application-to-application communications, other solutions are proposed and analyzed because the window one solution limits the performance of the applications.<>
为了研究基于分组交换业务的SNA令牌环网互连问题,建立了一个实验原型网络。特别考虑了乱序帧对逻辑链路控制类型2 (LLC-2)协议的影响。LLC-2是用于SNA令牌环的链路级协议。作者表明,如果LLC-2确认帧乱序,则逻辑链路和会话将被重置。如果窗口大小为1,并且确认定时器设置为与广域网(WAN)最大数据包生存时间匹配,则不影响终端对主机的访问。对于应用程序到应用程序的通信,由于窗口一解决方案限制了应用程序的性能,因此提出并分析了其他解决方案
{"title":"Effect of out-of-sequence frames on LLC Type 2 applications","authors":"W. Fortune, R. Reinoso","doi":"10.1109/PCCC.1992.200546","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200546","url":null,"abstract":"An experimental prototype network was built to study the issues in interconnecting SNA token ring networks using packet-switched services. In particular, the effect of out-of-sequence frames on the Logical Link Control Type 2 (LLC-2) protocol was considered. LLC-2 is the link level protocol used in SNA token rings. The authors show that, if LLC-2 acknowledgement frames are out of sequence, then the logical link and the session(s) will be reset. Terminal access to hosts is not affected if the window size is one and the acknowledgement timer is set to match the wide area network (WAN) maximum packet lifetime. For application-to-application communications, other solutions are proposed and analyzed because the window one solution limits the performance of the applications.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130280364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Distributed and Optimistic Make: implementation and performance 分布式和乐观制造:实现和性能
V. Ramji, T. Gonsalves
Two enhanced versions of the Make utility compatible with the conventional version were developed, namely Distributed Make and Optimistic Make. Distributed Make uses the idle CPU cycles in a network of workstations to improve response time by running compilations concurrently on lightly loaded remote workstations. Optimistic Make runs in the background while the user is editing. When the user saves a file, any targets that are rendered out-of-date are recompiled even while the user continues editing. Thus, when the user finishes the editing session, most of the compilations have already been done. The performances of these two versions of Make were evaluated in a network of SUNs. Distributed Make was found to achieve a close to linear speedup in certain cases. Optimistic Make reduced response time by a factor of 2-7 with little degradation in editor response. Thus, both significantly reduce the program development cycle.<>
开发了与常规版本兼容的Make实用程序的两个增强版本,即分布式Make和乐观Make。分布式Make利用工作站网络中的空闲CPU周期,通过在负载较轻的远程工作站上并发地运行编译来改善响应时间。当用户正在编辑时,乐观制作会在后台运行。当用户保存文件时,即使在用户继续编辑时,也会重新编译呈现为过期的任何目标。因此,当用户完成编辑会话时,大多数编译已经完成。这两个版本的Make在sun网络中进行了性能评估。发现分布式Make在某些情况下实现了接近线性的加速。使响应时间减少2-7倍,编辑器的响应几乎没有退化。因此,两者都显著缩短了程序开发周期。
{"title":"Distributed and Optimistic Make: implementation and performance","authors":"V. Ramji, T. Gonsalves","doi":"10.1109/PCCC.1992.200601","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200601","url":null,"abstract":"Two enhanced versions of the Make utility compatible with the conventional version were developed, namely Distributed Make and Optimistic Make. Distributed Make uses the idle CPU cycles in a network of workstations to improve response time by running compilations concurrently on lightly loaded remote workstations. Optimistic Make runs in the background while the user is editing. When the user saves a file, any targets that are rendered out-of-date are recompiled even while the user continues editing. Thus, when the user finishes the editing session, most of the compilations have already been done. The performances of these two versions of Make were evaluated in a network of SUNs. Distributed Make was found to achieve a close to linear speedup in certain cases. Optimistic Make reduced response time by a factor of 2-7 with little degradation in editor response. Thus, both significantly reduce the program development cycle.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122280168","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Hierarchical Hough transform based on pyramidal architecture 基于金字塔结构的层次霍夫变换
C. Espinosa, M. Perkowski
A hierarchical Hough transform (HT) based on pyramidal architecture is described, being a main component of the low-to-medium spatial vision subsystem for a mobile robot. The sequence of processing in the system originally conceived to be essential to the extraction of line features in indoor scenes consisted of: histogram equalization, smoothing with the use of a medial filter, edge detection using the Sobel edge detectors, binarization to extract the edges detected, labeling, rebinarization and thinning to refine the edges to thin lines, and line extraction using a hierarchical approach to the HT method. The task was to establish the importance of each step for the success of the hierarchical HT. It was implemented on a 386-based personal computer with 640 K memory and proved to give results of high quality as compared with the standard HT implementation.<>
描述了一种基于金字塔结构的分层霍夫变换,它是移动机器人中低空间视觉子系统的主要组成部分。系统中的处理顺序最初被认为是提取室内场景中线条特征的必要条件,包括:直方图均衡化,使用中间滤波器平滑,使用Sobel边缘检测器进行边缘检测,二值化提取检测到的边缘,标记,重新二值化和细化以将边缘细化为细线,以及使用HT方法的分层方法进行线条提取。我们的任务是确定每个步骤对分层式HT成功的重要性。它在一台基于386、内存为640k的个人计算机上实现,与标准的HT实现相比,得到了高质量的结果。
{"title":"Hierarchical Hough transform based on pyramidal architecture","authors":"C. Espinosa, M. Perkowski","doi":"10.1109/PCCC.1992.200515","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200515","url":null,"abstract":"A hierarchical Hough transform (HT) based on pyramidal architecture is described, being a main component of the low-to-medium spatial vision subsystem for a mobile robot. The sequence of processing in the system originally conceived to be essential to the extraction of line features in indoor scenes consisted of: histogram equalization, smoothing with the use of a medial filter, edge detection using the Sobel edge detectors, binarization to extract the edges detected, labeling, rebinarization and thinning to refine the edges to thin lines, and line extraction using a hierarchical approach to the HT method. The task was to establish the importance of each step for the success of the hierarchical HT. It was implemented on a 386-based personal computer with 640 K memory and proved to give results of high quality as compared with the standard HT implementation.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122313821","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Network performance of packet video on a local area network 分组视频在局域网中的网络性能
K. Nichols
Simulation was used to determine feasible operating regions for sending packet video over a carrier sense multiple access with collision detection (CSMA/CD) LAN. Simulation studies were used to compute the percentage of lost video frames and project the number of video sessions that can be carried by an Ethernet. The analysis was used to validate the simulation and applied in a limited way to video teleconferencing scenarios. There are three major conclusions. First, a number of video sessions of this type can be successfully supported on a moderately loaded Ethernet. Second, short data packets appear to suffer longer delays than video packets at higher channel utilizations. Third, reliable video sessions appear possible below a maximum channel utilization that was found to hold across a number of mixes of data and video teleconferencing packets on the channel.<>
通过仿真确定了在载波感知多址冲突检测(CSMA/CD)局域网上发送分组视频的可行操作区域。仿真研究用于计算丢失视频帧的百分比,并预测以太网可以承载的视频会话数。该分析用于验证模拟,并以有限的方式应用于视频电话会议场景。有三个主要结论。首先,这种类型的许多视频会话可以在中等负载的以太网上成功地支持。其次,在更高的信道利用率下,短数据包似乎比视频数据包遭受更长的延迟。第三,可靠的视频会议似乎可能低于最大信道利用率,该利用率被发现可以在信道上容纳许多数据和视频电话会议数据包的混合。
{"title":"Network performance of packet video on a local area network","authors":"K. Nichols","doi":"10.1109/PCCC.1992.200522","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200522","url":null,"abstract":"Simulation was used to determine feasible operating regions for sending packet video over a carrier sense multiple access with collision detection (CSMA/CD) LAN. Simulation studies were used to compute the percentage of lost video frames and project the number of video sessions that can be carried by an Ethernet. The analysis was used to validate the simulation and applied in a limited way to video teleconferencing scenarios. There are three major conclusions. First, a number of video sessions of this type can be successfully supported on a moderately loaded Ethernet. Second, short data packets appear to suffer longer delays than video packets at higher channel utilizations. Third, reliable video sessions appear possible below a maximum channel utilization that was found to hold across a number of mixes of data and video teleconferencing packets on the channel.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126469089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
On the semantics of protocols among distributed intelligent agents 分布式智能代理间协议语义研究
Munindar P. Singh
A theory of the interaction among agents and a formal semantics for their interactions are presented. The semantics of the messages exchanged, not the process of exchanging them, is emphasized. A recent theory of communication that gives the object model-theoretic semantics for speech acts is applied to this problem. This allows the important properties of protocols to be formalized abstractly, i.e. at the level of the application, not of the implementation. Further constraints on good designs can also be stated, which simplify the requirements imposed on the member agents. The resulting theory not only provides some insights into designing distributed intelligence systems, but also helps in their validation. As an example, it is applied to a logical reconstruction of the classical Contract Net protocol.<>
提出了智能体交互的理论和智能体交互的形式化语义。强调的是所交换消息的语义,而不是交换它们的过程。一种最新的交际理论给出了言语行为的对象模型理论语义,用于解决这个问题。这使得协议的重要属性可以抽象地形式化,即在应用程序级别,而不是在实现级别。还可以说明对良好设计的进一步约束,这简化了对成员代理的要求。由此产生的理论不仅为设计分布式智能系统提供了一些见解,而且还有助于对其进行验证。作为一个例子,它被应用于经典合约网协议的逻辑重构
{"title":"On the semantics of protocols among distributed intelligent agents","authors":"Munindar P. Singh","doi":"10.22028/D291-25027","DOIUrl":"https://doi.org/10.22028/D291-25027","url":null,"abstract":"A theory of the interaction among agents and a formal semantics for their interactions are presented. The semantics of the messages exchanged, not the process of exchanging them, is emphasized. A recent theory of communication that gives the object model-theoretic semantics for speech acts is applied to this problem. This allows the important properties of protocols to be formalized abstractly, i.e. at the level of the application, not of the implementation. Further constraints on good designs can also be stated, which simplify the requirements imposed on the member agents. The resulting theory not only provides some insights into designing distributed intelligence systems, but also helps in their validation. As an example, it is applied to a logical reconstruction of the classical Contract Net protocol.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126763741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Predicting the limits of multiple processor performance using job profiles 使用作业配置文件预测多处理器性能的极限
N. Ullah, R. K. Acree, M.J. Gonzalez, M. L. Weems
The authors study the limitations placed on performance by using a model known as the job profile model. They extend and generalize the job profile model to develop a performance model that can be used to determine a lower bound on performance for a class of scheduling policies for a specific architectural configuration. The extended model incorporates the effects of communication between subtasks of a job, and a contention for common resources into the job profile model. This new model provides performance equations that depict the performance impact of the synchronization demands and the algorithmic decomposition of a workload. The extended model is then used to study the effect of the communication to computation ratio on performance. The validity of the model was verified by comparing the theoretical results obtained from the model to experimental results obtained from simulation.<>
作者通过使用一种称为工作概要模型的模型来研究对性能的限制。他们扩展和概括了作业概要模型,以开发一个性能模型,该模型可用于确定针对特定体系结构配置的一类调度策略的性能下限。扩展模型将作业的子任务之间的通信效果和对公共资源的争用合并到作业概要模型中。这个新模型提供了描述同步需求和工作负载算法分解对性能影响的性能方程。利用扩展模型研究了通信计算比对性能的影响。通过将模型得到的理论结果与仿真得到的实验结果进行比较,验证了模型的有效性。
{"title":"Predicting the limits of multiple processor performance using job profiles","authors":"N. Ullah, R. K. Acree, M.J. Gonzalez, M. L. Weems","doi":"10.1109/PCCC.1992.200535","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200535","url":null,"abstract":"The authors study the limitations placed on performance by using a model known as the job profile model. They extend and generalize the job profile model to develop a performance model that can be used to determine a lower bound on performance for a class of scheduling policies for a specific architectural configuration. The extended model incorporates the effects of communication between subtasks of a job, and a contention for common resources into the job profile model. This new model provides performance equations that depict the performance impact of the synchronization demands and the algorithmic decomposition of a workload. The extended model is then used to study the effect of the communication to computation ratio on performance. The validity of the model was verified by comparing the theoretical results obtained from the model to experimental results obtained from simulation.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127104965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1