检索结果-南通市图书馆

FirmDep:利用动态分析的嵌入式应用托管方案

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第8期35卷 3591-3609页

作者：吴华茂姜木慧周亚金李金库浙江大学计算机科学与技术学院浙江杭州310027 香港理工大学电子计算学系中国香港999077 西安电子科技大学网络与信息安全学院陕西西安710126

固件托管(firmware rehosting)是一种对嵌入式设备的软硬件进行建模和仿真,并在仿真环境中运行和分析嵌入式设备软件的技术.现有的基于全系统仿真的固件托管方案只能预防性地修复已知的软硬件依赖问题,而无法解决未知的问题.为应对这一... 详细信息

固件托管(firmware rehosting)是一种对嵌入式设备的软硬件进行建模和仿真,并在仿真环境中运行和分析嵌入式设备软件的技术.现有的基于全系统仿真的固件托管方案只能预防性地修复已知的软硬件依赖问题,而无法解决未知的问题.为应对这一现状,提出了一种由动态分析辅助的固件托管方案FirmDep.在托管过程中,FirmDep对被分析应用的执行轨迹和系统状态进行记录.若目标应用无法被成功托管, FirmDep对执行轨迹进行信息提取和系统状态补全,并使用多种执行轨迹分析方法识别和仲裁应用的环境依赖问题.基于PANDA和angr实现了FirmDep的原型系统,并使用217个来自真实设备固件的嵌入式Web应用对其进行了测试.结果表明:FirmDep可有效识别嵌入式设备应用的环境依赖问题,提高固件托管的成功率.

关键词：嵌入式设备固件动态分析固件托管录制重放

Calcineurin inhibitors and nephrotoxicity in children

在线全文

学校读者我要写书评

暂无评论

World Journal of Pediatrics 2018年第2期14卷 121-126页

作者： Fei Liu Jian-hua mao Department of Nephrology Children's HospitalZhejiang University School of MedicineHangzhou 310003China

Background Calcineurin inhibitors(CNIs)are commonly given to transplant recipients of kidneys and other solid organs and to patients with immune disorders,such as steroid-resistant nephrotic syndrome,steroid-dependent nephrotic syndrome,and frequent relapse nephrotic *** CNIs remain the most effective available immunosuppressant agent,there is clinical concern regarding possible long-term *** concern is especially significant in children who have a longer life expectancy and greater growth *** sources In this review,we analyzed the literatures to identify original articles that examined use of CNIs in children who received organ transplantation and nephropathy to assess the available evidence of their ***,Elsevier,and Tompson ISI Web of Knowledge were searched for identifying relevant *** Clinical research supports the presence of CNI-related ***,some researchers have questioned the prevalence and seriousness of chronic CNIs nephrotoxicity,especially because the pathological lesions typically associ-ated with long-term CNI use are *** researchers have focused on early markers of CNI nephrotoxicity,and the methods that may help prevent and manage *** Future research should focus on investigating early markers of CNI nephrotoxicity and strategies for improved immunosuppressant therapy,and developing alternative ***-mediated nephrotoxicity should always be taken seriously in clinic.

关键词： Calcineurin inhibitors(CNIs) Children Nephrotic syndrome Nephrotoxicity Transplantation

Spectral Gap and Convergence Rate for Discrete-time Markov Chains

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2013年第10期29卷 1949-1962页

作者： Yong hua mao Yan Hong SONG School of Mathematical Sciences LMCSMinistry of EducationBeijing Normal University

Abstract Let P be a transition matrix which is symmetric with respect to a measure π. The spectral gap of P in L2（π）-space, denoted by gap（P）, is defined as the distance between 1 and the rest of the spectrum of P. In this paper, we study the relationship between gap（P） and the convergence rate of P^n. When P is transient, the convergence rate of pn is equal to 1 - gap（P）. When P is ergodic, we give the explicit upper and lower bounds for the convergence rate of pn in terms of gap（P）. These results are extended to L^∞ （π）-space.

关键词： Spectral gap convergence rate geometric ergodicity transience strong ergodicity uni-form decay

The Spectral Gap for Quasi-birth and Death Processes

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2012年第5期28卷 1075-1090页

作者： Yong hua mao Liang Hui XIA School of Mathematical Sciences LMCSMinistry of EducationBeijing Normal University Department of Mathematics Ji'nan University

For a reversible quasi-birth and death process, we generalize and refine the decomposition method, by constructing a birth-death process and a sequence of restriction processes. The spectral gap for the quasi-birth and death process is estimated in terms of the spectral gaps for these processes, and in some special cases, the estimation is sharp. With the aid of the symmetrization procedure, the result is also applied to two queueing models： M/M/1 in random environment and MIMIc with synchronous vacation.

关键词： Quasi-birth and death process spectral gap birth-death process M/M/1 in random environment MIMIc with synchronous vacation

Spectral Gap for Open Jackson Networks

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2015年第12期31卷 1879-1894页

作者： Yong hua mao Liang Hui XIA School of Mathematical Sciences LMCSMinistry of Education Beijing Normal University Department of Mathematics Ji'nan University

We generalize the decomposition method of the finite Markov chains for Poincare inequality in Jerrum et al.（***.,14,1741-1765（2004）） to the reversible continuous-time Markov *** inductively,we give the lower bound of spectral gap for the ergodic open Jackson network by the decomposition method and the symmetrization *** upper bound of the spectral gap is also presented.

关键词： Jackson networks reversibility decomposition of Markov chain spectral gap symmetrization

Oscillatory and Asymptotic Behavior of Solutions for Nonlinear Impulsive Delay Differential Equations

在线全文

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae Sinica 2006年第3期22卷 387-396页

