Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

新的启迪

说点心里的话，建筑设计对青年人来讲是一条漫长的道路。建筑是一个载体，有精神一面，也有物质一面。有些建筑师拿着模型或未建成的设计来炒作，为了求名，生怕别人不知道。这对个人是小事，但若贻误了青年学子，那就是不可取的。     

Sol-Gel Preparation of LaNiO3 and Its Physical and Chemical Properties

LaNiO3 was synthesized by sol-gel method in which lanthanum nitrate and nickel nitrate were used as start materials and citric acid was used as complex for gel formation.The precursor was dried and subsequently heated at elevated temperature to form the desired product.XRD analysis shows that pure LaNiO3 was synthesized.Electrical conductivity and electrochemical performance of the material were tested.The electrical conductivity decreases from 34.5that there are current peaks in the curve, which is the evidence of the electrochemical activity of LaNiO3.     

Residual stresses and transformation toughening in MoSi2 composites reinforced with partially stabilized zirconia

The results of study of the effects of yttria stabilization (0–6 mol.%) on the room-temperature fracture behavior and toughening mechanisms in zirconia-reinforced MoSi₂ are presented in this paper. Transformation toughening is shown to occur only in composites reinforced with zirconia particles stabilized with 2 mol.% yttria. However, the fracture toughness levels are comparable in the other composites with yttria levels between 0 and 6 mol.%. Toughening in the other composites is attributed to the combined effects of residual stress, microcrack shielding/anti-shielding and/or crack deflection. A rigorous micromechanics-based model is presented for the estimation of residual stress levels in brittle materials reinforced with phases that can transform during cooling or under stress. The model is applied successfully to the rationalization of the observed fracture and toughening phenomena.     

Thermal and mechanical properties of EPR and XLPE cable compounds

This paper shows that the mechanical and thermal properties of EPR cable dielectrics are very stable with temperature. Commercially available EPR and TRXLPE cable dielectrics typically have about the same thermal conductivity, although the thermal conductivity of TRXLPE above the melting point of the crystallites drops below that of the EPR dielectrics. The mechanical properties of EPR cable dielectrics are much more stable with temperature than those of the TRXLPE, as EPR polymer is essentially amorphous so that EPR cable dielectrics do not suffer from the very large thermal expansion of TRXLPE as its crystallites melt.     

60m高度处单片露天超高混凝土悬臂墙的设计与施工

通过采用竖向预应力技术 ,解决了 60m高度处单片 8m高悬臂钢筋混凝土墙根部裂缝宽度超过规范限值的问题 ;采用将预应力钢绞线顶端锚固于墙高中段等结构和施工措施 ,控制墙体长细比不超过 3 0 ,减少了由于长细比过大对墙体承载力的不利影响     

Modeling Power Supply Noise in Delay Testing

Excessive power supply noise during test can cause overkill. This article discusses two models for supply noise in delay testing and their application to test compaction. The proposed noise models avoid complicated power network analysis, making them much faster than existing power noise analysis tools. can cause performance degradation and     

Quantifying Organization by Means of Entropy

With the aim to reduce disorder and improve efficiency, nodes in an ad hoc network run a self-organization scheme to cooperatively organize the network. Although metrics such as complexity or self-stability are commonly used for evaluation, to the best of our knowledge, none of them quantifies the efficiency to build and maintain an organization (order). We henceforth apply the notion of entropy to ad hoc type wireless networks facilitating a quantification of the internal organizational state generated by different self-organization schemes. Invoking node and link failure probabilities, we expose the dependency of the organizational state on the self-organization protocol of choice.     

Hydrogenated amorphous silicon thin-film transistor arrays fabricated by digital lithography

A jet-printed digital-lithographic method, in place of conventional photolithography, was used to fabricate 64 /spl times/ 64 pixel (300 /spl mu/m pitch) matrix addressing thin-film transistor (TFT) arrays. The average hydrogenated amorphous silicon TFT device within an array had a threshold voltage of /spl sim/3.5 V, carrier mobility of 0.7 cm/sup 2//V/spl middot/s, subthreshold slope of 0.76 V/decade, and an on/off ratio of 10/sup 8/.