血细胞分析稀释液渗透压对e-CHECK质控检测影响的探讨

目的探讨SYSMEX自动化血细胞分析仪不同批号稀释液(EPK)试剂渗透压的差异,以及该差异对MCV等红细胞参数产生影响。方法 35个批号的EPK试剂分别留取5支样本在中国上海医大FM-8T渗透压仪上进行渗透压检测,统计更换批号前后SYSMEX XE2100血细胞分析仪室内质控中MCV的结果,采用t检验进行显著性分析。结果 34次比对结果显示不同批号EPK渗透压并没有显著性差异(P>0.05)。更换批号EPK前后室内质控三个水平MCV结果(共19次)不存在显著性差异(P>0.05)。结论 SYSMEX XE2100血细胞分析仪不同批号EPK试剂渗透压不存在显著性差异,故一般不会对质控品的红细胞参数(如MCV)产生影响。e-CHECK质控品贮存压力及基质中化学成分的变化,仪器检测循环时间及工作人员操作误差可能是导致室内质控红细胞参数MCV出现漂移的原因。

GC-MS结合基于表情符号的消费者测评分析冷萃与热萃咖啡风味特征

为研究不同萃取温度的咖啡萃取液的香气差异及感官评价与香气物质之间的相关性,以3种商业冷萃咖啡和3种商业热萃咖啡为样品,通过基于表情符号的勾选所有适合项法进行香气感官评价,同时结合顶空固相微萃取-气相色谱-质谱联用技术对咖啡萃取液的香气成分进行测定,分析冷萃咖啡和热萃咖啡挥发性成分差异。结果表明:6种不同的咖啡萃取液共鉴定出93种挥发性成分,其中冷萃咖啡样品中大多数挥发性化合物含量高于热萃咖啡样品;在香气感官评价上,受试者对冷萃咖啡的整体喜好度高于热萃咖啡,受试者主要选择积极的表情符号来描述冷萃咖啡,而选择消极的表情符号描述热萃咖啡。基于表情符号的勾选所有适合项法通过表情符号使消费者表达了他们与不同咖啡萃取液相关的情绪,有助于更全面地了解消费者对产品的可接受性和理解消费者的产品体验。吡嗪类、呋喃类、醛类、酸类、酯类、酮类和醇类化合物赋予了冷萃咖啡坚果香、焦糖香、甜香和花香,使冷萃咖啡在风味上更胜一筹;热萃咖啡中的吡啶类、吡咯类和酚类化合物使热萃咖啡更偏向于木香、谷物香和烤香,具有一定的熏感和辛辣味。研究为探索冷萃咖啡与热萃咖啡萃取液的香气品质提供了数据参考,希望为冷萃咖啡与热萃咖啡的研究开发、改进与应用提供理论依据。

基于BIM的自动合规性审查研究综述

随着BIM技术在建筑领域的深度应用,越来越多的建筑设计开始以BIM模型方式进行交付,基于BIM的建筑工程设计自动合规性审查因其客观性、高效性受到理论和实践领域越来越多的关注。文章以基于BIM的自动合规性审查为主题进行综述,在Web of Science核心数据库对建筑领域自动合规性审查相关的研究文献进行全面检索及分析,从基本框架、规范条文信息抽取、BIM模型信息抽取及语义丰富、规范-模型信息匹配、合规性推理等方面对现有基于BIM的自动合规性审查研究进行系统解构,并对未来的研究方向进行讨论。最后,文章指出基于BIM的自动合规性审查在复杂文本信息抽取的性能与深度、模型语义丰富、信息匹配的自动化程度与通用性,以及计算机代码的透明度与灵活性等方面仍面临巨大挑战。

设备比对在电气检测实验室内部质量监控方面的计算与应用

为保证检测结果的有效性及准确性,电气检测实验室通常会采用内部或外部的质量监控方法对检测结果进行监控。选用电气检测实验室常用的内部监控方式之一的“设备比对”进行探究,从实施“设备比对”的设备选择、分析与常用的评价法计算,为电气检测实验室后续实施质量控制提供一定的引导与参考。

