Present status and future prospects of PV activities in Japan

The photovoltaic (PV) power systems in Japan made great strides in the past decade. The PV industry in the 1990s greatly depended on the research projects and dissemination programs carried out by the Ministry of International Trade and Industry. However, the industrial structure for full-scale deployment of the PV system is currently being established by the manufacturers’ continuous efforts to reduce the PV system cost and the government’s consecutive supports to create the initial market. It is expected that the synergetic effect of the cost reduction and incentives for introduction will activate the PV industry and its market more and more toward achieving 5000 MW of the capacity in FY 2010.     

Solidworks二次开发在滚刀参数造型中的应用

Solidworks是一种具有强大的三维建模、工程图绘制、动画制作、实物渲染等功能的三维机械设计自动化软件 ,具有“全动感”的智能式用户界面 ,并且可以实现与多种软件的无缝接口 ,广泛用于机械各行业 ,是替代机械二维CAD软件的最佳选择。以硬质合金精切齿轮滚刀的三维造型为例介绍如何利用VB实现对Solidworks的二次开发。     

用Install Shield制作安装程序

简要介绍了用 Install Shield软件制作安装程序的必要性 ,结合实例阐述了应用 Install Shield制作安装程序的步骤 ,并给出了学习制作安装程序的基本思路和方法。     

化学计算与图形处理软件设计

近年来 ,化学计算与图形处理越来越受到重视 ,许多用于微机计算的精确公式也相继发表 .介绍了酸碱滴定曲线通用计算公式、络合滴定通用计算公式、氧化还原滴定通用计算公式、混合体系缓冲容量的通用算法以及这些公式在图形处理中的应用 .简要介绍了笔者以Delphi5.0为平台处理图形时的流程及思路 .     

两相管流工艺计算软件的研制

利用流体力学理论 ,结合目前国内外最新的两相流理论和实验研究成果 ,在描述气液两相流水力计算、热力计算和流型判断的数学物理模型基础上 ,研制出适用于海洋、沙漠、丘陵地区原油与伴生气、凝析天然气与凝液输送工艺的一套新的计算模拟软件TFTCS。介绍TFTCS软件的结构、功能、适用范围。用该软件对锦州 2 0 - 2海底湿天然气管道进行模拟计算 ,并与管线生产数据进行对比 ,用国外同类软件PIPEPHASE进行验算。实例计算分析表明 ,该软件功能完善 ,操作方便 ,计算结果可靠 ,能满足油气混输管道的设计计算和生产管理的需要     

A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.     

IBM—PC系列机中的定时功能

本文介绍 IBM-PC 系列机中的定时信息。进而介绍利用这些信息实现各类长、短定时间隔的编程技巧,并以实例说明之。     

转炉煤气回收和放散自动控制系统改进

针对在煤气回收和放散调试过程中发现的问题,通过改进转炉煤气回收和放散控制系统,增加气动三通阀控制联锁信号,保证放散的高度可靠性和煤气自动回收的高度安全性。     

主机数据流量检测的实现

分布式网络环境中主机数据流量的异常通常反映出主机是否遭受病毒、木马等恶意程序的入侵而成为网络攻击中的傀儡机,因此,对主机数据流量进行监测可以尽早发现潜在的危险。研究了基于Cisco路由器的主机数据流量检测的基本方法,并给出了具体的程序实现方法和网络硬件环境配置方法。     

一些特殊方程的计算机程序解法

在人们生产、生活、以及科学研究中,常常会出现一些不容易求解的非线性方程或非线性方程组等特殊方程。文章运用数学知识和计算机MATLAB语言,介绍了这些方程的求解,从而快速得到这些方程的解。