-
题名《Matlab软件应用》课程教学浅析
被引量:4
- 1
-
-
作者
赵春兰
-
机构
齐齐哈尔医学院计算机教研室
-
出处
《科技创新导报》
2015年第22期178-179,共2页
-
文摘
随着计算机技术的发展与普及,计算机软件不断的被应用到各学习和工作领域,并发挥着不可替代的作用,MATLAB就是众多软件中的一个软件。由于其强大功能,目前在高校受到越来越多师生的欢迎与关注,并且MATLAB已经成为很多高校本科生和研究生的常规课程和需要掌握的工具软件,极大的帮助了学生解决各领域中遇到的难题。该文作者根据课程教学中积累的经验,对医学生物工程的MATLAB课程教学进行了浅析,旨在交流MATLAB的教学经验。
-
关键词
MATLAB
软件
教学
-
Keywords
MATLAB
softwarc
Tcaching
-
分类号
G420
[文化科学—课程与教学论]
-
-
题名浅谈R语言中OOP编程方法
被引量:1
- 2
-
-
作者
白阳椿
胡荣兴
邓永超
-
机构
四川警察学院
中国人民银行眉山中心支行
-
出处
《计算机光盘软件与应用》
2011年第16期191-192,共2页
-
文摘
R作为统计领域广泛使用的一种统计软件,具有开源、免费、灵活的诸多优点,编程语言强大,但用到面向对象的缔程方法却不多。本文通过对R中面向对象编程的研究,使读者进一步的了解R软件。
-
关键词
R软件
OOP
泛型函数
类和方法
-
Keywords
R softwarc
OOP
Gcncric function
Classes and methods
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名多窗口屏幕格式生成器的设计
- 3
-
-
作者
罗铁坚
陈霞
余模清
-
机构
广西大学数学系
广西财专
机电部六所
-
出处
《广西大学学报(自然科学版)》
CAS
CSCD
1992年第1期34-38,共5页
-
文摘
介绍一个采用面向对象的思想和窗口技术实现的屏幕格式生成器SFG,使用SFG能生成用户界面友好的屏幕I/O程序,提高应用系统开发效率,保证软件质量。
-
关键词
数据库
软件工程
计算机应用/程序生成
第四代语言
-
Keywords
databascs
softwarc cngineering
computer applieations/ program generate
fourth-generation language
-
分类号
TP392
[自动化与计算机技术—计算机应用技术]
-
-
题名减速机成组生产计划决策及软件设计
- 4
-
-
作者
吉卫喜
-
机构
扬州工学院机械工程系
-
出处
《扬州工学院学报》
1995年第2期1-6,共6页
-
文摘
通过分析减速机生产企业生产计划决策现状,运用成组技术及线性规划理论建立减速机生产计划决策数学模型,并设计了计算机辅助生产计划决策软件,可用于企业生产管理辅助决策。
-
关键词
成组技术
减速机
生产计划
软件开发
生产管理
-
Keywords
group technology decelerator production scheduling softwarc design
-
分类号
F426.4
[经济管理—产业经济]
TH132.46
[机械工程—机械制造及自动化]
-
-
题名Android事件处理过程剖析
被引量:5
- 5
-
-
作者
李艳丽
-
机构
福建闽南理工学院信息管理系
-
出处
《长春理工大学学报(自然科学版)》
2010年第3期159-162,共4页
-
文摘
Android是基于Linux内核的操作系统,早期由Google开发,后由开放手机联盟开发。Android不仅可以用于手机系统,也可用于智能终端,如2010年CES上就有厂商展示基于Android平台的微波炉和洗衣机等。本文从Android系统事件处理机制入手,深入探讨了包括键盘、触摸屏、轨迹球、感应器、电源、耳机等事件的处理方式,从而为用户提供了Android对各种事件处理方式的实用思路和一些可遵循的方式。为将来三网合一的软件开发人员会提供有益的帮助和启示。
-
关键词
ANDROID
事件处理
JNI
软件堆层
-
Keywords
Autdroid
cvcnt handling
JNI
softwarc staoklaycrs
-
分类号
TN929.5
[电子电信—通信与信息系统]
-
-
题名模型检验在航天测控软件上的应用研究
被引量:1
- 6
-
-
作者
李运筹
尹平
-
机构
北京跟踪与通信技术研究所
-
出处
《计算机科学》
CSCD
北大核心
2018年第B06期523-526,共4页
-
文摘
模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。
-
关键词
模型检验
CBMC
航天测控软件
蜕变测试
-
Keywords
Model checking
CBMC
Acrospace TT&C softwarc
Metamorphic tcsting
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-