基于构件设计的思想

阐述基于构件设计的思想,首先建立一个构件描述的模型(接口：描述构件的语法和语义信息;实现：阐述如何利用子构件构造一个新的构件),然后阐述如何将构件的接口和实现联系起来,最后利用Hoare逻辑验证其正确性。     

基于服务规约匹配的业务构件获取

针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.     

基于SOA的航天发射场服务构件设计与应用

为充分利用航天发射场积累的大量应用和资源,采用软件复用、构件技术与面向服务的理念,设计了航天发射场服务构件。分析了服务构件的粗细粒度,将航天发射场服务构件划分为3类,对服务交互接口、基于XML的分类检索、服务构件的描述、服务构件设计流程与组装等进行了详细阐述,最后通过"故障弹/箭飞行"服务构件实例,说明基于XML的服务构件设计和使用方法。     

基于本体的Web Services构件库的研究

针对现有构件库无法实现构件的跨库共享以及构件库之间的交互,提出了将Web Services的体系结构引入到构件库中.这样构件库中的各个功能都被封装成web服务,用户就可以利用任何平台通过一致的接口来使用构件库中的各种服务,从而可以实现分布式异质构件库的跨库共享检索.另外,针对目前存在的构件检索大多都缺乏语义的信息,提出将本体引入到构件库中来.通过建立领域本体和构件本体,极大地丰富刻面和术语、术语和术语以及构件与构件之间的语义关系,有利于发现它们之间的内在联系从而可以有效地提高构件的查全率、查准率以及检索效率.     

基于网络构件的软件体系结构抽象模型

为提高分布式网络软件系统的效率和稳定性,提出了基于网络构件缓冲算法的软件体系结构模型.以本地逻辑框架为基础,将系统负荷分配到网络的各个构件结点.采用抽象的形式化方法对构件、构件代理、连接器、构件Cache进行静态语义描述,详细讨论了构件代理的构件映射语义以及构件缓冲算法.系统采用构件Cache的机制和最少最近的动态映射远程构件的调度算法提高调用的命中率.最后通过实验对比了不同构件比率的软件系统,结果表明采用构件调度算法能够提高系统的运行效率.     

面向构件语义关系的软件体系结构演化分析

为确定软件体系结构(SA)演化的影响程度,在描述构件本身及构件之间的语义关系基础上,提出了构件内部和构件之间的语义协议关系,并构造了SA语义关系模型和语义关系矩阵,将构件之间的语义关系连接形成语义关系链,提出了SA语义关系链矩阵并对它的性质进行了分析.在此基础上,提出了语义关系链波及效应与语义关系构件波及效应算法,同时...     

对等网中基于语义相似度聚类

语义相似度是研究语义交互的一个重要基础,语义交互的结果就是对实例进行语义描述的模型和方法.对网络中的活动节点在局部进行聚类.基于语义相似度聚类成为语义Web发展并被广泛使用必须解决的关键问题,同时也是语义Web智能化的重要研究手段.本文介绍了通过计算语义相似度,到达网络节点聚类的目的.     

一种新的语义Web服务描述模型

在已有的语义Web服务描述框架基础上,定义了一种新的语义Web服务描述模型WFIEQ,从功能、接口、执行和Qos4个层面描述服务资源的语义信息,并给出此描述模型和其他语义Web服务描述模型的比较,该工作对基于语义信息进行服务的发现、组合和调用具有一定的参考作用.     

基于工业基础类的建筑物3D Tiles数据可视化

针对目前建筑信息模型（BIM）与地理信息系统（GIS）集成方案网络传输与浏览器渲染能力的不足,选择GIS领域更适合Web端加载的三维瓦片数据作为研究目标,提出BIM模型从工业基础类（IFC）向3D Tiles数据格式的转化方法和在Web端快速加载BIM模型的思路,并对GIS和BIM在Web端的大体量数据集成方案进行研究. 针对IFC标准模型数据,根据建筑构件划分标准对数据进行拆分,得到几何信息文件和语义属性文件. 几何信息文件经中间格式转换,最终与语义属性文件封装为保留有BIM语义属性的三维瓦片数据. 在转换过程中完成了坐标转换、数据映射、空间索引以及多细节层级（LOD）划分,实现了BIM数据和地理要素数据在三维WebGIS框架下快速、高效的渲染交互.     

面向可重构网络设备软件构件的可靠性估算

开放式可重构路由交换平台以构件作为最小的物理资源,通过对不同服务的支持、装配和释放,来构建路由交换节点体系. 针对可重构路由平台中的软件构件,提出了一种基于Petri网理论模型和卡尔莫格罗夫方程的可靠性理论计算方法,有效解决了可重构路由体系结构下的具有异步交互特征的软件构件和构件网的可靠性评估难题.     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

高师物理专业人才培养与基础教育衔接问题的研究

分析了当前高师物理专业人才培养与基础教育人才需求存在的问题,结合调查情况,提出了高师物理专业在培养目标、课程设置、教学内容、教学方法及实践教学环节方面的改革措施。     

JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY TOTAL CONTENTS(Vol.23)

正~~     

鞋面织物染整过程节能减排技术方法

鞋面织物染整是纺织工业中一个特殊分支,公司通过采用先进染色技术和工艺,可以从源头上达到节能和减少废水产生量的效果,废水产生后经过处理达标排放,部分经深度处理后回用。公司经长期实践后已经达到吨织物染整用水125m~3/t_(产品),吨织物排放废水79.2 m~3/t_(产品),水回用率达37.8%,吨产品蒸汽耗量从9t/t_(产品)下降到7 t/t_(产品),均达到国内国际先进水平。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...