国际平整度指数二元曲面函数描述模型的研究

通过建立国际平整度指数(IR I)的数字地面模型来描述基于道路面状的IRI指标概念。在分析研究几类数字地面模型的曲面函数内插方法的基础上,给出了IRI的二元双一次曲面乘积型逼近模型。最后给出了定义和描述同一段道路路面不同时段IRI变化量的乘积型重积分求积公式、IRI均值和标准差、IRI值的变化差均值及IRI值变化差的标准差、IRI值单位时间变化速率等数值解法。     

基于离散小波变换和人类视觉系统的数字水印算法

通过对人类视觉系统(HVS)的亮度特性、频域特性、图像类型特性的研究,提出一种基于离散小波变换和人类视觉系统数字水印算法,将秘密信息嵌入到小波变换不同的方位系数中.实现了水印信号在图像信息中的嵌入与提取,达到隐藏秘密信息的目的.实践证明该算法能提高水印的不可见性,同时具有很强的鲁棒性.     

一种基于离散对数问题的存根代理盲签名方案

数字签名用来保证原始数据完整性和有效性,一个数字签名方案包括数字签名生成算法和数字签名验证算法.简短地介绍了盲签名、代理签名的基本思想和基本性质,并给出如何通过非对称密码算法的思想来实现这些签名方案,提出并详细介绍了一种基于离散对数问题的有存根的(免责声明)代理盲签名方案,讨论了基于离散对数问题的密码学算法的可能攻击方法,在此基础上给出了协议实现时的一些有益的建议.     

基于Visual Basic.NET的船舶动力装置数字化设计

基于Visual Basic.NET的船舶动力装置数字化设计是利用Visual Basic.NET的各项功能实现船舶动力装置设计的数字化、智能化。其中,利用Visual Basic.NET的计算功能实现基本计算的数字化;利用Visual Basic.NET与数据库的良好交互功能实现设备选型的数字化;利用Visual Basic.NET的数组进行矩阵计算实现模糊综合评判法的数字化;利用Visual Basic.NET对AUTOCAD调用以及AUTOCAD的块功能实现绘制系统原理图的数字化。船舶动力装置设计实现数字化后可提高设计效率,并且可以增加设计的科学性和准确性。     

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).     

Statistical Approaches to Mapping QTL of Dynamic Traits

Dynamic traits are those that change with timein the development process of life or other quanti-tative factor (e. g. environmental condition).These traits also are called infinite-dimensionalcharacters by Kirkpatrick and Heckman[1]andfunction-valued traits by Pletcher and Geyer[2], be-cause they can be expressed as a function of someindependent and continuous variables. Dynamictraits are collected at many time points during thecourse of life. Therefore, studies of dynamic traitsare regarded…     

高层次工艺规划前置处理接口技术

根据并行工程的基本原理,提出了一种基于完整设计信息的高层次工艺规划原型系统.该原型系统以完整的三维设计模型为信息源,因此需开发完善的前置信息处理接口,以获取有效的设计信息并将其转化为制造时工艺分析能直接使用的制造信息.前置处理接口中的设计模型信息提取接口用三维CAD软件的二次开发技术提取完整的零件结构信息;制造特征映射接口用三维特征识别和映射技术将提取的设计信息转换为制造模型.两个接口程序集成后,可获得零件的制造特征树和制造模型信息库,有效地支持HLPP.     

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.     

基于多传感器的自治潜水器定位和创建地图方法

讨论了视觉传感器和2维、3维成像声纳的数据融合方法,利用传感器间的外标定方法,把成像声纳的特征元素转换到相机坐标系中,再利用计算机视觉领域的structure from motion 方法进行求解.仿真实验表明,随着时间的推移,误差变得越来越小;经多传感器融合后,实验误差比融合前要小,结果精度比单个传感器高.     

文化遗产数字化保护关联要素探析

从影响文化遗产数字化保护的内外因素分析入手,得出影响文化遗产数字化保护的两类主要内部因素为:其自身的自然属性与文化属性;七类主要外部因素为:科技因素、政策因素、管理因素、传播因素、研究因素、经济因素、群体因素;以及一类次要其他因素。在此基础上进一步推导得出文化遗产数字化保护效能公式,并得出结论:变量政策因素和经济因素作为具有否定作用的主要变量因素,决定着整个效能的高效与否;同时其他变量因素之和值量的高低,也在很大程度上决定着最后评定的效能值。