全文获取类型
收费全文 | 205篇 |
免费 | 58篇 |
国内免费 | 9篇 |
出版年
2024年 | 3篇 |
2023年 | 10篇 |
2022年 | 4篇 |
2021年 | 3篇 |
2020年 | 11篇 |
2019年 | 6篇 |
2018年 | 5篇 |
2017年 | 13篇 |
2016年 | 8篇 |
2015年 | 10篇 |
2014年 | 13篇 |
2013年 | 16篇 |
2012年 | 21篇 |
2011年 | 10篇 |
2010年 | 15篇 |
2009年 | 15篇 |
2008年 | 17篇 |
2007年 | 12篇 |
2006年 | 7篇 |
2005年 | 7篇 |
2004年 | 6篇 |
2003年 | 7篇 |
2002年 | 7篇 |
2001年 | 7篇 |
2000年 | 6篇 |
1999年 | 6篇 |
1998年 | 7篇 |
1997年 | 5篇 |
1996年 | 3篇 |
1995年 | 4篇 |
1994年 | 3篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 2篇 |
排序方式: 共有272条查询结果,搜索用时 203 毫秒
111.
112.
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 相似文献
113.
114.
利用二元Edwards曲线加法公式的对称性得到可做半分的公式.在推导半分算法过程中曲线参数有两种情况:d1≠d2和d1=d2.当曲线参数d1≠d2时,利用和Weierstrass曲线的双有理等价关系、迹函数和半迹函数,得到了Edwards曲线的半分算法.而当曲线参数d1=d2时,给出了定理证明,虽然在这种情况下倍加公式更简单,但半分算法反而更复杂.进一步分析了半分算法的效率,指出虽然在二元Edwards曲线上可以进行半分运算,但目前半分算法的效率仍然比不上倍加方法.利用ω一坐标简化半分算法并应用在标量乘计算上. 相似文献
115.
116.
117.
船舶静电场是船舶电场的主要成分之一.对其减弱或消除的研究是船舶电场隐身技术研究领城的重要研究方向.为此.提出将船舶的静电场隐身分为平时和战时两种情况,并对装有ICCP系统的船舶进行水下静电场的边界元建模,用模拟退火算法分别在两种情况下对船舶ICCP系统的电流输出进行优化以实现船舶的静电场隐身.优化计算结果表明:船舶的静... 相似文献
118.
119.
针对武器装备体系能力概念抽象、关系复杂特点导致建模困难、重用性差、语义不一致等诸多问题,提出了一种基于本体的能力多视图模型构建方法,建立了6个能力视图的元模型.该方法首先明确能力领域问题,确定武器装备体系能力领域核心本体及构建原则,然后采用形式化方法描述本体,建立核心本体的关系模型,最后面向能力视图内容建立元模型,通过... 相似文献
120.
应用重节点法处理三维弹性力学角节点问题,采用等参变换插值逼近的方法离散边界积分方程,解决了由于角节点表面力不连续带来的方程求解困难问题。算例分析结果表明,该方法具有操作简单,计算方便,求解结果满足计算精度的要求等优点,尤其在角点存在应力集中场合更具优越性。 相似文献