收藏本站
《电脑知识与技术(学术交流)》 2007年14期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于谓词公式和线性代数的软件开发模型

邹海洋  李明东  李俊  
【摘要】:本文基于一阶逻辑和线性代数,分析了体系结构的目标,定义,意义和模型,并以此为基础提出了一种软件开发模型——基于谓词公式和线性代数的软件开发模型。实现了输入"自然语言",然后输出人们想要的软件的目标。

手机知网App
【参考文献】
中国期刊全文数据库 前3条
1 孙少波;王忠民;;基于构件的领域分析方法与建模研究[J];电子技术应用;2006年02期
2 楚旺;钱德沛;;以体系结构为中心的构件模型的形式化语义[J];软件学报;2006年06期
3 李阳,吴朝晖;一种动态自适应体系结构的研究[J];浙江大学学报(工学版);2005年02期
【共引文献】
中国期刊全文数据库 前10条
1 郑惠;有穷数列通项公式的一种新求法[J];阿坝师范高等专科学校学报;2003年01期
2 费德霖;线性代数中若干概念在解题中的巧用[J];安徽技术师范学院学报;2002年01期
3 张洪阳;实正定矩阵乘积的正定性[J];鞍山师范学院学报;2000年03期
4 朱石焕;复变函数展成幂级数的一种新方法[J];安阳师范学院学报;2000年02期
5 朱正元;线性群及其子群阶的一种性质[J];北京联合大学学报;1995年03期
6 张君敏;准正交变换的若干性质[J];宝鸡文理学院学报(自然科学版);2003年04期
7 李锐;毕成良;;矩阵多项式aA+bI[J];兵团教育学院学报;2005年06期
8 黄学军;;关于群中元素的阶的几个结论[J];成都教育学院学报;2006年06期
9 夏利民,李冬莉;用初等变换的方法直接计算A~(-1)B的一种方法[J];承德民族师专学报;2003年02期
10 李珍珠,李铭;次子空间与不变次子空间的一些性质[J];武陵学刊;1997年03期
中国重要会议论文全文数据库 前3条
1 孙兆豪;李昂;刘坤起;解建军;;论代数、逻辑和智能系统之间的对应关系[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
2 陈勇明;王璐;;命题逻辑的文氏图方法[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 ;Model and Adaptive Operations of an Adaptive Component[A];Proceedings of 2010 International Conference on Broadcast Technology and Multimedia Communication(Volume 1)[C];2010年
中国博士学位论文全文数据库 前10条
1 陈莉;KDD中的几个关键问题研究[D];西安电子科技大学;2003年
2 吴卿;面向普适计算的自适应中间件模型与方法研究[D];浙江大学;2006年
3 游静;细粒度软件抗衰策略及相关技术研究[D];南京理工大学;2006年
4 韩守鹏;分布式仿真系统动态重构技术研究[D];国防科学技术大学;2007年
5 裴士辉;遍历矩阵及其在公钥密码体制中的应用[D];吉林大学;2008年
6 王湛;智能化细粒度软件抗衰策略及相关技术研究[D];南京理工大学;2007年
7 姚全珠;基于构件的软件形式化开发方法研究与应用[D];西安理工大学;2008年
8 冯仕红;基于设计特征和参数化的工程化界面设计模式研究[D];山东大学;2008年
9 姜海燕;作物模型资源与集成构造关键技术研究[D];南京农业大学;2007年
10 孙军梅;基于形式方法面向服务的Web软件开发技术研究[D];上海大学;2008年
中国硕士学位论文全文数据库 前10条
1 张红杨;面向异构目标平台的MDA研究与实现[D];哈尔滨工程大学;2010年
2 赵春波;面向自适应中间件的语义构件动态组合研究与应用[D];杭州电子科技大学;2009年
3 欧启通;半环的星结构Ⅰ[D];江西师范大学;2003年
4 黄清兰;半环的星结构Ⅱ[D];江西师范大学;2003年
5 徐应祥;最小支集样条小波有限元[D];西北师范大学;2005年
6 郁志云;基于UML的领域建模工具的研究与实现[D];河北工业大学;2006年
7 张金龙;基于Flash AS技术的轻积件系统积件组合平台的设计与开发[D];四川师范大学;2007年
8 李亦楠;基于矩阵的密码理论在数字证书领域里的应用研究[D];吉林大学;2008年
9 代飞;基于软件演化过程构件的软件演化过程复用[D];云南大学;2008年
10 严商;基于WCF的分布式程序的研究与实现[D];武汉理工大学;2008年
【二级参考文献】
中国期刊全文数据库 前3条
1 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
2 王千祥,吴琼,李克勤,杨芙清;一种面向对象的领域工程方法[J];软件学报;2002年10期
3 梅宏,陈锋,冯耀东,杨杰;ABC:基于体系结构、面向构件的软件开发方法[J];软件学报;2003年04期
【相似文献】
中国期刊全文数据库 前10条
1 杨建涛;;全球信息栅格与网络中心战[J];中国科技信息;2011年14期
2 贾勇;;浅谈嵌入式处理器及其发展趋势[J];科技信息;2011年22期
3 薛爱萍;任志国;;空间数据挖掘系统设计[J];中国市场;2011年32期
4 俞玉林;;智能电网的传感网体系结构浅析[J];华东电力;2011年06期
5 曹建福;;嵌入式柔性数控系统的组态结构与实现方法[J];中国机械工程;2011年13期
6 邹媛;;构件技术在Web教学系统开发中的应用[J];价值工程;2011年21期
7 刘长勇;吴平价;;基于RSS的信息聚合平台体系结构的研究[J];武夷学院学报;2011年02期
8 马颖亮;高晓冬;张光轶;;基于RUP的航空兵作战C~4ISR体系结构研究[J];指挥控制与仿真;2011年04期
9 李丽;;语义网格在数字化学习系统中的应用[J];中小企业管理与科技(下旬刊);2011年08期
10 盖世昌;许腾;陈小兰;;协同传感器数据分发问题[J];兵工自动化;2011年08期
中国重要会议论文全文数据库 前10条
1 王宇;程小辉;;基于移动agent虚拟仪器系统体系结构研究[A];第三届全国虚拟仪器大会论文集[C];2008年
2 徐海;韩宇;孙永兵;韦水生;邓庆绪;于戈;;基于软硬件联合设计的嵌入式实时数据库体系结构[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
3 萧蕴诗;武广;徐立鸿;;复杂信息系统集成方法及其在智能建筑中的应用研究[A];1998中国控制与决策学术年会论文集[C];1998年
4 魏定国;;试论企业级数据传输体系结构[A];1998中国控制与决策学术年会论文集[C];1998年
5 董永贵;董恩生;贾惠波;;生物启发仪器的体系结构及实现技术[A];第二届全国信息获取与处理学术会议论文集[C];2004年
6 苗宇;程荫杭;张超;;室外自主轮式移动机器人的发展及关键技术[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
7 刘仲英;胡衍强;胡斌;;物流公共信息平台的体系结构研究[A];第11届海峡两岸信息管理发展策略研讨会论文集[C];2005年
8 李劲;;综合射频传感器的开放式系统结构[A];中国雷达行业协会航空电子分会暨四川省电子学会航空航天专委会学术交流会论文集[C];2005年
9 王瑜;孟涛;相敬林;夏靖波;;一种应用于Ad hoc网络管理的分簇算法[A];2005中国控制与决策学术年会论文集(下)[C];2005年
10 蔡京平;贾云得;;星球探测机器人分布式计算系统体系结构研究[A];中国宇航学会深空探测技术专业委员会第一届学术会议论文集[C];2005年
中国重要报纸全文数据库 前10条
1 黄新忠 记者 寇勇;我国电子政务构件库技术获进展[N];科技日报;2011年
2 记者 宋茜;电子政务构件库技术取得突破[N];江西日报;2011年
3 林大龙;全分布体系结构的核心万兆交换机[N];中国计算机报;2008年
4 本报记者 宋乐永;如何理顺IT体系结构?[N];计算机世界;2004年
5 吴文;下一代网络体系结构什么样?[N];中国电子报;2001年
6 徐同文;关于高教体系结构的思考[N];光明日报;2004年
7 中科院计算所 孙凝晖;体系结构—创新的步伐不断[N];计算机世界;2003年
8 ;智能网体系结构部析[N];人民邮电;2003年
9 王广宇;无线CRM应用 与 CRM体系结构[N];中国计算机报;2003年
10 ;PC体系结构的变迁[N];计算机世界;2001年
中国博士学位论文全文数据库 前10条
1 王醒策;基于强化学习和群集智能方法的多机器人协作协调研究[D];哈尔滨工程大学;2005年
2 李治军;美韩同盟与东亚安全:一种结构主义理论的分析[D];复旦大学;2008年
3 杨建宇;基于组件的分布式地理信息服务研究[D];中国科学院研究生院(遥感应用研究所);2005年
4 董艇舰;基于开放结构数控系统引导型二次开发仿真平台构建研究[D];天津大学;2005年
5 孟宪松;多水下机器人系统合作与协调技术研究[D];哈尔滨工程大学;2006年
6 耿文莉;中国林产工业企业管理信息化问题研究[D];东北林业大学;2007年
7 夏绪辉;逆向供应链的体系结构及其物流关键技术研究[D];重庆大学;2003年
8 林川;基于立体跨层体系结构无线传感器网络的能量问题研究[D];武汉大学;2007年
9 严勇杰;多机器人系统协调与控制研究[D];哈尔滨工程大学;2007年
10 甘永;水下机器人运动控制系统体系结构的研究[D];哈尔滨工程大学;2007年
中国硕士学位论文全文数据库 前10条
1 李超;过程线构件库及复合构件组装研究与应用[D];河海大学;2007年
2 吴雪梅;面向数据表单的构件库技术的研究与实现[D];东北大学;2005年
3 林庆福;基于多方法自动转换的分布式多构件库共享检索[D];华侨大学;2003年
4 廖昕;面向程序挖掘的构件组装设计与关键技术的研究[D];中南大学;2005年
5 晏荣杰;基于构件/构架软件的复用技术研究及应用[D];华北电力大学;2002年
6 华涛;基于可复用构件的WEB应用研究与实践[D];西北大学;2006年
7 左贵启;面向教务领域的构件技术研究与应用[D];南华大学;2008年
8 闵楠;基于统一刻面分类模式的多构件库检索技术研究[D];大连海事大学;2005年
9 陈金峰;知识工程应用于船舶结构设计的研究[D];上海交通大学;2011年
10 何江泉;构件库系统的语义扩展与本体推理研究[D];吉林大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026