建设工程项目信息化管理系统应用及管理分析研究

随着信息技术的快速发展,建设工程项目信息化管理系统在项目管理中发挥着越来越重要的作用。旨在探讨建设工程项目信息化管理系统的应用现状,分析其管理特点,并提出相应优化策略,以期为项目管理的现代化和智能化提供有益参考。研究依托深圳市工务署运用E工务、EIM管理平台强化信息化工程项目管理体系,以任务管理为主线,实现工程进度实时监控、进度动态展示,以提高工程管控效率。

电子商务的安全技术与协议研究

一、引言 随着计算机网络和通信技术的迅速发展,借助于Internet等公共网络快速高效地实现各种商务活动的电子商务也在不断地向前发展,并在全世界范围内得到了普及和应用.

2014～2016年景洪市食品、公共场所从业人员甲、戊肝调查分析

目的分析景洪市2014~2016年食品、公共场所从业人员健康体检中甲肝、戊肝的结果,为食品、公共场所从业人员健康体检工作的可持续发展提供数据支持。方法对景洪市2014~2016食品、公共场所从业人员健康体检中戊型肝炎、甲型肝炎的检出率进行分析,采用SPSS17.0进行X^2检验。结果 2014~2016年食品、公共场所从业人员健康体检共检15897人,总合格率99%。景洪市食品、公共场所从业人员甲型肝炎、戊型肝炎总体发病率呈下降趋势。其中,甲型肝炎男性高发于女性;戊型肝炎女性高发于男性;甲型肝炎在公共场所行业高发于食品行业;戊型肝炎阳性率无差异。结论本市对于食品、公共场所从业人员的监管力度加强,能够对感染源形成有效控制。

电子税务:互联网提升税收征管

电子税务是指互联网在税收征管与服务中的应用,它的作用是提升税收征管与服务的水平。电子税 务的主要形式包括电子报税、电子稽查、税收电子化服务等。目前我国在实施电子税务过程中还存在不少问题。 我国发展电子税务,必须解决好观念、人才、投入、安全等方面的问题。

基于需求的形式化建模与验证方法研究

软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML^(-e)建立了形式化模型,并给出了形式化的转换规则,将RSML^(-e)模型转换为模型检测器NuSMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的。

一种新的电子商务协议分析方法

基于卿-周逻辑给出了一些新的逻辑推理规则,并提出了一种扩展的通信有限状态自动机,用于分析电子商务协议的安全性质。该方法可描述协议参与者的行为与知识,且无需人为地引入初始假设。对扩展模型抽象并修改后,还可验证其它一些与加密、签名消息无关的性质。利用该方法分析了匿名可恢复的公平交换协议,发现其满足有效性、公平性、可追究性,但不满足匿名性,并用UPPAAL验证了协议的公平性、活性与时效性等。

基于Pro/E有限元分析SGZ764/500刮板输送机圆环链强度校核

通过计算SGZ764/500刮板输送机圆环链受力及对链条强度验算,并利用Pro/E有限元分析校核圆环链强度,验证圆环链规格为ф30 mm×108 mm,适合于SGZ764/500刮板输送机。

电子书资源查重系统

电子书资源是馆藏资源建设中不可或缺的核心环节,而采访查重工作不仅可以防止和避免资源的重复订购,保证资源采购经费的合理使用,还能够提高资源质量。因此,采用科学合理的查重算法可以帮助采访人员有效地剔除重复资源,减轻采访人员的工作。由于ISBN号的局限性,本文提出一种查重策略:规范化关键字段后按照多个字段查重。同济大学图书馆基于该策略开发了电子书资源查重系统,经过多年的使用后证实了其系统的可靠性,进一步提高了电子书资源的馆藏质量。

非小细胞肺癌p57/Kip2和cyclin E的表达及与临床病理和预后的相关性

