检索结果-内蒙古大学图书馆

作者：董天吉林大学

学位级别：博士

该文利用构造性代数几何方法研究传统多元多项式插值问题中的一些遗留问题.我们针对插值节点位于一个或几个代数流形上的插值问题,从理论上指出了插值问题在某一分次序下最低次的插值基并给出了新的算法,同时也对插值多项式的次数作了估... 详细信息

该文利用构造性代数几何方法研究传统多元多项式插值问题中的一些遗留问题.我们针对插值节点位于一个或几个代数流形上的插值问题,从理论上指出了插值问题在某一分次序下最低次的插值基并给出了新的算法,同时也对插值多项式的次数作了估计.作为上述理论的具体应用,我们一方面讨论了插值节点为实空间上的非均匀矩形格点的插值问题,主要给出了矩形区域和阶梯形区域中格点上插值问题的按序最低的插值基的一般公式,另一方面我们研究了多元插值在有限元中的应用,主要是针对Hermite-birkhoff型插值的有限元给出了计算插值基函数的算法.

关键词：多元插值插值节点有限元插值基函数计算算法

来源：评论

学校读者我要写书评

暂无评论

铸造充型过程数值模拟技术的研究现状与展望

引用

热加工工艺 2019年第13期48卷 9-13页

作者：阚精诚刘继广杨友文方晓刚合肥工业大学材料科学与工程学院

通过对铸造充型过程的可视化数值模拟研究,可以有效地预测铸件产生缺陷的位置及原因,用科学的方法来指导实际生产。本文在充分了解铸造充型数值模拟相关理论的基础上,综述了充型过程数值模拟的发展过程及最新的研究成果,总结了模拟所用... 详细信息

通过对铸造充型过程的可视化数值模拟研究,可以有效地预测铸件产生缺陷的位置及原因,用科学的方法来指导实际生产。本文在充分了解铸造充型数值模拟相关理论的基础上,综述了充型过程数值模拟的发展过程及最新的研究成果,总结了模拟所用的主要算法、验证方法及相关模拟软件,并对铸造充型过程数值模拟技术的发展作了简单的展望。

关键词：充型过程数值模拟计算算法验证方法模拟软件

来源：评论

学校读者我要写书评

暂无评论

判定平方布尔函数的计数算法

引用

应用科学学报 1996年第1期14卷 35-40页

作者：丁左流上海师范大学

一个ｎ元函数是否为平方布尔函数？如果是，如何得到其所有的平方项？文中就此判定问题提出了一个时间复杂度为Ｏ（ｍｎ￣３）的计数算法．与经典的Ｑ－Ｍ算法不同，该算法基于直观的真值计数，并适合于并行实现．

关键词：平方布尔函数判定 Q-M算法计算算法

来源：评论

学校读者我要写书评

暂无评论

级进模智能排样系统的研究

级进模智能排样系统的研究

引用

作者：段先云华南理工大学

学位级别：硕士

在现今的金属制品中，绝大部分产品的成型都是通过冲压模具来完成的，特别是冲压模具中的级进模，它能够冲压尺寸小、结构复杂、精度高的成型零件，所以，级进模的设计已经成为模具设计中的热点和难点。随着CAD技术的提高和日益成熟，... 详细信息

在现今的金属制品中，绝大部分产品的成型都是通过冲压模具来完成的，特别是冲压模具中的级进模，它能够冲压尺寸小、结构复杂、精度高的成型零件，所以，级进模的设计已经成为模具设计中的热点和难点。随着CAD技术的提高和日益成熟，许多公司都研制出了计算机辅助级进模计系统，这些系统给级进模设计带来了许多便利，提高了设计速度和设计正确性，但是在这些系统中，级进模设计关键的一环一排样设计仍然是沿用传统的、依赖人工和经验的设计方法，这使得级进模的自动、智能设计受到了限制。\n 本课题着眼于级进模智能排样的研究，希望研制出一个根据零件的图形、零件的材料、模具的材料自动地、智能地完成零件的排样设计的系统。基于此目的，课题展开了下列方面的研究：总结归纳了影响和决定级进模零件排样的因素；针对影响因素中的两大规则，建立了它们的数学模型、计算方法并最终计算实现；建立了刃孔最优化排序的数学模型，建立了求解该模型的各大目标和权值系统；建立了载体的智能布置的算法并计算实现；建立零件排列方向的自动判别方法。其中第二、三、四方面的研究是本课题的研究重点和亮点。\n 在完成理论研究后，课题选择UG为该智能排样系统开发和实现的平台，进行各预期功能的实现。该排样系统通过与用户交互地输入、选择所需的参数和图形，再进行自动计算，最后在排样图中按照每个工位加以区别地输出排样的结果。经过实例应用后，验证了课题的研究、提出的方法和理论的正确、有效性。\n 课题所提出理论和方法，有的在相应的领域上有创新性，有的是计算机图形学知识的具体应用。这些理论和实现的算法相对于开发平台而言具有普遍性，容易移植到另外的三维软件平台进行实现。

