基于微分动态逻辑的液压运动系统的分析与验证

液压运动系统既包含连续过程也包含离散过程,可以认为是一个混成系统,在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个问题,以经典液压运动系统为例,结合专业知识,用微分方程对整个系统运动过程进行详细描述。结合微分动态逻辑和混成程序建立模型,通过工具KeYmaera来验证所建模型的正确性及液压运动系统运动的安全性。结果表明,所建模型正确,安全性良好。该方法适合应用于此类系统的建模与验证过程。     

杂化轨道的键强、键角与成分的关系

本文报导的工作是在前文工作的基础上,进一步导出了键角与成份及健强与成份的关系式,从而得到一些新的结论。这些结论不同于习以为常的观念。     

最大重迭法和杂化理论(英文)

这一短文报告了我们关于最大重迭法与杂化轨道的部分工作。按照这一方法和键强的概念.在ML_k型分子中.第个j的键强F_j等于配体L_j的轨道ω_j与中心原子M的相应的杂化轨道ψ_j之间的重迭积分,即F_j=<ω_jψ_j> 在K=2和取键轨道角度部分的投影近似后.根据本文的普适性处理.可以得到与唐敖庆和Pauling完全一致的公式。本文对于随意任取ι值(角量子数)时键强度、键角和轨道特性的关系作了推广.还导出了含g和h轨道的两个新公式。     

Smith预估器控制混合动力电动汽车动态过程的仿真

PID控制混合动力电动汽车(HEV)动态过程,要达到控制要求时,力矩可能超出设计范围.提出了采用Smith预估器控制动态过程;该办法能克服大纯滞后,增强控制系统稳定性.SIMULINK仿真表明,其控制效果优于常规PID控制.在相同的条件下,阶跃响应时间短,而且所需要力矩小,使得动态过程控制更易于实现.可见Smith预估器具有更好的稳定性和鲁棒性,对于大时间滞后系统是一种比较实用的控制方法,更加适合于HEV控制.     

混合式码头动力响应及抗震计算

研究采用基于中心差分格式的逐步积分法软件包LS-DYNA。通过对沉箱-高桩复合式码头的有限元模型建立,详细的考察了码头结构的自振特性以及其在地震作用下的加速度和动内力的分布及变化情况。并获得在复合码头不同高程点上的动力变化关系曲线。为新结构优化和验证累积经验,为规范完善提供参考依据。     

基于复合金字塔模型的蛋白质二级结构预测系统

利用预测系统方法, 对蛋白质二级结构预测提出了一种逐步求精、多层递阶的预测系统模型, 即复合金字塔模型. 这种模型由4个独立协同的层面组成, 通过智能接口有机融合了SAC, AAC, KDD*等源于KDTICM理论的模型和方法. 模型整体贯穿物化属性与结构序列, 采用因果细胞自动机选择有效物化属性, 构造纯度较高的结构数据库作为训练数据源, 利用领域知识与背景知识进行优化. 本模型在数据集RS126及CB513分别取得83.06%与80.49%的Q₃准确度, 在对偏α/β型蛋白质的预测实验中, 取得了93.12%的Q₃准确度, 并存在着进一步提高准确度的优化空间.     

人造目标SAR图像实时仿真

根据SAR图像特点,提出了一种利用图形加速的实时SAR仿真方法。方法采用散射中心模型,基于高频预估理论,用物理光学(PO)法与增量长度绕射系数(ILDC)法计算目标表面散射场强度分布,将强度值累积映射到SAR图像的分辨单元内,与成像系统传输函数卷积,获得近似仿真结果。散射、映射与卷积运算均借助图形加速,仿真可在数秒内完成。仿真结果与真实图像相比具有良好的视觉相似度。为算法测试而搭建的仿真平台OpenSARSim被作为开源项目,其所采用的部分技术可以应用于其它仿真领域。     

全球定位系统与惯性导航系统的组合系统

全球定位系统是最新发展的高精度导航系统。由空间、控制和用户系统组合而成。用户利用导航星的导航信号可获得高精度的定位、导航和时间信息。该系统具有广泛的应用前景。本文介绍了全球定位系统与惯性导航系统组合系统的研制概况,系统组成,功能和应用前景。     

STRONG CONVERGENCE OF MONOTONE HYBRID METHOD FOR FIXED POINT ITERATION PROCESSES*

K. Nakajo and W. Takahashi in 2003 proved the strong convergence theorems for nonex-pansive mappings, nonexpansive semigroups, and proximal point algorithm for zero point of monotone operators in Hilbert spaces by using the hybrid method in mathematical programming. The purpose of this paper is to modify the hybrid iteration method of K. Nakajo and W. Takahashi through the monotone hybrid method, and to prove strong convergence theorems. The convergence rate of iteration process of the monotone hybrid method is faster than that of the iteration process of the hybrid method of K. Nakajo and W. Takahashi. In the proofs in this article, Cauchy sequence method is used to avoid the use of the demiclosedness principle and Opial＇s condition.     

杂交东方鲀的胚胎和仔鱼的发育

描述了杂交东方鲀（弓斑东方鲀暗纹东方鲀）胚胎和仔鱼各发育阶段的形态特征．杂交东方鲀受精卵沉性，圆球形．卵膜较厚，半透明．卵黄均匀，淡棕黄色．卵径１．４３～１．５６ｍｍ．油球３１０～４２０个，球径２６～７８μｍ．在水温１８．６～２１．５℃条件下，从受精至孵化出膜需１４４ｈ５０ｍｉｎ．初孵仔鱼的卵黄囊消失需１０ｄ左右．上述生物学资料，为进二步开展杂交河豚鱼人工育苗、改良和开发新品种，奠定了必要的繁殖生物学基础．