形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

浅谈保险公司员工培训的目的和要求

从培训的目的出发，提出了保险公司在员工培训中应注意的5个问题：公司应有明确的培训目的和要求，培训前应让员工了解培训的计划和要求，培训计划要充分体现培训的目的和要求，培训期间不能随意变更培训的目的和要求，培训的考核和评估应紧密围绕着培训的目的和要求。     

谈工程力学课程各教学环节的质量要求

提出工程力学课程中几个教学环节及每个环节的质量要求，以期评估和提高整个课程的教学质量。     

北京地区物流企业（园区）人才需求调研

通过对北京地区物流企业（园区）人才需求进行调研,阐述了北京市物流企业（园区）对物流人才的需求情况,提出了有关今后物流人才培养和物流行业建设的建议。     

数据挖掘技术在钢企质量成本管理中应用研究

钢铁企业降低质量成本对提高企业经济效益有着巨大潜力。本文重点阐述某钢铁企业使用数据仓库与数据挖掘技术对企业的质量成本进行分析与研究，形成了企业的质量成本控制体系，进一步明确了质量成本管理在企业经营战略中的重要性。     

牛血清在细胞培养中的作用与质量要求

牛血清是医药生物技术产品中的主要原材料之一。保证牛血清质量是提高生物制品质量的一个重要环节，文章介绍了牛血清作为细胞培养基因的主要功能、牛血清的主要成分及牛血清的有关质量要求。     

河蟹蚤状幼体对蛋白质、脂肪、复合矿物盐及维生素的适宜需求量研究

采用四因子三水平的正交实验法,研究了河蟹蚤状幼体至大眼幼体阶段对饲料中蛋白质、脂肪、矿物盐及复合维生素的适宜需求量.结果表明,影响河蟹其成活率的因素主次顺序为蛋白质>维生素>矿物盐>脂肪,其最优水平分别为蛋白质55.28 %;维生素2 %;矿物盐6 %;脂肪17.39 %.     

沪深A股整体上市模式选择的“群聚”现象分析

2003年9月30日至2009年12月31日沪深A股市场共有63家上市公司公告了详细的整体上市方案,其中高达80.95%的上市公司选择了定向增发模式实现整体上市,整体上市模式选择呈现出显著的群聚现象。本文以国资委提出的四种整体上市模式为标准,将整体上市模式划分为定向增发模式、换股吸收合并模式和其它模式,并采用事件研究法对三类整体上市模式的市场反应进行了实证分析。结果表明,定向增发模式正的市场反应明显强于换股吸收合并模式和其它模式。这充分说明整体上市模式选择过程中的群聚现象并非偶然,而是上市公司根据定向增发模式的市场反应所做出的理性选择。     

基于知识经纪人的企业内部知识市场运行研究

很多企业认识到企业的效益和成长性越来越依赖于员工的知识和技能,而知识管理为企业解决知识层面的问题提供了有价值的方法。本文从知识经纪的角度,探讨了知识管理的重要应用之一:知识市场的要素及其运行。本文回顾了相关领域的研究成果,并重点研究了包含知识产品、价格体系、市场参与者和运营平台在内的四大要素,并从知识经纪人对于知识市场的四种运作活动的功能角色进行了分析,最后为企业知识市场的构建项目提供了参考建议。     

我国自助餐饮市场分析及其营销策略

改革开放以来,作为舶来品的自助餐饮在我国餐饮市场上迅猛发展,规模不断壮大,在丰富餐饮业态、改变市场格局的同时,引入了新的餐饮文化,发展前景广阔。本文阐述了自助餐的基本特征及我国的自助餐市场细分,分析我国自助餐市场的营销策略,并提出一些可行性的建议。