首页> 中文期刊>电脑知识与技术 >基于谓词公式和线性代数的软件开发模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文基于一阶逻辑和线性代数,分析了体系结构的目标,定义,意义和模型,并以此为基础提出了一种软件开发模型--基于谓词公式和线性代数的软件开发模型.实现了输入"自然语言",然后输出人们想要的软件的目标.

著录项

来源
《电脑知识与技术》|2007年第14期|482-483,588|共3页
作者
邹海洋; 李明东; 李俊;
展开▼
作者单位

西华师范大学计算机学院,四川,南充,637002;

西华师范大学计算机学院,四川,南充,637002;

西华师范大学计算机学院,四川,南充,637002;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
一阶逻辑; 线形代数; 构件; 体系结构;
入库时间 2023-07-24 16:17:11

相似文献

中文文献
外文文献
专利

1. 基于谓词公式和线性代数的软件开发模型 [J] . 邹海洋 ,李明东 ,李俊 . 电脑知识与技术 . 2007,第014期
2. 基于FI-代数的一阶模糊谓词演算逻辑系统 [J] . 朱怡权 . 模糊系统与数学 . 2008,第4期
3. 基于一阶谓词公式去除商务数据冗余关联规则的研究 [J] . 郭瑞 ,钱晓东 . 计算机工程与科学 . 2017,第003期
4. 模糊谓词逻辑中基于有限解释的公式的条件α-真度理论 [J] . 张兴芳 ,张安英 ,韩红霞 . 模糊系统与数学 . 2008,第2期
5. 基于线性代数的浸入式课程思政教学实践 [J] . 曹宏举 ,郭巧丽 . 高等数学研究 . 2022,第1期
6. 谓词/变迁系统对-阶谓词公式的建模 [C] . 耿霞 ,吴哲辉 ,张继军 . 第十一届全国Petri网理论与应用学术年会 . 2007
7. 交换环上一般线性李代数的抛物子代数的李三导子 [A] . 李志勇 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号