形式代数

作品数：8被引量：6H指数：1
导出分析报告
相关领域：建筑科学理学更多>>
相关作者：马骏周岱李磊何艳丽张年文更多>>
相关机构：上海交通大学北方交通大学浙江大学同济大学更多>>
相关期刊：《上海交通大学学报》《计算机工程与应用》《西北大学学报（自然科学版）》《消费电子》更多>>
相关基金：上海市科学技术委员会基础研究重点项目国家自然科学基金国家教育部博士点基金天津市应用基础与前沿技术研究计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程进均衡定理引理——哈密顿的实数对的形式代数的组合法则和函数理论
《消费电子》2013年第20期184-184,共1页程进 
网络时代，新世纪海峡上，从中微子的发现，到人类探测器飞船飞出太阳系，2012年-2013年中国的天宫一号载人交会对接的二次成功及空中授课。新世纪程进均衡定理引理通过网上足彩，蓝彩购彩，中奖，中奖率，中奖赔率，全球股市排行榜从...
关键词：程进均衡定理 代数的组合法则 函数理论 
形式代数的空间结构建模库FormexLib的实现及应用
《福建工程学院学报》2011年第1期95-98,共4页白凤军 颜桂云 
福建省教育厅基金资助项目(JB04160);福建工程学院科技基金资助项目(GY-Z0420;GY-Z0302)
基于形式代数理论开发了空间结构建模库FormexLib。论述了形式代数与结构建模之间的关系,给出了实现空间建模库FormexLib的C++代码。最后,介绍了一个使用该库编写的空间结构软件的实例。实践表明,使用该库编写空间结构建模软件时,极大...
关键词：形式代数 C++ 软件 建模 空间结构 
流场和流固耦合问题网格剖分与更新的新方法被引量：4
《工程力学》2009年第11期10-16,共7页周岱 马骏 李磊 
上海市基础研究重点项目(07JC14023);国家自然科学基金项目(50778111)
基于形式代数和映射理论,针对二维/三维内外流场和流固交界面处的网格剖分问题,提出虚拟结构化映射的网格生成新方法。在虚拟规则多边形上建立虚拟网格,利用函数建立对应的映射关系,把虚拟网格映射到真实的流固边界网格上。在网格更新...
关键词：结构工程:网格技术 形式代数 映射 流场 网格生成与更新 
等价形式的永恒性原理——皮考克的符号代数
《西北大学学报（自然科学版）》2008年第1期157-160,共4页李跃武 金英姬 
国家自然科学基金(10771169);全国教育科学"十五"规划重点课题国家一般课题资助项目(BHA050023)
目的系统探讨和研究皮考克(George Peacock,1791—1858)的符号代数思想。方法文献考证和历史分析。结果皮考克(George Peacock,1791—1858)的符号代数是在利用抽象符号的运算法则所决定的代数结构来确立负数和虚数的"合法化"基础时创造...
关键词：皮考克(George Peacock 1791-1858) 符号代数 等价形式的永恒性原理 形式代数 
网格结构生成的代数映射改进技术被引量：1
《上海交通大学学报》2006年第12期2106-2111,共6页马骏 周岱 李华锋 董石麟 
上海市基础研究重点项目资助(04JC14059);教育部高等学校博士学科点专项科研基金项目资助(20040248002)
鉴于运用形式代数进行参数化建模只适用于简单空间结构的问题,提出了对空间网格结构的参数化快速间接二次建模新方法.通过生成相应平面网架结构,利用空间映射关系变换为空间网壳结构,并自行开发了空间网格结构生成软件GAS.该方法为解决...
关键词：网格结构 形式代数 参数化建模 生成 
形式代数在空间网格结构中的应用被引量：1
《计算机工程与应用》1999年第3期39-41,53,共4页何艳丽 吴其永 杨宏林 
文章依据形式代数（ＦｏｒｍｅｘＡｌｇｅｂｒａ）理论，采用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较简单的平板网架、筒壳和外形较复杂的球壳、双曲抛物面形和马鞍形等网格结构都能够自动成形，避免了以往繁琐且易于出错的结构...
关键词：形式代数 自动成形 空间网格结构 建筑美学 
可视形式代数法——一种实用的空间结构建模方法被引量：1
《太原工业大学学报》1997年第4期79-83,共5页赵红华 
采用形式代数法来描述空间结构，详细分析了ＡＬＧＯＲＦＥＡＳ软件的前、后处理功能及其数据结构，编写了形式代数法模型库软件包以及与ＡＬＧＯＲＦＥＡＳ软件之间的接口程序，真正实现了结构计算可视化。
关键词：形式代数 空间结构 建模 
空间网格结构的自动成形被引量：1
《北方交通大学学报》1996年第5期606-609,共4页何艳丽 徐国彬 
依据形式代数（ｆｏｒｍｅｘａｌｇｅｂｒａ）理论，用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较复杂的球面网壳、椭球形网壳、双曲抛物面形及筒壳等形式的网格结构能够利用计算机自动成形，避免了以往冗长、单调且易于出错的结构...
关键词：形式代数 空间网格结构 计算机 自动成形 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部