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.     

An experiment for showing some kind of artificial understanding

In this paper we design an experiment which can be depicted as a simple scenario, a very limited 'world'. In this world, there are an actor that can pursue a project and an observer that is keeping its eyes on the actor. We try to show in the experiment that the observer can to some degree understand the actor based on its knowledge and some metaphors, i.e. understand what the actor is doing and why. As the conclusion of this experiment, we try to show some features of 'understanding'. These are (1) that 'understanding' has to be based on some preliminary knowledge; (2) that 'understanding' is a process of incremental learning; (3) that, as for symbolic systems, some metaphors are necessary for mapping real entities into concepts in mind.     

超薄SiO2层的热生长

隧道小孔中超薄ＳｉＯ２的生长是ＥＥＰＲＯＭ电路制造的关键工艺之一。采用ＳＵＰＲＥＭ－Ⅲ工艺模拟程序对超薄ＳｉＯ２的热生长进行了工艺模拟，经过大量的工艺实验及优化，确定了超薄ＳｉＯ２的最佳生长条件，生长出的ＳｉＯ２性能良好，完全可满足ＥＥＰＲＯＭ研制的要求。     

提高E^2PROM中NMOS管源漏穿通电压的实验研究

为了提高Ｅ＾２ＰＲＯＭ中Ｎ管源漏穿通电压，用实验的方法对制造工艺进行了研究。结果表明，高能量注入是提高ＶＰＴ的有效手段，但受到ｐｎ结击穿的限制，只适用于低区短沟Ｎ管；ＤＤＤ工艺大幅度高ＶＰＴ，但ｐｎ结击穿电压低于２０Ｖ，不能应用于高压ＭＯＳ管；采用适量的防穿通注入和适当增大沟道长度为最理想的工艺途径。     

数字化战场的技术体系结构

阐述了信息制胜战中数字战场的三种体系结构（作战体系结构、系统体制结构与技术体系结构）及信息系统技术体系近几年的发展；介绍了信息化战场提出的几种技术体系结构，进而分析指出了数字化战场发展过程中所需要开发的各种信息业务和应当注意加强研究的技术方面。     

凹凸棒粘土用作高水速凝注浆悬浮剂

以凹凸棒粘土作为高水速凝固化充填材料的悬浮稳定剂，考察了不同制浆机械对凹凸棒粘土制浆率的影响。采用高剪切混合乳化机预制的1％凹凸棒粘土浆配制高水速凝固化充填材料甲、已料单浆可获得满意的悬浮稳定效果。其充填体结石抗压强度早期发展迅速，后期持续增长。采用此工艺，注浆料的材料成本仅增加2％。     

自卸车驾驶室振动对标测试与分析

针对某厂商研制的无副梁自卸车,为验证其更换主梁后驾驶室舒适性是否有所改善,进行不同速度及路况下的驾驶室振动测试试验,并与有副梁原型自卸车进行对标,采用时域与频域数据处理方法对结果进行分析,结果显示扭曲路面下无副梁自卸车的驾驶室舒适性有所改善,但对于4Hz以下的振动,其车架的隔振效果较弱。在碎石路面与平坦路面下无副梁自卸车满载时,其车架的隔振效果要明显好于对标自卸车,但在碎石路面空载时,其隔振效果则较弱。     

一维炉系统的测试实验

一维炉是一种研究煤的热解燃烧和结渣等方面的实验系统,可用于模拟电厂煤粉的燃烧特性。以元宝山褐煤为燃料,介绍了一维炉的结构和功能,并对系统的可靠性进行了验证,利用烟气分析仪及热重分析仪对燃烧后的尾部烟气及灰渣进行了分析测定。结果表明:尾部烟气含氧量与灰渣可燃部分剩余量均在理论计算值的误差允许范围内,说明一维炉密封良好,系统内各部分正常运行,对维炉的调试和研究具有一定的参考意义。     

某建筑物火灾后主体结构检测鉴定与处理

通过对某二层住宅楼火灾后主体结构的检测鉴定与处理,分析火灾对建筑物的影响,探讨火灾后建筑结构的检测鉴定方法,提出火灾后建筑结构的处理方法,为同类建筑结构的火灾后检测鉴定及处理提供参考.