对高师开办小学教育专业的理性思考

小学教育专业是我校的一个新兴专业,如何办好这个专业,需要在人才培养目标、培养规格和课程方案方面做深入的探讨,本文是作者在以上方面的认识和思考。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。     

中老年女子服装成衣规格设计--提高服装体型覆盖面的研究

为使尽可能多的中老年女子能根据自己的体型选购到合体的服装，统计分析了中老年女子的人体体型数据，以身胸比来进行体型分类，并在此基础上运用二维区间概率分析方法，制订出对生产具有实用价值的中老年女子合体服装规格参考表，为中老年女子服装的生产提供参考依据。     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

卓越小学科学教师的培养体系建构

培养卓越小学科学教师是现实而紧迫的任务。在卓越小学教师理想规格的基础上,卓越小学科学教师的理想规格还应具备科学教育理论研究与应用能力、科学教育教学综合实践能力和科学学科与人文学科双向整合能力。地方师范院校的卓越小学科学教师培养模式应结合实际问题和自身条件,实施针对性的改革措施,同时应在课程体系上加强改革与创新。     

Gridview空间中实现显示用“……”代替具有超级链接类型字段的超长数据

动态网页中，文件上传浏览是公司中重要信息发布的形式，利用asp2．0中的Gri＆riew控件来显示从后台数据库中读取的数据，使一般动态网页中常用的技术、本文详细介绍了在显示具有超级链接长文件名时的处理方法，即实现“……”代替超长的文字的分析、解决过程。     

一种基于动态服务规格的病态流控制方法

在区分服务网络确保转发(assured forwarding)服务中,提出一种基于动态服务规格(service profiles)的病态流控制机制。该机制在DS域的入口节点(ingress node)根据核心节点反馈的信息动态地调整病态流的当前服务规格和进入DS域的速率,达到控制病态流的目的。模拟实验表明,该机制可以有效地提高正常业务流的性能,控制由病态流引起的DS域内全局最大-最小不公平(global max-min unfairness)问题。     

慈善这碗饭该怎么吃？

目前阶段,我们慈善事业还没立起自己的规矩来,用的是政府和企业的规矩甚至权威。这就有麻烦了。这次出了个事儿,红十字会一顿饭吃了一万块钱,被捅出来了。我认为这不会是个别的现象。这种好几千块钱一顿的饭,我都吃过。比如,参加政府的宴请,或者企业家的宴请,他们就是这个惯例和规格。他不会因为你是做慈善的,就请你吃几十块钱或几百块钱的饭。尤其是举办高规格的宴请,