检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种面向嵌入式操作系统的形式化验证方法

华东师范大学学报(自然科学版) 2024年

作者：王阳方竟成蔡雄张志鹏蔡喁缪炜恺中国航发控制系统研究所华东师范大学软件工程学院上海工业控制安全创新科技有限公司可信软件创新研究院

操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,可能会造成重大人员伤亡或财产损失.一... 详细信息

操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,可以建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性.

关键词：嵌入式操作系统形式化验证 VCC CBMC PAT

Pulse decomposition-based analysis of PAT/TAT error caused by negative lobes in limited-view conditions

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics B 2015年第2期24卷 276-281页

作者：刘良兵陶超刘晓峻李先利张海涛 Key Laboratory of Modern Acoustics Nanjing University Logistical Engineering University

Pulse decomposition has been proven to be efficient to analyze complicated signals and it is introduced into the photo-acoustic and thermo-acoustic tomography to eliminate reconstruction distortions caused by negative lobes.During image reconstruction,negative lobes bring errors in the estimation of acoustic pulse amplitude,which is closely related to the distribution of absorption coefficient.The negative lobe error degrades imaging quality seriously in limited-view conditions because it cannot be offset so well as in full-view conditions.Therefore,a pulse decomposition formula is provided with detailed deduction to eliminate the negative lobe error and is incorporated into the popular delay-and-sum method for better reconstructing the image without additional complicated computation.Numerical experiments show that the pulse decomposition improves the image quality obviously in the limited-view conditions,such as separating adjacent absorbers,discovering a small absorber despite disturbance from a big absorber nearby,etc.

关键词：脉冲幅度误差分析分解式 PAT TAT 基础图像质量层析成像

基于PAT的PCV2 VLPs生产过程优化与控制研究

在线全文

学校读者我要写书评

暂无评论

中国生物工程杂志 2018年第8期38卷 50-58页

作者：化磊召易小萍储炬庄英萍张嗣良华东理工大学生物反应器工程国家重点实验室

昆虫细胞-杆状病毒载体表达系统（baculovirus expression vector system,BEVS）是病毒样颗粒亚单位疫苗（virus like particles,VLPs）的理想生产平台。动物细胞培养过程分析技术（process analytical technology,PAT）研究的重点在于更多地获取与细胞生理状态相关的过程参数,以及实现过程敏感参数的在线表征和过程控制关键时间节点的在线判定,从而指导过程优化和控制。通过昆虫Sf9细胞的分批和补料悬浮培养,发现细胞代谢活性与在线特征频率（fc）之间存在相关性。以fc作为细胞代谢活性的在线指征,在细胞代谢活性下降之前补料,使得Sf9细胞在代谢活性明显增强的基础上,最高活细胞密度提高1.75倍。通过分批培养与补料分批培养过程细胞生理特性参数的相关性分析,发现比电容增长速率（με）与培养体系S-期细胞比例之间存在相关性,με作为细胞增殖活性状态的在线指征参数,可以作为最佳接毒时间的判定依据。此外,研究还发现在线检测参数电容（ε）与最高疫苗产量之间存在相关性,可以作为疫苗最佳收获时间的在线表征参数。以在线fc值作为补料时间指征,以在线με值作为病毒感染时间指征,以在线ε值作为病毒收获时间指征,实现了猪圆环病毒2型（PCV2）VLPs的高效生产。相比于批培养,基于PAT的生产工艺疫苗单位体积产量提高76%,生产周期缩短了24h,为PCV2病毒样颗粒亚单位疫苗大规模生产提供了一种新的高效生产模式。

关键词： VLPs 昆虫细胞-杆状病毒载体表达系统 PAT

Clinical significance of expression of tissue factor and tissue factor PAThway inhibitor in ulcerative colitis

在线全文

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2014年第23期20卷 7461-7465页

作者： Hao-Lan He Ji-Bin Zhang Qian Li Department of Gastroenterology Central Hospital Affiliated to Shenyang Medical College DePATprtment of Endocrinology The Seventh People's Hospital of Shenyang

