搜索筛选:
搜索耗时1.0963秒,为你在为你在102,285,761篇论文里面共找到 61 篇相符的论文内容
发布年度:
[期刊论文] 作者：周从华,
来源：中国牧业通讯 年份：2004
案情原告张某某出生于2003年11月4日.由于没有母乳,张某某出生的第二天,父亲张某就到镇上的一个超市为其购买了2袋"美乐滋"婴幼儿奶粉.张某某不久吃完后,张某又连续喂了十多...
[期刊论文] 作者：周从华,
来源：攀枝花医药 年份：1999
传统的胆囊切除术切口大．一般需要切断腹壁肌肉，手术的创伤较大．易发生术后疼痛，有时出现切口并发症等，均增加病人的痛苦和延长住院时间。随着现代影像诊断技术的发展．很多病人在早......
[期刊论文] 作者：周从华,
来源：攀枝花医药 年份：2001
心理因素可以致病，而疾病又反作用于人的心理状态。癌症病人是护理工作中所面对的一个特殊群体，他们多存在不同程度的恐惧心理，而这些不安情绪对机体的免疫功能有抑制作用，致使癌......
[期刊论文] 作者：周从华,
来源：软件学报 年份：2009
对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程，该过程避免了基于BDD方法中状态空间快速增长的问题在SE-LTL的子集SE-LTL-x有界模型检测过程中，集成了stuttering等...
[学位论文] 作者：周从华,
来源：南京大学 年份：2006
随着计算机软硬件系统日益复杂，如何保证其正确性和可靠性已经成为日益紧迫的问题。对于并发系统，由于其内在的非确定性，这个问题难度更大。在过去的几十年间，各国研究人员为解决......
[期刊论文] 作者：周从华, 鞠时光,,
来源：计算机学报 年份：2012
隐蔽信息流分析是开发高等级可信计算机系统必须面对的问题.以Petri网作为开发安全系统的形式化建模工具,给出Petri网中隐蔽信息流存在的判定条件.提出该条件成立的两种网结...
[期刊论文] 作者：许霞,周从华,,
来源：魅力中国 年份：2009
近年来,诉讼案件迅猛增长带来的"案多人少"问题为各级法院领导所关注,也被列为亟待解决的问题,审判实务界纷纷就此现象进行探讨,也提出了很多颇有价值的见解,但是如果我...
[期刊论文] 作者：张丹,周从华,
来源：计算机与数字工程 年份：2020
推荐系统已经应用到各行各业中,新闻推荐也应运而生。用户在阅读新闻时一般是时间序列的形式,然而,传统的新闻推荐算法很少考虑用户浏览行为的时间序列特征。因此,它并不能有...
[期刊论文] 作者：王浩,周从华,
来源：计算机与数字工程 年份：2021
主流的情感分析模型是基于依存树和注意力机制的LSTM神经网络模型,但依存树捕捉依存关系较弱;注意力机制有时隐藏层和目标向量维度可能不一致,且归一化后对应的梯度将会变小,使模型很难训练.针对上述问题,提出一种基于依存图和双线性串联平衡因子的注意力机制情......
[期刊论文] 作者：曹莉敏,周从华,,
来源：计算机应用与软件 年份：2020
单核苷酸多态性(Single Nucleotide Polymorphism,SNP)数据是一种关于遗传病理学研究的重要数据,其高维少样本,存在大量噪声和冗余,并且SNP位点之间存在连锁不平衡性,因此需要对SNP数据进行降维。提出一种改进的K-Center算法——K-MSU算法。使用K-Center进行数......
[期刊论文] 作者：周从华,刘志锋,
来源：计算机工程 年份：2007
在计算树逻辑（CTL）中引入过去时态算子，得到了表达力更强的属性规约语言CTLP，给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型......
[期刊论文] 作者：周从华,刘志锋,
来源：计算机科学 年份：2008
计算状态空间可达图是验证工作流正确性的主要方法，状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTLx描述的正确性提出了一种基于Petri网图形化简的验证方法，证明了...
[期刊论文] 作者：周从华,刘志锋,,
来源：考试周刊 年份：2009
本文针对本科安全协议课程的特点,对本课程的内容设置与教学方法进行了探讨。In this paper, according to the characteristics of the undergraduate security protocol...
[期刊论文] 作者：王敏超 周从华,
来源：考试周刊 年份：2011
摘 要： 本文针对信息安全数学课程的特点，探讨了课程内容设置和教学方法。首先分析了信息安全数学课程设置和教学中存在的问题；其次探讨了信息安全数学课程内容的设置；最后从教学手段、实践环节和考核方式等方面对教学方法进行了探讨。 关键词： 信息安全数学 课程......
[期刊论文] 作者：刘苗苗,周从华,张婷,
来源：计算机工程 年份：2021
利用动态时间弯曲(DTW)技术在原始多元时间序列进行相似性度量时时间复杂度较高,且DTW在追求最小弯曲距离的过程中可能会出现过渡拉伸和压缩的问题。提出一种基于分段特征及自适应加权的DTW多元时间序列相似性度量方法。对原始时间序列在各个变量维度上进行统一......
[期刊论文] 作者：魏国强,周从华,张婷,
来源：计算机与数字工程 年份：2021
针对常用方法无法准确度量多元时间序列相似程度的问题,提出一种基于多维分段和动态权重动态时间弯曲距离的多元时间序列相似性度量方法.首先对多元时间序列进行多维分段拟合,选取拟合段的斜率、均值和时间跨度作为每一段的特征,在对多元时间序列降维的同时也保......
[期刊论文] 作者：周从华, 陈振宇, 鞠时光,,
来源：计算机研究与发展 年份：2008
线性时态逻辑SE-LTL是具有高表达力和基于状态、事件推理能力的并发系统规约语言.目前,SE-LTL的模型检测算法依然是显式的,状态空间爆炸是检测的主要困难.对SE-LTL引入一种有...
[期刊论文] 作者：周从华,吴海玲,鞠时光,
来源：计算机研究与发展 年份：2012
多级安全系统中机密数据的泄漏本质上是信息的非法流动．广义不可推断属性刻画了不同安全级主体之间合法的信息流动．在系统应用之前，验证其满足广义不可推断属性，可以排除各种隐蔽......
[期刊论文] 作者：王昌达,宫婷婷,周从华,,
来源：计算机应用 年份：2012
针对现有数字版权管理(DRM)系统屡遭破解的问题,通过调研分析其安全机制,提出一种内容与权限分离的细粒度使用控制方案。该方案首先根据秘密分割的思想将数字许可证一分为二,实现身份验证与授权管理的分离;然后通过细粒度授予临时权限文件,确保数字内容在使用中......
[期刊论文] 作者：刘志锋,孙博,周从华,
来源：电子学报 年份：2013
概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑...
相关搜索：
