一类Z-tile成为a,1-框架集的充要条件

讨论了一类Z-tile成为a,1-框架集的条件,利用投影性质和Z-tile的性质,给出了此类Z-tile集成为a,1-框架的充分且必要条件。     

一类特殊自相似tile成为框架集的条件

研究了一类特殊数字集所生成的自相似tile成为框架集的问题. 利用Zak变换, 证明了一类特殊自相似tile T=T(2n,D),D=∪n-1i=0{4in,4in+1}是框架集的充要条件是数字集为{0,1}.     

3带姊妹框架的一个充要条件

从消失矩恢复函数出发,给出了三尺度姊妹框架的一个充要条件,这个条件提供了设计具有消失矩的三尺度框架的方法。     

计算机集成建造的集成框架研究

将现代集成制造技术(CIM)和理念引入到传统的建筑业中,综合运用各种先进的现代化技术以及生产和经营理念,提高项目执行效率和水平,增强企业的市场竞争能力,是目前许多发达国家建设部门和大型建筑施工企业研究和探索的热点.首先对建筑业CIC提出背景以及CIC的可行性进行了探讨,尝试提出了新的CIC和CICS的概念.同时围绕"集成"这一概念,提出了CICS的三维集成框架.最后结合我国建筑行业的实际,提出了我国施工企业CICS的实施原则.     

基于在线翻译服务的集成应用框架

当前在线翻译服务,如谷歌翻译、金山翻译、雅虎翻译等都得到了广泛使用,但使用这类在线翻译服务通常需要记住该网站的网址或者通过搜索引擎寻找这类网站.为了方便用户使用,构建了在此类在线信息服务平台上进行数据二次整合的模型,并且使用了VC开发工具实现其集成应用框架,以提高用户的可操作性和实用性.     

WHⅡ型超缓凝剂对硅酸盐水泥水化过程的影响

研究了WHⅡ型超缓凝剂对硅酸盐水泥水化、水化热、凝结时间、强度等的影响，运用xRD以及SEM对硅酸盐水泥的水化过程进行跟踪测试，结果表明适量使用WHⅡ型超缓凝剂可以得到合适的缓凝效果和增强作用。     

一个基于最小化测试用例集抽取的自动化测试框架

提出了一个软件自动化测试框架(ASTF).它采用前端-中间数据-后端3层模式,可以进行静态测试、动态测试和自动化回归测试,并能对测试用例集进行最小化,实现测试用例效率分析和程序控制流分析.针对测试用例最小化,还采用了一种基于集合抽取的最小化算法.     

计算机辅助复合材料成型工艺集成框架研究

针对目前国内外复合材料成型工艺设计系统都是以特定环境下的特定制造资源为背景,通用性差的研究现状,在已开发的计算机辅助树脂传递模塑成型软件的结构基础上,构建了复合材料工艺集成框架的系统结构和流程.研究了基于模板的数据结构,建立可快速形成CAPP应用系统的开发模型;开发了制件级、形状级和特征级三级相似事例检索结构;采用基于excel模板定制的方法,实现了工艺卡片的定制.最后,采用面向对象语言和组件技术,通过定制RTM成型工艺系统实例验证集成框架的可行性.     

面向服装大批量定制的产品模型集成框架及应用

针对服装行业竞争加剧,客户个性化需求不断增加的现状,提出了一种支持服装大批量定制(MC)的产品模型,该模型包括产品族主模型和集成产品模型.对企业相似资源标准化和规范化后建立的产品族主模型是实现服装敏捷生产的基样,而集成产品模型是对产品信息进行统一管理的实例化模型.在产品模型的基础上,研究了面向服装定制模式的企业业务系统集成逻辑框架,讨论了业务系统之间集成的信息和方式.通过构建一个基于计算机辅助应用系统（CAx）、产品数据管理（PDM）系统、企业资源计划（ERP）系统和电子商务(EC)的集成应用平台,实现了服装企业多方面信息的集成和传递.     

局部公平网的充要条件研究

Petri的局部公平性反映了网系统在局部行为的公平关系，给出了局部公平Petri网的一个充要条件，即如果Petri网具有若干个互不相交的变迁不变式的支撑，则该网是为变迁不变式覆盖的。同时提出了状态观测器的概念，根据网的库所不变式理论，通过把网中所有的状态观测器设计为一个库所不变式，可把一个局部公平网设计为一个公平网。最后给出了状态观测器初始标志的确定方法，来最大限度地保证网系统的行为不受观测器的约束。     

Hamilton图的一个充要条件

解决了一类Hamilton图的判别即衍生图是Hamilton图 ,并给出了这类图求Hamilton圈的算法 ,进而得到一个Hamilton图的充要条件 .     

Banach空间上基本完全的双正交系成为Cesaro基的充要条件

利用BK空间的理论讨论了具有给定的完全双正交系的Banach空间X的乘子空间M(X)的性质,给出了Banach空间X上基本完全的双正交系成为Cesaro基的充要条件。     

二维自仿集不连通的一个充分条件

讨论由扩张矩阵和数字集所生成的二维自仿集的不连通性,利用辅助函数系统,得到其不连通的一个充分条件,同时给出相应算法.     

积性凸函数且是积性凹函数的充分必要条件

首先讨论了积性凸函数的几何意义，接着证明出f（x）既是积性凸函数又是积性凹函数的充分必要条件。     

积性凸函数且是积性凹函数的充分必要条件

首先讨论了积性凸函数的几何意义,接着证明出f(x)既是积性凸函数又是积性凹函数的充分必要条件.     

变系数二阶线性微分方程可解的充要条件

利用降阶法研究了变系数二阶线性微分方程y″+P(x)y′+Q(x)y=f(x)的可解性,得到了一个可解的充分必要条件：存在有限形式的可微函数F(x)、G(x),G(x)≠0及常数b和c使得P(x)=bG(x)-G′(x)/G(x)-2F(x),Q(x)=F²(x)-F′(x)-F(x)(bG(x)-G′(x)/G(x))+cG²(x)．同时给出两种求通解的方法和通解表达式．     

Banach空间上基本完全的双正交系成为无条件基的充要条件

本文利用BK空间和乘子空间的性质 ,讨论了在不含C0 的C0py的Banach空间上基本完全的双正交系成为无条件基的充要条件。