在学习编程时,书本上经常会遇到一些函数、变量,它们被起名为Foo,或者Bar,这些东西看不出是什么意思,之前也没有去想过是什么意思。
今天突然觉得这是个问题,想一探究竟。原来这根本就不是什么问题,Foo或者Bar实际上就是编程世界中的张三或者李四。
参考资料:
在学习编程时,书本上经常会遇到一些函数、变量,它们被起名为Foo,或者Bar,这些东西看不出是什么意思,之前也没有去想过是什么意思。
今天突然觉得这是个问题,想一探究竟。原来这根本就不是什么问题,Foo或者Bar实际上就是编程世界中的张三或者李四。
参考资料:
转载于:https://www.cnblogs.com/demon90s/p/7560499.html
关于传输请求Transport Request
传输请求是啥
当你STMS之后,选择了你要传输的系统路径,点了小车车,就会看到下面这个界面。
虽然这操作我们经常做,在STMS看的更清楚一些,solman就糊里糊涂的。但是时间长了,我都忽略掉这些细微的步骤,这一步步的都是干嘛的了。
今天来详细看下。
传输请求是啥?一般传输请求,会放到一个包里。这个请求下面呢,会有很多change task 。就像很多文件放在一个文件夹下,很多task放到一个request里。
好像SAP本意是,一个项目经理建一个request,每个顾问的task做完了,就可以一起传输了。先被释放掉,然后传输。
为啥要释放,释放是和锁对应的。
就是说,你改这个对象的时候,改完放到这个request的task下面,其实系统就会给你这个对象给锁住了。在你没有释放这个对象之前,别人改的话,也会把别人的修改包到你这个request底下。除非你释放,释放了就会允许别人修改到他的请求下。如果你不想释放传输,那你就删除你自己的task里面的对象。对象会有个repair flag,在se03先解锁你的请求,然后删除task。
释放请求后,就会生成一个Data文件和一个Co文件。
Co:控制文件,K 包含数据文件的属性。
Data:数据文件,R 包含数据库细节STMS的传输参数
时间,啥时候传。一般都立即。
event没搞过。
执行的时候,同步或异步。
同步的话,对话或批处理进程被阻断,直到导入成功。
异步:异步传输导入开始后,对话和批处理进程被释放。说实话我不知道这俩啥意思。默认是异步,我没管。
选项。
这些还是有点重要的,就是要重点理解这些。第一就是可以再导入。因为你得导入到队列,才能传输。
就是万一你这个传输出错了,可能是你request的顺序搞错了,那你得重传,这时候你可以再导入,再传。
第二,也一样。
第三,如果你反传,我是这样理解的。那就覆盖原始。在SE03里面,能看到这个对象路径。
也就是你能看到它的原始系统是哪一个。第四,如果你在目标系统有个repair的版本,而且没确认,那也传。啥意思呢?
如果你遇到传输错误:object repaired in production system
那就差不多能理解了。就是你要传输的这个对象,在production上面被直接更改了。一般情况下咱不这么做,但保不齐有紧急情况的。先在production上改了。然后再改了来传,那你在P上改了,就会有请求生成,然后你的请求里就会锁住你改的这个对象。
注意,这个在P上的请求,锁住了你要从D传到P的对象。这个被P的请求锁住的对象,如果你不给他解锁。那你这个传输报错了。怎么办?要么释放这个P上的请求,要么从请求删除对象。然后D上的请求能成功传输。
或者呢,你选这个四选项。不管它被没被锁,我都传。
扩展:传输问题,对象在P系统被修改
再来扩展下,像刚才说对象在P上被repair,被锁在P上的请求里。那么要么释放请求,要么删除解锁。
但是,万一这个对象并没有被锁在任何的P的请求里。而你的D的请求依然报了个repair的错?
那是为啥呢?
既然报了个repair的错,那就说明它是被修改过的。可是不在请求里。如何查找repair对象
1. SE03去找
你去SE03,找repaired对象,注意是去你的P系统,目标系统。然后你能找到。
你看到对象是确实有个repair flag.
2. RSA1去找
显示对象属性。
3.去表TADIR看
repair flag是R,插一下,在TLOCK表可以看到所有被锁的对象。
那这个不在请求的修复对象是咋回事?因为改这个兑现过的人还没来得及释放请求,他这个人就被删了。
那这时,不在请求里,就不能被解锁。咋办呢?
把这个repair flag给移掉也是一样的。SE03进去
选中对象,然后reset 重置这个flag就行了。
扩展结束
以上都可以选择四直接解决,覆盖掉repair对象。
第五,忽略不允许的传输类型,如果你传输文档有一些特定设置不允许传这个传输类型。。。这个不知道。
第六,忽略不允许的表类,表的数据记录会被导入,就算你这个表的类不允许数据被导入。。。。
第七,忽略前任处理关系,你要导入的请求,其他项目的请求和你有关联,可能基于你这个请求,那就关闭这个关联。也就说,你前任的关系不被破坏。。。
第八,忽略无效的组件版本,避免组件不匹配问题。。。综上,我选一和四。。。
返回码
0000 成功
0004 有警告,但成功
0008 有些没传过去,什么语法错误啦,程序生成错误啦,字典激活错误啦,方法执行错误啦。
0012 比较严重的错误。导入取消,程序取消,对象丢失,对象未激活
0018 系统dump 没权限啥的扩展 : RDDIT076
已释放的TR,跑这个program RDDIT076来返回状态。
把R状态改成D(modifiable)
但是不能是传了的,仅限于,已释放,未传输。
还有就是这个满载的小卡车,别点。。。
如果你点了,那可以这么搞:
STMS-系统overview(就三个小方块)
双击系统,阻断全传。
到传输工具上,点修改,添加一个参数:
NO_IMPORT_ALL 值给1
然后保存,退出。其他要阻断全传的系统同样操作。
跟request有关的表:
E070 请求对象表头
E071 请求对象条目
TRBAT 检查传输流程,请求是否被导入。
以前一直用回调回调,其实不咋知道啥是回调,今天终于想起来去搜一下,其实也就10分钟的事情。多么简单,同步回调,异步回调!!!
look~~~https://www.cnblogs.com/prayjourney/p/9667835.html
参考教材
- 《近世代数》 . P22-30 . 丘维声著
前言
上一节通过引入等价关系与划分,用模
同余类去划分整数集
,从而有了
,从中我们抽象出了环的概念,又考虑到元素分零因子与可逆元两种,从而将有单位元的交换环且除了零元都是可逆元的代数结构称为域,并不是所有
都是域,只有
是素数才是,因此我们考虑更一般的情况,将
所有可逆元单独整合起来构成一个集合,最终我们有了群的概念.
本节开始,我们开始系统的研究群的结构,首先提出问题,群中的元素是否可以派出一个代表,只要用这一个代表就可以描述群中所有的元素,进而代表这个群?倘若有这种方式代表群,那么如何判断它可以有代表元素描述自身?
关于证明的学习,目前学习的内容来说,只要老老实实的学好定义即可,不需要特别的技巧性,个人并不喜欢特别花里胡哨的证明,可以欣赏但不推荐去硬学,了解即可,毕竟人生苦短,凡人都有极限.
最后,非常欢迎讨论,非常欢迎指错,对所有人都有帮助!
定义0:
- 群
有无限多个元素就称为无限群,有限个元素为有限群,此时
的元素个数称为阶,记为
- 设
是一个群,对于
,
的可逆元为
- 若群
的运算为乘法,那么规定
- 若群
的运算为加法,那么规定
e.g.1
为整数集对于加法构成的群,零元为
e.g.2
模
剩余类环
对于加法构成群,零元为
e.g.3
上述三个群,都可以用一个元素代表
通过整数幂次(或整数倍)来描述其群中所有的元素,于是我们可以直接将
去代表这个群
定义1. 设群
的运算记做乘法(或加法) ,如果
的每一个元素能写成
中的某个元素
的整数幂次(或整数倍)的形式,那么称
为循环群,把
叫做
的一个生成元,且把
记作
设
,运算为乘法,单位元为
当
为无限群时,
都有
,此时
称
为无限循环群.上述例子中
为无限循环群
当
为有限群时,
都有
,此时
其
阶为
,上述例子中
是
阶循环群,
是
阶循环群.
循环群必定是Abel群,但是Abel群却不一定是循环群.
e.g.4
,
,
,
于是我们有了前言中的第二个问题,什么样的Abel群才是循环群?因此我们考虑满足使得
成立的最小正整数
,这是一条很自然的途径
定义2. 对于群
中的元素
,若存在正整数
使得
成立,则把使之成立的最小的正整数
称为
的阶,记作
,若
都有
,则称
为无限阶元素.
e.g.5
中,
是无限阶元素
e.g.6
中,
的阶为
e.g.7
中,
的阶为
e.g.8
中,
证明:
必要性:
存在一个最小正整数
,使得
当
为偶数时
,当
为奇数时
充分性:
,
e.g.9
中,
证明:
必要性:
存在一个最小正整数
,使得
充分性:
e.g.10
中,
证明:略
符合直观的,若
为循环群,那么代表元素的阶和群的阶相同
命题1. 有限群
是循环群当且仅当
中有一个元素的阶等于群
的阶.
证明:
必要性:
设
是
阶循环群,则
的生成元
满足
,且
是满足条件的最小正整数,因此
充分性:
设有限群
中元素
满足
,则
两两不等,集合
的元素个数为
,且
,又根据条件
,因此
命题2. 群
的运算为乘法,设
中元素
的阶为
,则对于正整数
,有
证明:
设
,
,则
.
因此
命题3. 群
的运算为乘法,设
中的元素
的阶为
,则
,有
证明:
设
的阶为
,则根据定义
,由于
的阶为
,因此
(命题2),两边共同除以最大公因数,有
,由于
,因此
又因为
,因此
命题4. 群
中,若
,
,
,
,则
证明:
,因此
为有限阶元素,设其为
,则根据命题2,有
,
由于
,再次根据命题2,得到
,同理
根据
,因此
e.g.11
,各元素阶分别为
,
,
,
,
,
e.g.12
,各元素阶分别为
,
,
,
可以发现
中
的阶是其他元素的倍数,
中
的阶是其他元素的倍数,因此猜想是否有这种各元素阶之间的联系.
命题5. 设群
为有限Abel群,则
中一个元素的阶是其他元素阶的倍数
e.g.13
是循环群,其中
的解有2个
,而
的解有三个,
的解有6个,不管给什么整数得到的解个数都只会小于等于它
e.g.14
不是循环群,
的解有4个
对此我们猜想是否
解的个数与
的关系决定了群是否是循环群.
定理1. 设
是有限Abel群,如果对于任给的正整数
,方程
在
中解的个数不超过
,那么
为循环群.
证明:设
是最大阶元素,
,则
中每个元素的阶都是
的因数(命题5),从而
中每个元素都是方程
的解,得到
,我们可以得到
中
个不同元素
,从而
定理2. 有限域
的所有非零元组成的集合
对于乘法成为一个群,且是循环群.
证明:任给正整数
,其域
上的
次多项式至多有
个根(重根按重数计算)
推论1. 若
是素数,那么
是循环群.
总结:循环群的给出的动机是为了去了解群的结构,很直观的想法就是从代表和阶中去探索,但光光只给出循环群还是不够的,本篇文章只讨论了引言中的两个问题,但我们的群主线的目的是群同态,通过这种映射去了解群的结构和性质,因此循环群只是探索的第一步,下节会引入群的同构,而群的同构是一个二元关系(参考线性代数中的同构),而既然是一个二元关系,则会有等价类(同构类),所有循环群组成的集合会被如何划分?这是这篇文章在没有引入同构概念前无法解决的.