一种设计分解的正确性证明(英文)

二维变量化设计系统可以用含有 n个未知数、m个方程的非线性方程组表示 .通过设计分解可以提高几何约束求解的效率和数值稳定性 .给出了一种基于图论的设计分解方法及其正确性证明 .该方法可以 (1)处理结构欠约束系统的分解 ;(2 )检测出冗余约束 .分解算法在有限步内终止 。

基于多重耦合聚类的复杂产品多变量关联设计模型分解

为了提高复杂产品设计模型分解后的聚合度,提高复杂产品优化设计效率,提出一种基于多重耦合聚类的复杂产品多变量关联设计模型分解方法。基于敏感度计算和耦合特性分析,建立表征设计模型中设计变量与设计函数耦合关联、设计变量耦合关联、设计函数耦合关联等多重耦合强弱的综合耦合度矩阵。然后通过综合耦合度矩阵降维和耦合二元树构建,实现耦合度大的变量函数初步聚类;通过二元树分支间耦合度比较,实现变量函数集聚类。最后以二元树分支为可选分割点,以分解后模型聚合度最高为目标实现设计模型分解。以大型空分装备中填料设计模型分解和透平膨胀机设计模型分解为例验证了方法的有效性。

面向复杂机械产品分解式设计的系统集成平台方法

介绍了复杂机械产品的分解式设计方法,针对设计中的困难提出了系统集成平台的概念、方法和框架。通过对系统整体性能的检验及设计冲突的识别和协调,系统集成平台能够在系统级的水平上对子系统的设计给以指导,并协助将各子系统的设计信息集成为一个整体设计方案。通过以二甲醚发动机为例,证明了在系统集成平台的支持下,子系统的设计过程大为简化,系统的整体性能也更有利于保证。

可分解的可分组设计构造的LDPC码

提出了利用可分解的可分组设计构造低密度校验码的新方法,所构造的低密度校验码的围长至少为6,且码率、码长灵活可变.同时,基于可分解的可分组设计,又构造了一类掩模矩阵,从而利用掩模技术,得到了更多的准循环低密度校验码.数值结果表明,在加性高斯白噪声信道上,采用和积译码算法,所提出的低密度校验码的性能优异且迭代收敛快.此外,掩模后的准循环低密度校验码比掩模前有较大的误码率/误帧率性能提升.

分解设计不带筋膜股前外侧穿支皮瓣修复肢端组织缺损

目的探讨分解设计且不带筋膜的股前外侧穿支皮瓣游离修复肢端组织缺损的临床效果。方法 2011年2月至2013年2月对12例患者根据创面缺损的大小分解设计并切取股前外侧穿支皮瓣,将分解的皮瓣进行缝合,游离后与受区血管神经进行吻合,供区可直接缝合。皮瓣大小17 cm×9.6 cm^22.8 cm×13.2 cm。结果本组12例,随访3~18个月,平均7个月。皮瓣全部成活,质地外观好。供区呈线型愈合。结论实施分解设计且不带筋膜的股前外侧穿支皮瓣修复肢端创面,血供可靠,外形质地好,供区可直接缝合。

可分解不完全可分组设计的存在性

可分解不完全可分组设计(Resolvable Incomplete Group Divisible Design或IRGDD)被广泛地用于构造其他组合设计中.在该文中,我们证明了除u=6且m≡n≡0(mod 2)外,一个型为(m,n)u的3-IRGDD存在的必要条件也是充分的.

雷达结构并行设计过程分解方法初探

雷达结构设计实施并行工程必然会增加设计过程的复杂程度和管理难度。对设计过程合理地分解可以减轻或消除各种设计影响因素之间的相互耦合。分解的关键是耦合任务集的识别。本文基于图论的有关理论和代数矩阵方法 ,提出一种雷达结构并行设计过程的分解方法。最后给出一个此法在雷达结构设计过程分解中的应用例。

速度优化再分解设计方法

在超大规模集成电路的设计过程中 ,库单元绑定是非常重要的一环。它的目标是 :通过特定的方法 ,把一组布尔网络表述的逻辑功能用具体的库单元实现。逻辑分解是这一过程中非常重要的一步 ,经分解产生的主题图质量的好坏直接影响到最后的设计结果。针对主题图中的延时问题 ,提出了“再分解”这一新设计方法。该方法采用“逻辑变换”技术 ,使主题图中从基本输入到基本输出的各条线路延时的差距尽量缩小 ,从而达到减小整个主题图延时的目的。

驱动性问题视角下项目化学习中子问题的分解设计

项目化学习以问题驱动教学,强调学生通过亲身参与和实践来解决真实问题。其问题解决的过程也是对驱动性问题下子问题的求解过程,子问题的设计对于实现知识的深度理解具有重要意义。在把握项目化学习三级问题的基础上,教师要明晰子问题的价值,结合学生已有知识与能力水平,指导学生从关键词、项目成果、实施过程等维度进行子问题的分解设计,引领学生在项目中成长,促进创造性问题解决能力的发展。

