论文部分内容阅读
文章提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理。文章引入了轨迹概念和模型语言，然后讨论该语言的各句法成分所对应的语义论域，并对过程和函数进行了一些描述。
基于轨迹的指称语义方法
【摘 要】
：
文章提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理。文章引入了轨迹概念和模型语言
【机 构】
：
扬州教育学院计算机系
【出 处】
：
新疆师范大学学报(自然科学版)
【发表日期】
：
2007年3期
其他文献
目的:用超声法提取孜然中的黄酮并测定其含量.方法:以分光光度法定量分析孜然中的黄酮化不分含量.结果:不同地区的孜然中黄酮的含量不同.结论:该测定方法操作技术简便、灵敏
系统性自身免疫疾病患者体内出现的抗核抗体可与多种体细胞折胞核发生反应已有较多研究，但其是否可以与卵细胞核发生反应的研究尚少见报道。以鸡卵核为抗原建立了酶联免疫法，检
“近年来，在科技部和省委、省政府的正确领导下，我省紧紧围绕科学发展、转型升级的中心任务和建设创新型省份的战略目标，按照科技创新环境、人才、平台、项目‘四位一体’的工作
本文主要讨论了具有二分类的赋权非完全偶图的最优分派问题,通过寻找一个具有最大权的亚完美对集,从而也就确定了具有最大权的对集,进而判断人员是否需要调整.
用放射配体结合分析法和ＭＴＴ比色法研究了地塞米松对胃癌细胞肿瘤坏死因子受体数目和亲力以肿，瘤坏因子突变体细胞毒效应的影响。结果表明，地塞松可显著降低ＴＮＦ受体的亲和力而不改变受
对３０例喉鳞癌患者及２５例正常人外周血淋巴细胞中的金属元素钙、镁、铜、锌、铁、锰含量及Ｔ淋巴细胞亚群进行了测定。结果显示：喉癌患者外周血淋巴细胞铜含量比正常增高，锌含量降低；Ｔ淋
对全长猪卵透明带３β－（ｐＺＰ３β）ＤＮＡ的５′端重新测序分析，发现文献报道的该克隆基因５′端非编码序列中漏读了两个碱基，继而选择符合ｐＺＰ３βｃＤＮＡ阅读框的ｐＷＲ４５０－２载体质粒，通过双酶切构建了β－半乳糖苷酶／ｐＺＰ３β融合蛋白
入侵检测、网络安全等工具的开发离不开数据包捕获.本文就Win32平台上用于数据包捕获的WinPcap的特点进行了分析,探讨了提高数据包捕获效率、减少数据包丢失的方法,并给出了
目的：探讨血浆Ｐ物质水平变化与强直性脊柱炎发病的关系。方法：采用放射免疫分析法。结果：强直性脊柱炎患者活动期与非活动期的血浆Ｐ物质水平显著高于健康对照组，较活动期患者的Ｐ物质