2007年房地产市场形势分析及2008年走势预测

受宏观经济持续走强的影响,2007年房地产市场供需两旺,住房价格进一步升高。同时,国家加大了房地产市场的调控力度,一系列调控措施相继出台,使部分城市房地产市场年末出现销售量下降的变化。展望2008年,在宏观调控措施的作用下,住宅供给结构将进一步改善,投资性住房需求将得到遏制,住房价格涨势将有所回落。但要注重继续贯彻落实宏观调控的各项政策措施,保持房地产市场的平稳运行。     

考虑多源数据交互的配电网数字化"两票"研究与应用

提出了一种基于多元数据交互的配电网数字化两票系统.首先针对角色、权限管理机制、工作票和操作票的实现特征进行了基本思路的分析.结合目前已有的数字化操作票和工作票系统实现技术进行了分析,说明了建模方法、执行过程管控方法和接口数据交互方法.针对配电网运行数据、设备数据和决策分析数据的多元数据交互进行了数字化两票系统设计,给出了系统架构和系统功能,针对工作票和操作票的模型建立、典型票库构建进行了分析.     

一种支持软件体系结构重用的反射机制及其形式化

软件开发早期阶段软件资源的重用进展缓慢.反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用.提出了一种支持软件体系结构设计时重用的反射机制,详细描绘了基于反射机制的反射式软件体系结构的基级元素模型和元级元素模型.还用形式规格说明语言Object-Z语言对基级元素模型进行了完整的描述;以基级元素模型的连接模式Connections为例,给出了它的初始化定理及其证明过程.     

一种软件体系结构关注点多维分离模型

传统方法设计出的体系结构中始终存在着一些横切现象,使得体系结构变得复杂、难以理解、难以演化和难以重用.基于关注点分离和面向方面软件开发的相关理论,探讨了体系结构中的关注点,提出一种体系结构层关注点多维分离模型.该模型通过形象地表示关注点之间的关系,识别那些在体系结构中可能产生横切的关注点,有效解决传统软件体系结构设计中存在的关注点横切问题,为软件体系结构的演化和重用提供了重要的指导作用.     

含各向异性尺度形变数据集匹配问题的Lie群方法

通过分析含各向异性尺度形变的数据集匹配问题, 将尺度约束引入模型, 再结合迭代最近点(Iterative closest point, ICP)方法的一般过程, 将含各向异性尺度形变的数据集匹配问题描述为Lie群约束优化问题. 通过Lie群的局部参数化和局部线性化方法, 将带尺度上下界约束的Lie群约束优化问题转化为一系列的二次规划问题, 最终形成了一个完整的匹配迭代算. 该方法不仅具有传统ICP方法的快速准确的特点, 而且还能够处理存在大尺度形变的数据集匹配问题. 由于对尺度参数进行约束, 因此比传统方法有更好的鲁棒性. 最后, 为确保匹配的全局性, 给出了一套初始变换的选择方案.     

一种基于CPN的BPEL异常处理逻辑的开发方法

针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。     

基于物元可拓性的配置规则衍生技术

随着配置产品日益复杂化和大型化,对配置规则的灵活性和可扩充性提出了更高的要求,为此,构建了产品配置规则基础物元,包括配置约束物元和组件实例物元、配置约束物元表达规则的条件部分和组件实例物元表达规则的结论部分,以物元函数的方式实现配置规则的物元统一表达;根据物元的可拓展特性,运用发散、可扩、相关、共轭等拓展方法研究配置规则衍生技术,并建立基于物元的产品配置规则衍生模型,增强了产品配置规则表达的灵活性和可扩充性,降低了产品配置规则获取难度;以电除尘器阳极系统配置规则为例,说明了基于物元可拓性的产品配置规则衍生.     

计量光栅在测量位移中的应用——莫尔条纹技术

本文系统地介绍计量光栅的特点和测量位移的原理;并且还介绍了莫尔条纹读数系统中的一般的读数头的结构,其中特别介绍了两倍、四倍和多倍的读数系统。     

轴瓦分布角对精密轴系润滑静特性的影响

分析了三圆弧瓦精密轴系轴瓦的结构形式及其几何关系,建立了有关的几何方程和计算公式。根据雷诺方程,通过数值计算,求出了轴瓦分布角改变时相应轴承结构油膜的动压变化规律及其润滑的一些静态特性,计算结果可作为精密轴系结构设计和参数确定的依据。     

新型并串联复合机器人KED研究

提出一种由3自由度平动并联机构和放大机构组成的新型并串联复合机器人。从柔性多体系统动力学角度出发，分析了机器人的动力学模型，建立了其动力学方程。运用KED的解题方法，对机器人进行了运动弹性动力学分析，得到了符合实际情况的计算结果。