AIM:To investigate the clinical significance of expression of tissue factor(TF)and tissue factor PAThway inhibitor(TFPI)in ulcerative colitis(UC).METHODS:Thirty UC specimens taken by colonoscopy from PATients with active UC treated at the Department of PAThology,Central Hospital Affiliated to Shenyang Medical College from February 2010 to January 2012were included in an experimental group,and 30 normal colon tissue samples taken by colonoscopy from nonUC PATients were included in a control group.Expression of TF and TFPI in UC and normal colon tissue samples was detected by immunohistochemistry.RESULTS:The positive rate of TF in UC was significantly higher than that in normal colon tissue(63%vs33%,χ2=5.41,PPAThogenesis of UC.

关键词： Ulcerative colitis Tissue factor Tissue factor PAT

基于国际专利数据的真菌黑色素创新发展趋势分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

微生物学通报 2019年第6期46卷 1470-1484页

作者：侯若琳王丹亭刘鑫麦梦贤吴小平林文雄郑明锋傅俊生福建农林大学食品科学学院福建福州350002 福建农林大学生命科学学院福建福州350002 福建农林大学菌物研究中心福建福州350002

【背景】黑色素具有抗肿瘤、抗辐射等多种生物活性,在生产和生活中具有巨大的应用潜力,通过真菌生产是获取黑色素的一条重要途径,它与动植物相比具有更短的生产周期和更高的产量,并且易于实现商业应用。【目的】揭示真菌黑色素的生产及... 详细信息

【背景】黑色素具有抗肿瘤、抗辐射等多种生物活性,在生产和生活中具有巨大的应用潜力,通过真菌生产是获取黑色素的一条重要途径,它与动植物相比具有更短的生产周期和更高的产量,并且易于实现商业应用。【目的】揭示真菌黑色素的生产及应用发展情况和创新趋势,为致力于真菌黑色素产业的科研人员和企业提供参考。【方法】基于Inco PAT科技创新情报平台,通过对全球真菌黑色素相关专利进行检索统计,从专利涉及的菌株、专利技术构成、申请人专利价值等多维度对真菌黑色素相关专利进行深入分析。【结果】真菌黑色素在生产制备领域申请专利数量最多(50.56%),作为化工染料和化妆品原料应用的专利申请数量最少(13.48%),涉及的真菌菌属主要有层孔菌属、短梗霉属、木耳属、纤孔菌属、粒毛盘菌属、灵芝属和曲霉属。目前真菌黑色素专利技术申请的热点领域主要在C12 (微生物发酵、培养基、突变或遗传工程)类和A61 (医学)类,并且在未来一段时间内,C12和A61将继续作为热点技术申请领域。中国申请的真菌黑色素专利数量最多,但拥有的高价值专利比例较低,较国外仍具有一定差距。【结论】我国科研人员需要加强在医药和化工领域核心专利技术的创新应用与海外布局,增强与企业的合作研发和技术转移,以抢占真菌黑色素在这些领域的应用市场,并推动真菌黑色素相关专利向高质量发展。

关键词：国际专利 Inco PAT 真菌黑色素发展趋势

基于光学自准直的旋转轴平行度测量与不确定度分析

在线全文

学校读者我要写书评

暂无评论

红外与激光工程 2023年第5期52卷 304-315页

作者：李小明朱国帅郭名航刘赢泽张崇长春理工大学空间光电技术国家地方联合工程研究中心吉林长春130022 长春理工大学机电工程学院吉林长春130022 中国人民解放军陆军装备部驻沈阳地区军事代表局驻长春地区第一军事代表室吉林长春130022

在激光通信和光电跟瞄系统中已经开始采用基于旋转光栅或光楔的指向-捕获-跟踪(Pointing,acquisition and tracking,PAT)机构对光轴进行角度调整,该结构质量轻、体积小,非常有利于系统的轻小型化。由于结构中两个旋转轴的平行度误差会... 详细信息

在激光通信和光电跟瞄系统中已经开始采用基于旋转光栅或光楔的指向-捕获-跟踪(Pointing,acquisition and tracking,PAT)机构对光轴进行角度调整,该结构质量轻、体积小,非常有利于系统的轻小型化。由于结构中两个旋转轴的平行度误差会严重影响PAT机构性能,因此在机械装配时需严格保证两轴平行度。针对旋转轴系轴线不易测量,传统测试方法精度不足,轴系晃动误差影响测量结果等问题,为了满足两轴平行度高精度检测的需求,文中提出基于自准直原理的旋转轴平行度测试方法,利用自准直光学特性,结合特殊设计的半反半透基准镜,采用数据拟合方法剔除轴系晃动的影响,得到旋转轴轴线空间位置,创新地实现了无需调整测试和被测设备即可在同一基准下测量两个平行轴系轴线角度和平行度。该方法只需一台测试设备,排除了传统多台测试设备联合测量时,基准传导与变换中的测量和变换误差,提高了测试精度和测试效率。首先,设计了基于自准直仪的测试系统,采用一台自准直仪测试两个轴系轴线空间位置,从而得到旋转轴同轴误差;然后,对测试结果不确定度进行了研究,分析了测试准确性及其影响因素;最后,采用该测试方法和测试系统,对某双液晶光栅跟瞄PAT机构的两轴平行度进行了测量,系统的实际测试表明两轴平行度测试误差小于10%,该方法可以有效地测量两个同轴旋转轴系的平行度,并且具有较高的测量精度和可信度。

关键词： PAT 平行度数据拟合不确定度旋转轴系

PAT多模共融协同培养在实践教学中的探索——以信息处理综合实践课程为例

在线全文

学校读者我要写书评

暂无评论

创新创业理论研究与实践 2024年第1期7卷 150-152页

作者：徐美芳王浩全陈友兴金永张敏娟中北大学信息与通信工程学院山西太原030051

根据实践教学的特点、人才需求和现有教学模式的局限,该文针对信息处理综合实践课程教学提出了“PAT多模共融协同培养”的教学模式,该模式由“342策略”融入PAT和思政元素构建。该文具体阐述了教学模式的改进、“342策略”融入PAT的教... 详细信息

根据实践教学的特点、人才需求和现有教学模式的局限,该文针对信息处理综合实践课程教学提出了“PAT多模共融协同培养”的教学模式,该模式由“342策略”融入PAT和思政元素构建。该文具体阐述了教学模式的改进、“342策略”融入PAT的教学设计以及设计环节中思政元素的切入。阶段性成效表明:教师的工作量会有所增加,但教学效果显著,为实践类课程教学质量的提高提供了新思路。

关键词：信息处理综合实践 PAT 多模共融协同培养实践教学教学改革

在线全文

学校读者我要写书评

暂无评论

模型验证中的公平性问题

浙江大学学报（工学版） 2014年第7期48卷 1217-1225页

作者：斯袁杰桂林杨小虎浙江大学计算机科学与技术学院浙江杭州310027 新加坡国立大学软件工程实验室

研究模型验证中的公平性问题,全面定义了包括进程层面(process-level)的强/弱公平、事件层面(eventlevel)的强/弱公平以及全局强公平性(strong global fairness)等,把这些公平性条件集成进了一个模型验证工具PAT.该工具支持以on-the-fl... 详细信息

研究模型验证中的公平性问题,全面定义了包括进程层面(process-level)的强/弱公平、事件层面(eventlevel)的强/弱公平以及全局强公平性(strong global fairness)等,把这些公平性条件集成进了一个模型验证工具PAT.该工具支持以on-the-fly的方式对线性时序逻辑性质进行验证.通过对多个基准模型进行实验,该工具在基于公平条件的模型验证中表现出良好的性能.

关键词：模型验证公平性 PAT 验证工具

Assessment and prediction of tablet properties using transmission and backscattering Raman spectroscopy and transmission NIR spectroscopy

在线全文

学校读者我要写书评

暂无评论

Asian Journal of Pharmaceutical Sciences 2016年第4期11卷 547-558页

作者： Elisabeth Peeters Ana Filipa Tavares da Silva Maunu Toiviainen Jeroen Van Renterghem Jurgen Vercruysse Mikko Juuti Joao Almeida Lopes Thomas De Beer Chris Vervaet Jean-Paul Remon Laboratory of Pharmaceutical Technology Ghent UniversityOttergemsesteenweg 4609000GhentBelgium Laboratory of Pharmaceutical Process Analytical Technology Ghent UniversityOttergemsesteenweg 4609000GhentBelgium REQUIMTE Department of Chemical SciencesUniversity of PortoRua de Jorge Viterbo Ferreira2284050-313PortoPortugal VTT Technical Research Centre of Finland Optical Measurement TechnologiesKaitoväylä190570 OuluFinland

This study investigated whether Raman and Near Infrared(NIR) spectroscopy could predict tablet properties. Granules were produced on a continuous line by varying granulation parameters. Tableting process parameters were adjusted to obtain uniform tablet weight and thickness. Spectra were collected offline and tablet properties determined with traditional analyzing methods. Partial Least Squares(PLS) regression was used to correlate spectral information to tablet properties, but predictive models couldn’t be established. Principal component analysis(PCA) was effectively used to distinguish theophylline concentrations and hydration levels and multiple linear regression(MLR) analysis allowed insight on how granulation parameters affect granule and tablet properties.

关键词： Continuous production PAT Granulation Tableting NIR Raman