一种用于指针程序的形状分析方法

指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。     

Parametric 3D modeling of young women's lower bodies based on shape classification

Three-dimensional (3D) human body modeling is an important research direction in the field of clothing virtual design. On the basis of 3D human body scanning, this paper studied a method to build a 3D parametric lower body model according to body classification. The research includes three main parts. (1) Anthropometry and body shape classification. We randomly selected 333 young women ages 18–25 years old in Northeast China as the experimental sample. Then we divided the lower body shape into three categories using principal component analysis and K-means clustering. (2) Determination of feature cross sections and points, and reconstruction of feature curves. According to the average values of each body type, we obtained the mean reference body by Euclidean distance method. We determined feature cross sections and points, and extracted the 3D coordinates of the feature points of the mean reference body to reconstruct the feature curves. (3) The surface lofting and establishment of parametric 3D lower body model. According to the shape characteristics of the lower body, we constructed the guiding lines for the crotch and lower limbs, and established parametric lower body models for three body types.Relevance to industry3D human modeling is an important part of garment industry digitization. This research provides an effective way to construct a parametric 3D lower body model. The method offers a reference for the parametric virtual human modeling and virtual fitting of trousers.     

Where does the end begin? Problems in musico-cognitive modeling

Research with computer systems and musical grammars into improvisation as found in the tabla drumming system of North India has indicated that certain musical sentences comprise (a) variable prefixes, and (b) fixed suffixes (or cadences) identical with those of their original rhythmic themes. It was assumed that the cadence functioned as a kind of target in linear musical space, and yet experiments showed that defining what exactly constituted the cadence was problematic. This paper addresses the problem of the status of cadential patterns, and demonstrates the need for a better understanding and formalization of ambiguity in musico-cognitive processing. It would appear from the discussion that the cadence is not a discrete unit in itself, but just part of an ever-present underlying framework comprising the entire original rhythmic theme. Improvisations (variations), it is suggested, merely break away from and rejoin this framework at important structural points. This endorses the theory of simultaneity. However, the general cognitive implications are still unclear, and further research is required to explore musical ambiguity and the interaction of musical, linguistic, and spatio-motor grammars.     

保持几何特征的自适应弹性二次曲线模型

物体形状特征的准确提取往往受到图像获取、目标分割等过程中各种因素的影响,因而需要构造一种鲁棒的形状表现来保有其本质特征。揭示弹性二次曲线(EQW)模型中能量权重因子和样条重叠度因子与形状几何特性间的关系,提出一种自适应保持几何特征的EQW形状表现模型,并将该模型与交互式Live Wire算法相结合,应用至图像分割中,对于各种模态图像中的目标进行分割实验。直观上,本文方法能够在去除噪声同时较好地保持目标形状的显著特征;量化结果方面,交互式分割误差保持在较小稳定范围内,引入EQW模型带来的时间开销亦在可接受范围内。     

小口径离轴抛物面反射镜挠性支撑设计分析

关于反射镜支撑稳定性优化设计问题,离轴抛物面反射镜作为空间光学遥感器的重要光学元件,面形精度直接影响遥感器性能。针对反射镜所处环境,组件一阶频率要求高,设计了一种反射镜背部中心单点挠性支撑结构,并利用拓扑优化技术对反射镜进行了轻量化设计。为了结构设计的合理性,采用有限元技术对反射镜组件进行了模态分析、结构强度分析、谐响应分析及热环境分析。分析结果表明:反射镜在重力作用下最大面形误差RMS=1.16nm;在±10℃温度载荷作用下最大面形误差RMS=11.46nm;反射镜组件一阶频率为574.19Hz。使挠性支撑结构具有良好的静、动态特性和热尺寸稳定性,满足反射镜面形要求。     

基于活塞形状改变的空气弹簧特性仿真研究

研究汽车装用空气弹簧刚度优化问题,活塞形状对膜式空气弹簧刚度特性的影响较大。为了提高整车的平顺性能,建立空气弹簧简化模型,得到圆台和倒圆台活塞形状下空气弹簧的有效承载半径影响因素。利用ABAQUS软件建立安装圆柱、圆台和倒圆台活塞的空气弹簧有限元模型进行,研究了不同圆台角下圆台活塞空气弹簧的刚度特性。仿真结果表明,在一定范围内,圆台角度越大,空气弹簧刚度也越大,证明与理论分析吻合,并对空气弹簧的设计和匹配具有一定的指导意义。     

双参数Bézier曲线的升二次扩展

本文以二次Bernstein基函数为例,首次提出了含双参数基函数的新扩展——αβQ—Bern-stein基函数,此类基函数具有新的特点,即基函数的扩展次数一次性升高两次,且包含了二次多项式和带一个参数的三次多项式基函数的所有性质。基于这组基函数定义了αβQ—Bézier曲线,该曲线也含有参数,具有形状可调性,当α与β取某些值时曲线能达到C4连续或在某个端点处C0连续。最后与含两个参数的升一次Bézier曲线进行比较,该曲线具有调节范围广、灵活性更强的优势。     

2000～2001年金属磁性功能材料新进展

综述了金属磁性功能材料在2000－2001年间的若干新进展，内容包括：（1）高性能稀土永磁合金；（2）高性能硅钢合金；（3）Fe-N系新磁性材料；（4）磁电子学；（5）形状记忆磁性材料。     

钨酸铵溶液浓度对超微钨粉形貌的影响

以钨酸铵溶液为原料，采用超声喷雾干燥法制备了超微钨粉。研究了该方法中钨酸铵浓度对超微钨粉形貌的影响。结果表明，当溶液中钨酸铵的浓度为10%时，得到了球形度很好的非完全结晶的前驱体。当钨酸铵浓度达25％时，得到了层片状的晶态前驱体。钨酸铵溶液浓度对干燥时晶体生长速度具有重要的影响。分别采用这2种前驱体在630℃，保温30min和氢气流莆4L／min条仲下能够完全还原，得到超微α—W粉。所制得的钨粉形貌完全遗传了其前驱体的形貌，分别得到球状和层状钨粉。球状钨粉由纳米颗粒聚集而成。片层状钨粉的厚度在1mm以下。