长沙工学院
- 作品数：112 被引量：495H指数：12
- 相关作者：金国华孙成政吴泉源陈朝辉张晨曦更多>>
- 相关机构：北京理工大学中国人民解放军空军指挥学院浙江大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术理学航空宇航科学技术电子电信更多>>
- 超级计算机电路性能分析与展望
- 1989年
- 本文综述了现代超级计算机系统所用的逻辑电路与存储电路的性能,对其进行了分析.在此基础上,根据超级计算机的特点与要求,展望了超级计算机电路的发展趋势及其应用前景.
- 胡守仁
- 关键词：逻辑电路超级计算机
- 协议形式化开发环境的规范语言被引量：6
- 1997年
- LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．
- 罗铁庚陈火旺齐治昌龚正虎
- 关键词：协议形式化LOTOS语言计算机网络
- 一个新的强化别名分析算法被引量：2
- 1994年
- 相关分析和程序并行化等技术已普遍受到重视，现有技术对过程内的相关分析和并行化效果是令人满意的，但是过程调用的出现为分析增添了许多困难．过程间相关性分析的目的正是为了开发含过程调用情况的程序的并行性．本文在深入研究别名对程序并行化影响的基础上，提出了一个新的强化别名分析算法，使被调用过程段的并行化成为可能．
- 金国华陈福接
- 关键词：别名数据相关性
- SJ—3专家系统的开发技术被引量：2
- 1994年
- 本文详细讨论了一个实用专家系统的开发技术，主要包括：ＦＬ知识表示法、定量化模型、知识库的组织与维护方法以及不确定推理方法．
- 贾焰刘江宁吴泉源
- 关键词：专家系统知识表示知识库
- SQL查询到扩充的元组关系表达式变换被引量：1
- 1991年
- SOL是标准的关系数据库查询语言,本文在关系代数和元组演算的基础上,定义了一种扩充的元组关系表达式,它能表达SOL 的聚集函数、分组运算、嵌套子查询。将SQL 变换为扩充的元组关系表达式,使我们可以用扩充的元组关系表达式来研究SQL 的语义和查询优化。
- 景宁陈火旺王鸿谷
- 关键词：数据库元组SQL
- 晶须增强铝合金复合材料被引量：2
- 1991年
- 当今晶须作为一种金属基复合材料增强剂,正受到越来越多的关注。本文介绍了日本已商品化的Sic、Si_3N_4、K_2O·6TiO_2、9Al_2O_3·SB_2O_3和ZnO等晶须,比较了各自的优缺点。以晶须增强铝合金为主要对象,分析了挤压铸造和粉末冶金法的特点及现阶段所达到的强度水平,包括常温强度、高温强度、热循环性能等。阐述了提高晶须增强金属强度的方法。尽管晶须增强铝合金在某些方面已得到应用,许多厂家也已具备生产其制品的能力,由于目前尚存在一些问题,限制了晶须增强铝合金的广泛使用。
- 福永秀春潘进
- 关键词：晶须金属复合材料铝合金
- 水杨基萤光酮-溴化十六烷基三甲铵光度法测定铝被引量：6
- 1985年
- 水杨基萤光酮-溴化十六烷基三甲铵光度法测定铬、钛已有报道。经实验发现,该体系对铝具有灵敏的颜色反应,而且很多常见元素与该试剂无颜色反应,对铝表现了较好的选择性。颜色反应的最佳pH值范围在pH5.7～6.5。络合物的摩尔吸光系数在559纳米处为1.4×105ι·mol-1·cm-1。服从比耳定律的范围为0～0.2ppm。络合物的摩尔比为Al:SFI=1∶2。是当前已知对铝最灵敏的反应之一。根据此反应已建立了测定镁合金合成样、铝铁黄铜、石灰石和水样品中铝的测定方法。
- 谭哲吴水生
- 关键词：CTMAB石灰石水样品三元络合物
- 基于类型理论的递旧元程序设计被引量：1
- 1994年
- 本文提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义．这样，递归类型不仅可以表示通常的递归数据结构，还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．
- 谭庆平陈火旺
- 关键词：递归程序设计数据结构
- 一个面向对象的二级并发模型被引量：1
- 1994年
- 本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架．基于该模型，我们开发了一个多视点可视规范语言族ＦＯＲＣＥ－Ｌａｎｇｕａｇｅ．
- 王戟陈火旺
- 关键词：面向对象软件开发
- 水文数据库的设计与实现
- 水文数据的特点是数据量大,种类多。在设计与实现水文数据库时,必须做好下列几项工作:1)系统可行性分析。2)概念模型(E-R图)的设计。要求所设计的E-R图要准确、完整地表现数据对象在现实世界中的联系;能完整地表现所设计数...
- 苏炳裕连敬先
- 文献传递
