论文部分内容阅读
New Refinement Relations of Z Specifications for Multiple Viewpoints Oriented Requirements Method
【出 处】
:
武汉大学学报:自然科学英文版
【发表日期】
:
2001年Z1期
【基金项目】
:
Supported by Natural Science Foundation of Hubei Province (98J0 75 ) ,Ziqiang Technical Innovation Foundation ofWuhan Universi
其他文献
采用文献资料与数理统计相结合的方法,综述了现代高水平女子排球运动员的高度、身体素质、机能、技战术、年龄、知识、心理等七大结构特征与运动能力之关系及发展趋势.
本文以Schauder-Tychonoff不动点定理为工具,应用上、下解方法研究在R^2中的半线性椭圆型方程的整解的存在性及解在无穷远的性质,推广了文献[1]的理论和应用。
遥感勘测系统的最近的开发被技术的快开发在计算机和网络的领域里驾驶。系统的介绍被提供给:数字录像并且图象处理,网络通讯和在计算机的那些技术的实现。
本文得出用Matsuoda算子Jn,p+1,1逼近函数f(x)(∈C2n)的极限逼近常数。
基于pH=5.95弱酸性条件下,十二烷基苯磺酸钠对Zn2+催化亚甲基蓝和溴化钾褪色反应的增敏作用,建立了测定痕量锌的表面活性剂增敏催化动力学光度法.同时研究了该方法的动力学条
从排球微观技术的视角,以人为本,分析新一届中国女排12位队员当前的技术状况,认为需要从比赛的实战出发,强化临网一击能力,继续精雕细刻,大力挖掘潜力,力争在雅典奥运会再创辉煌.
Intranet的信息资源共享是划分等级的,如果只按Internet的思维去构建Intranet,安全问题是无法保证的.必须合理配置子网并在网络层、应用层采取安全策略,及时提高微软IIS系统
用付里叶变换分析法计算光与原子相互作用的跃迁几率,此法的优点在于把复杂的积分运算变成付氏变换的形式,并利用付氏变换的有关公式和定理方便地给出常见微扰的计算,具有一
应用耦合波理论,将非线性周期结构介质的非定域问题归结为耦合系数的变化,在一定的条件下给出非定域非线性周期结构光学介质的入射光强和透射光强关系的解析表达式,并讨论了非定
基础教育的综合理科教育正在飞速发展,但是,相应的师范本科物理教育却不能适应这一发展趋势,存在着各种各样的问题.本文就这些问题进行探讨,在此基础上提出改进师范本科物理