排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案. 相似文献
2.
3.
利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法,得到的数值例子明显改进了已有文献中的结果. 相似文献
4.
一、前言 考虑定义于R~2一正方形区域Q上的同胚如果φ以双边无穷序列之集合S上的移位自同构σ为其子系统,φ生成的离散动力系统就有类似于混沌的性质。 相似文献
5.
为解决当前开放域对话系统中端到端模型在生成响应时存在的相关性低、多样性不足的问题,提出了一种多源异构知识增强对话生成模型(multi-source knowledge-enhanced dialogue generation framework, MSGF)。该模型通过整合多个不同的知识源,提高了与对话背景信息相关的知识覆盖率,并采用全局知识选择模块解决不同知识源之间的主题冲突问题,来避免对话主题含义混淆。此外,该模型还引入了融合预测模块,通过获取不同的知识源中的信息来生成响应。实验结果表明,与同类其他模型相比,MSGF模型在性能上具有明显优势,具有更全面的知识覆盖,生成的响应主题相关性更高。可见,所提出的MSGF模型能够很好地理解对话内容,并显著提升对话系统的性能。 相似文献
6.
对于大规模多播应用来说,一个有效发现和修正传输错误的可靠多播算法是必要的,提出了一种新的可靠多播算法,该算法使用软状态存储(soft-statestorage)来有效地发现、修正错误,其NACK爆炸的镇压、合并机制简单,能有效实现本地错误修复,有一个简洁的RTT时间测量算法。 相似文献
7.
软件工程旨在解决早期大型软件开发、管理问题,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束,面对大量中小型系统开发时,不能适应实际开发过程的需要。根据10多年软件开发经验,结合SDBC-MIS项目实践过程,研究了新型软件开发方法XP(eXtreme Programming)的特点、软件过程、实践指导规则和适用范围。系统比较了TSE和XP方法上的主要差异。对比研究结果表明,XP模型比TSE模型更适合于中小型软件系统的开发。 相似文献
8.
广义Sturm序列被用于判断一个多项式方程f(x)在多项式h(x)〉0条件下的实根数。为了构造这样的序列,原先的方法基本上就是辗转相除法。对于带符号系数的多项式,大量的实例表明其效率甚低,无法处理较复杂的问题,代之以一个新的递归算法,成功地避免了由辗转相除引起的高复杂度的计算。 相似文献
1