目的探讨p57/Kip2和cyclin E在非小细胞肺癌中的表达情况。方法选取132例非小细胞肺癌手术切除标本,采用ABC法进行了免疫组织化学染色。结果p57/Kip2和cyclin E的阳性表达率分别为59.8%和43.9%。p57/Kip2的表达与肿瘤的侵袭性显著相关,低分化(P=0.0001)、肿瘤体积较大(P=0.0064)、淋巴结转移(P=0.0252)、高分期(P=0.0138)时,p57/Kip2的表达显著降低。cyclinE的过表达与肿瘤的分化程度(P=0.0476)、淋巴管浸润(P=0.0114)、肿瘤体积(P=0.0210)和高TNM分期(P=0.0176)相关。患者的生存期与p57/Kip2和cyclin E的表达均有显著的相关性。结论p57/Kip2的低表达和cyclin E的过表达可能在非小细胞肺癌的发生发展中起重要作用,且可能提示预后不良。

基于四方的安全电子商务支付协议分析与验证

以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证。验证结果证明,基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商品原子性以及确认发送原子性,协议符合电子支付的原子性安全要求。

基于AnyLogic仿真的无纸质检票时间研究

铁路系统大力推行无纸质检票系统,身份证检票和二维码检票2种无纸质检票方式已经在多个枢纽站点的动车、高速铁路列车和城际列车检票口实施,新型检票闸机及其配套设施逐渐代替纸质车票检票闸机和人工检票口。基于无纸质检票的现场调研数据,计算无纸质检票排队参数并使用AnyLogic建立检票仿真模型,计算无纸质检票所需时间。对西南某客运枢纽应用该仿真模型,根据仿真结果提出在不同待检票人数时,各类检票闸机的数量和人员安排。仿真结果显示无纸质检票较纸质检票的检票时间减少13.76%~28.69%,依据该结果对现场检票时间进行分析,不断提高检票工作效率。

ISI协议的符号模型检验分析

电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点。本文建立了网络支付协议ISI的有限状态机模型,并用SMV检验工具对其两个重要特性———非否认性与公平性进行了分析检验,发现了ISI协议不满足公平性。结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。

跨境电商零售进出口监管模式创新研究

为支持和促进跨境电商零售进出口规范、健康、快速发展,国务院先后分六批设立跨境电商综合试验区,在跨境电商进出口监管模式方面进行了一系列创新,破解了跨境电商发展过程中的一些深层次难题,打造了跨境电商完整的产业链和生态链,逐步形成一套适应和引领全球跨境电商发展的管理制度和规则,为推动全国跨境电商健康发展提供了可复制、可推广的经验。文章通过对我国跨境电商零售监管模式的发展概况、创新成效进行深入分析,探究了现有监管模式在企业所得税、出口退税、退换货等方面的问题,并提出针对性的建议,希冀能对我国跨境电商进一步发展具有指导意义。

基于MVC模式的机房教学系统设计

教学系统采用MVC架构,利用JavaBean、Servlet、TCP、UDP以及组播等技术,利用Java语言和MySQL数据库完成计算机机房的实验课教学与管理系统,系统的超级管理员端安装在中心服务器上,中级管理员端、教师端和学生端分别安装在机房内的管理员机器、教师机器和学生机器上。该系统具有签到考勤、设备监控、视频教学、远程协助、屏幕监控和基于局域网的群聊、单聊等功能。该系统的应用可以提高学生的出勤率,帮助教师对学生进行更有效的教学和管理,同时还能监控设备的使用状态与意外破坏等。

高校体育专业学生田径课程考核评估模式的研究

本文的研究是为了构建“教”“学”“评”完整的教学管理体系,通过对 哈师大体科院学生进行的技术评估与达标考核,基本身体素质考核,专项理论知识与 教育教学能力考核、以及社会应用能力的培养与实践的考核．对考核结果进行了综合 评价,制定了体育专业学生田径课程考核评估模式,用以检验与评价学生学习效果和 综合能力．

从图书质检看编校问题

信息化时代出版领域在充分利用计算机和网络给编校工作带来极大便利的同时,也带来了相应的新问题。在图书质检当中发现的问题,应当本着与时俱进的精神,注意和研究新技术带来的图书差错问题的新特点、新形态。