去索对无环索弦支穹顶静力性能的影响规律研究

无环索弦支穹顶结构的下部预应力索支体系较为繁冗,影响其整体受力性能且给施工造成一定困难,需要进行合理优化。以某体育馆60m跨屋盖为实例,研究去索对无环索弦支穹顶结构静力性能的影响。针对原结构下部三层预应力索支体系,设计了四种去索方案,综合分析不同去索方案对上部网壳结构总应变能、整体结构最大竖向位移和承载力的影响程度,确定最优去索方案。模拟最优去索方案对无环索弦支穹顶结构进行静力性能参数分析,研究撑杆高度、拉索索力、初始几何缺陷对结构刚度和承载力的影响。结果表明：去索位置越靠近中心,对上部单层网壳总应变能影响越小,对结构刚度和结构承载力的削弱越小,节约用钢量越少;去除第三层索对上部单层网壳应变能、结构刚度和承载力影响很小,建议在优化时优先考虑去除第三层索;第一层撑杆高度和第一层拉索预应力的增加可以使结构整体结构刚度显著变大,对结构承载力影响不大而对失效模式影响较大;第二层撑杆高度的变化对结构刚度无影响,对结构承载力和失效模式影响很小;第二层拉索索力的变化对结构刚度和承载力影响不大而失效模式影响较大;建议在优化时优先考虑调整第一层拉索和撑杆;初始几何缺陷对结构承载力影响较大,初始缺陷越大结构承载力越低,而对结构失效模式影响不明显。     

Analysis on single-layer hyperbolic cable net structure schemes of stadium roof

为满足某体育场屋盖采用马鞍面单层索网结构的需求，提出轮辐式单层索网结构和无内环单层索网结构两种方案。基于方案的外形、构件和节点设计信息，比较两种方案下的拉索、索端锚具和大型索夹节点用量等经济指标。利用有限元分析软件Midas/Gen建立模型，分析两种方案在静力荷载作用下的位移和索力，对比两种方案的结构整体刚度、索力大小和索力分布均匀性。利用有限元分析软件Ansys/Ls-dyna建立模型，采用拆除构件法分析两种方案断索后的动力响应，研究两种方案抗连续倒塌性能。结果表明：无内环方案的拉索、索端锚具、大型索夹节点用量均显著少于轮辐式方案的，经济性更好；无内环方案的刚度较大，整体性好，索力较小且索力分布更均匀；无内环方案断索后仍保持形状稳定且索力损失不明显，抗连续倒塌性能更好。     

圆柱面弦支穹顶Levy型与无环索型索系性能对比研究

针对温州某体育馆圆柱面弦支穹顶屋盖结构的索系选型,建立了Levy型索系方案和无环索型索系方案.探讨了两种方案的建筑美感,比较了两种方案的经济指标.采用MIDAS Gen软件建立模型分析结构在静力荷载作用下的杆件内力、节点位移和上部网壳应力,探讨了两种方案的结构刚度和索力分布特点.采用弧长法进行荷载-位移全过程分析,探讨...     

A test methodology for finite state machines using partial scan design

This paper presents an efficient automatic test pattern generation technique for loop-free circuits. A partial scan technique is used to convert a sequential circuit (finite state machine) with arbitrary feedback paths into a pipelined circuit for testing. Test generation for these modified circuits can be performed with a modified combinational automatic test pattern generator (ATPG), which is much faster than a sequential ATPG. A combinational model is obtained by replacing all flipflops by buffers. It is shown that a test vector for a fault in this model obtained by a combinational test generator can be expanded into a sequence of identical vectors to detect the same fault in the original sequential circuit. This technique may abort a few faults which can then be resolved with a sequential ATPG. Experiments on the ISCAS89 circuits show that only 30% to 70% of flipflops require scanning in larger circuits and 96% to 100% fault coverage for almost all the circuits without resorting to a sequential ATPG.This research was sponsored by the Semiconductor Research Corporation, Contract 90-DP-142.     