关键词：模具级进模排样计算算法计算机辅助级进模设计

来源：评论

学校读者我要写书评

暂无评论

移动进程演算中的若干理论和应用问题研究

移动进程演算中的若干理论和应用问题研究

引用

作者：陈韬略南京大学

学位级别：硕士

The Internet has grown substantially in recent years，and an increasing number of applications are now being developed to exploit this distributed *** is an important paradigm for such ***，mobile distributed applications are becoming extremely complex and notoriously error-prone，thus are often difficult，inefficient and time-consuming to develop since not only do they involve complex parallel interactions between multiple components，but they must also satisfy strict requirements for correctness，reliability and security. Formal method，which has a mathematical underpinning，can provide solid foundations for describing and analyzing systems thus is widely considered as a feasible and important approach to reduce design errors and increase system *** meets the requirement of understanding and reasoningabout mobile distributed computation in a rigorous manner through the use of anappropriate model.A promising approach to model mobile computation is to develop a suitable *** can be thought of as very simple programming languages，which provide a concise description of computation that facilitates rigorous analysis.\n In this thesis，two representative calculi for mobility and their variants are *** are mainly the π-Calculus which reduces the concept of mobility to reference mobility and the Calculus of Mobile Ambient adopting explicitcode or agent *** π-calculus is an inheritance and development of CCS，which allows processes to exchange specific values-channel names,thus are capable of expressing systems that can dynamically reorganize their communication topology during their evolution while the Calculus of Mobile Ambient includes the notion of locations and Drimitives for moving processes，thus can explicitlymodel the notion of *** of them provide a conceptual framework for understanding mobility and mathematical tools for expressing mobile distributed systems and reasoning

关键词：移动进程演算计算算法程序语言

来源：评论

学校读者我要写书评

暂无评论

数据包络分析灵敏性研究及应用

数据包络分析灵敏性研究及应用

引用

作者：王佳凯同济大学

学位级别：硕士

自从1978年著名的运筹学家***,***和***首先提出了一个被称为数据包络分析(Data Envelopment Analysis，简称DEA)的方法以来，DEA数据包络分析作为一种有着严密科学性的非参数方法，被广泛应用于评价决策单元相对有效性，在众多领域得... 详细信息

自从1978年著名的运筹学家***,***和***首先提出了一个被称为数据包络分析(Data Envelopment Analysis，简称DEA)的方法以来，DEA数据包络分析作为一种有着严密科学性的非参数方法，被广泛应用于评价决策单元相对有效性，在众多领域得到了成功的应用。现在已经成为管理科学、系统工程、决策分析、评价技术等领域中一种常见而且重要的分析工具和研究手段。数据包络分析根据一组关于输入-输出的观察值来估计有效生产前沿面的，并对评价单元的有效性做出评价。\n 对于数据包络分析的灵敏性问题，Seiford和Joe Zhu，以及Jahanshahloo进行了论述，但是在传统的研究多个输入或输出时DMU灵敏性的方法中，通常都只考虑输入增加和输出减小时的决策单元有效性问题，这主要是根据如下事实：即输入分量减小或输出分量增加，不会使决策单元DMU的有效性变差。但是，对于多输入、多输出自由变化时，决策单元DMU是否可以保持有效性却没有做深入的研究。在实际应用中，当所有输入、输出分量均可以发生变化时，不考虑输入分量的减小和输出分量的增大将不再合理。本文突破传统研究DEA灵敏性时对输入、输出变化的限制，引入多目标DEA模型，讨论输入和输出分量均可以同时增大和减小的情况，并且给出计算稳定域的算法。研究多个输入和输出同时自由变化时，数据包络分析的灵敏性问题。该算法不仅统一了传统意义下数据包络分析灵敏性的研究，而且为数据包络分析理论应用到实际问题提供了新的更具实用性的方法。\n 本文总共由五章构成。第一章绪论，主要介绍DEA数据包络分析的基本思想和理论。在第二章中，引入传统意义下数据包络分析有效性和灵敏性的概念，定义一类在研究数据包络分析有效性和灵敏性问题中起重要作用的决策单元。第三章中，提出输入和输出分量均可以自由增大和减小的情况下稳定域的算法。第四章将结合第三章中的理论给出应用实例，并对其进行实证分析。最后，在总结全文的基础上，就进一步工作的方向进行了简要的讨论。

关键词：数据包络分析灵敏性多目标DEA模型稳定域计算算法

来源：评论

学校读者我要写书评

暂无评论

Experimental Study on Diversity and Novelty of Interdomain Paths

引用

电子学报(英文版) 2013年第1期22卷 160-166页

