论文部分内容阅读
东芝Satellite ProM10闪亮登场
【出 处】
：
新潮电子
【发表日期】
：
2003年7期
其他文献
文中基于补库所理论提出了活性控制器设计方法．首先，利用容量函数K将原Petri网N转变为有限容量网丙，再通过逐一增加K值得到具有最大可达集的容量函数Kmax，然后根据Kmax添加一组补
目的探讨先天性人巨细胞病毒(HCMV)感染所致的肝损伤及相关血清标志物的意义,为早期诊断及防治提供参考。方法孕鼠腹腔注射HCMV悬液,以其子鼠为先天性HCMV感染模型,健康大鼠
该文针对两大类循环分别给出了非终止性判定的数学方法．首先，针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法．通过递推链代数将循环变量进行统一表示，根据
<正>2016年新年以来,虽然受春节备货预期支撑,国内鸡蛋现货市场呈现偏强状态,报价较为坚挺,但期货市场主力1605合约走势较为疲弱。随着前期的利多因素被市场消化,春节前鸡蛋
构建结果子树是XML关键字查询得以完成的关键步骤之一.针对已有方法求解子树效率低的问题,文中提出一种自顶向下的子树构建算法——TDTMS.TDTMS以自顶向下、深度优先的方式求
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法（PBSD）的定位效果.文中主要围绕两个问题进行研究：（1）是否可以通过增加谓词的执行信息量来提高算法的定位精