校企合作“双元制”人才培养模式的探索

在目前高校人才培养与企业人才需求脱节的背景下,浙江科技学院进行了校企合作办学新模式的探索。通过与企业合作进行“双元制”人才培养,发挥各自的优势开展校企合作办学,联合培养适应现代社会需要的高层次应用型人才。本科教育的“双元制”人才培养模式能够优化教育资源,同时兼顾教育规律和市场规律,提高学生实践和创新能力,提升学生的就业竞争力。     

线性时滞状态反馈下Stuart-Landau系统的多周期解

对一个stuart-landau系统引入时滞状态反馈,研究时滞对非线性系统动力行为的影响。发现时滞可使系统出现周期振动,与无时滞系统不同之处在于有多个周期吸引子共存的现象。从理论上预测由时滞导致的动力学行为,得到周期解的解析形式。随着时滞量的变化,周期解个数及其稳定性发生变化。并通过对比周期解的数值解和解析解,数值验证多周期吸引子共存的现象。这些结果对控制系统的振动和系统同步等有着潜在的应用价值。     

提升检测机构水平、保持体系有效的运行

探讨了检测机构提高管理水平和技术能力的途径,提出了保持管理体系的持续有效运行方法。     

石油企业财务风险评价神经网络模型的建立

石油企业财务风险评价是石油行业的重要课题.在确立石油企业财务风险评价指标体系的基础上,建立了基于模糊神经网络的石油企业财务风险评价模型.该评价模型分为模糊量化模块和模糊神经网络(FNN)模块,可根据实际问题进行具体调节,具有学习的功能.经过对200多家石油企业的实证分析,结果表明该模型网络预测误差小,是一种可靠、有效的...     

Computation of concentrations of characteristic atoms of alloys in BCC structure

In this paper,taking Nb-Mo alloy system as an example,the equations of concentration of characteristic atoms of alloys in BCC structure were obtained on the basis of the idea of systematic science of alloys and the number of coordination atoms.The concentrations of characteristic atoms in B2-NbMo type ordered alloys were calculated as functions of ordering degree(s) and composition xMo.When s=smax,the concentrations of characteristic atoms of stoichiometric B2-NbMo intermetallic compound are equal to that o...     

因子分析法和熵值法在高校科技创新评价中的应用

在已有研究的基础上总结出了一套科学合理并具有可行性的高校科技创新评价指标体系,并把因子分析法和熵值法应用于高校科技创新评价.首先对高校科技创新评价体系的5个一级指标分别进行因子分析,然后运用熵值法对其确定权重.分析结果表明两种方法的结合使用能够简化分析对象的结构,使评价结果更具科学性、客观性.     

副井提升系统安全回路及上位机优化改造

针对煤矿副井提升系统安全回路软硬件及上位机中存在的不足进行了优化改造,改进了过卷试验方式,将闸系统紧停信号引入安全回路,并将安全回路各节点状态信号引入RSView32人机界面,实时显示安全回路状态;根据现场检修需要,在上位机增加了复位显示功能及行程偏差大报警信号。实际应用表明,该优化改造可迅速定位故障节点,实现软硬件互查。     

广蓄A厂下位机监控系统改造

针对广蓄A厂下位机监控系统落后,不能满足机组安全、高效控制要求的问题,提出改造方案.     

分子筛自控系统原理

介绍分子筛的主要用途,阐述分子筛自动控制原理及故障形成原理.     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.