搜索结果: 1-4 共查到“LSC”相关记录4条 . 查询时间(0.078 秒)
RIT's black hole computer simulations help ID third gravitational wave LSC announces newest findings
RIT black hole computer simulations ID third gravitational wave LSC announces
2017/7/21
Rochester Institute of Technology researchers continue to make significant contributions to gravitational wave astronomy, with the third detection of gravitational waves and a new black hole 49 times ...
Critical transport: Bond LSC team finds boron vital for plant stem cells, corn reproduction（图）
transport Plant stem cells corn reproduction
2014/9/1
Carbon’s next-door neighbor on the periodic table typically receives little attention, but when it comes to corn reproduction boron fills an important role.
基于LSC模型检验的性质抽取
LSC 模型验证 性质抽取 一致性
2012/12/10
采用LSC(live sequence chart)描述基于场景的需求规格说明，根据设计模型必须满足需求规格说明的一致性原理，针对安全性、可达性、活性等性质，〖JP2〗设计3种用于自动生成和抽取性质的覆盖准则，并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证，为验证需求模型与设计模型的一致性提供保障.
期刊信息
篇名
A selection theorem about weakly LSC set-valued mappings
语种
英文
撰写或编译
撰写
作者
燕鹏飞,江守礼,侯吉成
第一作者单位
南京师范大学数学系及安徽大学数学系；山东大学数学系；烟台大学数学与信息科学系
刊物名称
New Zealand Journal of Mathematics
页面
Vol 33, 181—186,...