徐家福
- 作品数：91 被引量：250H指数：9
- 供职机构：天津大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术理学轻工技术与工程一般工业技术更多>>
- 针织物沿织层方向拉伸时的不屈曲性被引量：4
- 2005年
- 针织物在受到拉伸时通常会屈曲,但当受到沿织层向拉伸时不发生屈曲,基于针织物的细观本构模型,给出了该不屈曲性的严格证明,证明中考虑了针织物在临界状态的大变形,使用了严格的三维不稳定性理论以避免薄板理论近似可能引起的偏差.针织物片被看作三维物体,其所有的边界条件皆被满足.研究证明,两种可能的屈曲模态(弯曲模态和桶形模态,即针织物受非织层方向拉伸时的可能屈曲模态)对受织层方向拉伸的针织物都不会发生.
- 张义同李翠玉熊成安徐家福
- 关键词：针织物屈曲分析
- 用于电液伺服试验机下夹头的防转装置
- 本发明涉及一种用于电液伺服试验机下夹头的防转装置，由主支架垂直弯板、轴承定位轴、轴承、轴承挡板和固定挡板等装配而成。本发明是一种设计科学、结构简单、成本低、易于加工制作的用于电液伺服试验机下夹头的防转装置，通过在电液伺服...
- 徐家福李勇沈珉王忠保富东慧侯振德
- 文献传递
- 软件技术漫谈被引量：5
- 1992年
- 作者根据多年来从事计算机软件研究与开发的体会,撰成此文,就软件技术的现状与前景进行了讨论,内容包括:传统技术、新技术、难点、以及结束语四部分。
- 徐家福
- 关键词：软件技术自动化技术智能化技术集成技术
- 自学习软件自动化系统算法构架学习中的可操作性
- 1992年
- 本文讨论了在算法合成背景下,基于解释的学习中可操作性准则问题.针对一种相对复杂的学习目标概念——算法构架,提出了实现可操作性的方法,并探讨了算法自动化系统中通用性与可操作性的制衡关系及其对系统能力的影响.
- 陈道蓄徐家福
- 关键词：软件自动化
- 情形实例驱动的软件需求模型自动生成被引量：6
- 1998年
- 通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序．由于每一个情形实例都只从特定的使用者的角度，根据所需达到的特定使用目的，针对特定的使用条件，来描述一个复杂系统中的一个局部，与对整个复杂系统的需求进行分析和描述相比，在特定情形实例下对软件需求进行分析与描述较简单容易．然而，如何保证情形实例描述之间的一致性，如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分析为基础的需求分析方法的关键，也是尚未解决的问题中的难点．本文介绍在以功能分解为基础的需求分析途径中描述软件需求情形实例的方法，讨论情形实例描述与需求定义之间的一致性和完备性，介绍从情形实例描述到完整的软件需求定义的自动综合以及一致性、完备性的自动检查．
- 金凌紫朱鸿张朝良火清宁白赣洪徐家福
- 关键词：软件需求分析软件开发
- 软件笔谈
- 1990年
- 一、引言从人类征服自然的角度看,现已进入第三阶段、第一阶段为石器革命时代,主要标志是(猎食)工具,第二阶段为工业革命时代,主要标志是能量,第三阶段为计算机革命时代,主要标志是信息。各行各业、各门学科都要信息化,人类生活要信息化,整个社会要信息化。
- 徐家福
- 关键词：计算机
- 用于电子万能试验机的压杆稳定实验装置
- 本发明公开了一种成本低廉、操作简单、应用广泛的用于电子万能试验机的压杆稳定实验装置，由上、中、下约束单元构成，所述上约束单元由自上而下依次连接的防转法兰、上压头部件和第一活动夹具组成；所述中约束单元由固定在底座支承板上的...
- 徐家福王忠保富东慧侯振德
- 文献传递
- 基于广义包含关系的假设空间构作
- 1992年
- 广义包含关系是利用背景知识进行子句比较的一种偏序关系.通过将含有冗余约束条件的假设合并为一个等价类,广义包含关系能显著缩小搜索空间.本文给出了基于广义包含关系构作假设空间的算法,以及有关定理的证明,进而讨论了这种假设空间的结构、性质等问题.
- 王志坚徐家福
- 关键词：程序系统
- 面向对象程序设计语言的形式语义研究被引量：2
- 1995年
- 面向对象程序设计语言(以下简称面向对象语言)的基本思想起源于六十年代中期的Simula语言,在七十年代的Smalltalk语言及环境中得到发展,在八十年代的Eiffel、C++等语言中进一步得到巩固和完善。
- 瞿裕忠王志坚徐家福
- 关键词：程序语言面向对象形式语义程序设计
- 受沿经向简单剪切的织物屈曲分析(英文)被引量：2
- 2001年
- 分析了织物受沿经向简单剪切时的屈曲 ,得到确定织物屈曲方向 (屈曲波的方向 )的方程 ,该方程表明织物屈曲方向与临界剪切值有关 .还证明了织物受沿经向简单剪切时会发生离面屈曲 ,并且只存在一种屈曲模态——弯曲屈曲模态 ,得到了该屈曲模态的屈曲条件及屈曲条件曲线 .
- 张义同徐家福
- 关键词：织物力学