作者： QIN Donghong YANG Jiahai WANG Hui Department of Computer Science and Technology Tsinghua University Beijing 100084 China Network Research Center Tsinghua University Beijing 100084 China Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China

Exploiting Internet path diversity to en- hance communication reliability and performance is an im- portant research field. Although the Internet has enor- mous physical diversity in the underlaying infrastructure, inter-domain routing protocol and routing policies highly limit this path diversity in the Internet. In order to inves- tigate the effects of routing policies on inter-domain paths, we develop a measurement study framework to character- ize and classify inter-domain paths. In this framework, we define the concepts of the transit strategy and the valley and valley-free paths, and give a formal model of strategy- labeled inter-domain paths. Then we develop three asso- ciated algorithms: Topology extraction (TE), Multi-path computation algorithm (MCA) and Classification of path pattern (CPP), which are used to compute and classify inter-domain paths. Experimental results show two useful and important observations that valley paths have aver- agely more than 73% in all inter-domain paths, and Class 1 paths account for 64.6% of all valley paths. The observa- tions may guide the design of inter-domain routing proto- col, especially the design of multi-path routing, to achieve higher performance and reliability.

关键词：多路径路由多样性实验域间路由协议计算算法互联网基础设施路由策略

来源：评论

学校读者我要写书评

暂无评论

Extending Weight-Balanced Key Tree without Adjustment-Propagation

引用

电子学报(英文版) 2009年第1期18卷 79-83页

作者： WANG Wei ZHAO Wenhong LI Fenghua MA Jianfeng No. 36 Research Institute of CETC Jiaxing 314033 China Key Laboratory of Computer Networks and Information Security (Ministry of Education) Xidian University Xi＇an 710071 China Graduate School Beijing Electronic Science and Technology Institute Beijing 100070 China

An Extending weight-balanced tree (EWB tree) for group key managements is presented. By introducing a special path in the weight-balanced key tree, the EWB tree does not cause adjustment-propagation after member adding or member deleting. The bounds ratio of the EWB tree based algorithm to that of the optimal tree shows that the bounds of EWB tree is better than those of the height-balanced 2–3 tree and equal to those of the weight-balanced 2–3 tree. The analysis also shows that the proposed scheme has fewer rekeying cost than the ones based on the weight-balanced 2–3 tree, height-balanced 2–3 tree, LTM tree and NSBHO tree.

关键词：重量平衡键树调整繁殖 2-3树 EWB 管理部门计算算法

来源：评论

学校读者我要写书评

暂无评论

基于双重积分原理的板结构变形分布式光纤计算法及应用

基于双重积分原理的板结构变形分布式光纤计算法及应用

引用

作者：曾捷张钰珏李钰王晓钢李丹婷梁大开康健 210016 江苏省南京市秦淮区御道街29号

本发明涉及一种基于双重积分原理的板结构变形分布式光纤计算法及应用，是类似于机翼的板结构变形光纤计算技术。具体包括：光纤光栅传感器的结构变形计算反演算法、光纤光栅传感器布局优化方法以及光纤光栅传感器与板结构胶接方法。该... 详细信息

标准号: CN105352444A

本发明涉及一种基于双重积分原理的板结构变形分布式光纤计算法及应用，是类似于机翼的板结构变形光纤计算技术。具体包括：光纤光栅传感器的结构变形计算反演算法、光纤光栅传感器布局优化方法以及光纤光栅传感器与板结构胶接方法。该发明提出了一种基于双重积分原理的板变形分布式光纤计算方法，有助于减少变形计算中光纤光栅传感器的数量，简化变形计算算法计算量，改善光纤光栅传感器与板结构粘贴性能以达到实现光纤光栅传感器精确测量变形的目的。

关键词：光纤光栅传感器板结构分布式光纤变形双重积分一种变形光纤布局优化反演算法计算方法计算技术计算算法减少变形结构变形精确测量粘贴性能板变形计算法计算量计算胶接机翼简化涉及应用改善

来源：评论

学校读者我要写书评

暂无评论

Plasmon hybridization for real metals

引用

Chinese Science Bulletin 2010年第24期55卷 2629-2634页

作者： BAO Kui SOBHANI Heidar NORDLANDER Peter Department of Physics Laboratory for Nanophotonics Rice University Houston TX 77005 USA Department of Electrical and Computer Engineering Laboratory for Nanophotonics Rice University Houston TX 77005 USA

We present three important extensions of the plasmon hybridization(PH)method:a generalization of the method to include realistic non-Drude dielectric permittivities for metals,the development of an algorithm for the calculation of plasmon-induced electric field enhancements,and the extension of the PH method to the modeling of plasmonic Fano *** illustrate these developments with an application to a silver nanosphere dimer and a symmetric silver nanosphere heptamer.

关键词：金属杂交电浆等离子体 PH值法介电常数计算算法电场增强

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：