-
题名用Z语言形式化扩展事件踪迹图
被引量：1
- 1
-
-
作者
童翠玲
缪淮扣
刘玲
-
机构
上海大学计算机工程与科学学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2004年第11期3-5,共3页
-
基金
国家自然科学基金项目(批准号:60 1 730 30 )
上海市教委科学与技术发展基金(批准号:0 2AK0 8)资助
-
文摘
软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 。
-
关键词
规格说明
组件
事件
Z语言
交互模型
图形技术
软件体系结构
重要因素
使用形式
形式化
-
Keywords
Software architecture Extended events traces Specification language Z Formalizing Component and component interactions
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名香辛料的香气成分及其在食品中的利用
被引量：14
- 2
-
-
作者
杨荣华
张国农
-
机构
杭州商学院食品科学与工程系
无锡轻工大学食品学院
-
出处
《中国调味品》
CAS
北大核心
2000年第10期26-28,共3页
-
文摘
:本文重点介绍了一些食品中常用香辛料的主要香气成分和这些香辛料在烹调。
-
关键词
香辛料
香气成分
利用
食品
使用形式
-
分类号
TS264.3
[轻工技术与工程—发酵工程]
-
-
题名复杂性:学校低效管理研究新视角
被引量：4
- 3
-
-
作者
聂荣鑫
-
机构
华东师范大学教育管理学系
-
出处
《教育理论与实践》
CSSCI
北大核心
2002年第11期27-30,共4页
-
文摘
学校低效管理是学校管理过程中的复杂性因素造成的。解决学校低效管理的策略是:1.确定学校管理的短期目标;2.关注管理中的各种因素,及时鉴别出初始敏感性因素;3.改变思维方式,重新设计权力使用形式;4.使学校成为自组织系统;5.利用学校中的影子系统,使学校进入创新性空间。
-
关键词
低效管理
复杂性
学校管理
管理目标
权力使用形式
-
Keywords
complexity
self -organization
sc hool management
-
分类号
G47
[文化科学—教育技术学]
-
-
题名对我国体操专修教材编写问题的研究
被引量：1
- 4
-
-
作者
杨小凤
严爱平
-
机构
上海体育学院体育教育系
-
出处
《沈阳体育学院学报》
2005年第2期106-108,共3页
-
文摘
为更好地发挥教材功能,完善教材体系,促进教材的发展,以我国体育院系体操专修教材为研究对象,通过文献资料法、调查访问法、问卷调查等研究方法,对我国体操专修教材目前编写的现状进行调查研究。调查发现:目前体育院系所用体操专修教材的种类较多,自编教材得到认可,但质量有待提高;电化教材、辅助教材受到重视,音像教材得到广泛使用,但教学辅助教材及教学参考书可供选择的品种太少,专业教师用书有待开发;选定一本主教材,同时选用相应的辅助教材是目前教材的主要使用形式;培养目标不同却使用相同的教材情况有待改观;按学科体系还是按课程具体内容编写教材仍是争论焦点;以培养学生自学能力为主的导学结构式"体例"成为教材编写格式的主导。
-
关键词
体操
教材编写
辅助教材
学生自学能力
体育院系
文献资料法
教学参考书
教材功能
教材体系
调查访问
研究方法
问卷调查
调查研究
自编教材
电化教材
音像教材
教师用书
使用形式
培养目标
争论焦点
具体内容
学科体系
-
Keywords
gymnastics
specialty teaching material
compiling
-
分类号
G83
[文化科学—体育训练]
G423.3
[文化科学—课程与教学论]
-
-
题名酶制剂在家禽生产中的应用
被引量：2
- 5
-
-
作者
朱旺生
陈双梅
-
机构
皖西学院动科系
-
出处
《安徽农学通报》
2004年第2期70-71,79,共3页
-
文摘
介绍酶制剂的来源、种类及作用机理,分析了在家禽生产中的应用及影响其作用的因素。
-
关键词
酶制剂
家禽
种类
作用机理
饲料添加剂
使用形式
剂量
饲料加工
-
分类号
S83
[农业科学—畜牧学]
S816.7
[农业科学—饲料科学]
-
-
题名简析广告中的双关语
被引量：3
- 6
-
-
作者
付红桥
-
机构
华中农业大学外语系
-
出处
《重庆工学院学报》
2004年第3期138-140,共3页
-
文摘
双关语既是一种有效的修辞手段又是一种特有的语言手段。对中英文广告中的双关语进行剖析 ,说明其运作过程。
-
关键词
广告
双关语
运作过程
使用形式
使用效果
句法
成语
语音
情趣
新奇
-
Keywords
pun
process of using
adverting language
-
分类号
F713.8
[经济管理—广告]
-
-
题名影响饲用酶制剂效果的因素
被引量：1
- 7
-
-
作者
宋代军
-
机构
重庆北碚西南农业大学动物养殖学院
-
出处
《饲料博览》
1999年第11期32-33,共2页
-
-
关键词
饲用酶制剂
使用形式
剂量
动物因素
饲料添加剂
-
分类号
S816.79
[农业科学—饲料科学]
-
-
题名宏观电化教育与微观电化教育
被引量：5
- 8
-
-
作者
杨宏
-
机构
重庆电化教育馆
-
出处
《电化教育研究》
1986年第2期1-5,共5页
-
文摘
一、划分的依据和必要性我国电化教育的研究和运用,常常是就单一的媒介形式进行划分的,如将各种电教媒介分为幻灯(投影)、电影、录音、广播、电视(开路电视、闭路电视)、电子计算机、卫星电视教育等。这种划分方法有利于对各种具体的电教媒介的教育、教学效益进行探讨和分析。但这些媒介在使用形式和教学效果上或有相似的地方,或存在截然不同的差异,因此,就各种电教媒介的异同作进一步的层次划分,并进而探讨它们的不同作用和应用范围是必要的。
-
关键词
卫星电视教育
教学效果
媒介形式
层次划分
使用形式
开路电视
教学效益
教育电视
电化教学
电视教学节目
-
分类号
G43
[文化科学—教育技术学]
-
-
题名如何正确选用蚕药的思考
被引量：1
- 9
-
-
作者
钱开良
谭书生
陆秀萍
钱广红
缪长进
-
机构
江苏省海安县雅周镇蚕桑站
海安县蚕桑站
-
出处
《中国蚕业》
2005年第3期42-43,共2页
-
-
关键词
正确选用
化学消毒剂
蚕药
消毒药物
表面活性剂
饲养过程
养蚕生产
主要成分
使用形式
-
分类号
S884.13
[农业科学—特种经济动物饲养]
-
-
题名货币贮藏与货币储蓄的区别
- 10
-
-
作者
张天性
-
出处
《西南金融》
1984年第3期41-,共1页
-
文摘
货币贮藏是指货币退出流通,被人们作为独立的价值形式和社会财富保存起来的职能形式。货币储蓄(不包括其他储蓄)是指人们把暂时闲散的货币存入银行的使用形式。
-
关键词
使用形式
社会财富
借贷关系
商品交换关系
-
分类号
F83
[经济管理—金融学]
-
-
题名岗位培训教材之我见
- 11
-
-
作者
许聿琦
-
机构
中国人民银行教育司
-
出处
《中国大学教学》
1988年第6期17-,共1页
-
文摘
随着改革的进一步深入,各系统各单位都对各自岗位的工作要求提出标准,这是一个提高工作人员素质水平和办事效率的好办法。岗位标准制定后,都需要有一个培训过程,要求有“教材”。那么,岗位培训需要什么样的教材呢?岗位培训不是通过系统学习而取得某种学历的教育。
-
关键词
岗位培训
工作人员素质
系统学习
岗位标准
办事效率
培训者
“大而全”
上岗工作
使用形式
政策法令
-
分类号
G6
[文化科学—教育学]
-
