国家重点基础研究发展计划(1998030600)
- 作品数：20 被引量：242H指数：8
- 相关作者：李德生张鸿庆杨勋年汪国昭黄文奇更多>>
- 相关机构：沈阳工业大学大连理工大学浙江大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金辽宁省教育厅资助项目更多>>
- 相关领域：理学自动化与计算机技术金属学及工艺更多>>
- 一个前向安全的强代理签名方案被引量：28
- 2003年
- 基于代理签名理论和前向安全签名理论,提出了一个前向安全的强代理签名方案,其安全性建立在求离散对数和模合数求平方根是困难的这两个假设的基础上。此方案同时对代理签名人和原始签名人的权益提供了保护,攻击者即使在第i时段入侵系统,也无法伪造第i时段之前的签名,因而具有较高执行效率和较强的安全性。
- 谭作文刘卓军
- 关键词：公钥密码学离散对数代理签名
- 变系数(2+1)维Broer-Kaup方程的新精确解被引量：13
- 2004年
- 通过一个简单的变换 ,变系数 (2 +1)维Broer Kaup方程被简化为人们熟知的变系数Burgers方程。利用近年来广泛使用的齐次平衡法和tanh 函数法 ,获得了变系数 (2 +1)维Broer Kaup方程的一些新的精确解。
- 李德生
- 关键词：齐次平衡法精确解
- 基于计算代数和图分解的几何约束求解技术被引量：10
- 2002年
- 满足几何约束是参数化设计中的中心问题。在许多应用中 ,需要找到约束系统的全部解。基于计算代数的方法可以实现这个目的 ,但其弱点在于计算复杂。利用图分解和计算代数相结合的方法对约束系统进行求解。通过图分解 ,将一个约束系统分解成为许多子系统 ,利用吴方法等技术求出各子系统的解 ,将各子系统的解结合从而求出整个约束系统的全部解。该方法比单纯利用计算代数求解高效 ,并且不会改变约束系统的解集。实验结果表明 。
- 李彦涛刘世霞胡事民孙家广
- 关键词：图分解吴方法参数化设计几何约束系统
- 变系数(2+1)维Broer-Kaup方程新的类孤子解被引量：2
- 2004年
- 通过对求解非线性偏微分方程推广的tanh函数法的进一步改进,获得了变系数(2+1)维Broer Kaup方程许多新的类孤子解.
- 李德生
- 关键词：类孤子解TANH函数法非线性偏微分方程
- (2+1)维广义浅水波方程类孤子解和类周期解(英文)被引量：1
- 2005年
- 在Riccati方程方法的基础上提出了新的广义投射Riccati方程展开法及其算法.该方法直接而有效,通过适当的变换将非线性发展方程转化为易于求解的微分方程组,从而可用来构造非线性发展方程更多新的精确解.利用这个方法研究了(2+1)维浅水波方程,并得到了许多新的精确解,其中包括类孤子解和类周期解.该算法可以用于构造其他更多非线性发展方程(组)的精确解.
- 梅建琴张鸿庆
- 关键词：精确解类孤子解
- 微分中值定理自动推证研究
- 2005年
- 应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.
- 王玮明
- 关键词：微分中值定理计算机代数系统MAPLE
- 基于场表示的平面无序点集曲线重建算法被引量：12
- 2002年
- 由无序离散点集重建出曲线曲面模型 ,在反求工程与计算机视觉中都有着广泛的应用 .针对平面无序带噪声的曲线重建问题 ,通过模拟带电粒子在空间中形成场分布的现象 ,构造了一个反映平面点集形状与分布稠密程度的场函数 ,以场函数曲面的脊线在平面上的投影作为平面无序点集的重建曲线 .为求得重建曲线 ,可先在平面上选取一条适当初始曲线 ,由初始曲线沿着场函数的梯度方向运动 ,其极限位置便为重建曲线 .大量实例证明 ,这种方法简单可行 ,可获得满意的重建曲线 ;同时 ,对于带插值约束条件以及分布不均匀的点集 ,也可以获得满意的结果 .
- 钟纲杨勋年汪国昭
- 关键词：计算机辅助设计计算机视觉
- 蛋白质三维连续模型结构预测的高效算法被引量：3
- 2007年
- 为了解生物学上蛋白质的空间构成情况,通过对生物学上蛋白质实际空间组成结构的分析,本文提出了一种抽象的蛋白质三维结构连续数学模型与之对应,应用拟物的方法找到了对应于此数学模型的物理模型,并且用数学方法客观、精准地对该模型进行了公式表达,然后应用数学求最值的方法且结合一种优化算法对以上公式进行了有效的演算,并得到了比较好的结果。因此,我们就找到了相应的一种求解蛋白质三维构型的高效算法,应用该算法能更快更优地得到相应蛋白质链的近似最优构型。
- 陈克宾黄文奇
- 关键词：蛋白质结构预测折叠
- 变系数(2+1)-维Broer-Kaup方程的分离变量解被引量：2
- 2005年
- 研究了变系数(2+1)-维B roer-Kaup方程的精确解问题,通过该方程的Backlund变换,找到该方程未知函数间的变换,从而将变系数(2+1)-维B roer-Kaup方程转化为一线性偏微分方程,利用分离变量法获得了变系数(2+1)-维B roer-Kaup方程一些新的精确解,所的结果包含了已有文献中的有关结果并发现了一类新的分离变量解.
- 李志斌李德生
- 关键词：分离变量解分离变量法
- 几何变换的误差传播被引量：3
- 2003年
- 采用最坏情况法研究几何变换中的误差传播问题 在给出基本几何元素误差域表示方法的基础上 ,讨论对称、旋转变换的误差传播规律 ;并利用Minkowski算子 ,给出计算几何变换后误差域的算法 。
- 张松海殷培胡事民
- 关键词：CAD计算机辅助设计三维几何造型
