定西市特检所

定西市特种设备检验所是定西市质量技术监督局直属的公益性事业单位（前身为定西地区锅炉压力容器检验所），具有独立法人资格。我所根据定编办[1984]33号文依法成立。2004年3月，在机构整和中与定西市职业卫生检测站合并成立定西市特种设备检验所，下设5室1站，即承压类特种设备检验室、机电类特种设备检验室、办公室、水质检测室、培训室、液化石油气钢瓶站。目前拥有1067平方米检验场地一处，办公室9间，建筑面积300平方米，固定资产126万元，检验设备价值68万元。     

用CryptoAPI生成密钥的方法

加密技术是电子商务信息安全的重要手段，而密钥生成算法是加密能否安全的关键技术。本文通过程序例子详细介绍了用微软的加密应用程序接口(CryptoAPI)来生成和管理密钥的方法。     

释酉

文字学界一般认为酉是酒字的初文，在析形上，解说也比较含混。本文认为，酉字的构形是上古制陶器的纹饰遗痕，百字初为上古陶罐的状写，酉有酒义出现很晚，从古文字中由酉构成的字中可以得到例证。     

高温与液压对快堆座式主容器屈曲的影响

讨论了快中子增殖反应堆在运行工况下，主容器内液态钠的高温和液压的存在对容器的屈曲行为的影响。首先用有限元分析了聚氯乙烯圆柱容器实验模型在室温和高温、无液压和有液压时在模拟水平地震的水平力和弯矩荷载下的屈曲荷载与屈曲模态，高温使容器的弹性模量降低，从而使容器抗屈曲能力降低，而液压的存在使抗屈曲能力增加。计算结果与实验结果吻合得到很好。然后用同一程序计算了中国实验快堆钠池主要容器在室温和高温、无液压和有液压时在模拟水平地震的水平力和弯矩荷载下的静态屈曲荷载与屈曲模态，由于屈曲发生在主容器的裙座，不是在有液体的主圆柱壳上，高温和液压对屈曲荷载与屈曲模态几乎没有影响。     

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

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

多vCPU环境中基于容器的科学工作流调度策略

现有科学工作流调度研究较少考虑计算资源的多道程序设计,难以同时实现有效的容器共享并优化任务并行度与资源利用率。为了解决以上难点,文章提出了一种分布式多vCPU环境中基于容器技术的分段式工作流调度策略。该策略通过分段调度方法,降低启发式算法的解空间大小,使用带遗传算子的自适应离散粒子群优化算法(ADPSOGA),在设备使用成本的约束下优化各个工作流的完成时间,并制定一种容器与设备间的动态伸缩方案,实现容器的复用并解决单个设备中任务并行时的资源争用问题。结果表明：ADPSOGA的性能优于其他同类启发式算法,并且分段调度方法与容器伸缩方案在工作流调度方面表现出良好的性能,能很好地适应因任务并行度增加所带来的影响。     

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

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

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

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

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

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

无土培育罗汉果种薯初探

以罗汉果无病毒苗为试材,利用不同容器进行无土培育罗汉果种薯。结果表明,在富含有机基质的容器内培育罗汉果块茎,能得到良好的生长,其根系旺盛发达,种薯直径5 cm以上达94.3%。