课程文献中心 更多>>

关键词： 食品安全监管   食品检验机构   食品安全风险  

摘要： 社会经济与科学技术的飞速发展,提升了人们的生活品质,逐步提高了对食品安全的关注与重视,同时也给食品安全监管工作提出了更加严格的要求。保障食品安全监管工作的有效性,食品检验机构在其中起着重要,食品监管机构是提升食品安全监管有效性与全面性的主要监管单位。只有在完善严格的食品安全监管制度的保障下,才能充分控制与提升食品的安全性,保障人们的食用安全。本文详细分析了食品安全监管中食品检验机构的重要地位与主要作用,以期为食品安全监管工作有效性的提升提供基础保障,同时为食品安全监管工作的相关研究提供理论参考。

关键词： 粮油检验监督   食品安全   粮油食品  

摘要： 粮油食品与人们的生活息息相关,关系到人们的健康,相关部门应该加大对粮油食品安全的监督,并不断突出监督的作用。粮油检验监督可保障粮油安全,促进人们使用安全的粮油食品。

关键词： 妊娠期高血压   D-二聚体   凝血指标   临床检验  

摘要： 目的探析妊娠期高血压患者D-二聚体及凝血指标的临床检验作用。方法择取本院自2018年2月至2019年3月收治的妊娠期高血压患者(100例)为观察组,选择同期健康体检患者(100例)为对照组,均临床检验D-二聚体(D-D)及凝血指标,比较两组D-D与纤维蛋白原(FIB)水平、凝血活酶时间(APTT)、凝血酶原时间(PT)及凝血酶时间(TT)。结果观察组D-D与FIB水平依次为(0.68±0.31)、(5.62±0.81)(g/L),与对照组的(0.21±0.17)、(3.37±0.91)(g/L)比较,明显更高(P<0.05);观察组APTT、PT为(27.79±4.09)、(10.26±1.34)(s),较对照组的(34.59±4.18)、(13.26±0.81)(s)显著更短(P<0.05);观察组TT为(14.42±1.48)(s),与对照组的(14.45±1.51)(s)进行比较,无统计学差异(P>0.05)。结论妊娠期高血压患者进行D-二聚体及凝血指标的临床检验,可作为诊断及治疗的重要参考依据。

关键词： 农药包装废弃物   分类回收   农药分类  

摘要： 随着我国居民生活水平的提高,人们的生态环保意识增强,农村农药包装废弃物成为了亟待解决的问题。基于此,总结了农村农药包装废弃物的丢弃现状、回收过程中存在的问题以及农药的毒性与分类,提出了农药包装废弃物分类回收的相关建议。

关键词： 血清降钙素原   水平情况   检验   应用作用  

摘要： 目的探究血清降钙素原水平检验在呼吸系统感染治疗中的作用。方法以我院患者为例,患者的选取时间在2018年4月~2019年4月,患者均为在我院就诊的呼吸系统疾病感染患者,研究共选取患者90人,根据患者的病情严重情况将其分为两组,分别为严重组和轻微组,每组45人,并另外选取45例健康人员作为对照组,对研究人员的血清降钙素原水平进行检验观察。结果三组患者在血清降钙素原,C-反应蛋白和白细胞计数检查结果比较差异显著,各项数据对比结果显示为P<0.05,存在统计学意义。结论就血清降钙素原水平来说,其会在患者身体感染程度增加的情况下出现增高,在对患者感染治疗效果判断中具有积极意义。

关键词： 包装垃圾   环境污染   回收利用   政策制定   塑料   玻璃  

摘要： 包装垃圾是由废弃的包装物产生的固体垃圾,约占我国城市生活垃圾的1/3,虽然政府进行了必要回收,但仍有1/3以上的塑料、玻璃等包装物没能被有效回收利用,成了填埋场的主要填埋物,造成了环境污染和土地、石油等不可再生资源大量浪费。从回收利用和源头减量两方面提出包装垃圾的应对,一是对包装垃圾按来源、成分等进行详细分类,并建议回收处置方法;二是从制定行业政策方面来减少过度包装和扶持再生资源行业健康发展,有效处置包装垃圾等可再生资源。

关键词： 复杂供应链网络   关系资本   供应链融资   供应链设计   供应链整合  