作者： Wei-hua mao An-hua Wan College of Science South China Agricultural University Guangzhou 510642 China Institute of Automation Chinese Academy of Sciences Beijing 100080 China

The oscillatory and asymptotic behavior of the solutions for third order nonlinear impulsive delay differential equations are investigated. Some novel criteria for all solutions to be oscillatory or be asymptotic are ... 详细信息

关键词： Impulse delay oscillation asymptotic property

三支区间集半概念的代数结构及覆盖粗糙近似算子

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

郑州大学学报（理学版） 2024年第6期56卷 84-90页

作者：毛华牛振华马经泽王刚张植明杨兰珍河北大学数学与信息科学学院河北保定071002 河北省机器学习与计算智能重点实验室河北保定071002

针对在一个形式背景中以区间集为底集,考虑一个属性集(对象集)拥有的对象集(属性集)和不拥有的对象集(属性集)的知识表述而进行知识提取的问题,采取将区间集概念与三支决策、经典半概念相结合的方法,产生AE-区间集半概念和OE-区间集半... 详细信息

针对在一个形式背景中以区间集为底集,考虑一个属性集(对象集)拥有的对象集(属性集)和不拥有的对象集(属性集)的知识表述而进行知识提取的问题,采取将区间集概念与三支决策、经典半概念相结合的方法,产生AE-区间集半概念和OE-区间集半概念两种形式的三支区间集半概念,同时发现AE-区间集半概念与OE-区间集半概念的纯双布尔代数结构。进一步深入讨论可知,AE-区间集半概念可分为AE1-区间集半概念与AE2-区间集半概念,利用粗糙集理论分别挖掘与AE1-区间集半概念和AE2-区间集半概念有关的近似算子的结构性质,对偶地可得OE-区间集半概念的相关结果。所得三支区间集半概念拓广了已有的三支决策集分别与区间集概念和半概念相结合的相关成果,成为一个新的知识表述。

关键词：形式概念分析半概念三支决策区间集概念近似算子

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

单边区间集模糊半概念的知识表示及提取方法

智能系统学报 2024年第4期19卷 1016-1026页

作者：毛华胥德华刘川郑博雅王刚张植明河北大学数学与信息科学学院河北保定071002 河北大学河北省机器学习与计算机智能重点实验室河北保定071002 河北大学生命科学学院河北保定071002

为了使“区间”形式加以表述的不确定信息的提取具有侧重性,需提取出对象(属性)集对应的属性(对象)区间集。本文在模糊形式背景中,通过引入2个阈值,将单边区间集与经典半概念结合,提取出属性(对象)集对应的对象(属性)区间集,从而提出区... 详细信息

为了使“区间”形式加以表述的不确定信息的提取具有侧重性,需提取出对象(属性)集对应的属性(对象)区间集。本文在模糊形式背景中,通过引入2个阈值,将单边区间集与经典半概念结合,提取出属性(对象)集对应的对象(属性)区间集,从而提出区间集外延–集合内涵(集合外延–区间集内涵)(interval set extent-set intent(set extent-interval set intent),ISE-SI(SE-ISI))型单边区间集模糊半概念。全体ISE-SI(SE-ISI)型单边区间集模糊半概念构成格,并给出基于格搜寻全体ISE-SI(SE-ISI)型单边区间集模糊半概念的算法。通过与已有成果对比,显示出这2种知识表示形式的多方优势。本文所得结果在知识表示及提取方法上具有适用范围广、实际应用强等优点。

关键词：模糊形式背景半概念区间集区间集概念单边区间集概念模糊概念单边区间集模糊半概念知识表示和提取

维普期刊数据库博看期刊

区块链技术在企业供应链管理中的应用路径及效果研究——以蒙牛乳业为例

在线全文

学校读者我要写书评

暂无评论

管理案例研究与评论 2024年第2期17卷 280-296页

作者：颉茂华张家春王艺茹张婧宇内蒙古大学经济管理学院呼和浩特010021 深圳大学经济法学院深圳518052

区块链作为数字时代的新兴技术,具有开放共享、去中心化、建立信任关系、不可篡改、可溯源、全程留痕且透明等特性。区块链技术的发展给企业供应链管理带来了新的契机,但区块链技术在企业供应链管理中如何应用?其路径与效果如何?还需要... 详细信息

区块链作为数字时代的新兴技术,具有开放共享、去中心化、建立信任关系、不可篡改、可溯源、全程留痕且透明等特性。区块链技术的发展给企业供应链管理带来了新的契机,但区块链技术在企业供应链管理中如何应用?其路径与效果如何?还需要进一步研究梳理。通过对蒙牛乳业的研究,分析区块链技术在企业供应链管理中的应用动因、措施、效果及实现路径。研究发现,区块链四大技术共同保障企业供应链安全有效运行,但其在企业供应链管理应用中却有着不同的路径与效果。具体而言:(1)在供应环节,分布式账本实现跨平台信息共享,理顺了信息渠道;共识机制促使企业达成共识协议,提升合作绩效;智能合约使业务可以自动执行,避免人为干预;密码学能够使供应环节的信息准确上链,提高数据透明度。(2)在生产环节,利用分布式账本和密码学能够实现生产的实时监测,使加工指标精准上链,有效完善生产流程,降低监管成本,保障产品质量。(3)在销售环节,分布式账本可以使终端客户实现实时反馈,增加客户黏性;共识机制使交易可以全网验证,避免双花交易;智能合约实现订单智能交易,加快交易速度;利用密码学可以将销售路径精确上链,实现交易追溯,保障交易安全。基于以上研究,构建了区块链技术在企业供应链管理中应用路径及效果模型,有助于拓展区块链技术理论与企业供应链理论边界范围,可为区块链四大技术在企业供应链管理中的应用提供理论指导。

关键词：供应链区块链技术产品安全信任问题