压块状钇基重稀土复合球化剂的试验研究

用保温模拟法和附铸试样试验,研究了新型块状钇基重稀土复合球化剂的球化处理工艺及其球化效果和抗球衰退性。结果表明,压块状钇基重稀土复合球化剂与熔配式球化剂,按－定比率（质量分数不超过５０％）混合使用,可以获得较好的球化处理效果,可以在质量要求高的中小截面重要球铁铸件上应用。     

归纳证明在类型理论中的应用研究

通过类型理论使得程序语言在静态可以检查是否出错,这给程序语言带来许多优势。类型理论中的重要性质包括:弱化规则、删除规则、强化规则等。首先给出了结构归纳法、良基归纳法、规则归纳法和余归纳法的形式化定义。在给出PA4WS进程代数的语法、语义的基础上给出了其类型定义。在此基础上给出了归纳法在PA4WS类型理论性质证明的应用。     

基于进程代数WS-CDL交互模式建模研究

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。     

范畴单子在F#语言中的应用研究

范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组。针对2种单子定义不一致的问题,首先给出了范畴单子的定义和性质。在此基础上,通过引入(_)*运算符,定义了Kleisli范畴。由此定义了函数语言F#单子。在此基础上给出了F#单子满足的性质与范畴单子性质的对应关系。最后给出了F#单子常见的5种编程情形。     

数据密集型Web应用的建模方法研究

数据密集型Web应用是当前Web工程的热点。介绍了在高层表达Web应用结构的建模方法—WebML。给出了数据结构层、站点视图层和表现风格层所使用的记号和它们的含义。并给出了WebML开发过程和1个示例。     

利用LogMiner分析Oracle日志文件

LogMiner是Oracle 8i以后版本提供的日志文件分析工具,利用它可以提取Oracle数据库日志的内容,获取重做和回滚SQL语句,执行数据更改的事后审计。以”医院信息系统”相关业务为例。简要介绍如何利用强大的LogMiner工具分析Oracle数据库日志,实现对数据库操作的审查和回退。