- 博客(0)
- 资源 (7)
空空如也
从过程描述语言到Z语言
摘 要 语言是一种得到广泛应用的形式化规格语言 语言可以方便地描述系统操作的数据转换却很难描述系统
操作间的时序关系而过程描述语言可以方便地描述时序关系本文利用时序状态转换系统作为中介提出一种把过程
描述语言的项转换成 规格的机械算法利用这一算法 语言也能方便地描述时序关系本文还通过实例说明了该算
法在多视点需求工程中的应用
2012-10-09
Z语言的实时扩展及应用
在本文,我们归纳了Z实时扩展,提出了分类标准,一类是被称为集成的扩
展方法,它基于形式化说明语言z和其它形式化方法的集成,在这里由其它形式
化方法提供表示动态行为的结构;另~类称之为非集成的扩展方法则只使用z的
语义,而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说
明,完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法
2012-10-09
ACM常用代码
数学问题:
1.精度计算——大数阶乘
2.精度计算——乘法(大数乘小数)
3.精度计算——乘法(大数乘大数)
4.精度计算——加法
5.精度计算——减法
6.任意进制转换
7.最大公约数、最小公倍数
8.组合序列
9.快速傅立叶变换(FFT)
10.Ronberg算法计算积分
11.行列式计算
12.求排列组合数
字符串处理:
1.字符串替换
2.字符串查找
3.字符串截取
计算几何:
1.叉乘法求任意多边形面积
2.求三角形面积
3.两矢量间角度
4.两点距离(2D、3D)
5.射向法判断点是否在多边形内部
6.判断点是否在线段上
7.判断两线段是否相交
8.判断线段与直线是否相交
9.点到线段最短距离
10.求两直线的交点
11.判断一个封闭图形是凹集还是凸集
12.Graham扫描法寻找凸包
数论:
1.x的二进制长度
2.返回x的二进制表示中从低到高的第i位
3.模取幂运算
4.求解模线性方程
5.求解模线性方程组(中国余数定理)
6.筛法素数产生器
7.判断一个数是否素数
2012-03-13
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人