期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到176篇文章
< 1 2 … 9 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
7075Al合金LSC铸锭二次加热中的液固相体积分数 被引量：8
1
作者 路贵民 任栖锋 +1 位作者 董杰 崔建忠 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第9期876-879,共4页
研究了液相线半连续铸造法制备的 70 75Al合金坯料在二次加热过程中液固相比的变化 ,分别用电阻法、热涵法测定出不同温度下 70 75Al合金的液相体积分数 ,并与图像法进行了比较·结果表明 ,在 60 0℃左右 ,电阻法与用热涵法、图像... 研究了液相线半连续铸造法制备的 70 75Al合金坯料在二次加热过程中液固相比的变化 ,分别用电阻法、热涵法测定出不同温度下 70 75Al合金的液相体积分数 ,并与图像法进行了比较·结果表明 ,在 60 0℃左右 ,电阻法与用热涵法、图像法所测的实验结果基本一致 ,正确反映了加热过程中合金的液固相变化规律·用电阻法能方便有效地测定二次加热过程中半固态 70 75Al合金的液固相比 ,具有实时性强的优点 ,在 60 0～ 62 0℃时 ,70 75Al合金液固相比为 3 0 %～ 5 0 % ,完全适于合金的半固态成形· 展开更多
关键词 7075Al合金 lsc 铸锭 二次加热 固相体积分数 液相线半连续铸造 铝合金 电阻法 热涵法 液相率 液相体积分数
在线阅读 下载PDF
椭圆形罩LSC侵彻钢锭试验与三维数值模拟 被引量：5
2
作者 武双章 顾文彬 +1 位作者 刘建青 李旭锋 《含能材料》 EI CAS CSCD 北大核心 2014年第5期600-606,共7页
为了获得椭圆形罩线型聚能装药(LSC)射流侵彻钢锭的特点和规律,采用实际切割试验和三维数值模拟(ANSYS/LS-DYNA)相结合的方法对椭圆形罩线性聚能装药射流侵彻钢锭过程的特点和规律进行了研究。结果表明,切割深度随炸高的增加先增加后下... 为了获得椭圆形罩线型聚能装药(LSC)射流侵彻钢锭的特点和规律,采用实际切割试验和三维数值模拟(ANSYS/LS-DYNA)相结合的方法对椭圆形罩线性聚能装药射流侵彻钢锭过程的特点和规律进行了研究。结果表明,切割深度随炸高的增加先增加后下降,在一定炸高范围内表现出对炸高的不敏感性,最佳炸高为60 mm;随着炸高的增加,侵彻钢锭横断面形状的底部宽度从55 mm增至75 mm,中间的侵彻深度从70 mm增至84 mm,两端的侵彻深度从40 mm增至70 mm,切口剖面形状更趋于平缓;数值模拟获得的侵彻结果与切割试验获得的结果基本一致。该三维数值计算模型可以用来模拟实际的切割器,获得的切割钢锭的特点和规律能够较好地反映实际切割过程。 展开更多
关键词 爆炸力学 线型聚能装药 侵彻机理 三维数值模拟 切割试验 椭圆形罩
在线阅读 下载PDF
LSC-500螯合树脂脱除钙离子的工艺研究 被引量：5
3
作者 谢英惠 赵欣 袁俊生 《无机盐工业》 CAS 北大核心 2013年第12期27-30,共4页
通过比较LSC-500、D152、D401、D418、001×7、001×14.5型6种离子交换树脂对钙离子的吸附效果,得出LSC-500螯合树脂对钙离子的吸附量最高,故选用LSC-500螯合树脂对富钾液中的钙离子进行静态吸附实验。实验结果表明:在25℃条件... 通过比较LSC-500、D152、D401、D418、001×7、001×14.5型6种离子交换树脂对钙离子的吸附效果,得出LSC-500螯合树脂对钙离子的吸附量最高,故选用LSC-500螯合树脂对富钾液中的钙离子进行静态吸附实验。实验结果表明:在25℃条件下,LSC-500树脂对钙离子的静态饱和吸附量为23.42 mg/g;实验得出的最佳吸附条件是反应时间为180 min、反应温度为65℃,在此条件下树脂对钙离子的脱除率达到92.86%。通过动力学实验,得出了树脂吸附钙离子的动力学曲线,并用液膜扩散模型和颗粒扩散模型对吸附动力学数据进行了拟合。动力学实验表明:温度升高有利于吸附过程的进行;液膜扩散是LSC-500树脂吸附钙离子的主要速控步骤。 展开更多
关键词 吸附 lsc-500螯合树脂 钙离子 动力学
在线阅读 下载PDF
基于BP网络的LSCS仿真可信性评估方法 被引量：3
4
作者 孙世霞 杨建池 +1 位作者 邱晓刚 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第7期2037-2041,共5页
复杂大系统仿真可信性评估具有数据量大、受环境和结构变化影响多等特点,人工神经网络的并行处理和自学习能力符合问题求解需求。建立了仿真可信性评估的模型并将其与人工神经网络计算原理相比较,确立了方法研究的依据并给出了评估实施... 复杂大系统仿真可信性评估具有数据量大、受环境和结构变化影响多等特点,人工神经网络的并行处理和自学习能力符合问题求解需求。建立了仿真可信性评估的模型并将其与人工神经网络计算原理相比较,确立了方法研究的依据并给出了评估实施的步骤;接着从网络结构设计、训练样本选择与预处理和学习算法分析三个方面深入研究了基于BP网络的可信性评估方法的设计;最后以空地攻防对抗仿真为例,说明了其应用。结果表明:该方法具有评估精度高、实现简单、适应性强等优点。 展开更多
关键词 可信性评估 人工神经网络 复杂大系统仿真 反向传播算法
在线阅读 下载PDF
利用拟合优度检验的NPLSC-DSSS信号伪码盲估计 被引量：6
5
作者 赵知劲 强芳芳 +2 位作者 李淼 沈雷 王海泉 《电子与信息学报》 EI CSCD 北大核心 2017年第3期749-753,共5页
针对非周期短码扩频长码加扰直扩(NPLSC-DSSS)信号的伪码估计问题,该文首先给出了m序列三阶相关函数(TCF)共同峰理论和NPLSC-DSSS信号TCF估计量的概率函数。其次,利用TCF峰的共轭系特性构建了TCF峰值序列,提出了TCF共同峰检测的二元假... 针对非周期短码扩频长码加扰直扩(NPLSC-DSSS)信号的伪码估计问题,该文首先给出了m序列三阶相关函数(TCF)共同峰理论和NPLSC-DSSS信号TCF估计量的概率函数。其次,利用TCF峰的共轭系特性构建了TCF峰值序列,提出了TCF共同峰检测的二元假设模型和利用拟合优度检验的TCF共同峰精检测算法。同时,为提高伪码估计性能,该文利用正反向TCF三阶相关峰性质和共轭系TCF峰值点累加和递增性质排除大量伪峰。最后通过矩阵斜消法实现长短伪码的盲估计。仿真结果表明,该文方法在低信噪比条件下能够有效估计NPLSC-DSSS信号的伪随机码。 展开更多
关键词 扩频通信 长短码直扩信号 三阶相关理论 拟合优度检验 伪码盲估计
在线阅读 下载PDF
起爆方式对截底椭圆形罩LSC射流成型影响的三维数值模拟 被引量：2
6
作者 武双章 顾文彬 +2 位作者 尼志青 徐景林 刘建青 《工程爆破》 2015年第5期47-52,共6页
为了研究起爆方式对截底椭圆形罩LSC射流成型性能影响的特点和规律，运用ANSYS／LS-DYNA对不同起爆方式下截底椭圆形罩LSC射流成型过程进行了三维数值模拟，获得了不同时刻射流横断面和正面的成型图片、射流最大速度时程曲线和射流最大... 为了研究起爆方式对截底椭圆形罩LSC射流成型性能影响的特点和规律，运用ANSYS／LS-DYNA对不同起爆方式下截底椭圆形罩LSC射流成型过程进行了三维数值模拟，获得了不同时刻射流横断面和正面的成型图片、射流最大速度时程曲线和射流最大速度及其出现的时刻。结果表明，对于顶部中线均布多起爆点，两端起爆时差在3／2s以内时，形成的射流最大速度较大，约为4260～4290m／s，成型性能较好，当起爆点数量大于4时，可以认为是顶部中线线起爆；对于两侧棱上均布多起爆点，两端4点同时起爆时形成的射流最大速度较大，约4800m／s，当两侧棱上均布起爆点数量大于6时，可以认为是两侧棱上线起爆；就射流最大速度而言，两侧棱上均布多起爆点普遍大于顶部中线均布多起爆点。因此，起爆方式对LSC射流成型性能影响较大，研究结果在丰富LSC射流成型理论的同时，为实际应用LSC时选择合适的起爆方式提供了参考。 展开更多
关键词 起爆方式 截底椭圆形罩 lsc 射流成型 三维数值模拟
在线阅读 下载PDF
中国玉米LSC杂种优势群种质与美国BSSS种质间配合力分析 被引量：2
7
作者 孙盼盼 吴委林 +1 位作者 宫赫阳 郑大浩 《延边大学农学学报》 2014年第1期44-49,共6页
以我国兰卡斯特杂种优势群(LSC群)的5个代表性自交系和选自美国依阿华坚秆综合种(BSSS群体)的4个自交系为材料,对LSC和BSSS种质间的配合力进行了研究。结果表明,不同自交系的一般配合力和特殊配合力存在较大差异。选自BSSS群体的自交系... 以我国兰卡斯特杂种优势群(LSC群)的5个代表性自交系和选自美国依阿华坚秆综合种(BSSS群体)的4个自交系为材料,对LSC和BSSS种质间的配合力进行了研究。结果表明,不同自交系的一般配合力和特殊配合力存在较大差异。选自BSSS群体的自交系中,B73和B109的一般配合力高于B94和B111;而LSC群的自交系中,4F1A和杂C546的一般配合力高于Mo17、自330和四446A。在BSSS群和LSC群的自交系互为测验种的情况下,不同自交系间的特殊配合力差异很大;其中,以产量特殊配合力效应值为核心的各性状配合力综合指标来说,特殊配合力超过内参对照Mo17×B73的组合占组合总数的35%;一般配合力高的自交系间的特殊配合力均高于其他自交系间的特殊配合力。 展开更多
关键词 玉米 配合力
在线阅读 下载PDF
改进指纹和LSC加权的恶意程序代码相似度估计算法 被引量：1
8
作者 谷春英 张顺利 《科学技术与工程》 北大核心 2013年第10期2871-2874,2879,共5页
恶意程序代码的相似度估计是恶意程序代码分析和检测的重要研究内容。现有的方法主要是对恶意程序代码进行属性计算或结构度量,但由于恶意程序代码结构的灵活性和恶意程序代码的伪装、恶意程序代码的相似度较难度量。提出了改进指纹和LS... 恶意程序代码的相似度估计是恶意程序代码分析和检测的重要研究内容。现有的方法主要是对恶意程序代码进行属性计算或结构度量,但由于恶意程序代码结构的灵活性和恶意程序代码的伪装、恶意程序代码的相似度较难度量。提出了改进指纹和LSC加权的恶意程序代码相似度估计算法。该算法首先对恶意程序代码进行函数作用域划分和标准化预处理,然后对其进行字串序列化,利用改进的指纹相似度来对恶意程序代码的相似度进行度量;同时结合最大公共字串匹配算法进行结构度量,并对其相似度计算结果进行加权,对恶意程序代码结构的相似度进行综合估计。实验以C语言结构的程序代码为例,利用折半查找算法生成恶意程序代码测试数据集进行算法有效性验证。仿真证明该算法具有较好的恶意程序代码相似度估算精度。 展开更多
关键词 恶意程序代码 相似度估计 lsc算法 串匹配
在线阅读 下载PDF
LSC分析脑肿瘤DNA及其临床应用 被引量：1
9
作者 赵世光 李力仙 +4 位作者 叶远柱 甄云波 腾雷 邹慧超 刘恩重 《中国神经肿瘤杂志》 2004年第4期268-271,共4页
激光扫描细胞仪(Laser Scanming Cytometer,LSC)是kamentsky等开发的一种新的细胞分析仪,它同时具有流式细胞仪和图像细胞仪的功能。恶性肿瘤自身内在的基因不稳定性可以导致肿瘤发展过程中基因异常的增加,基因不稳定性可分为两类:微卫... 激光扫描细胞仪(Laser Scanming Cytometer,LSC)是kamentsky等开发的一种新的细胞分析仪,它同时具有流式细胞仪和图像细胞仪的功能。恶性肿瘤自身内在的基因不稳定性可以导致肿瘤发展过程中基因异常的增加,基因不稳定性可分为两类:微卫星不稳定性和染色体不稳定性,目前研究已经证实染色体不稳定性与DNA非二倍体这间有密切关系。在本研究中,我们主要观察肿瘤恶性程度与LSC分析结果的相关性。方法:应用LSC分析脑肿瘤细胞的DNA指数(DI)和增殖指数(PI),使用流式细胞仪(FCM)对脑肿瘤细胞系进行DNA分析,同时对肿瘤标本进行冰冻切片病理检查,与LSC的分析结果进行比较。结果:DNA指数和增殖指数反映了肿瘤的恶性程度。结论:应用LSC进行脑肿瘤DNA分析结合病理学检查对决定术中胶质瘤切除面积是非常有意义的,具有一定的临床应用价值。 展开更多
关键词 激光扫描细胞仪 脑肿瘤 胶质瘤 染色体不稳定性
暂未订购
基于MDL和LSC的语义优选方法
10
作者 李东明 张丽娟 +1 位作者 赵伟 石晶 《计算机工程》 CAS CSCD 北大核心 2011年第17期15-18,共4页
为实现谓语动词对论元的自动选择,提出基于最小描述长度(MDL)和潜在语义聚类(LSC)的语义优选方法。基于MDL原则计算与动词搭配的名词的δsc值,根据LSC模型的EM算法求取动、名词的搭配概率P(v,n),并针对每一对动、名词计算δsc和P(v,n)之... 为实现谓语动词对论元的自动选择,提出基于最小描述长度(MDL)和潜在语义聚类(LSC)的语义优选方法。基于MDL原则计算与动词搭配的名词的δsc值,根据LSC模型的EM算法求取动、名词的搭配概率P(v,n),并针对每一对动、名词计算δsc和P(v,n)之和,将其作为衡量两者语义关联度的标准。实验结果表明,该方法的F1值达到85.26%,优于单独使用MDL或LSC方法。 展开更多
关键词 语义优选 最小描述长度 潜在语义聚类 无指导学习 期望极大化
在线阅读 下载PDF
半椭圆形罩LSC的准三维和三维数值模拟对比
11
作者 武双章 顾文彬 +1 位作者 李裕春 郭涛 《工程爆破》 2017年第2期32-36,43,共6页
为了得到半椭圆形罩线型聚能装药(LSC)射流成型的特点和规律,利用ANSYS/LS-DYNA软件分别建立了半椭圆形罩LSC的准三维和三维数值计算模型,对射流成型过程进行了数值模拟,获得了射流成型过程的特点和典型时刻沿对称面射流速度梯度分布及... 为了得到半椭圆形罩线型聚能装药(LSC)射流成型的特点和规律,利用ANSYS/LS-DYNA软件分别建立了半椭圆形罩LSC的准三维和三维数值计算模型,对射流成型过程进行了数值模拟,获得了射流成型过程的特点和典型时刻沿对称面射流速度梯度分布及射流最大速度随时间的变化关系。从横断面看,形成的射流较长且均匀,相对质量和速度均较大,速度梯度呈现明显的三段特征;杵体短而粗,相对质量和速度均较小;两种数值计算模型获得的射流最大速度出现的时刻、杵体断裂时刻和射流断裂时刻以及典型时刻沿对称面射流速度梯度分布均有所差别。结果对比分析表明,三维数值计算模型比准三维计算模型能更全面准确地模拟出射流的成型过程,获得的结果更可靠。 展开更多
关键词 半椭圆形罩 准三维 三维 线型聚能装药 射流成型 数值模拟
在线阅读 下载PDF
煤铝岩系黏土岩硫酸浸出液中镓的提取研究
12
作者 白露 赵亚男 +2 位作者 王书勤 王小强 杨秋慧 《稀有金属与硬质合金》 北大核心 2026年第1期15-21,48,共8页
为实现煤铝岩系黏土岩硫酸浸出液中Ga的高效分离回收,本文采用Seplite^(®)LSC-900镓提取螯合树脂对单一Ga溶液进行吸附-解吸实验,考察了溶液pH值、吸附时间、解吸剂种类和浓度、解吸时间对Ga吸附-解吸效果的影响;采用SEM-EDS表征... 为实现煤铝岩系黏土岩硫酸浸出液中Ga的高效分离回收,本文采用Seplite^(®)LSC-900镓提取螯合树脂对单一Ga溶液进行吸附-解吸实验,考察了溶液pH值、吸附时间、解吸剂种类和浓度、解吸时间对Ga吸附-解吸效果的影响;采用SEM-EDS表征了吸附前后树脂的组织结构,并结合FTIR对其吸附煤铝岩系黏土岩硫酸浸出液的机理进行了分析;同时在优化的吸附-解吸条件下,探究了煤铝岩系黏土岩硫酸浸出液中Ga与其他杂质离子分离的效果。结果表明,在单一Ga溶液pH值为4、吸附时间为120 min时,Ga吸附率为80%左右。吸附后树脂的条状纤维交叉结构增多,Ga嵌入孔道并诱导其表面粗糙度提升。树脂对硫酸浸出液中Ga的吸附归因于静电作用与化学配位的协同效应,其中—OH、—NH2官能团与[Ga(SO_(4))]^(+)发生静电相互作用,而—OH中O原子与Ga形成Ga—O配位键。采用1.5 mol/L HCl解吸饱和吸附树脂1 h时,解吸效果最优,解吸率约80%。煤铝岩系黏土岩硫酸浸出液的吸附-解吸实验结果表明,LSC-900镓提取螯合树脂对Ga和Zr具有良好的选择性吸附能力,且Ga近乎完全解吸,而Zr难以解吸,因此成功实现了浸出液中Ga与其他金属离子的分离。本研究为煤铝岩系黏土岩浸出液中Ga的高效回收提供了技术支撑。 展开更多
关键词 煤铝岩系黏土岩 硫酸浸出液 镓 lsc-900镓提取螯合树脂 吸附 解吸 回收率
原文传递
LSC-100树脂吸附铅(Ⅱ)的研究
13
作者 莫建军 《丽水学院学报》 2021年第5期21-25,共5页
采用LSC-100树脂对铅离子吸附进行研究。在HAc-NaAc体系中pH=4.6时吸附最佳。此时,测得静态饱和吸附容量为589 mg·g-1;表观吸附速率常数k298=5.64×10-2s-1;等温吸附服从Langmuir和Freundlich经验式;吸附热力学参数ΔH=13.81 k... 采用LSC-100树脂对铅离子吸附进行研究。在HAc-NaAc体系中pH=4.6时吸附最佳。此时,测得静态饱和吸附容量为589 mg·g-1;表观吸附速率常数k298=5.64×10-2s-1;等温吸附服从Langmuir和Freundlich经验式;吸附热力学参数ΔH=13.81 kJ·mol-1,ΔG=-4.98 kJ·mol-1,ΔS=63.05 J·mol-1·K-1。当体系中存在HCl和CdCl2时树脂的吸附量减少,而存在MgCl2和NaCl时吸附量基本没影响;用0.5 mol·L-1HCl作解吸剂,解吸率为98%。 展开更多
关键词 lsc-100树脂 铅(Ⅱ) 吸附 介质
在线阅读 下载PDF
基于LSC模型检验的性质抽取 被引量：3
14
作者 戴雨婷 缪淮扣 +1 位作者 梅佳 高洪皓 《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第2期156-162,共7页
采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相... 采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障. 展开更多
关键词 lsc 模型验证 性质抽取 一致性
在线阅读 下载PDF
林德LSC同步控制系统分析
15
作者 张珊珊 刘钊 《制冷空调与电力机械》 2004年第B10期10-11,74,共3页
本文介绍了林德 LSC 同步控制系统及其控制原理,并对其重要组成部分 HPR 复合控制功能变量泵的控制方式和控制原理进行了详细的分析。
关键词 lsc HPR复合控制 负荷传感 恒功率控制
在线阅读 下载PDF
基于LSC的形式化验证方法
16
作者 许明 开金宇 《邵阳学院学报（自然科学版）》 2014年第4期6-11,共6页
调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来... 调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验. 展开更多
关键词 形式化验证技术 模型检验 lsc
在线阅读 下载PDF
基于无人机图像和改进LSC-CNN模型的密集苗木检测和计数方法 被引量：5
17
作者 彭小丹 陈锋军 +2 位作者 朱学岩 才嘉伟 顾梦梦 《智慧农业（中英文）》 CSCD 2024年第5期88-97,共10页
[目的/意义]快速、准确地统计密集种植的苗木数量对苗木经营管理具有重要意义。为解决无人机航拍的密集种植苗木图像中苗木粘连、尺度差异大的问题,提出以点标签数据为监督信号的改进密集检测计数模型(Locate,Size and Count,LSC-CNN),... [目的/意义]快速、准确地统计密集种植的苗木数量对苗木经营管理具有重要意义。为解决无人机航拍的密集种植苗木图像中苗木粘连、尺度差异大的问题,提出以点标签数据为监督信号的改进密集检测计数模型(Locate,Size and Count,LSC-CNN),同时实现苗木的检测和计数。[方法]改进的LSC-CNN模型通过将LSC-CNN模型特征提取网络的最后一层卷积替换为扩张卷积(Dilated Convolutions,DConv),实现在保留苗木细节特征的同时扩大感受野,帮助模型更好地理解上下文信息以区分粘连苗木。此外,在多个尺度分支前引入注意力机制(Convolutional Block Attention Module,CBAM)使模型聚焦于有助于苗木检测和计数的关键特征,以更好地适应不同尺度的苗木。为解决类别不平衡问题,提高模型的泛化能力,将损失函数替换为标签平滑交叉熵损失函数。[结果和讨论]经测试,改进LSC-CNN模型在456幅苗木图像的测试集上的平均绝对误差(Mean Absolute Error,MAE)、均方根误差(Root Mean Square Error,RMSE)和平均计数准确率(Mean Counting Accurate,MCA)分别为14.24株、22.22株和91.23%,三项指标均优于IntegrateNet、PSGCNet、CANet、CSRNet、CLTR和LSC-CNN模型。[结论]改进LSC-CNN模型能够准确实现密集种植苗木的检测和计数,适用于多种树木的检测和计数工作。 展开更多
关键词 无人机 密集种植 计数 多尺度 lsc-CNN
在线阅读 下载PDF
基于LSC的模型检验研究 被引量：1
18
作者 吴宏 齐治昌 《计算机应用与软件》 CSCD 北大核心 2006年第7期5-7,20,共4页
LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成... LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成的状态模型进行模型检验;最后进行了实例研究,利用给出的实现工具检验了用CTL描述的验证性质。 展开更多
关键词 lsc 顺序图 模型检验 CTL
在线阅读 下载PDF
顾及2套误差的LSC法在GPS高程拟合中的应用研究 被引量：1
19
作者 汤深权 魏二虎 +1 位作者 安治国 黄曲红 《测绘地理信息》 2015年第5期13-16,共4页
探讨了顾及2套误差的GPS高程拟合模型,以2套观测值的加权平方和最小为准则推出了GPS多项式曲面拟合的解算公式,利用LSC法求得公共点和转换点之间的协方差阵,并依此求出转换点的改正数。通过实例解算证明了此方法能够有效地提高拟合精度。
关键词 最小二乘配置 2套误差 GPS高程拟合 误差模型
原文传递
4πβ(LSC)-γ放射性活度数字符合平台同步系统设计
20
作者 王郝密 宋克柱 +2 位作者 杨俊峰 张可立 黄健 《核电子学与探测技术》 CAS CSCD 北大核心 2014年第1期40-44,共5页
介绍了为4πβ(LSC)-γ放射性活度国家基准测量数字符合平台(Digital Coincidence Platform,DCP)数据采集提供高精度时钟与同步测试信号源的实现方法。采用了基于PLL+DDS技术的电路设计方案,提供了系统需要的时钟及正弦波测试信号源。... 介绍了为4πβ(LSC)-γ放射性活度国家基准测量数字符合平台(Digital Coincidence Platform,DCP)数据采集提供高精度时钟与同步测试信号源的实现方法。采用了基于PLL+DDS技术的电路设计方案,提供了系统需要的时钟及正弦波测试信号源。设计基于PXI机箱,通过ALTERA公司的IP软核PCI_CORE进行各板卡间的通信。 展开更多
关键词 4πβ(lsc)-γ 同步系统 PCI_CORE PXI总线
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 9 下一页 到第 页
使用帮助 返回顶部