Generalized Twin Support Vector Machines

Neural Processing Letters - In this paper, we propose two efficient approaches of twin support vector machines (TWSVM). The first approach is to reformulate the TWSVM formulation by introducing...     

密炼机混炼流场特性与转子参数的灰色关联研究

研究密炼机混炼流场特性与转子参数的灰色关联,进行相关优势分析和综合评价。结果表明,各转子参数对混炼流场特性的影响程度不同,长棱长度及短棱螺旋角的影响更明显。综合混炼效果最优的转子参数为:短棱长度34mm,长棱长度59 mm,短棱螺旋角39°,长棱螺旋角36°。     

Isothermal aging effect on the microstructure and dry sliding wear behavior of Co–28Cr–5Mo–0.3C alloy

In this study, an attempt to investigate the role of isothermal aging on the microstructure and dry sliding wear behavior of Co–28Cr–5Mo–0.3C alloy was made. Regarding the results, it is clear that isothermal aging at 850 °C for 8 and 16 h contributed to the formation of lamellar type carbides (γ-fcc + M₂₃C₆) at the grain boundary regions. Moreover, at higher aging times (24 h), the lamellar type carbides decreased whereas severe precipitation of carbides was found to occur on the stacking faults. Furthermore, according to X-ray diffraction results, 24 h isothermal aging of solution treated specimens did not lead to complete fcc → hcp transformation. The wear properties of as-cast and heat treated samples were determined at 0.5 ms⁻¹ speed several under normal applied loads such as 50, 80, and 110 N. At the lowest load applied (50 N), isothermally aged specimens for 8 and 16 h have higher wear resistance probably due to more volume fraction of lamellar-type carbides when compared to as-cast for both 4 and 24 h aged specimens. But, at higher applied loads (80 and 110 N) due to the formation of adhesive oxide layer on the as-cast specimen surface, the wear rate of as-cast samples is lower compared with all heat treated specimens.     

An introduction to the specification language SPEC

SPEC expresses black-box interface specifications for large, distributed systems with real-time constraints. It incorporates conceptual models, inheritance, and the event model. The design of SPEC is discussed, and its primitives, consisting of functions, types, machines, and generators, are described.<>     

客观性、原则性、灵活性——容积率“值域化”在石嘴山星海湖新区控规中的实践探索

容积率"值域化"是由容积率影响因子与容积率之间的数理模型推导出的一个(容积率)区间值。研究以既有容积率"值域化"研究为基础,针对石嘴山星海湖新区内容积率确定过程中存在科学依据不足、价值取向模糊和"刚弹"适应欠缺的现实问题,结合新区内具有商业开发性的居住用地和商业服务业设施用地,运用"值域区间(控制性指标)—引导数值(引导性指标)—调整区间"的控制方法,对"值域化"的实践进行探讨,从而最终实现容积率"值域化"控制。     

Logic programming and software maintenance

The main objective of this short paper is to describe the relationship between software maintenance and logic programming (both declarative and procedural), and to show how ideas and methods from logic programming (in particular, methods invented by M. Gelfond) can be used in software maintenance. The material presented in this paper partly appeared in (Luqi and Cooke, 1995). The main difference is that (Luqi and Cooke, 1995) is aimed mainly at software engineers, so it only briefly touches on the software engineering problems, while describing in great detail the basics of logic programming. In contrast, in this paper, we assume that the corresponding logic programming notions are well known, but describe the corresponding software engineering applications in greater detail. This revised version was published online in June 2006 with corrections to the Cover Date.     

特高压直流杆塔新型复合横担布置研究

借鉴以往复合横担杆塔的设计经验,从绝缘配置、电磁环境、空气间隙、电位分布计算和纵向不平衡张力等方面对特高压直流线路杆塔的复合横担布置方式进行研究,通过对杆塔钢材、基础指标、绝缘子串费用以及线路走廊费用进行综合经济比较,选择出合理的复合横担布置方案,为特高压直流线路复合横担塔设计提供借鉴和参考。