GL“基于航线的集装箱装载”荣膺技术创新奖

中国上海／德国汉堡,2013年11月5日——GL推出的船级符号“基于航线的集装箱装载”在伦敦荣获《国际集装箱化》杂志（Containerization International）2013年度大奖之技术创新奖。该奖旨在表彰那些凭借着创新、积极和首创的精神,为集装箱班轮运输和物流业作出突出贡献的公司和个人。     

极地航行的相关规则及最新进展

本文对极地航行的特殊性和挑战性做了分析,从保证极地航行安全的角度出发,阐述了IMO和IACS等国际性组织出台的一系列规则和要求,并就IMO极地规则的出台和最新进展情况进行了跟踪分析.     

图的反符号全控制数

设G=(VE)是一个无孤立顶点的图,一个函数f:V{-1,+1}称为图G的一个反符号全控制函数,如果f(N(v))≤1对任何点v V(G)成立。图G的反符号全控制数记为γrst(G)=max{f(V)|f为图G的一个反符号全控制函数}。该文对图的反符号全控制函数进行了研究,获得了一般图的反符号全控制数的若干界限,确定了完全图和完全二部图的反符号全控制数。     

一种基于盲运算的1比特压缩感知重建算法

为了解决1比特压缩感知中符号匹配追踪算法(matching sign pursuit)在稀疏度未知的情况下不能自适应重构信号的问题,提出了向前/向后迭代符号匹配追踪算法(forward-backward matching sign pursuit, FBMSP).该算法以逐步逼近理论为核心,通过逐步扩大支撑集来扩大搜索范围,把相邻两次迭代的差值作为终止条件,在MSP算法模型下进行盲运算,以实现信号的重构.数值试验表明:在控制迭代系数=8,=1的情况下,FBMSP算法比传统的符号匹配追踪算法重构精度提高了3 dB,运算时间减少了40%.      

从资本符号看资本文明的演进逻辑及其发展趋势——马克思资本批判思想的当代反思与深化

现代社会越来越多的事物被符号化,越来越多的人讨论符号的哲学意义.从资本发展的历史看,实物资本和生息资本越来越被一切能带来更大财富增殖的"资本符号"所替代,"资本符号化"、"符号资本化"是资本突破实物、民族及国别界限的必然产物,是资本文明逻辑扩展的应然结果,成为理解当代文明的一个重要视角和基本线索.本文分析资本符号的五种存在形式,探究资本符号与资本文明之间的共变关系,探析当代资本与符号的连接和断裂、融合与对抗、统一与冲突的未来可能.     

汽油机劣化时的瞬态排放量熵值分析

介绍了符号时间序列分析中的直方图、Shannon熵等,并给出了熵值的计算程序,选用BN492Q和CS492Q两台汽油机台架进行实验,对得到的实验数据进行熵值分析,结果验证了符号时间序列分析方法的Shannon熵可以作为汽油机瞬态排放的评价参数。     

复杂六连杆机构的虚拟电拖系统研究

运用符号数学工具,实现多刚体动力学系统建模计算机化,并在MatLab/SimuLink的系统函数中,进行(机电)多专业领域的系统集成,建立虚拟样机模拟模型.研究结果证明:这一技术实现方法是可行的,特别是离散模拟模型,在诸如加载等事件发生的情况下,其平衡状态的收敛性是非常理想的.     

《地铁设计规范》问与答(四)

问题9 《规范》8．3．10条中站台层的事故疏散时间按公式计算,公式中的主要符号如何解释?     

基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

闭合循环符号学

随着“组织科学”的符号学渗入各个学科领域,并取得了了不起的成果。产品设计作为社会生产力的重要组织部分,也应对次作出反映。本文提出闭合循环符号学,从运动的角度看待符号的发展,分析设计符号产生和]变规律。特别是逆符号的提出将说明符号运动的闭合循环特性,并为避免“失真现象”提供了良药。