An algebraic foundation for automatic feature-based program synthesis

Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along different lines of research, different notions of a feature have been developed. Although these notions have similar goals, no common basis for evaluation, comparison, and integration exists. We present a feature algebra that captures the key ideas of feature orientation and that provides a common ground for current and future research in this field, on which also alternative options can be explored. Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming.     

Adaptive internal model guidance law for weaving maneuvering target

For the terminal phase guidance problem of the missile intercepting weaving maneuvering target, an adaptive internal model guidance laws in the three-dimensional (3-D) engagement space is proposed in this paper. The guidance law adopts the disturbance rejection theory by treating the target weaving maneuvering accelerations as external disturbance, which comprises of nominal part and adaptive part. The nominal part based on feedback linearization method ensures the whole guidance system stable and the adaptive part based on internal model principle is used to recover the disturbance signals on-line to reject the target maneuver asymptotically. The algorithm guarantees the whole guidance system with satisfying performance both in transient and steady state on the effect of target maneuver on guidance system. The stability analyses and theory proof are provided in this paper. At last, numerical simulations are carried out to illustrate the effectiveness of the proposed guidance law.     

Some nonrealizable line diagrams

We superimpose weaving patterns on planar line arrangements, and we face the question when they can be realized by lines in 3-space. Using the combinatorial type of the given lines in the plane we derive a class of nonrealizable weavings.     

新型织造设备选型及使用情况评估

通过收集有关技术指标数据，采用曲线求积法，比较各种织机指标差异，求得其封闭曲线的面积，找出理想的机型；通过比较新型织造设备的使用水平与理想水平的差异，分析评估新型织造设备的使用情况，说明：曲线求积法可作为设备选型和使用情况评估以及进一步用好、管好设备的一种简单而有效的方法。     

纯棉细号高密府绸的试织体会

为了生产符合质量要求的纯棉细号高密府绸织物,提高织造效率,通过对比不同浆料配方下的浆纱质量及织造效果,优选了浆料配方,并采用"重渗透、求被覆"的工艺原则;在织造工序,针对紧度大的特点,采用了小双层梭口工艺,并加装了部分零部件,从而使织造效率由80%提高到了90%,出口合格率由87%提高到了97%,织疵率由52%下降到13%.     

ST-KT固体丙烯酸类浆料的应用

为了解ST-KT固体丙烯酸类浆料的性能,将ST-KT浆料用于细号高密品种,并在贝宁格浆纱机上进行了上浆实践.结果表明,ST-KT与变性淀粉等浆料混合使用,可大大减少PVA的用量,降低上浆成本,且织造时经纱断头显著减少.     

氨纶弹力织物的开发和生产

文章对色织氨纶弹力织物的染纱、织造、后整理的生产工艺作了较详尽的阐述，并列出多种色织和白织氨纶弹力织物规格以供参考。     

结网方式对碳纤维混凝土板抗弯性能的影响

采用平织法和打结法两种方法编织网格间距分别为80mm和100mm的碳纤维编织网,通过板的抗弯试验研究不同结网方式对不同网格间距CTRC板抗弯性能的影响。试验结果表明,打结法编织的碳纤维编织网在减小CTRC板的挠度的同时也相应降低了抗弯强度,且当超出板的抗弯极限承载能力之后CTRC板不会完全破坏,仍具有残余承载能力。其中网格间距为100mm打结碳纤维编织网增强混凝土板的抗弯强度及极限挠度较平织碳纤维编织网分别降低了36.8%和6.0%。     

General definition of 3D warp interlock fabric architecture

3D warp interlock fabric can be used as a fibrous reinforcement for composite material. Despite of the numerous research papers dealing with this specific woven structure, few researches were conducted to clearly define this multi-layer fabric. Moreover, in many research papers, unskilled scientists of weaving technology have some difficulty to describe the different components of the 3D warp interlock fabric and sometimes make some confusion between the different architecture. Then, with a lack of a clear definition of these 3D multi-layer fabrics, most of the research papers are conducted on a very limited number of structures such as orthogonal, angle and layer to layer interlock.Thus, based on different definitions proposed by skilled scientists, a new general definition of a 3D warp interlock fabric has been proposed to better describe the position of the several yarns located inside the 3D woven structure. Thanks to this improved definition, we hope that the scientific community will use it in order to better design new architectures and conduct finer research based on these product parameters.     

JAT600A型喷气织机纬停原因分析与处理

从气路的工艺设定、筒子架及储纬器的设置、左侧边剪的设定、探纬器的设置、开口部分机械部件及工艺设计等几个方面,对JAT600A型喷气织机的纬停原因进行了具体分析,并提出了防治措施,认为保证纱线质量、优化织造工艺、完善设备管理,可有效控制纬停.