摘要： 从复杂供应链网络的视角出发,以供应链网络内各节点中小企业为研究对象,依照"资源-结构-行为-绩效"的思路,揭示供应链网络内中小企业积累的关系资本对提升其供应链融资获取频率的作用机制,并通过构建多群组SEM模型,验证供应链复杂性的潜在调节效应。结果显示:(1)中小企业积累的关系资本对供应链融资频率的提升有显著的促进作用;(2)对比"关系资本-供应链设计-供应链融资"与"关系资本-供应链整合-供应链融资"的拟合结果发现,两个特定变量的中介效应具有显著差异,且以供应链设计、整合为连续中介变量的多重链式中介效应模型成立;(3)供应链复杂性显著调节中小企业关系资本对供应链融资的转化机制链条,供应链复杂性越高,节点中小企业获取供应链融资更依赖"关系资本-供应链设计-供应链整合-供应链融资"的多重链式传导机制传导。这意味着,在复杂供应链网络当中,中小企业一方面需要提升自身关系资本积累,另一方面更要加强其在网络当中的位置优化,提升供应链整合水平,为获取更多供应链融资打下坚实基础。

关键词： 生物聚合物   涂布   纸基材料   食品包装   功能特性  

摘要： 随着社会的发展,人们的食品安全和环境保护意识不断提高,对无毒可降解食品包装材料的需求不断增加。针对此现状,该文综述了涂布型食品包装纸生物聚合物基质的分类及应用的研究进展,分析了纸基材料作为食品包装的优势及性能缺陷,介绍了作为纸张涂料的生物聚合物基质(多糖、蛋白质、复合基质)及纸基材料所具有的功能特性,总结了涂布型纸张在食品包装方面的应用。将涂布纸作为食品包装,能有效地保持食品的品质,赋予纸张的功能特性还能够延长食品保质期,具有巨大的市场价值,有望为食品工业进一步开发绿色和可持续的纸基包装材料提供参考。

关键词： ATR-FTIR spectroscopy   ECM sample   SIMCA   BNN   CP-ANN   GA  

摘要： Attenuated total reflection Fourier-transform infrared (ATR-FTIR) spectroscopy coupled with chemometric procedures was utilized to examine embryo culture medium (ECM) samples in in vitro fertilization (IVF) to differentiate between positive and negative pregnancy. Principal component analysis (PCA) method was successfully applied to mid-IR spectra as outlier detection by application of Hotelling T-2 statistic procedure. Unsupervised and supervised pattern recognition techniques, such as hierarchical agglomerative cluster algorithm (HACA), soft independent modeling of class analogy (SIMCA) as a linear supervised pattern recognition technique, binned nearest neighbors (BNN) as a local classifier and counter-propagation artificial neural networks (CP-ANN) as a non-linear technique were used in spectral data analysis for classification and differentiation. Also, the genetic algorithm (GA) as the variable reduction was employed to develop the diagnostic model. A total of 46 ECM samples were examined in the 3000-1000 cm(-1) spectral region. Classification efficiency parameters including accuracy (ACC), error rates (ER), sensitivity (Sens), specificity (Spec) and non-error rate (NER) were calculated. Classification ACC of 92.00% and ER of 8.300% was acquired using GA-BNN algorithm, while GA-CP-ANN and GA-SIMCA algorithms provided 93.00% and 5.00% of ACC and ER for the test set, respectively. The results of this study presented that the GA-SIMCA and the GA-CP-ANN chemometric approaches using the infrared data, achieved acceptable results. Also, both of methods could provide the Sens rate of 100.00% and 91.00%, and the Spec rate of 91.00% and 100.00% for positive pregnancy samples (class 1) and negative ones (class 2) in prediction test, respectively. In general, the main advantages of the proposed method could be represented as a reliable, fast, simple, and accurate method for the classification and discrimination of the ECM samples based on their serum beta- subunit human

关键词： Blockchain   Smart contracts   Formal methods   Verification   Systematic review  

摘要： Blockchain as a distributed computing platform enables users to deploy pieces of software (known as smart contracts) for a wealth of next-generation decentralized applications without involving a trusted third-party. The advantages of smart contracts do, however, come at a price. As with most technologies, there are potential security threats, vulnerabilities and various other issues associated with smart contracts. Writing secure and safe smart contracts can be extremely difficult due to various business logics, as well as platform vulnerabilities and limitations. Formal methods have recently been advocated to mitigate these vulnerabilities. This paper aims to provide a first-time study on current formalization research on all smart contract-related platforms on blockchains, which is scarce in the literature. To this end, a timely and rigorous systematic review to examine the state-of-the-art research and achievements published between 2015 and July 2019 is provided. This study is based on a comprehensive review of a set of 35 research papers that have been extracted from eight major online digital databases. The results indicate that the most common formalization technique is theorem proving, which is most often used to verify security properties relating to smart contracts, while other techniques such as symbolic execution and model checking were also frequently used. These techniques were most commonly used to verify the functional correctness of smart contracts. From the language and automation point of views, there were 12 languages (domain specific/specification/general purpose) proposed or used for the formalization of smart contracts on blockchains, while 15 formal method-specific automated tools/frameworks were identified for mitigating various vulnerabilities of smart contracts. From the results of this work, we further highlight three open issues for future research in this emerging domain including: formal testing, automated verification of smart contra