基于分类搜索的SDN流表无环一致性更新方案

在软件定义网络(Soft ware-Defined Networking,SDN)中,由于配置策略的改变导致控制器需要对多个交换机中的流表项进行更新时,会出现更新不一致的情况.其内在原因是控制器无法同时对所有交换机完成更新,不同的更新时延会导致网络状态在逻辑上的不一致,从而影响数据报文的正确转发.针对分类时序更新方案应用场景适用性差和更新时延长,最优化更新方案计算复杂度高等问题,本文在两者的基础上,提出基于分类搜索的无环更新一致性方案(Categorical Search based loop-free Consistent Update scheme,CSCU).方案通过设计交换机分类模型,并在分类的基础上,结合节点依赖思想设计环路搜索优化模型,实现更新时延短,更新效率高的一致性更新.仿真结果表明,本方案有更好的场景适用性和更低的节点操作复杂度,也有更少的更新轮次和更低的计算复杂度,可有效提升更新性能.     

节点约束型链路分离算法

针对节点约束型链路分离问题中的两条链路需经过各自必经点集的特点,提出一种以遗传算法和迪杰斯特拉算法为基础的节点约束型链路分离算法。通过改进的遗传算法得到较优的必经点序列,利用带有禁忌搜索的迪杰斯特拉最短距离算法求必经点对之间的无环最短路径,采用禁忌边的方式保证路径间重边最少。得到起点到终点之间的两条受必经点约束的路径,路径内无环路、路径间重边最少。大量模拟仿真实验结果表明了该算法的有效性和可行性。     

体育场马鞍面单层索网屋盖结构方案分析

为满足某体育场屋盖采用马鞍面单层索网结构的需求,提出轮辐式单层索网结构和无内环单层索网结构两种方案。基于方案的外形、构件和节点设计信息,比较两种方案下的拉索、索端锚具和大型索夹节点用量等经济指标。利用有限元分析软件Midas/Gen建立模型,分析两种方案在静力荷载作用下的位移和索力,对比两种方案的结构整体刚度、索力大小和索力分布均匀性。利用有限元分析软件Ansys/Ls-dyna建立模型,采用拆除构件法分析两种方案断索后的动力响应,研究两种方案抗连续倒塌性能。结果表明：无内环方案的拉索、索端锚具、大型索夹节点用量均显著少于轮辐式方案的,经济性更好;无内环方案的刚度较大,整体性好,索力较小且索力分布更均匀;无内环方案断索后仍保持形状稳定且索力损失不明显,抗连续倒塌性能更好。     

Entity-relationship diagrams which are in BCNF

In Ref. 8, we introduced a simplifying assumption about entity-relationship diagrams (ERDs), called regularity, and showed that regular ERDs have several desirable properties. One such property is that every relation schema in the ERD's canonical relational scheme can be put into Third Normal Form. We left open there the more basic question: under what conditions would the original relation schemas actually be in Boyce-Codd Normal Form (BCNF)? Since the visible semantics of ERDs determine naturally their associated functional dependencies (fd's), it is important to know when an ERD, as designed, already has this strongest normal form given purely in terms of fd's. We show here a sufficient diagrammatic condition (loop-free) under which a regular ERD will have databases enjoying the benefits of BCNF.     

Ad Hoc网络中一种新的多径路由机制研究

基于AODV(Ad Hoc on demand distanceVector)提出了一种新的按需多径矢量路由协议模型TRND-AODV(TreeRoot Node Disjoint Ad-Hoc On Demand distance Vector),旨在增强路由的健壮性,增强网络对拓扑变化的适应能力。通过对AODV路由协议发现过程的修改,能够在源节点和目的节点间提供多条节点分离的无环链路。仿真结果表明,该协议模型能有效地减少路由开销、加快数据包的转发速度。