搜索筛选:
搜索耗时0.4866秒,为你在为你在102,267,441篇论文里面共找到 9 篇相符的论文内容
发布年度:
[期刊论文] 作者：万松松,,
来源：化工管理 年份：2020
天然气具有非常广泛的应用,在企业生产和人们的日常生活过程中都具有非常重要的应用,为了确保天然气能够进行持续稳定的供应,就要做好天然气管网的计划调度管理工作。文章对...
[期刊论文] 作者：万松松,
来源：长江丛刊 年份：2020
...
[期刊论文] 作者：万松松,
来源：中国化工贸易 年份：2019
随着国家经济发展速度的增快,对能源的需求量也在逐年增加,而人们日常生活使用的能源天然气的需求也在不断增长.正是由于天然气需求量对天然气的运输工作提出了更高的要求,为...
[会议论文] 作者：万松松;,
来源：第三届中国国际数字城市建设技术研讨会 年份：2007
“电信超市”类似生活超市，消费者可以在“电信超市”里自由选择中国网通、电信、铁通宽带通信网、数字电视网和互联网中任何一家的电信业务，实现了“三网合一”，弥补了过去区域......
[学位论文] 作者：万松松,
来源：江西师范大学 年份：2008
高可靠性软件是当今软件开发的热点问题.确保算法程序逻辑结构正确最理想途径是算法程序的形式化推导和证明。循环不变式在软件形式化方法中占有十分重要的地位,它是理解、证...
[期刊论文] 作者：万松松,薛锦云,谢武平,
来源：计算机工程与科学 年份：2010
高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的...
[期刊论文] 作者：谢武平,薛锦云,万松松,
来源：计算机技术与发展 年份：2009
将面向方面编程技术融入传统的基于构件开发方法，提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新...
[期刊论文] 作者：万松松,薛锦云,谢武平,
来源：计算机技术与发展 年份：2008
软件测试是保证软件质量和可靠性的重要手段，如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点；具体分析了最小测试用例生成算法，接着对......
[期刊论文] 作者：杨乐,薛锦云,万松松,盛立冉,
来源：微计算机信息 年份：2008
在参阅有关软件测试资料及文献,并结合国家自然科学基金项目APLA→JAVA自动程序转换系统测试的基础上,对软件测试进行了深入的研究和探索。从理论和实际相结合的角度,选用了...
相关搜索：