同步分支线定向耦合器的分解设计方法

定向耦合器是四端口网络,直接设计十分困难。本文采用同步分支线定向耦合器的分解设计方法。文中首先分析了定向耦合器的传输特性,并依据奇、偶模激励原则将其分解为两个二端口网络,即两个带通滤波器。这样,同步分支线定向耦合器的设计即转化为带通滤波器的设计。

准可分解4-星设计

设λKv表示v个顶点λ重的完全图.一个4-星设计是指有序对(X,B),其中X=V(λKv),B是一些同构于4-星的子图(称为区组)的集合,使得λKv中每一条边恰好出现在B的唯一区组中.如果B能划分为平行类(顶点集的划分),则(X,B)为可分解4-星设计;若B能划分为准平行类(顶点集去一点的划分),则(X,B)为准可分解4-星设计.在可分解4-星设计存在的充分必要条件基础上,证明了准可分解4-星设计存在的必要条件v≡1(mod 5),λ≡0(mod 8)也是充分的.

再分解优化设计方法

针对主题图的延时和面积优化问题提出了再分解这一新设计方法。该方法采用逻辑变换技术通过减少主题图中门的个数以,"""",""及最大延时路径的长度达到进一步优化主题图面积和延时性能的目的。"",

可分解带约束的强部分平衡2-设计的构造

很多学者已经研究了带约束的强部分平衡t-设计.但是关于可分解带约束的强部分平衡t-设计的结果却很少.利用分裂弱横截设计建立可分解带约束的强部分平衡2-设计的若干构造方法,从而得到两类新的可分解带约束的强部分平衡2-设计.

基于可分解设计的LDPC码掩模和叠加矩阵设计

文中提出一种设计LDPC码的掩模矩阵和叠加矩阵的新方法。该方法使用可分解设计的关联矩阵构造掩模矩阵和叠加矩阵,并结合结构化矩阵得到更稀疏的准循环校验矩阵。数值仿真结果表明,与CCSDS标准中的LDPC码相比,所构造的LDPC码的译码性能均有所提升,并且译码收敛很快。

时间触发模式的任务调度与分解策略

在嵌入式系统设计中采用事件触发模式,很大程度上会增加系统的复杂性、代码的长度和复杂性,不适合普通开发人员构建,因此必须采用价格昂贵的商业实时操作系统;同时还需要很大的操作系统开销。采用时间触发模式简单、可靠,开发时间短,但系统的实时响应能力将被削弱,除非系统进程极其简短。本文探讨了基于时间触发模式的任务调度与分解策略,从而使时间触发模式可以满足绝大多数工程实际的需要。

基于公理化设计的农业供应链战略设计

分析了与供应链战略紧密相关的战略定位、价值定位和绩效定位3个问题,介绍了战略供应链管理的运作、战略和标准3个层次,阐明了供应链战略设计的重要性;在介绍公理化设计理论的基础上,阐述了基于公理化设计的农业供应链战略分解设计方法和农业供应链战略的开发步骤。

一个新的超单可分组设计

超单设计可用于构造重叠码、光正交码.这类设计的存在性问题远远没有解决.本文构造了一个新的超单(5,3)可分组设计,组型为11651,并给出了它的一个应用.

一种通用零件可靠性分析软件的研制

归纳总结了机械零件可靠性设计的通用方法 ,论述了一种通用的零件可靠性分析软件的实现途径。阐述了软件的结构功能及其组织方式 ,提出了“设计问题分解”的思想和“设计向导”的解决方式 ,并编制了一套具有自主版权的零件可靠性分析软件。

A Novel Analytical Model for Surface Electrical Field Distribution and Optimization of TFSOI RESURF Devices

A novel analytical model for the thin film silicon on insulator (TFSOI) reduced surface field (RESURF) devices has been proposed.Based on the 2-D Poisson equation solution,the analytical expressions for the surface potential and field distributions are derived.From this analysis,the optimum design condition for the maximum breakdown voltage is obtained.The dependence of the maximum breakdown voltage on the drift region length is examined and the relationship between the critical doping concentration and the front- and back- interface oxide layer thickness is discussed.The numerical simulation performed by the advanced semiconductor simulation tool,DESSIS-ISE,has been shown to support the analytical results.

型为2~n的frame自正交Mendelsohn三元系(英文)

研究了 frame自正交 Mendelsohn三元系的存在性问题 ,证明 :除 n=3 4 ,4 6外 ,当 n≡ 1 (mod 3 )时 ,型为 2 n 的 frame自正交 Mendelsohn三元系是存在的。