徐家福
- 作品数：92 被引量：250H指数：9
- 供职机构：天津大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术理学轻工技术与工程一般工业技术更多>>
- 针织物沿织层方向拉伸时的不屈曲性被引量：4
- 2005年
- 针织物在受到拉伸时通常会屈曲,但当受到沿织层向拉伸时不发生屈曲,基于针织物的细观本构模型,给出了该不屈曲性的严格证明,证明中考虑了针织物在临界状态的大变形,使用了严格的三维不稳定性理论以避免薄板理论近似可能引起的偏差.针织物片被看作三维物体,其所有的边界条件皆被满足.研究证明,两种可能的屈曲模态(弯曲模态和桶形模态,即针织物受非织层方向拉伸时的可能屈曲模态)对受织层方向拉伸的针织物都不会发生.
- 张义同李翠玉熊成安徐家福
- 关键词：针织物屈曲分析
- 用于电液伺服试验机下夹头的防转装置
- 本发明涉及一种用于电液伺服试验机下夹头的防转装置，由主支架垂直弯板、轴承定位轴、轴承、轴承挡板和固定挡板等装配而成。本发明是一种设计科学、结构简单、成本低、易于加工制作的用于电液伺服试验机下夹头的防转装置，通过在电液伺服...
- 徐家福李勇沈珉王忠保富东慧侯振德
- 文献传递
- 软件技术漫谈被引量：5
- 1992年
- 作者根据多年来从事计算机软件研究与开发的体会,撰成此文,就软件技术的现状与前景进行了讨论,内容包括:传统技术、新技术、难点、以及结束语四部分。
- 徐家福
- 关键词：软件技术自动化技术智能化技术集成技术
- 算法分解结构的学习及其效用
- 1992年
- 为提高软件自动化系统的算法自动设计能力,本文提出了将解释学习方法用于学习算法设计策略的思想。文中介绍了算法分解结构的学习模型,以及反映学习效用的问题求解机制,并通过例子说明了经过学习,系统能够解决原来不能解决的问题。
- 张家重王岩冰费宗铭徐家福
- 关键词：软件自动化
- 量子程序设计语言NDQJava2处理系统--词法分析程序及语法分析程序被引量：2
- 2013年
- NDQJava2语言是在NDQJava语言的基础上,增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。在简述NDQJava2处理系统之后,着重介绍了其词法分析程序及语法分析程序,其中用直接转向法进行词法分析,识别出单词,生成单词序列,用递归子程序法进行语法分析,生成语法树。由示例可知,程序结果无误,较好地完成了词法分析与语法分析任务。
- 程振伟徐家福
- 关键词：处理系统词法分析程序
- 机织物悬垂屈曲的数值模拟被引量：5
- 2007年
- 开发虚拟服装试衣系统需模拟织物的悬垂和屈曲,而采用正交异性力学模型不适合织物．为此,笔者基于织物的细观力学模型,用有限元方法来模拟方形织物片铺在圆桌面上的悬垂和屈曲,该细观模型描述了织物由于其细观编织结构而特有的力学性质．织物片用8结点壳单元离散,这种壳单元被特别设计,能描述织物片在悬垂中发生的大转动．对织物片的屈曲模态进行了分析,对其后屈曲变形进行了计算,也进行了方形织物片的悬垂和屈曲实验．模拟结果和实验的观测结果很一致．该研究为虚拟服装试衣系统的开发奠定了基础．
- 李翠玉张义同徐家福
- 关键词：机织物悬垂屈曲有限元方法细观力学模型
- 基于解释的程序转换
- 1992年
- 程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题.
- 丁琴徐家福
- 关键词：软件自动化
- 织物面内的压缩模量被引量：4
- 1999年
- 本文给出了根据织物纯弯曲实验和拉伸实验结果求出织物面内压缩量的方法。该法采用分段线性逼近及迭代技术，可求出与织物拉伸模量曲线对应的面内压缩模量曲线。文中给出一个计算实例，算例表明，织物的压缩模量随压应变增加呈下降趋势。
- 张义同刘立厚徐家福
- 关键词：织物压缩模量压应变力学性质
- 自学习软件自动化系统算法构架学习中的可操作性
- 1992年
- 本文讨论了在算法合成背景下,基于解释的学习中可操作性准则问题.针对一种相对复杂的学习目标概念——算法构架,提出了实现可操作性的方法,并探讨了算法自动化系统中通用性与可操作性的制衡关系及其对系统能力的影响.
- 陈道蓄徐家福
- 关键词：软件自动化
- 情形实例驱动的软件需求模型自动生成被引量：6
- 1998年
- 通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序．由于每一个情形实例都只从特定的使用者的角度，根据所需达到的特定使用目的，针对特定的使用条件，来描述一个复杂系统中的一个局部，与对整个复杂系统的需求进行分析和描述相比，在特定情形实例下对软件需求进行分析与描述较简单容易．然而，如何保证情形实例描述之间的一致性，如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分析为基础的需求分析方法的关键，也是尚未解决的问题中的难点．本文介绍在以功能分解为基础的需求分析途径中描述软件需求情形实例的方法，讨论情形实例描述与需求定义之间的一致性和完备性，介绍从情形实例描述到完整的软件需求定义的自动综合以及一致性、完备性的自动检查．
- 金凌紫朱鸿张朝良火清宁白赣洪徐家福
- 关键词：软件需求分析软件开发
