主题：开个帖作为学术翻译问题请教专帖 -- 冰与火
家园 开个帖作为学术翻译问题请教专帖 第一个问题：逆否命题英文怎么说?
第二个问题：哪位大牛能提供一个数学归纳法证明的英文叙述例子？
家园 还有一个小问题 TISSEC有在线投稿功能,投稿时给出了以下五个Manuscript Type选项:
Tutorial Survey
Research Note/Short Paper
Software/Algorithms
Addendum/Corrections
Datasets.
说实话,我不太明白这种分类是什么意思,也找不到进一步的说明.
我的投稿应该选择哪一项呢?
家园 投稿前的最后求助:摘要部分 今天就准备把文章投出去了，目标是ACM的TISSEC。投稿前把摘要部分和结论部分贴出来，请河友们扫两眼，提提意见，改改错误。
先贴摘要部分。
A trusted system is an information system whose behavior is expectable. The traditional protection system models, such as access
control matrix model, lack the ability to describe it. In this paper, we conclude three attributes about trusted system.With the
three attributes, we can see the trusted system as an information dealing tool which import information from input ports and export information from output ports, there are no information be generated by trusted system itself.In such a system,the security attribute of the information flow from the input to the output can describe the secure state of the system precisely.
Let the three attributes be our axioms, we build a security theory of trusted system.First,we propose a formal description of the information and information dealing procedures,express information by random variable and express information dealing procedures by mathematical functions of random variable vector,and let the
description be our mathematical tools; then we classify the operations in a trusted system ,build an analysis model of it;we
define the covert channel and normal channel of a trusted system ,prove the normal information flow theorem which gives a necessary condition of the existence of normal information flow;we give formal
definitions of secure knowledge,secure requirement and secure policy, prove the intersection theorem which describes the variety of secure attributes of information in system;at last, based on our information flow theory, we propose a dynamic planar multi layer access control model for trusted system and prove its security,this model implement the secure principles of the BLP model and the Biba model,and provide information exchange channels between the users of different secure level.
家园 一点看法 觉得量子的发言很中肯。写学术文章，尽管专业有些差异，基本要求是一样的。好的文章除了创新之外，还得要 precise, concise and reader-friendly。如果论据充分，自然说服力强。
我觉得你的摘要需要写的简洁，直接点明你的研究是关于什么课题，和其它类似的研究有何不同，最重要的，对你的领域有什么重大贡献。
严格的说，最好不要用人称代词Ｉ和ｗｅ。不过现在偶尔用一下，大家好像也接受。
发文章不用找专家。文章写好修改之后，让两三位同行看看，直接投给编辑。编辑会找合适的ｒｅｖｉｅｗｅｒ审稿。说不定你要找的专家就是ｒｅｖｉｗｅｒ之一。文章发出来，专家如果觉得质量很高，自然会推荐给别人阅读参考。
家园 看看这一次如何? 这次把中英文版一起贴出来
In this paper, we develop a new formal security theory for trusted information systems. Different from traditional system protection models, such as access control matrix model, this theory describes the operations in system by functions of random variable vectors, build an analysis model of trusted system with three axioms, and analyze the information flow in the system by tracing the operation sequence of the system. We will demonstrate that with this model, the security state of system can be expressed as the security attributes of information flows from input port to output port, propose strict definitions of normal information channel, covet channel and security policy, prove two theorem of security attributes of information flow, and give a dynamic planar multi layer mandatory access control model which designed for confidentially and integrity.
This theory gives a Shannon style information flow model for security of trusted systems.
本文提出了一个新的可信系统形式化安全理论。与访问控制矩阵模型等传统的保护系统模型不同，这一理论用随机变量向量的函数来描述系统操作，基于三条公设建立了可信系统的分析模型，并通过对系统操作序列的跟踪来分析系统中的信息流。我们说明了在这一模型中,系统安全状态可表示为输入端口和输出端口之间的信息流的安全属性，给出了正常信息通道、隐通道和安全策略的严格定义，证明了关于信息流安全属性的两条定理，并基于这一理论给出了一个保密性和完整性相结合的动态二维多级强制访问控制模型。这一理论对可信系统的安全给出了一个香农信息论式的模型解释。
家园 太费劲了，直接给你改了吧 不知道文章内容，大概写一下
In this paper, we propose a new approach for describing trusted systems. Different from traditional system protection models, such as the access control matrix model, our model closely resembles Shannon style information flow model. We describe a trusted system as an information processing system. The behaviors of such a system can be precisely described by three attributes: inputs, outputs, and current system security policy. We will demonstrate that with this model, the security policy of a trusted system can be analyzed by tracing the operation sequences of the system.....
家园 河友们真是太好了 我好好消化一下，中午再上来请教。
顺便问个问题，致谢中要感谢河友中文是不是该这么说?
“感谢西西河的许多网友们对论文写作给出的很多建设性意见。”
英文又该如何表达?
家园 坦白说 我不懂你的专业，不过你这篇abstract离一篇优秀论文还差得很远。我评审本专业的论文时，看到这样的文章，如果内容还不错，那就打回去重写；如果内容一般的，就直接reject了。
这里并不仅仅是语言的问题，而是写作本身的问题。好论文是千锤百炼，反复修改的结果。感觉你科技写作能力还需要很大提高。随便举个例子，abstract一般上来第一句就要高度概括地提出你这篇论文的贡献。你写abstract的目的是什么？无非是做宣传，提纲挈领的鼓吹自己的贡献。如果看到第三、四句别人还不知道你干了什么，那么多半就不会再看下去了。这样你在abstract的前几句就会失去一大半的潜在读者。
如果你的目标是一篇优秀论文，那么你还有得要改。不用找什么外教，你这文章思路、逻辑、表达在中文的基础上改顺了再说。尤其是语言表达，中文也好，英文也好，在这一点上很多时候是共通的。
实话实说，得罪莫怪。
- 复 坦白说
家园 请多多得罪 送花一朵表示谢意。
其实你提到的写作要点我是知道的，以前只有我教训别人的份。这次可能是太看重这篇文章了，所以写文章的时候就难免瞻前顾后。
下午网络问题很大，发不出文章。傍晚时和外教一起修改了Introduction部分，算是体会了一把什么叫英文思维。估计原文真的会让老外头大，由此更加钦佩居然把我以前投的文章读懂的专家们。
还有一个体会是,汉语就是比英语牛.
