全文获取类型
收费全文 | 249篇 |
免费 | 78篇 |
国内免费 | 23篇 |
出版年
2024年 | 5篇 |
2023年 | 16篇 |
2022年 | 6篇 |
2021年 | 8篇 |
2020年 | 15篇 |
2019年 | 6篇 |
2018年 | 5篇 |
2017年 | 16篇 |
2016年 | 11篇 |
2015年 | 13篇 |
2014年 | 16篇 |
2013年 | 17篇 |
2012年 | 23篇 |
2011年 | 15篇 |
2010年 | 19篇 |
2009年 | 17篇 |
2008年 | 17篇 |
2007年 | 12篇 |
2006年 | 9篇 |
2005年 | 8篇 |
2004年 | 8篇 |
2003年 | 10篇 |
2002年 | 10篇 |
2001年 | 10篇 |
2000年 | 10篇 |
1999年 | 10篇 |
1998年 | 10篇 |
1997年 | 8篇 |
1996年 | 4篇 |
1995年 | 5篇 |
1994年 | 5篇 |
1993年 | 1篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 2篇 |
排序方式: 共有350条查询结果,搜索用时 31 毫秒
141.
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 相似文献
142.
143.
利用二元Edwards曲线加法公式的对称性得到可做半分的公式.在推导半分算法过程中曲线参数有两种情况:d1≠d2和d1=d2.当曲线参数d1≠d2时,利用和Weierstrass曲线的双有理等价关系、迹函数和半迹函数,得到了Edwards曲线的半分算法.而当曲线参数d1=d2时,给出了定理证明,虽然在这种情况下倍加公式更简单,但半分算法反而更复杂.进一步分析了半分算法的效率,指出虽然在二元Edwards曲线上可以进行半分运算,但目前半分算法的效率仍然比不上倍加方法.利用ω一坐标简化半分算法并应用在标量乘计算上. 相似文献
144.
145.
146.
船舶静电场是船舶电场的主要成分之一.对其减弱或消除的研究是船舶电场隐身技术研究领城的重要研究方向.为此.提出将船舶的静电场隐身分为平时和战时两种情况,并对装有ICCP系统的船舶进行水下静电场的边界元建模,用模拟退火算法分别在两种情况下对船舶ICCP系统的电流输出进行优化以实现船舶的静电场隐身.优化计算结果表明:船舶的静... 相似文献
147.
148.
改进的光滑粒子方法在模拟激光对树脂基复合材料的辐照效应时具有明显优势,但串行计算通常难以满足需求。为了提高程序的运行效率,基于消息传递界面并行编程环境实现了串行程序的并行化。将个人电脑完成的串行计算结果与峰值5万亿次的计算机集群完成的并行计算结果进行了比较,并对并行程序的加速比和并行效率进行了测试。数值计算表明,并行计算结果与串行计算结果一致,且并行效果显著,说明基于消息传递界面的并行化是成功的。 相似文献
149.
150.
针对武器装备体系能力概念抽象、关系复杂特点导致建模困难、重用性差、语义不一致等诸多问题,提出了一种基于本体的能力多视图模型构建方法,建立了6个能力视图的元模型.该方法首先明确能力领域问题,确定武器装备体系能力领域核心本体及构建原则,然后采用形式化方法描述本体,建立核心本体的关系模型,最后面向能力视图内容建立元模型,通过... 相似文献