三分之二模拟拓扑

1

作者 马艳芳 张敏 陈仪香 《计算机学报》 EI CSCD 北大核心 2014年第8期1719-1731,共13页

三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首先提出三分之二极限模拟和三分之二... 三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首先提出三分之二极限模拟和三分之二模拟极限的定义,建立三分之二模拟的极限理论.其次,建立三分之二极限模拟的拓扑结构,包括子网闭包、尾闭包、自然延拓和复合,证明三分之二模拟极限构成一个收敛类,并诱导一个拓扑,给出三分之二模拟极限的拓扑理论.最后,证明三分之二模拟极限在各种复合算子下的拟同余性(pre-congruence),进而说明各种复合算子关于三分之二模拟极限的连续性. 展开更多

关键词 正确性 极限 拓扑 进程代数 三分之二模拟

在线阅读 下载PDF 职称材料

职场“三分之二”风险与领导者的助力之道

2

作者 王俏 孙小慧 《领导科学》 北大核心 2020年第9期35-37,共3页

职场“三分之二”风险常易发于任务执行的“受挫”阶段、创新探索的“迷茫”阶段、技术攻坚的“爬坡”阶段和一线坚守的“惯常”阶段。究其根本,在于个人意志不坚定而行动乏力、认知不明确而目标动摇、意识不强烈而行为放纵、担当不主... 职场“三分之二”风险常易发于任务执行的“受挫”阶段、创新探索的“迷茫”阶段、技术攻坚的“爬坡”阶段和一线坚守的“惯常”阶段。究其根本,在于个人意志不坚定而行动乏力、认知不明确而目标动摇、意识不强烈而行为放纵、担当不主动而娇气脆弱。领导者想要助力下属摆脱这一职场风险,就需引导其在瓶颈期沉住气重分析、在历练期沉下去多积累、在迷茫期稳住心看目标、在挫折期鼓起劲想初衷。 展开更多

关键词 职场“三分之二”风险 领导者 助力 目标信念 瓶颈期 历练期 迷茫期 挫折期

在线阅读 下载PDF 职称材料

双晚软盘旱育“三壳”覆盖的技术及其效果

3

作者 仲心华 吴学忠 袁焕进 《安徽农学通报》 1996年第S1期26-27,共2页

双晚软盘旱育“三壳”覆盖的技术及其效果仲心华，吴学忠，袁焕进（芜湖县农业技术推广中心．２４１１００）软盘旱育抛殃．近几年在我县随着试验、示范、推广的逐步深入．广大农民对此项技术经历了由陌生─—认识─—熟悉─—欢迎的阶... 双晚软盘旱育“三壳”覆盖的技术及其效果仲心华，吴学忠，袁焕进（芜湖县农业技术推广中心．２４１１００）软盘旱育抛殃．近几年在我县随着试验、示范、推广的逐步深入．广大农民对此项技术经历了由陌生─—认识─—熟悉─—欢迎的阶段。大有发展的趋势。尤以双晚软盘旱... 展开更多

关键词 软盘旱育 双晚 营养土 多效唑 遮阳网 旱育秧苗 软盘旱育抛秧 农业技术推广中心 三分之二 经济性状

在线阅读 下载PDF 职称材料

中国劳动保护科学技术学会监控预警技术专业委员会工作条例(草案)

4

《中国安全科学学报》 CAS CSCD 1997年第S1期64-66,共3页

关键词 监控预警 保护科学 安全检测 专业委员会 工作条例 技术学 监控技术 团体会员 三分之二 成果鉴定与评奖

在线阅读 下载PDF 职称材料

鸟的舌头

5

《新疆林业》 1995年第2期44-44,共1页

关键词 口腔底 东西均 啄木鸟 呈圆形 三分之二 相适应 延伸到 隙缝 肉质 蜂鸟

在线阅读 下载PDF 职称材料

新植树如何进行修剪

6

作者 何宗远 《农村百事通》 2004年第6期36-36,共1页

关键词 新植树 幼树 主干材 摘芽 深山含笑 除萌 三分之二 香樟 良材 剪叶

在线阅读 下载PDF 职称材料

庭院也能栽藕

7

作者 高新章 杨华 《河北农业》 1995年第1期22-22,共1页

庭院也能栽藕生产实践证明：一平方米荷池下种１－１．５公斤藕种，年可收鲜藕２０公斤左右。其主要技术措施是：一、建荷池选向阳处建２—４平方米的植藕池，深１．５米左右。池建成后，铺上肥沃塘泥。二、选藕种要全枝全藕，就是要有... 庭院也能栽藕生产实践证明：一平方米荷池下种１－１．５公斤藕种，年可收鲜藕２０公斤左右。其主要技术措施是：一、建荷池选向阳处建２—４平方米的植藕池，深１．５米左右。池建成后，铺上肥沃塘泥。二、选藕种要全枝全藕，就是要有芽头，有３—５节藕茎，有藕尾，无破... 展开更多

关键词 庭院 曲阳县 主要技术措施 最佳季节 农技中心 露出水面 农广校 藕池 三分之二 杨华

在线阅读 下载PDF 职称材料

万亩良田嗷嗷待哺　农业能源急需优化

8

作者 唐海祥 王绍文 李桂梅 《农电管理》 1997年第4期27-27,共1页

万亩良田嗷嗷待哺农业能源急需优化河北省永年县电力局唐海祥，王绍文，李桂梅（０５７１５０）该浇冬水的麦田，三分之二没浇，应浇四。五遍水的小麦，打了一半折扣，麦苗嗷嗷待哺，使得亩产３５０至４００公斤小麦的良田，只能收到２... 万亩良田嗷嗷待哺农业能源急需优化河北省永年县电力局唐海祥，王绍文，李桂梅（０５７１５０）该浇冬水的麦田，三分之二没浇，应浇四。五遍水的小麦，打了一半折扣，麦苗嗷嗷待哺，使得亩产３５０至４００公斤小麦的良田，只能收到２００到２５０公斤．这种良田不良收的... 展开更多

关键词 农业能源 嗷嗷待哺 柴油机 电气化 永年县 冬小麦 结构转变 安全用电 三分之二 能源优化

在线阅读 下载PDF 职称材料

云台区农用拖拉机专项治理初战告捷

9

作者 苏云 《江苏农机化》 1996年第5期21-21,共1页

连云港市云台区农用拖拉机专项治理经过为期一个月的奋战,已取得阶段性成果,全区整治“黑机”450台,非驾驶人员136名,换发全国统一的“九二”式牌照1068副,换发驾驶证868个、行车证1068个,换发数占全区保有量的三分之二。

关键词 农用拖拉机 专项治理 云台 连云港市 阶段性成果 驾驶人员 全国统一 驾驶证 水权 三分之二

在线阅读 下载PDF 职称材料

波尔多液

10

《林业与生态》 2003年第6期18-18,共1页

关键词 波尔多液 配制方式 防病效果 石灰乳液 生石灰 酸铜 三分之二 水溶 病防治 铜液

在线阅读 下载PDF 职称材料

我可以承包其他村的土地吗?

11

《农村百事通》 2003年第13期46-46,共1页

关键词 集体经济组织 个人承包经营 农民集体 合同约定 村民会议 三分之二 承包合同 村民代表 种植业 合理利用土地

在线阅读 下载PDF 职称材料