数字时代工业设计模型方法

通过对数字时代工业设计模型呈现的新特征分析,提出从物质与非物质角度进行类别区分的方法,探讨数字时代不同的模型加工方法与手段的特点,以及工业设计师必须具备的模型能力.辅助设计师快速建立数字时代工业设计模型知识结构,并且在设计实践中优质高效地使用模型方法.     

金属方柱压电片复合微型超声电机的研制

研制了一款金属方柱压电片复合微型超声电机。相对于圆柱型电机,这种形式的电机的电场极化更充分,以及信号线的焊接更易实现。定子帽的材料用钢或铜。文中计算了整个电机定子换能器的模态和谐响应,理论上分析了不同方向转动惯量一致,可以形成椭圆运动的原理。实验测试了电机的共振频率、转速、转矩等。结果表明这款电机的自由共振频率约100kHz,无载转速可达到6000r/min以上,最大转矩可达60!Nm以上,理论和实验基本一致。该电机具有很好的实用化前景。     

等离子淋浴在离子注入工艺中的应用

阐述了等离子淋浴技术的工作原理和特点。介绍了在离子注入工艺中采用等离子淋浴来中和晶片表面的电荷积累,可将晶片表面的电荷积累电压控制在安全范围;应用等离子淋浴实现低能离子束的电中性传输,可提高低能离子束的传输效率和束通道的最大传输束流。最后介绍了国外在这两方面的研究应用情况。     

并敷爆炸材料传爆状态的数值模拟及分析

为研究并敷爆炸材料的传爆状态，利用ANSYS／LS-DYNA 2D对不同爆速爆炸材料并敷段的爆轰过程进行了数值模拟，其结果与实验结果和理论分析结果吻合的很好，验证了理论分析的合理性，同时证明了数值模拟方法在并敷爆炸材料爆轰波传播中的适用性和科学性。研究工作对于光面爆破、预裂爆破等爆轰机理的研究和工程爆破实践具有重要的指导意义．     

一种基于SOM的中文文本两阶段快速聚类方法应用研究

研究了一种基于自组织神经网络的中文文档聚类方法,按照提出的中文聚类模型,该方法首先对文档进行SOM训练产生初步的聚类结果,然后对第一次聚类结果进行基于参考点和密度的快速聚类,理论分析和实验结果也证明了该方法适合高维中文文档的聚类,与直接聚类方法相比,该方法提高了聚类的效果,减少了计算时间。     

基于点估计的电力系统小扰动稳定概率分析

针对电力系统中线路参数和负荷等存在的不确定因素,提出一种基于两点估计的电力系统小扰动稳定的概率分析方法。该方法将两点估计法和概率特征根分析技术相结合,计算出系统稳定概率、稳定指标、失稳类型及相应的参与因子等。相对于广泛使用的蒙特卡罗法,该方法能通过较少的计算准确得到所需要的统计特征量。一个两区域系统的仿真算例验证了所提出的方法的有效性。文中所提出的方法也适用于其他考虑不确定因素的电力系统分析。     

浅析AutoCAD教学研究与实践

本文主要结合AutoCAD教学从课程体系改革、多媒体教学及上机实践训练几个方面进行阐述，希望能够对该课程教学研究发展有所帮助。     

Static extensivity analysis for λ-definable functions over lattices

We employ a static analysis to examine the extensivity (∀x:x≤f(x)) of functions defined over lattices in a λ-calculus augmented with lattice operations. The need for such a verification procedure has arisen in our work on a generator system (called Zoo) of static program-analyzers. The input to Zoo is a static analysis specification that consists of lattice definitions and function definitions over the lattices. Once the extensivity of the functions is ascertained, the generated analyzer is guaranteed to terminate when the lattices have finite-heights. The extensivity analysis consists of a sound syntax-driven deductive rules whose satisfiability check is done by a constraint solving procedure. Hyunjun Eo: He is a Ph.D. candidate of Computer Science Dept. at KAIST (Korea Advanced Institute of Science and Technology). He received his B.S. and M.S. in Computer Science from KAIST in 1996 and 1998, respectively. For 1998–2003, he was a research assistant of the National Creative Research Initiative Center for Research On Program Analysis System. His research interest has been on static program analysis, program logics, and higher-order and typed languages. He is currently working on developing a tool for automatic generation of program analyzers. Kwangkeun Yi, Ph.D.: His research interest has been on semantic-based program analysis and systems application of language technologies. After his Ph.D. from University of Illinois at Urbana-Champaign he joined the Software Principles Research Department at Bell Laboratories, where he worked on various static analysis approaches for higher-order and typed programming languages. For 1995–2003, he was a faculty member in the Department of Computer Science, Korea Advanced Institute of Science and Technology. Since Fall 2003, he has been a faculty member in the School of Computer Science and Engineering, Seoul National University. Kwang-Moo Choe, Ph.D.: He is a professor of Computer Science at Korea Advanced Institute of Science and Technology. He received his B.S. from Seoul National University in 1976, and his M.S. and Ph.D. from Korea Advanced Institute of Science and Technology in 1978 and 1984, respectively. For 1985–1986, he was a technical staff of AT&T Bell Labs at Murray Hill. His research interest is formal language theory, parallel evaluation of logic programs, and optimizing compilers.     

关于在城建类专业中开设地理信息系统课程的思考

介绍了地理信息系统的基础知识，包括地理信息系统的概念、基本组成和主要功能，阐述了地理信息系统的发展及应用前景，分析了开设该课程的意义，并结合天津城市建设学院的实际，提出了加强该课程建设的具体建设和人才培养目标。     

斜盘式锥齿少齿差行星传动的运动分析

介绍一种新型斜斜盘式锥齿少齿差行星传动的传动比、角速度与角加速度等分析计算，这种传动装置尤其适用于低转速大扭矩的作业机械中。