高层建筑剪力墙结构阻尼优化控制的解析法

本文采用连续化方法提出了一种剪力墙结构振动控制的优化设计方法。     

进口音响选购全解析——各档器材的比较与搭配

自从1958年出现了商品化的家用双声道立体声音响系统以来,由于可以获得一个位于听音者前方的二维声场,就像坐在音乐厅的座位里欣赏舞台上乐队的演奏或演员的演唱,所以它作为纯音响标准格式而延续至今。 在前段时间家庭影院风靡一时之际,很多人十分担心纯音响的前途,然而传统的双声道Hi-Fi音响并没有在家庭影院的热浪中消亡,最近以来反而略有升温的迹象,君不见正版CD碟十     

型钢厂试轧美标H型钢性能分析研究

分析了型钢厂试制热轧美标H型钢低温冲击韧性偏低的原因，并在此基础上提出了对生产工艺的优化与改进。     

南京市漂水区天生桥河水利风景区

素有"江南小三峡"之称的天生桥河水利风景区位于南京市溧水区,面积约7.6平方公里,其主要水利工程天生桥闸是南京外秦淮河环境综合整治的关键的工程,与武定门闸、秦淮新河闸、三汊河口闸等一同实现"六闸联动",对改善南京城区秦淮河水环境起到了重要作用。渐入景区,便见两岸绝壁高耸,一线流水劈山而过,婉转的回音如历史的絮语,诉说着荡气回肠的岁月。"凝脂沉霞"的胭脂河距今已有     

基于C语言的正弦逆变器的软件设计

充分利用８位微控制器的资源,采用规则采样法来产生ＳＰＷＭ波,采用ＰＩＤ控制算法来实现稳压,Ｃ语言的使用大大缩短了正弦逆变器研制的周期。     

复杂几何燃料组件的参数计算

利用加拿大蒙特利尔大学研制的DRAGON程序对反应堆复杂几何组件进行参数计算，并通过压水堆柱状元件基准问题、MTR型反应堆板状元件基准问题和其他不同几何形状的燃料组件进行校核计算。结果表明：DRAGON程序可用于多种复杂几何燃料组件参数的计算，且具有良好的计算精度。      

从基于迁移的扩展Büchi自动机到Büchi自动机

目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(linear temporal logic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自动机接受语言之间的包含关系.有一类LTL公式转化为Büchi自动机的算法是:在计算过程中,首先得到一个标注在迁移上的扩展Büchi自动机(transition-based generalized Büchi automaton,简称TGBA),然后把这种扩展Büchi自动机转换成非扩展的Büchi自动机.针对这类转换算法,根据Büchi自动机接受语言的特点,重新定义了基于迁移的扩展Büchi自动机的求交运算,减少了需要复制的状态个数,使转换后的自动机具有较少的状态.测试的结果表明:对随机产生的公式,新算法相对于以往的算法有明显的优势.     

城市品牌研究

城市的品牌形象关系到城市的发展、城市的知名度、吸纳能力、竞争能力和交换能力。从品牌的角度分析，城市的发展应从政治、经济、交通、旅游、文化、宗教等方面进行定位；指出通过构造知识强市、经济强市、生态强市和文化强市发展城市品牌的思路。     

立式混流式水电机组动载荷的识别

水电机组的动载荷，是振动分析、动态设计的基础数据采用频响函数矩阵求逆法，识别了立式混流式水电机组动载荷的周期性部分