期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
Craigs Newmark:Craiglist背后的“书呆子”
1
作者 Shirly 《程序员》 2006年第3期8-8,共1页
不想挣大钱,只想做一些事情改变这个世界的“书呆子”为了克服自己的短处却无意间创建了美国最大的分类广告网站。
关键词 服务社区 craigs NEWMARK 分类广告网站 craigslist.com
下载PDF
曲轴系多柔体动力学与动力润滑耦合仿真分析 被引量:3
2
作者 马星国 李想 尤小梅 《润滑与密封》 CAS CSCD 北大核心 2012年第3期37-41,共5页
使用LMS Virtual.lab软件建立曲轴系的多体系统动力学仿真模型,对曲轴系进行刚柔耦合多体动力学仿真,得到周期内曲轴系的动态载荷,为研究主轴承液体动力润滑提供边界条件;联合主轴承油膜润滑模型和多体动力学模型进行耦合仿真,得到最小... 使用LMS Virtual.lab软件建立曲轴系的多体系统动力学仿真模型,对曲轴系进行刚柔耦合多体动力学仿真,得到周期内曲轴系的动态载荷,为研究主轴承液体动力润滑提供边界条件;联合主轴承油膜润滑模型和多体动力学模型进行耦合仿真,得到最小油膜厚度和最大油膜压力曲线及主轴承工作周期内的油膜最大节点压力的变化规律。结果表明:在第三缸点火后,油膜节点压力急剧增大,油膜节点最大压力区呈现出从轴瓦中心向轴瓦边缘偏移的特性。 展开更多
关键词 曲轴 刚柔耦合动力学 动力润滑 Craig—Bampton模态
下载PDF
基于Craig插值的线性混成系统符号化模型检测 被引量:2
3
作者 陈祖希 徐中伟 +1 位作者 霍伟伟 喻钢 《电子学报》 EI CAS CSCD 北大核心 2014年第7期1338-1346,共9页
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支... 最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能. 展开更多
关键词 Craig插值 可满足性模理论 线性混成自动机 符号模型检验 混成系统
下载PDF
结合Craig插值分析的软件错误诊断方法 被引量:2
4
作者 徐勇 毋国庆 袁梦霆 《电子学报》 EI CAS CSCD 北大核心 2016年第10期2514-2521,共8页
基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗... 基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明:冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了48.4%,碰集树生成的结点数减少了47.6%. 展开更多
关键词 基于模型诊断 软件错误定位 冗余分析 Craig插值
下载PDF
三值逻辑的Craig中插定理与Herbrand定理 被引量:1
5
作者 李祥 李广元 《贵州大学学报(自然科学版)》 2003年第1期1-8,共8页
作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。
关键词 三值逻辑 Craig中插定理 Herbrand定理 三值命题逻辑 三值谓词逻辑 数理逻辑
下载PDF
对称变换的和的非零特征根所对应的特征子空间的正交性 被引量:1
6
作者 彭白玉 《衡阳师范学院学报》 2001年第6期105-106,共2页
讨论了欧氏空间中的两个实对称变换的非零特征根的所对应特征子空间互相正交的充要条件 ,并用比较简捷的方法证明了定理 1 ,将它应用到概率论中证明了Craig定理。
关键词 非零特征根 特征子空间 正交性 实对称变换 特征向量 欧氏空间 Craig定理 内积
下载PDF
基于FFT算法的舰载导弹发射弹位影响研究
7
作者 钟洲 姜毅 《振动与冲击》 EI CSCD 北大核心 2014年第13期210-214,共5页
针对发射精度问题,利用频谱分析技术研究了舰载导弹发射弹位的影响。基于修正的Craig-Bampton法和虚拟样机技术,建立了船舶运动和导弹发射刚柔耦合一体化模型。利用发射时间参数化脚本语言,实现了自动仿真,获取了大量工况下不同弹位的... 针对发射精度问题,利用频谱分析技术研究了舰载导弹发射弹位的影响。基于修正的Craig-Bampton法和虚拟样机技术,建立了船舶运动和导弹发射刚柔耦合一体化模型。利用发射时间参数化脚本语言,实现了自动仿真,获取了大量工况下不同弹位的导弹出筒姿态,确定了恶劣发射弹位。基于快速傅里叶变换法(FFT)对导弹动力学响应进行了频谱分析,明确了发射弹位和发射精度的关系。依据研究结果,能够根据船舶的具体运动形式,设计武器系统放置的位置,同时也对发射时选择合适弹位具有指导意义。 展开更多
关键词 快速傅里叶变换 舰载导弹 修正的Craig—Bampton法 弹位 发射精度
下载PDF
锁骨钩钢板内固定术对锁骨远端CraigⅡ型骨折的治疗价值
8
作者 马小明 《现代医学与健康研究电子杂志》 2019年第17期15-16,共2页
目的讨论对锁骨远端CraigⅡ型骨折患者应用锁骨钩钢板内固定术疗法进行治疗的临床价值。方法选取2018年1月至12月在泰州市人民医院进行治疗的锁骨远端CraigⅡ型骨折患者12例进行研究,按数字随机表法分成参照组和观察组,各6例。参照组运... 目的讨论对锁骨远端CraigⅡ型骨折患者应用锁骨钩钢板内固定术疗法进行治疗的临床价值。方法选取2018年1月至12月在泰州市人民医院进行治疗的锁骨远端CraigⅡ型骨折患者12例进行研究,按数字随机表法分成参照组和观察组,各6例。参照组运用克氏针张力带铜丝内固定术疗法,观察组运用锁骨钩钢板内固定术疗法。记录、对比两组的临床诊治结局。结果接受治疗后,观察组较之参照组骨折部位的恢复率明显提升33.33%,组间差异比较有统计学意义(P <0.05),观察组不良症状的发生率明显缩减50.00%,组间差异比较有统计学意义(P <0.05)。结论在锁骨远端CraigⅡ型骨折患者的临床治疗过程中加入锁骨钩钢板内固定术疗法进行治疗,临床治疗效果令人满意,能够有效降低不良症状的发生率,安全系数较高,具有理想的临床应用价值。 展开更多
关键词 锁骨钩钢板内固定术 锁骨远端CraigⅡ型骨折 临床价值
下载PDF
Craig引理的一个新证 被引量:1
9
作者 李宏忠 《上海海运学院学报》 北大核心 2003年第3期254-256,共3页
主要讨论实对称矩阵A、B的特征值与AB=0的关系,从而对多元统计分析理论中有着重要地位的Craig引理给出了一个新的证明。
关键词 Craig引理 实对称矩阵 特征值 多元统计分析
下载PDF
锁骨钩钢板内固定术治疗锁骨远端CraigⅡ型骨折的效果探讨 被引量:3
10
作者 杨光 《当代医药论丛》 2018年第19期109-110,共2页
目的 :探讨用锁骨钩钢板内固定术治疗锁骨远端CraigⅡ型骨折的临床效果。方法 :选取2001年1月至2016年12月期间江苏省南京市江宁区第二人民医院外科收治的30例锁骨远端Ⅱ型骨折患者作为研究对象。将这30例患者平均分为对照组和治疗组。... 目的 :探讨用锁骨钩钢板内固定术治疗锁骨远端CraigⅡ型骨折的临床效果。方法 :选取2001年1月至2016年12月期间江苏省南京市江宁区第二人民医院外科收治的30例锁骨远端Ⅱ型骨折患者作为研究对象。将这30例患者平均分为对照组和治疗组。对对照组患者采用克氏针张力带钢丝内固定术进行治疗。对治疗组患者采用锁骨钩钢板内固定术进行治疗。然后,比较两组患者的临床疗效及术后并发症的发生率。结果 :接受治疗后,与对照组患者相比,治疗组患者治疗的优良率较高,其并发症的发生率较低(P <0.05)。结论 :用锁骨钩钢板内固定术治疗锁骨远端CraigⅡ型骨折的临床效果显著。 展开更多
关键词 锁骨钩钢板内固定术 CraigⅡ型骨折 并发症
下载PDF
研究锁骨钩钢板治疗Craig Ⅱ B型锁骨远端骨折钢板取出前后肩关节功能的变化 被引量:2
11
作者 徐同光 《智慧健康》 2017年第24期40-42,共3页
目的按照锁骨钩钢板进行治疗的CraigⅡB型锁骨远端骨折患者将钢板取出前后其肩关节功能的变化情况。方法本研究涉及病例30例,均为本院在2011年2月至2017年9月按照锁骨钩钢板展开治疗的CraigⅡB型锁骨远端骨折患者,针对两组患者钢板取出... 目的按照锁骨钩钢板进行治疗的CraigⅡB型锁骨远端骨折患者将钢板取出前后其肩关节功能的变化情况。方法本研究涉及病例30例,均为本院在2011年2月至2017年9月按照锁骨钩钢板展开治疗的CraigⅡB型锁骨远端骨折患者,针对两组患者钢板取出前后关节功能情况展开对比,肩关节功能评估主要包括肩关节疼痛、关节力量、关节活动情况。结果从统计情况可知,该部分患者在取出钢板后,在肩关节疼痛评分、关节力量评分以及活动程度评分等方面,均明显优于取出钢板前,P<0.05差异具备统计学意义。结论针对按照锁骨钩钢板展开治疗的CraigⅡB型锁骨远端骨折患者,在后期恢复中在条件允许情况下,尽早将钢板取出,可促使患者肩关节功能进一步得到恢复,避免患者出现再次骨折的情况。 展开更多
关键词 锁骨钩钢板 CraigⅡB型锁骨远端骨折 肩关节功能
下载PDF
Erratum to: Adaptation of Asia-Pacific forests to climate change
12
作者 Guangyu Wang Tongli Wang +8 位作者 Haijun Kang Shari Mang Brianne Riehl Brad Seely Shirong Liu Futao Guo Qinglin Li Craig R. Nitschke John L. Innes 《Journal of Forestry Research》 SCIE CAS CSCD 2017年第5期1103-1104,共2页
During the final preparation of this manuscript, Craig R.Nitschke's name was inadvertently omitted from the list of authors. The corresponding author and all co-authors acknowledge that this was an error and that ... During the final preparation of this manuscript, Craig R.Nitschke's name was inadvertently omitted from the list of authors. The corresponding author and all co-authors acknowledge that this was an error and that his name should be included amongst the authors of the manuscript. 展开更多
关键词 Craig R.Nitschke's MANUSCRIPT
下载PDF
国际著名对象技术大师首次来华布道
13
《计算机教育》 2004年第6期20-20,共1页
关键词 对象技术大师 Craig Larman 软件开发 管理技术
下载PDF
Craig David制作人Mark Hill访谈
14
作者 白 石 《乐器》 2002年第5期15-17,共3页
常常听到许多人抱怨自己的设备太差,做不出好音乐。好音乐一定要有好设备做前提条件么?毛主席说过:战争的决胜因素是人而不是武器。看过这篇Mark Hill的访谈,或许对你会有一些启发吧。
关键词 Mark Hill 录音棚 吉他手 Craig David 专辑 混响器 残响器 唱片 单曲 录音师 录音室 东西
下载PDF
创意源泉
15
《计算机光盘软件与应用(COMPUTER ARTS数码艺术)》 2007年第4期20-27,共8页
作为一名设计师,总是会有人要求你在日常生活的基础上想出一些独特而有趣的想法。但如果你的创意已经枯竭,又该如何呢?本期的特写中,Paul Birch和Craig Grannell将向大家透露开启创意源泉的实际技巧。
关键词 设计师 PAUL BIRCH Craig Grannell 创意源泉
下载PDF
微软收购Skype未来发展存疑 统一通信市场加速洗牌——对话OVUM高级顾问Craig Skinner
16
作者 李璐 《通信世界》 2011年第17期40-40,共1页
微软一边面临着传统竞争对手如IBM(Lotus产品)的压力,一边还要应付新的竞争者,如Google、思科、Facebook等提出的挑战。然而提供一个简单易用的无缝解决方案,并满足客户的需求,才是扩大市场份额的关键。
关键词 微软 IBM 统一通信 竞争对手 SKYPE Craig Skinner OVUM
下载PDF
Craig Green 纷繁错乱
17
《流行色》 2013年第9期18-25,共7页
新锐设计师Craig Green的2014春夏男装发布会上,贯彻了Craig Green的极端主义风格,新作可穿性与艺术性可谓分庭抗礼。设计师沿袭了去年Hentsch Man的"木栅栏"风格,用绚丽的油彩在纸箱上进行绘画并与印花时装完美融合,被遮住... 新锐设计师Craig Green的2014春夏男装发布会上,贯彻了Craig Green的极端主义风格,新作可穿性与艺术性可谓分庭抗礼。设计师沿袭了去年Hentsch Man的"木栅栏"风格,用绚丽的油彩在纸箱上进行绘画并与印花时装完美融合,被遮住面部的帅气男模们如同艺术品般行走,为我们带来了一场精彩绝伦的视觉盛宴。 展开更多
关键词 精彩绝伦 极端主义 Craig Green 设计师 视觉盛宴 艺术品
下载PDF
CRAIG SAGER 亮丽人生
18
作者 郭忻杪 《当代体育(扣篮)》 2016年第13期91-93,共3页
赛前置办一套全新花西装密歇根州,罗彻斯特市,帝都酒店的四楼,塞格正在打开他的服装袋。一道轻柔的彩虹迅速倾撒在了床上,水绿和淡紫相间的外套、泛着紫色和品蓝的裤子、黄色和海绿色的衬衫、一条被施华洛世奇红水晶镶饰着的精美领带,... 赛前置办一套全新花西装密歇根州,罗彻斯特市,帝都酒店的四楼,塞格正在打开他的服装袋。一道轻柔的彩虹迅速倾撒在了床上,水绿和淡紫相间的外套、泛着紫色和品蓝的裤子、黄色和海绿色的衬衫、一条被施华洛世奇红水晶镶饰着的精美领带,还有一条则被华美的金色点缀得熠熠生辉……“把它们放在光下。”塞格说。 展开更多
关键词 CRAIG SAGER 罗彻斯特 红水晶 帝都酒店 施华洛 红黑 比赛开始 扫过 蓝绿 淡粉
下载PDF
Craig Mullins
19
《时代漫游》 2013年第Z3期127-132,共6页
作为记者,我采访过很多概念设计师,他们对您都很推崇。Ryan Church和Scott Robertson来中国时都建议画家们去goodbrush.com(Craig Mullins个人网站)看看。您拥有惊人的绘画功力,经历了这么多年的概念设计生涯后,您可否评价一下自己的绘... 作为记者,我采访过很多概念设计师,他们对您都很推崇。Ryan Church和Scott Robertson来中国时都建议画家们去goodbrush.com(Craig Mullins个人网站)看看。您拥有惊人的绘画功力,经历了这么多年的概念设计生涯后,您可否评价一下自己的绘画水平?其实我总是觉得我的艺术成就因为自身教育的缺失而受到了限制。世界是如此巨大,充满了太多奇妙的事物,我的学习速度很难跟上步伐。我衷心觉得艺术不只关乎"艺术"本身,而限制和瓶颈则是因为还不够充分了解"艺术"到底是什么。艺术家应该着眼于一个更广阔的世界,这个世界意味着"现实的全部"。你越了解宇宙及其运作规律,你的艺术才会更加深刻而有趣。 展开更多
关键词 个人网站 设计生涯 学习速度 CHURCH Craig Mullins 运作规律 Robertson 这个世界 美术院校 知所
下载PDF
Tracing to the Pedigree Origin of Craig Clunas's View of Chinese Art History
20
作者 Na Yan 《教育研究前沿(中英文版)》 2022年第2期149-154,共6页
Craig Clunas's academic thinking is deeply influenced by western deconstruction and post-colonialism,among which Foucault's thought of"discourse power"and Bourdieu's theory of"cultural capit... Craig Clunas's academic thinking is deeply influenced by western deconstruction and post-colonialism,among which Foucault's thought of"discourse power"and Bourdieu's theory of"cultural capital"are the most well-known.The knowledge system constructed by the academic circles in Europe and America has great inspiration for Craig Clunas in the study of the history of Chinese art,which enables him to draw knowledge nutrients from these theories,fully consider and learn from these viewpoints and form his own theoretical framework.Craig Clunas integrates the"interdisciplinary"research ideas of western scholars in his research,and tries to use the theories of economics,sociology and anthropology to solve the specific problems of art history.The following is a brief talk about the important influence of two French scholars on Craig Clunas. 展开更多
关键词 Craig Clunas Thinking of Chinese Art History Cross-Cultural Perspective INSPIRATION
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部