基于GPU的全球海量数据的快速调度与渲染

将地形的高程数据和影像数据都转化成纹理图,按照多级地理信息网格来存储.通过GPU的光栅通道直接访问纹理,所有运行时的计算(访问纹理图,法线的计算,渲染地形)都完全由GPU来执行,提高了速度,节省了CPU资源.     

地球起源以及大陆的生长与破坏

早期的地球是45亿年前从太阳系星云中的较重元素所组成的星子非均匀吸积、增生而成的。陨击作用造成地表岩石撞碎,诱发地幔的超临界流体或岩浆上涌,造成剧烈的火山爆发,并使地幔上部硅酸盐中的气体挥发分在固体地球表面聚集,逐渐演化成水圈、大气圈。洋壳主要是由深部铁镁硅酸盐岩大面积喷出地表所形成的拉斑玄武岩所组成,可能是陨击作用所派生的片麻岩穹窿则造成了原始大陆地壳的核心。岩石圈板块在18~16亿年前开始形成。大洋与大陆板块间俯冲作用和陆陆板块间碰撞作用的应变速率都是极低的,它们可以造成岩石的局部破裂,但是韧性变形作用、变质作用,以及岩浆与超临界流体的贯入与冷凝却使岩石愈合,非但没有使大陆被破坏与撞碎,反而使大陆不断地增生。亚洲大陆板块就是从18亿年前或16亿年前到现代,由27个较大的古地块及上百个小地块,经过14次板块间的俯冲或碰撞而汇聚成的。至于大陆的破坏,则可能是地幔羽的隆升或巨大陨石撞击所诱发的。     

Symmetry Classification of Partial Differential Equations Based on Wu's Method

Lie algorithm combined with differential form Wu's method is used to complete the symmetry classification of partial differential equations(PDEs) containing arbitrary parameter. This process can be reduced to solve a large system of determining equations, which seems rather difficult to solve, then the differential form Wu's method is used to decompose the determining equations into a series of equations, which are easy to solve. To illustrate the usefulness of this method, we apply it to some test problems, and the results show the performance of the present work.     

基于TLA的Kerberos协议符号化与检测

Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVISPA工具对HLPSL编码进行检测,结果表明用基于TLA的检测工具是宜于使用且有效的。     

双V形三维构件张拉结构的矩阵分析与预应力优化研究

张拉结构是由不连续的受压构件和连续的受拉绳索组成的特殊结构体系,含有三维受压构件的张拉结构利用三维受压构件代替一维杆,增加了结构的稳定性与可控制性,是张拉结构发展的新趋势.利用取自正四面体四条斜边组成的双V形受压构件,以及纵向和环向绳索制得张拉整体结构模型,并用矩阵平衡法进行分析.建立矩阵时将传统杆索结构中只考虑杆轴向压力的平衡矩阵扩展到考虑三维构件弯曲的空间铰接体系复合平衡矩阵;再根据平衡矩阵理论以及奇异值分解理论得到该模型的自应力模态.在优化过程中,绳索受拉条件与力的均匀性作为优化目标,运用人工鱼群算法对构件预应力进行优化.结果证明结构的稳定性良好,绳索与受压构件拉压合理,以及对不同类别预应力分别进行均匀性优化的结果更好更具有针对性.     

基于可变精度的协同过滤推荐算法研究

基于可变精度方法设计了新的协同过滤算法。首先,选取了电影评价数据集,利用可变精度方法得到新的数据集合,经过协同推荐给出了推荐结果;其次,通过平均绝对误差(MAE)和F-mean两种指标对推荐结果精度进行了评价,发现随着可变精度的提高,推荐性能得到提升,但精度需要控制在一定阈值范围内,否则超过阈值推荐性能反而下降。最后,还利用社交网络上糖尿病微博数据收集对此方法进行了实证研究,从而验证了所提方法的有效性和良好扩展性。     

纯转动喇曼激光雷达带通滤波参数的优化研究

带通滤波技术是纯转动喇曼激光雷达系统的关键单元技术,由非优化的带通滤波参数将直接导致系统探测灵敏度的降低、温度探测精度的恶化等严重后果．作者引入模拟退火算法对中心滤波波长、滤波波长间隔及滤波带宽等带通滤波参数进行了优化计算,可获得温度探测灵敏度比已有报道高3～5倍的效果．     

用构造性神经网络推导模糊有限状态自动机

采用构造性神经网络来推导模糊有限状态自动机(记作FFA),在网络训练过程中,按照Blanco网络的学习规则调整连接权重,在网络结构的动态修改中利用了级-相关算法的最大相关性思想,最后将该网络应用到具体的FFA推导中,实验证明它是有效的.     

多元有机载体固定化酶水解氨基酸研究

选用反应性单体丙烯酰胺(AM)、N-羟基琥珀酰亚胺(NHM),以N,N’-亚甲基(双丙烯酰胺)(GM)为交联剂,以甲酰胺为制孔剂条件下进行反相悬浮聚合,得到珠状共聚物载体,该载体是一种新的载体形式,在国内外的相关文献中均未见报道.将载体分别用吸附和包埋两种方法固定化中性蛋白酶,测得吸附和包埋两种载体固定化酶量分别为0.328 0和0.026 4 mg/g,固定化酶的活性分别于175.63~484.72μ/g和50.95~82.25μ/g之间变化,比较吸附法和游离态酶水解蚯蚓体蛋白的氨基酸含量,将中性蛋白酶用吸附法固定在所合成的载体上可得到高活性的生物催化剂.