Results 31 to 40 of about 1,475 (133)
PROMELA based formal verification for safety-critical software
Xibei Gongye Daxue Xuebao, 2022 聚焦安全关键软件, 研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型, 验证属性相关函数到PROMELA模型的2类映射规则; 根据映射规则提出由C程序自动生成PROMELA形式模型的算法, 并对算法进行理论分析; 针对C程序中5种故障类型, 分别给出基于PROMELA模型的形式化验证方法, 并分析验证的范围; 覆盖各类故障的验证范围, 为每类故障类型选取12个C程序案例进行实证研究 ...
XING Liang +3 more
doaj +1 more source
New method of detecting special function of decomposition map(基于分解图检测特殊函数的新方法)
Zhejiang Daxue xuebao. Lixue ban, 2008 特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发，导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理，着重介绍了基于分解图的相关定理在特殊函数检测中的应用，并以实例加以说明.本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义.
ZHAOMei-ling(赵美玲) +1 more
doaj +1 more source
Dizhen xuebao, 2018 本文尝试基于理论分析来求解积分限阈值kc，即通过反透射系数来确定kc。根据计算理论地震图的广义反透射系数法，在反透射系数中进行求逆运算的矩阵行列式的零点将会使得被积函数产生较大的变化，通过具体实例显示出自由界面处的反射系数中含有的零点可以作为合适的kc。多种情况的实例显示，通过反射系数来确定kc具有较好的普适性。通过与经验公式的计算结果进行比对，表明根据本文方案所确定的kc在保证准确性的同时可以有效地提高计算效率。
Yongqi Wu, Haiming Zhang
doaj +1 more source
Zhongguo cuzhong zazhi, 2018 脑血流自动调节（cerebral autoregulation，CA）是血压变化时大脑维持足够脑灌注的内在能 力。过去的30年，研究者已经提出了诸多分析CA的方法，但至今无公认的金标准，采用什么方法定量 CA仍是个人主观的选择。尽管如此，由于CA的概念代表了血压（刺激或者输入信号）与脑血流（反应 或者输出信号）之间的动态关系，故目前最通用的研究血压自发波动的分析方法是传递函数分析。虽 然理论上可行，但是文献显示，传递函数分析方法在实践中存在相当大的主观性，这限制了研究之 间的比较，也阻碍了其临床应用 ...
韩珂，王政严，纪乃方，胡汉华
doaj +1 more source
Dizhen xuebao, 2018 为更高效合理地生成与设计反应谱相符的人造地震动信号，本文基于自主开发的地震动信号处理软件EQSignal对人造地震动生成过程中涉及的几个问题进行了探讨，并通过对单自由度简谐共振体系的响应分析，提出了具体的解决建议：① 反应谱求解时应该对高频段和低频段分别采用频域传递函数法和逐步积分法求解；② 反应谱周期控制点的分布模式也应分段处理，短周期段宜采用对数平均分布，长周期段宜采用线性平均分布，反应谱总周期控制点不宜少于120个；③ 人造地震动反应谱与设计反应谱拟合的过程中 ...
Shuai Liu, Chao Pan, Zhiguang Zhou
doaj +1 more source
Design of self-correction in twisted ring counter based on shift registers(基于集成移位寄存器的扭环形计数器自启动设计)
Zhejiang Daxue xuebao. Lixue ban, 2013 分析了扭环形计数器工作时的状态转换过程，分析了集成移位寄存器的逻辑功能，提出了用集成移位寄存器74LS194构成扭环形计数器的一些新的设计方案，即移位寄存器的状态变化在右移移位或并行输入符合右移规律的数码、反馈实现取反循环移位的基础上，对任何一位触发器的激励函数进行逻辑修改，可实现扭环形计数器自启动设计.所述方法的创新点是提出了MSI集成移位寄存器改变应用方向的逻辑修改方法.
MAJing-min(马敬敏)
doaj +1 more source
Dizhen xuebao基于唐海—商都宽频带地震台阵2006—2009年连续三年的波形记录，利用环境噪声相位自相关函数对台阵下方的莫霍面反射P波进行分析。通过对同一个台站多个时间段的自相关结果进行分组、采用两步叠加处理增加信号强度：① 在组内进行线性叠加，对组间的叠加结果进行相位加权叠加；② 基于华北地区的背景速度结构信息，在地壳平均速度5%不确定性的时窗内，根据自相关函数包络线的二阶导数最大值确定P波的莫霍面反射时间，经时间−深度转化，获得台阵下方的莫霍面深度。结果显示，莫霍面从东南向西北总体由浅变深，中间有小幅度的起伏 ...
Hongpu Wei, Aihua Zhao
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2009 特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.
LIXiao-hua(厉晓华)
doaj +1 more source
Structure,spectra and reactivity of terbutaline-metal (Ⅱ) complexes(特布他林金属(Ⅱ)配合物的结构、光谱及反应活性)
Zhejiang Daxue xuebao. Lixue ban, 2014 用密度泛函理论B3LYP方法，在6 - 311 + G（d,p）基组水平上，计算并分析了瘦肉精代表性分子特布他林(L)与8种常见的金属离子M(II)形成的配合物ML（M=Mg，Ca，Mn，Fe，Ni，Co，Cu，Zn）的几何构型、紫外-可见吸收光谱和反应活性的异同.配合物的结合能以及自然键轨道分析显示，L能与M(II)离子结合成稳定的配合物，N，O原子的孤对电子和金属M的空轨道间相互作用对配合物的稳定性贡献较大.含时密度泛函结果表明，除ZnL基本不变外 ...
LIANGDanxia(梁丹霞) +2 more
doaj +1 more source
Novel Robust predictive control algorithm based on closed-loop optimization(一种基于闭环优化的新型鲁棒预测控制方法)
Zhejiang Daxue xuebao. Lixue ban, 2003 针对带约束的凸多面体线性不确定模型,提出了一种新型鲁棒预测控制方法.它采用离散化的不确定模型构造最小最大优化控制问题,并在其中直接引入状态反馈机制.与其他最小-最大预测控制方法相比,这种方法等效于增加了控制序列的长度,为优化问题增加了更多的自由度,从而扩大了可行域.作为最小化目标的是离散化不确定系统在整个预测时域上二次型成本函数的最大值,而不是各预测阶段对应成本项的上界之和,从而减少了与最小-最大优化相关的方程个数,有利于降低计算复杂性 ...
SHENGYun-long(盛云龙) +2 more
doaj +1 more source