利用不匹配帧比例加权N-Best候选的置信度方法

针对关键词检出中的置信度可靠性问题,提出了一种基于N-Best候选路径的置信度方法,根据比较候选路径上关键词边界内不匹配帧所占的比例大小,对N-Best的结果进行加权.该方法不但利用了词图搜索上N-Best候选的似然分,而且突出了每条路径中局部匹配的置信度,在上下文相关的中文关键词检出系统上,通过重庆口音普通话数据库的...     

钢框架正常使用极限状态考虑二阶效应的侧移性能研究

针对我国钢框架高等分析研究主要针对承载力极限状态的现状,分别采用传统一阶侧移计算方法、二阶简化侧移计算方法和二阶精确侧移计算方法对1榀2跨15层钢框架在正常使用极限状态时的侧移变形进行了计算,获得了钢框架在3种计算方法下的顶点侧移及层间侧移,并将获得的侧移计算结果进行了对比.研究了钢框架考虑二阶效应后对结构侧移变形的影...     

弯剪型-弯曲型双重抗侧力结构体系水平位移的解析解

对中高层弯剪型-弯曲型双重抗侧力结构体系的水平位移计算方法进行了研究.将弯曲型子结构视为仅发生弯曲变形的悬臂墙,将弯剪型子结构视为同时发生弯曲变形和剪切变形的Timoshenko悬臂墙,在此基础上建立了弯剪型-弯曲型双重抗侧力结构体系的位移微分方程,结合边界条件,推导了均布荷载等三种荷载下结构的弯曲变形、剪切变形和总水平位移的解析解.探讨了弯剪型-弯曲型双重结构与剪切形-弯曲形双重结构位移计算方法的关系.结果表明,剪切形-弯曲形双重结构可视为弯剪型-弯曲型双重结构在弯剪型子结构抗弯刚度取无穷大时的一种特殊表现形式.     

Requirements Analyses Integrating Goals and Problem Analysis Techniques

One of the difficulties that goal-oriented requirements analyses encounters is that the efficiency of the goal refinement is based on the analysts’ subjective knowledge and experience. To improve the effi- ciency of the requirements elicitation process, engineers need approaches with more systemized analysis techniques. This paper integrates the goal-oriented requirements language i* with concepts from a struc- tured problem analysis notation, problem frames (PF). The PF approach analyzes software design as a con- textualized problem which has to respond to constraints imposed by the environment. The proposed ap- proach is illustrated using the meeting scheduler exemplar. Results show that integration of the goal and the problem analysis enables simultaneous consideration of the designer’s subjective intentions and the physi- cal environmental constraints.     

On the status of the geodesic principle in Newtonian and relativistic physics

A theorem due to Geroch and Jang (1975) provides a sense in which the geodesic principle has the status of a theorem in General Relativity. I have recently shown that a similar theorem holds in the context of geometrized Newtonian gravitation (Newton–Cartan theory) (Weatherall, J.O., 2011). Here I compare the interpretations of these two theorems. I argue that despite some apparent differences between the theorems, the status of the geodesic principle in geometrized Newtonian gravitation is, mutatis mutandis, strikingly similar to the relativistic case.     

测度框架的若干性质

测度框架是Hilbert空间上经典框架的推广, 但同时也有着本质的区别。 本文主要从框架算子理论的角度来研究测度框架的等式与不等式性,同时讨论了测度框架的提升、近似对偶及伪对偶。     

基于蚁群优化算法的钢架结构优化设计

采用蚁群优化算法对3跨24层168杆件的钢架结构重量进行优化计算,并对此结构采用美国钢结构规范(ASCI)、英国钢结构规范(BC5990)、国标钢结构规范(GB50017)3种规范体系进行对比分析。分析结果表明,基于TSP模型的蚁群优化算法对钢框架结构优化设计具有很好的适用性,尤其是对复杂钢结构的优化设计具有更快更强的适用性。     

一种动对动相对定位中平滑惯导辅助模糊度解算策略

针对基于单频载波相位的动对动相对定位中实时模糊度固定可靠性不高的问题,提出了一种基于DGNSS/INS紧组合的平滑惯导辅助模糊度解算策略,以提高低成本接收机高精度定位的普适性。首先,基于伪距和载波相位观测量构建动对动相对定位模型;其次,对惯性导航数据进行卡尔曼滤波处理,并利用滤波平滑后的惯导位置预测卫地距重构双差观测方程并构造惯导位置约束方程,继而获得较高精度浮点解及其协方差阵,采用LAMBDA算法进行整周模糊度固定及Ratio检验;最后,由DGNSS/INS紧组合算法对惯性误差进行反馈校正,以维持惯性高精度导航。实测数据实验结果表明,对比没有惯导辅助、有惯导辅助和经滤波平滑后的惯导辅助结果,本文方法可以有效地提高模糊度浮点解精度,减小模糊度搜索空间,提升整周模糊度固定成功率,三种方法下模糊度固定成功率分别为92.3%、99.1%和99.6%,并最终实现厘米级动态相对定位。     

Sobolev空间Hs(R)上框架的充分条件

目的研究Sobolev空间H^s(R)上的框架。方法利用Plancherel定理和Cauchy—Schwarz不等式。结果讨论了Sobolev空间上小波框架和加窗Fourier变换框架的充分条件。结论将空间H^s(R)上有关框架的结果推广到Sobolev空间。     

变截面门式拱架轻钢结构承载性能的有限元分析

考虑不同跨度和矢跨比对门式拱架结构承载性能的影响,利用有限元软件Ansys建立了变截面门式拱架轻钢结构的模型,计算结果与普通变截面门式刚架进行比较,在此基础上总结了门式拱架轻型钢结构体系的承载性能特点,并通过模型试验对分析结果进行验证.