刘维先
- 作品数:6 被引量:2H指数:1
- 供职机构:河南工业职业技术学院更多>>
- 发文基金:浙江省教育厅科研计划更多>>
- 相关领域:理学自动化与计算机技术建筑科学更多>>
- 再生骨料高强高性能混凝土配制研究
- 通过对不同强度等级旧混凝土破碎而成的再生粗骨料与天然粗骨料性能的对比研究,表明再生粗骨料与天然粗骨料性能具有相似性,能够满足行业标准对碎石的性能要求,并尝试将再生粗骨料用于配制高强混凝土和自流平高性能混凝土,结果表明,采...
- 孔德玉刘维先方诚陈元朋
- 关键词:再生骨料混凝土高强混凝土
- 文献传递
- 一非线性双曲型方程解的爆破(英文)
- 2002年
- 本文应用压缩映射原理证明一非线性双曲型方程的初边值问题存在唯一局部广义解 。
- 陈翔英刘维先
- 关键词:非线性双曲型方程初边值问题局部解爆破
- 安全性和正确性折中的软件系统开发方法被引量:1
- 2003年
- 主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略,来解决商业软件长期以来带有"bug"和安全性问题.对功能正确性和安全性的折中方案,亦有详细的分析,最后还提出将软件开发的折中技术融入软件工程以取得实际的效果.
- 万春袁建红刘维先
- 关键词:软件工程软件开发安全性
- 建立概率模型解代数问题被引量:1
- 2003年
- 通过建立概率模型 ,求解数列。
- 刘维先孙莹
- 关键词:代数问题数列代数恒等式
- LF拓扑空间的T_2与弱T_2分离性比较
- 2003年
- 主要讨论了LF拓扑空间上的T_2和弱T_2分离性的关系,给出了二者之间的一些等价条件,并得出了弱T_2空间的一些好的性质。
- 王顺钦刘维先
- 关键词:LF拓扑空间T2分离性弱诱导空间
- 有无穷多个驻点的多元函数极值问题
- 2003年
- 讨论了多元函数在有无穷多个驻点的情况下的极值问题,给出了极值的判定方法,并用来证明一些不等式。
- 刘维先李瑞阁
- 关键词:多元函数极值问题不等式驻点