CQ Method for Strictly Pseudo-Contractive Mapping

This paper obtains a strong convergence theorem for k-strictly pseudo-contractive mapping under the framework of Hilbert spaces using CQ method. Due to the fact that non-expansive mapping is only 0-strictly pseudo-contractive, the main result obtained in this paper extends the corresponding main result of Nakajo-Takahashi from non-expansive mapping to k-strictly pseudo-contractive one, where k∈[0,1).     

混沌映射在彩色图像水印中的应用

提出了一种新的基于混沌理论的彩色图像水印方法.在空域中RGB色彩空间的蓝色信道里嵌入水印以提高水印隐性和鲁棒性.水印的检测同样只在蓝色信道里进行,通过相关性的比较来确定结果.实验结果表明,文中所提出的水印方法速度快、易于实现,具有较高的安全性,并对包括剪裁在内的几何攻击有很好的鲁棒性.     

一种半自动的基于图像建模系统

针对目前各种类型航海模拟器的虚拟建模效率较低与真实感较差等问题,设计与实现了一种基于多幅图像及少量用户交互恢复物体三维几何模型的系统.本系统采用稳定性好的改进Har-ris算子进行角点检测,基于角点空间特征及交叉相关实现角点的初始匹配;采用基于极线约束的角点匹配快速算法完成角点的精匹配,同时引入迭代和人工辅助修正的方法解决匹配算法的退化情况.在角点匹配结果基础上进行仿射重建,通过升级矩阵实现度量重建,在OpenGL环境下绘制出物体的三维模型框架.从原图像中抽取纹理并采用多视角图像融合的方法进行纹理映射,得到"照片级"真实感的三维模型.     

Solving resource-constrained multiple project scheduling problem using timed colored Petri nets

To solve the resource-constrained multiple project scheduling problem (RCMPSP) more effectively, a method based on timed colored Petri net (TCPN) was proposed. In this methodology, firstly a novel mapping mechanism between traditional network diagram such as CPM (critical path method)/PERT (program evaluation and review technique) and TCPN was presented. Then a primary TCPN (PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism. Meanwhile, the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP. Finally, the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.     

基于循环结构的脆弱型数字水印算法

为提高水印的篡改定位能力,提出了一种基于循环结构的脆弱型数字水印算法.该算法首先将图像进行分块,利用Logistic映射调制图像块生成水印,然后利用猫映射构造循环结构,建立图像块之间一一对应的循环关系,并将块水印嵌入到对应图像块的最低有效位(LSBs)中.实验结果显示,所提出的算法不仅能准确定位,而且可以有效地抵抗统计攻击和矢量量化攻击.     

基于本体的铁路客运枢纽内部设施建模研究

按照设计功能不同,将铁路客运枢纽内部设施分为行人步行设施、交通服务设施和辅助服务设施3类。运用本体建模方法,分析了枢纽内部不同类型设施使用与行人行为之间的关系,建立了设施功能与行人行为关系概念模型,并运用Z语言对其进行了形式化描述。该模型揭示了行人在每一设施内的行为特征以及设施与行人的交互关系,为系统设计、实现和验证提供了准确的、一致的文档依据,为下一步软件结构建模奠定了基础。     

秦沈客运专线路基本体及基床底层施工技术

秦沈客运专线具有“开通速度高,设计标准新;质量要求高,验收标准新;技术含量高,施工工艺新”的“三新三高”特点。路基本体及基床施工作业实现了程序化、标准化．施工过程按三阶段、四区段、八流程进行,既保证了施工质量,又加快了施工进度。     

对象/关系映射机制研究与实现

针对持久对象与关系数据库的存储矛盾,深入研究对象/关系映射的几种方法和相关机制,设计并初步实现了一个对象/关系映射框架.该框架具有对象/关系映射功能,使应用程序开发人员能够以统一的、面向对象的方法进行对象数据存取,而不必关心底层关系数据库的实现,从而极大地提高了开发效率.     

牵引供电广域保护专线传输通道的时延分析

本文研究了采用基于SDH的多业务传送点（MSTP）传输网构建广域保护传输专线通道的时延特性,并提供了组网方案,通过京张高铁的工程应用及网络测试,总结了MSTP传输系统组建广域保护通道专线网络的解决方案,对类似工程具有参考价值。     

基于Struts与Hibernate开发策略的银行业务系统

Struts架构与Hibernate架构有助于快速构建基于Web的应用系统,但是它们都有各自的优缺点.利用DAO模式将这两者有机集成起来,使得它们优势互补,形成一个统一的架构.Apache开源组织提供的Struts框架充分体现了MVC架构,Hibernate简化对象持久化映射工作和开发中的MVC分工.以Struts作为表现层框架、Hibernate作为数据持久层框架,设计并实现了一个基于Struts和Hibernate架构的银行业务系统.