共查询到20条相似文献,搜索用时 93 毫秒
1.
面向agent的程序设计语言:DL-1 总被引:3,自引:0,他引:3
为适应协作分布式问题求解(CDPS)研究和应用的需要,我们研制了面向agent的程序设计语言:DL-1语言。DL-1语言由二部分组成:DL-1/system和DL-1/agent。DL-1/system主要用于显式地描述CDPS系统的行政管理结构。DL-1/agent主要用于描述CDPS系统的agent,并允许用户在描述agent的同时,描述CDPS系统的问题求解结构。 相似文献
2.
为测试系统诊断构造基于知识(规则)的诊断系统 总被引:1,自引:0,他引:1
随着集成电路测试系统复杂程度的不断提高,其自身的完整性和正确性变得越来越重要。作者所设计并实现的基于知识(规则)的诊断系统LSTS-Diag实现了对大型测试系统LSTS硬件的故障诊断。本文以基于知识(规则)的诊断系统为背景,以LSTS-Diag的系统设计方案为主线,论述LSTS-Diag诊断系统的诊断策略、知识表示方法、诊断推理的运用,以及LSTS-Diag的系统结构和系统设计,并给出有关系统运行 相似文献
3.
面向agent的程序设计语言:DL—1 总被引:2,自引:0,他引:2
为适应协作分布式问题求解研究和应用的需要,我们研制了面各agent的程序设计DL-1语言。DL-1语言由二部分组成:DL-1/system和DL-1/agent。DL-1/system6主要用于显式地描述CDPS系统行政管理结构。 相似文献
4.
本文介绍了JLBM-1机械零件分类编码系统的基本结构,阐述了基于通用数据库管理FoxPRO2.5for Windows建立JLBM-1计算机辅助编码系统的原理和方法。 相似文献
5.
用VHDL-AMS进行概念设计 总被引:4,自引:3,他引:1
VHDL-AMS是VHDL向模拟和混合信号领域的诉展,VHLD-AMS为设计者提供了在概念级处理复杂系统的能力,随着VHDL-AMS的标准化,将诞生处理复杂的模拟和混合信号模型的有效的模拟器,文中介绍了VHLD-AMS模拟扩展的主要内容,展示了一个混合模式模拟环境,并给出了模拟解算器的构成,讨论了连续和离散模拟的同步问题;用4个例子说明VHDL-AMS在概念设计中的应用。 相似文献
6.
在现实世界里,AI系统难免受到噪声的影响.系统有效工作与否取决于它对噪声的敏感性如何.解释学习EBL(explanation-basedlearning)也不例外.本文探讨了在例子受到噪声影响的情况下,解释学习的处理问题,提出了一个算法NR-EBL(noise-resistantEBL).与现有的解释学习方法不同,NR-EBL在训练例子含有噪声时仍然可以学习,以掌握实际的问题分布;和类似的工作不同,NR-EBL指出了正确识别概念对于噪声规律的依赖性,试图从训练例子集合发现和掌握噪声的规律.可以相信,在识别概念时,借助于对噪声规律的认识,NR-EBL可比EBL和类似工作有更高的识别率.NR-EBL是解释学习和统计模式识别思想的结合.它把现有的解释学习模型推广到例子含有噪声的情形,原来的EBL算法只是它的特例. 相似文献
7.
简要介绍了HJL-1型捷联航姿系统的结构,着重对系统中的数据接口进行了分析,从硬件和软件两个方面详细介绍了数据的采集和处理的方法,本文所介绍的技术在HJL-1系统中得到了很好的实现和应用。 相似文献
8.
介绍了LONBAC-200LON总线暖通空调智能控制系统的性能、用途、硬软件 结构及其在北京长富宫饭店与长春吉隆坡大厦的应用实例。 相似文献
9.
多用户VRML技术在构造3D人—人交互界面中的应用 总被引:9,自引:0,他引:9
提出了利用多用户VRML技术构造CSCW系统中3D人-人交互界面,它能使用户间进行交互时获得虚拟现实的视听感觉,还提出了一个基于VRML的3D人-人交互界面的基本框架,它适用于大多数CSCW系统。 相似文献
10.
会议电视系统中LD—CELP算法的研究及其实现 总被引:3,自引:0,他引:3
本文简介了会议电视系统及其语音编码的国际标准。介绍了LD-CELP的基本原理。结合会议电视系统开发的实际,我们对LD-CELP算法进行了改进,研究的重点放在;听觉加权滤波器,码书搜索策略和解码器的后置滤波器等上面。系统的实现基于深圳华为会议电视系统,并在实践中得到了验证。 相似文献
11.
12.
The completeness and applications of the formal system L 总被引:1,自引:0,他引:1
Since the formal deductive system L\{\}*was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system L\{\}* is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of L\{\}*_Lindenbaum algebra, the completeness and strong completeness of the system L\{\}* are proved. Some applications of the system L\{\}* in fuzzy reasoning are also discussed, and the obtained results and examples show that the system L\{\}* is suprior to some other important fuzzy logic systems. 相似文献
13.
N. A. S. Alwan 《Computing》2001,66(4):395-412
Different word-level systolic algorithms exhibiting different properties are derived systematically for the problem of correlation
computation by applying certain transformations on the dependence graph which represents the algorithm. The algorithm with
properties which best suit the application of Blackman–Tukey spectral estimation is selected and the complete estimator comprising
autocorrelation, windowing and DFT computation is implemented systolicly. The overall computation time of the parallel system
is 6LTx+3LT+ as compared to (3L/2log2L+2L)Tx+(3Llog2L)T+ for the serial system with fast autocorrelation and FFT where L is the number of input data samples and Tx and T+ are the times needed for one multiplication and one addition respectively. This indicates that the parallel system has a
speed advantage over the serial system for L≥16 and this speed advantage increases with L. For a typical 1024-sample segment,
the parallel system is almost three times faster.
The system is also modified to suit applications where a number of spectrum measurements are required consecutively as is
the case with iterative spectral estimators. For the modified system, the system clock period can be made as small as 2Tx+T+ compared to [(3/2)log2L+2]Tx+(3log2L)T+ for the serial system so that the parallel system can operate at a higher rate for any value of L.
Received August 14, 2000 相似文献
14.
We present an important step towards the solution of the problem of inverse procedural modeling by generating parametric context‐free L‐systems that represent an input 2D model. The L‐system rules efficiently code the regular structures and the parameters represent the properties of the structure transformations. The algorithm takes as input a 2D vector image that is composed of atomic elements, such as curves and poly‐lines. Similar elements are recognized and assigned terminal symbols of an L‐system alphabet. The terminal symbols' position and orientation are pair‐wise compared and the transformations are stored as points in multiple 4D transformation spaces. By careful analysis of the clusters in the transformation spaces, we detect sequences of elements and code them as L‐system rules. The coded elements are then removed from the clusters, the clusters are updated, and then the analysis attempts to code groups of elements in (hierarchies) the same way. The analysis ends with a single group of elements that is coded as an L‐system axiom. We recognize and code branching sequences of linearly translated, scaled, and rotated elements and their hierarchies. The L‐system not only represents the input image, but it can also be used for various editing operations. By changing the L‐system parameters, the image can be randomized, symmetrized, and groups of elements and regular structures can be edited. By changing the terminal and non‐terminal symbols, elements or groups of elements can be replaced. 相似文献
15.
针对参数驱动理论的研究消除了同一银行不同版本甚至不同银行间信用凭证系统的处理系统之间的差异性。通过对配置参数文件的应用,实现了基于参数驱动的信用凭证系统的设计与实现,该系统的实现解决了银行间信用凭证无法通兑以及企业客户无法通过银行门户网站进行信用凭证申请和操作两个问题。该研究成果对商业银行系统设计提出新的思路,对整合银行现有系统,提高银行系统竞争力具有积极的意义。 相似文献
16.
基于L系统的植物建模方法改进 总被引:19,自引:0,他引:19
为了克服将L系统代码用于编程指导时繁琐的缺点,在简要介绍了L系统代码生成的各阶段图形的性质进行了分析,利用分析结果,给出了一种改进方法,该方法首先把系统代码转换成简单递归表达式,然后,根据这个表达式编写具有递归结构的程序,从而不仅避免了传统方法中庞大的链表结构和复杂的遍历过程,而且使植物建模和实现更加简洁而高效。最后给出该方法的一个具体应用实例。 相似文献
17.
对称逻辑公式在L*3逻辑度量空间中的分布 总被引:1,自引:0,他引:1
在三值逻辑系统L*3中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L*3和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,且全体对称逻辑公式的真度之集却在[0,1... 相似文献
18.
This paper describes Expedition, an environment designed to facilitate the quick ramp-up of MT systems from practically any alphabetic language (L) into English. The central component of Expedition is a knowledge-elicitation system that guides a linguistically naive bilingual speaker through the process of describing L in terms of its ecological, morphological, grammatical, lexical, and transfer information. Expedition also includes a module for converting the elicited information into the format expected by the underlying MT system and an MT engine that relies on both the elicited knowledge and resident knowledge about English. The Expedition environment is integrated using a configuration and control system. Expedition represents an innovative approach to answering the need for rapid-configuration MT by preparing an MT system in which the only missing link is information about L, which is elicited in a structured fashion such that it can be directly exploited by the system. In this paper we report on the current state of Expedition with an emphasis on the knowledge elicitation system. 相似文献
19.
周均 《自动化与仪器仪表》2010,(4):97-99
介绍了2250mm热连轧生产线工艺设备组成及技术特点、自动化控制系统的构成,着重阐述了主轧线L1基础自动化控制系统和L2过程自动化控制系统的系统配置、应用功能。 相似文献